Formaalloogika: erinevus redaktsioonide vahel

Allikas: Vikipeedia
Eemaldatud sisu Lisatud sisu
P cat
P cat
2. rida: 2. rida:


[[Category:Filosoofia]]
[[Category:Filosoofia]]
[[Category:Loogika]]

Redaktsioon: 18. veebruar 2005, kell 02:00

Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. Formaalloogika ütleb, mida saab järeldada lähtudes üksnes väiteid väljendavate lausete vormist.