Declarații universale și angajamente existențiale în logică

|

Luați în considerare următoarea inferență: Toate S sunt P Prin urmare, unele S sunt P Această inferență este validă sau invalidă? După cum se dovedește, aceasta este o problemă asupra căreia au existat multe dezbateri filosofice. Pe de o parte, … Citeşte mai mult

Testul de validitate Venn pentru inferențe categorice imediate

|

Cele patru forme categorice sunt date mai jos. Putem folosi diagramele Venn pentru a determina dacă anumite tipuri de argumente sunt valide sau invalide. Un astfel de tip de argument este ceea ce vom numi „inferențe categorice imediate”. O inferență … Citeşte mai mult

Logica categorică

|

Luați în considerare următorul argument: Toți oamenii sunt muritori Toate lucrurile muritoare mor Prin urmare, toți oamenii mor Dacă ar fi să aplicăm testul informal al validității (din capitolul 1) acestui argument, am vedea că argumentul este valid deoarece nu … Citeşte mai mult

Logica propozițională și logica formală

|

O metodă formală pentru a determina dacă o anumită clasă de argumente (adică cele care utilizează numai operatori funcționali ai adevărului) sunt valide sau invalide, este testul de validitate al tabelului adevărului. De asemenea, o metodă formală pentru a dovedi … Citeşte mai mult

Strategii în construirea dovezilor în logică și gândirea criticiă

|

Vă puteți gândi să construiți dovezi ca pe un joc. Scopul jocului este de a obține concluzia din premisele date folosind doar cele 8 reguli de inferență valide pe care le-am introdus. Nu orice dovadă necesită să folosiți toate regulile, … Citeşte mai mult

Dovezi și cele opt forme valide de inferență în logică

|

Deși tabelele de adevăr sunt singura noastră metodă formală de a decide dacă un argument este valid sau invalid în logica propozițională, există o altă metodă formală de a demonstra că un argument este valid: metoda dovezii. Deși nu puteți … Citeşte mai mult

Tautologii, contradicții și declarații contingente

|

Vă puteți gândi la o afirmație care nu ar putea fi niciodată falsă? Ce ziceți de o afirmație care nu ar putea fi niciodată adevărată? Este mai greu decât credeți, dacă nu știți cum să folosiți operatorii funcționali ai adevărului … Citeşte mai mult

Echivalența materială în logica propozițională

|

Două fraze simbolice diferite pot traduce aceeași frază. „~S ⸧ R” și „S ˅ R” sunt echivalente. Mai exact, ele sunt modalități echivalente de a surprinde relația funcțională de adevăr dintre propoziții. Două propoziții sunt echivalente material dacă și numai … Citeşte mai mult

„Cu excepția cazului în care” în logica propozițională

|

Termenul „cu excepția cazului în care” poate fi dificil de tradus. De exemplu, Reds vor câștiga, cu excepția cazului în care aruncătorul lor de start este accidentat. Dacă folosim „R” ca și constanta pentru a reprezenta propoziția atomică, „Reds vor … Citeşte mai mult

Condiționale materiale în logica propozițională

|

Până acum, am învățat cum să traducem și să construim tabele de adevăr pentru trei conectivități funcționale ale adevărului. Cu toate acestea, există încă un conectiv funcțional de adevăr  pe care nu l-am învățat încă: condiționalul. (2) Expresia care este … Citeşte mai mult

Testarea validității afirmațiilor cu tabele de adevăr

|

Prin traducerea anumitor fraze în limbajul nostru simbolic vom avea o metodă pur formală de a determina validitatea unei anumite clase de argumente – și anume, acele argumente a căror validitate depinde de funcționarea conectivităților funcționale de adevăr. Aceasta este … Citeşte mai mult

Logica formală: “nu ambele” și “nici nici”

|

Două expresii comune care uneori pot provoca confuzie sunt „nu ambele”, cât și „nici nici”. Aceste două fraze au semnificații diferite și astfel sunt traduse cu propoziții logice simbolice diferite. Să vedem un exemplu al fiecăreia. Carla nu va avea … Citeşte mai mult

1 2 3 4 5 6 7