Argumente inductive și generalizări statistice în logică

După cum am văzut anterior, un argument inductiv este un argument a cărui concluzie ar trebui să rezulte din premisele sale cu un nivel ridicat de probabilitate, mai degrabă decât cu certitudine. Aceasta înseamnă că, deși este posibil ca concluzia … Citeşte mai mult

The post Argumente inductive și generalizări statistice în logică appeared first on Telework.

Validitatea Venn pentru silogisme categorice

Un silogism categoric este doar un argument cu două premise și o concluzie, în care fiecare afirmație a argumentului este o afirmație categorică. După cum am văzut, există patru tipuri diferite (forme) de afirmații categorice: Toate S sunt P         (afirmativă … Citeşte mai mult

The post Validitatea Venn pentru silogisme categorice appeared first on Telework.

Probleme filosofice – Identitatea – Sufletul și corpul

Globul de cristal arată că cineva de aici își va rupe mâine un os. Asta e trist. Uită-te mai atent; esti tu. Acum răspunsul se schimbă, până la anticiparea înfricoșătoare. Două întrebări: Ce înseamnă pentru cineva să fie propriul său … Citeşte mai mult

The post Probleme filosofice – Identitatea – Sufletul și corpul appeared first on Telework.

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

The post Declarații universale și angajamente existențiale în logică appeared first on Telework.

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

The post Testul de validitate Venn pentru inferențe categorice imediate appeared first on Telework.

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

The post Logica propozițională și logica formală appeared first on Telework.

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

The post Strategii în construirea dovezilor în logică și gândirea criticiă appeared first on Telework.

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

The post Dovezi și cele opt forme valide de inferență în logică appeared first on Telework.

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

The post Tautologii, contradicții și declarații contingente appeared first on Telework.