Saul A. Kripke (născut în 1940 la New York) a început să arate o înzestrare matematică deosebită şi un interes puternic pentru întrebări filosofice la o vârstă fragedă. La 15 ani a dezvoltat o semantică pentru logica modală cuantificată, iar demonstraţia … Citeşte mai mult
O interpretare a unui limbaj de prim ordin atribuie o notare fiecărui simbol non-logic din limba respectivă. De asemenea, determină un domeniu al discursului care specifică gama de cuantificatori. Rezultatul este că fiecărui termen i se atribuie un obiect pe … Citeşte mai mult
Un bărbat a cumpărat recent două aeroplane, dar ulterior a descoperit că nu corespund scopului dorit. Așa că le-a vândut cu 6.000 euro fiecare, ceea ce a însemnat o pierdere de 20% pentru un aeroplan și un profit de 20% … Citeşte mai mult
Logica silogistică (O ilustrare din secolul al XV-lea al pătratului opoziției, care exprimă dualitățile fundamentale ale silogisticii.) Organon a fost setul de lucrări ale lui Aristotel despre logică, Analiticile primare constituind prima lucrare explicită în logica formală, introducând silogistica. Părțile … Citeşte mai mult
Există diverse forme de nominalism, de la extrem la aproape realist. Un tip extrem este nominalismul predicat, care afirmă că Fluffy și Kitzler, de exemplu, sunt ambele pisici doar pentru că predicatul „este o pisică” se aplică pentru ambele. Și … Citeşte mai mult
Hans Jonas (1903-1993) a fost un filozof evreu american născut în Germania, din 1955 până în 1976 profesor de filozofie Alvin Johnson la New School for Social Research din New York City. Cartea Religia gnostică, bazată pe cercetările sale timpurii … Citeşte mai mult
Semantica logicii modale este de obicei dată după cum urmează: Mai întâi definim un cadru, care constă dintr-un set non-gol, G, ai cărui membri sunt în general numiți lumi posibile, și o relație binară, R, care se ocupă (sau nu) … Citeşte mai mult
Am întâlnit următoarea ghicitoare într-o carte veche. Mă întreb câți cititori vor vedea soluția propusă de autor. Creștinii țin Sabatul în prima zi a săptămânii; Iudeii în a șaptea zi, așa cum făceau din vechime; Turcii a în șasea zi, … Citeşte mai mult
Teorii alternative ale gravitației cuantice Gravitația bimetrică este o clasă de teorii modificate ale gravitației în care se folosesc doi tensori metrici în loc de unul,[1] a doua metrică putând fi folosită la energii înalte. În cazul în care cele … Citeşte mai mult
Fine folosește noțiunea de rol semantic nu ca o noțiune tehnică din semantica formală, ci o noțiune non-tehnică a cărei aplicare ar putea fi considerată implicită în înțelegerea unei limbi sau simbolism date. Într-o expresie semnificativă, există ceva convențional – … Citeşte mai mult
Fenomenul care care trebuie detaliat prin o explicație este denumit de Hempel fenomen explicant (explanandum); propoziția care îl descrie, ca propoziție explicantă (explanandum). Atunci când contextul arată ce se înțelege, oricare dintre ele va fi pur și simplu numită explicant … Citeşte mai mult
Există două părți-cheie ale logicii de ordinul întâi. Sintaxa determină ce colecții de simboluri sunt expresii legale, în timp ce semantica determină semnificațiile din spatele acestor expresii. Alfabetul Spre deosebire de limbile naturale, cum ar fi limba engleză, limba logicii … Citeşte mai mult
