Član : Prijava |Registracija |Postavi znanja
Traži
Logika
1.koncepti
1.1.Logički oblik
1.2.Semantika
1.3.Zaključak
1.4.Logični sustavi [Modifikacija ]
Formalni sustav je organizacija izraza koji se koriste za analizu odbitaka. Sastoji se od abecede, jezika iznad abecede za izradu rečenica i pravila za izvođenje rečenica. Među važnim svojstvima koja logični sustavi mogu imati su:Konzistentnost, što znači da niti jedan teorem sustava nije u suprotnosti s drugim.Valjanost, što znači da pravila sustava za dokazivanje nikada ne dopuštaju pogrešno zaključivanje od istinskih prostora.Potpunost, što znači da ako je formula istina, to se može dokazati, tj. Je teorem sustava.Zvučnost, što znači da ako je bilo koja formula teorem sustava, to je istina. Ovo je razgovor potpunosti. (Imajte na umu da u izrazitoj filozofskoj upotrebi pojma argument je zvučan kad je valjan i prostori su istiniti).Neki logični sustavi nemaju sva četiri svojstva. Kao primjer, teoremi nepotpunosti Kurt Gödela pokazuju da dovoljno složeni formalni sustavi aritmetike ne mogu biti konzistentni i potpuni; međutim, predikatne logike prvog reda koje nisu proširene specifičnim aksiomima kao aritmetički formalni sustavi s jednakošću mogu biti potpuni i dosljedni.
1.5.Logika i racionalnost
1.6.Koncepcije suparnika
2.Povijest
3.vrste
3.1.Silogistička logika
3.2.Prijedlogna logika
3.3.Predikatna logika
3.4.Modalna logika
3.5.Neformalno rasuđivanje i dijalektika
3.6.Matematička logika
3.7.Filozofska logika
3.8.Računalna logika
3.9.Ne-klasična logika
4.Kontroverze
4.1."Je li logika empirijska?"
4.2.Implikacija: Strogi ili materijalni
4.3.Toleriranje nemoguće
4.4.Odbijanje logičke istine
[Pošalji Više Sadržaj ]


Autorsko pravo @2018 Lxjkh