„Logika” változatai közötti eltérés
[ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
aNincs szerkesztési összefoglaló |
Nincs szerkesztési összefoglaló |
||
57. sor:
következtetés egy helyes logikai következtetési séma konkrét esete ''és'' az adott tudomány a ''p''<sub>1</sub>, … , ''p''<sub>n</sub> premisszákat kivétel nélkül igaznak tartja (mindegy, hogy a tudománynak milyen igazolási módszere van), akkor logikai okokból a tudomány a ''p'' kijelentést is igaznak fogja tekinteni. Természetesen az adott tudománynak lehetnek nemlogikai következtetési sémái is. Például az aritmetikában a [[teljes indukció]]t érvényes következtetési lépésnek tekintik, míg a primitív rekurzív aritmetikában az indukciónak csak korlátozott formáját szerepeltetik. Ám, mindkét elméletben érvényesek a klasszikus logika következtetési szabályai.
A logikai és nemlogikai szemlélet közötti különbséget jól mutatja a következő példa. Az m
A sajt finom.
Nem szeretem a sajtot.
-------------------------------------------------
Nem szeretem a finomat.
következtetés logikailag helyes, mert a fent említett általános logikai séma konkrét esete. Tudjuk, hogy ha a premisszák igazak, akkor a konklúzió is igaz. Ám, annak az eldöntése, hogy a premisszák igazak-e, például, hogy igaz-e az a kijelentés, hogy
|