Logika prawnicza: Czasy starożytne: *sofiści - nauka retoryki i argumentacji *Zenon z Elei - tworca dialektyki poszukiwanie prawdy - paradoks - stwierdzenia ktore z pozoru sa sluszne lecz sluszne nie sa; *Sokrates - sztuka definiowania *Platon- metody dedukcyjne i indukcyjne *Arystoteles - indukcja elminacyjna stworzenie sylogizmow; zasady wylacznego srodka oraz sprzecznosci. *Stoicy - teoria rachunku zdan i stosunki pomiedzy nimi *Euklides i szkola megarejska - nauka prowadznia sporow i dysput w sposob przekonyujacy bez wzgledu na prawde Czasy pozniejsze. sredniowiecze: *Piotr Hiszpan - polaczenie logiki arystotelesowskiej i teologia *Duns Szkot - prawa Dunsa Szkota *Wilhelm Ockham - brzytwa Ockhama Renesans *Kartezjusz - teoria poznania *Leibniz - podstawy rachunku zdan *Leonard Euler - kola Eulera *August de Morgan - Prawa de Morgana: negocjacji komunikacji ~(p^q)<=>(~p^~q) i negacji alt. *nurt logiki matematycznej (Boole, Ferie, Russell) *J. Łukasiewicz - wprowadzenie obok prawdy i fałszu trzeciej kat. pośredniej 1/2)
Msyogi