Într-o continuă expansiune, ofer un glosar de termeni de filosofie și logică… Glosar/Dicționar ⇒În logica matematică, implicația este unul dintre conectorii binari ai limbajului calculului propozițiilor, reprezentat în general prin simbolul „⇒” și citirea „... implică ...”, „... numai dacă ...” sau, în mod echivalent, „Dacă ..., atunci ...” ca în propoziția „dacă plouă, atunci gazonul meu este udat”. Implicația admite interpretări diferite în funcție de diferitele sisteme logice (logică clasică, modală, intuiționistă, etc.). Fiind un conector, care produce o propoziție din alte două, și care este interpretat printr-o operație pe propoziții sau pe valorile de adevăr, implicația nu este deducție, care este o relație între propoziții. Logicienii folosesc în mod obișnuit săgeata simplă „→” pentru implicație și, uneori, simbolul „⊃” introdus de Peano. deducția logică sau afirmarea unei teoreme poate fi reprezentată prin simboluri cu sensul apropiat, dar nu identic: „∴“, „⊢“ și „⊨“. Vezi implicația logică.a dicto secundum quid ad dictum sim pliciter(formulă latină însemnând „de la expresia calificată la aceeaşi expresie luată fără nici o restricţie”) În logica tradițională, eroare cunoscută şi sub denumirea de eroarea conversă a accidentului.a dicto simpliciter ad dictum secu ndum quid(formulă latină însemnând „de la expresia luată fără restricţii la aceeaşi expresie dar calificată”) În logica tradiţională, eroare cunoscută şi sub denumirea de eroarea accidentului.a fortiori(în latină, „de la mai tare”). Expresie folosită cu sensul de „cu atât mai mult” sau „şi mai sigur”. Dacă toţi oamenii sunt muritori, atunci a fortiori toţi englezii – care formează o mică subclasă a clasei…
Conținut accesibil doar membrilor autentificați!
