Formaalloogika: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu

Reasisene

Redaktsioon: 9. september 2004, kell 10:17

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.

Redaktsioon: 8. september 2004, kell 23:56 redigeeri Leon~etwiki (arutelu \| kaastöö) 1019 muudatust Resümee puudub		Redaktsioon: 9. september 2004, kell 10:17 redigeeri eemalda Andres (arutelu \| kaastöö) Bürokraadid, Liidese administraatorid, Administraatorid 414 395 muudatust ehk '''formaalne loogika''' Uuem muudatus →
1. rida:		1. rida:
	[[Formaalloogika]] tegeleb sellega, kuidas [[järeldamine\|järeldada]] [[tõesus\|tõestest]] väidetest [[tõesus\|tõeseid]] väiteid, kuid reeglina ei ütle, millised väited on [[tõesus\|tõesed]]. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. [[Formaalloogika]] ütleb, mida saab järeldada lähtudes üksnes [[väide\|väiteid]] [[väljendus\|väljendavate]] [[lause]]te vormist.		[[Formaalloogika]] ehk '''formaalne loogika''' tegeleb sellega, kuidas [[järeldamine\|järeldada]] [[tõesus\|tõestest]] väidetest [[tõesus\|tõeseid]] väiteid, kuid reeglina ei ütle, millised väited on [[tõesus\|tõesed]]. Formaalloogika ei ütle midagi selle kohta, missugune maailm tegelikult on. [[Formaalloogika]] ütleb, mida saab järeldada lähtudes üksnes [[väide\|väiteid]] [[väljendus\|väljendavate]] [[lause]]te vormist.