Aristotel (384BC-322BC)

Logika i Filozofija matematike

- korisni linkovi -

Augustus de Morgan (1806-1871)

        Logika                  

   Web stanice korisne za učenje logike i za one koji

    o logici žele znati više:

     http://www.vusst.hr/~logika/pilot/izbor.htm

     http://philosophy.lander.edu/logic/index.html

     (koristan link sa primjerima i riješenim zadacima)

     http://plato.stanford.edu/entries/logic-classical/

     http://matcmadison.edu/alehnen/weblogic/logsent.htm#negation

     http://webcampus.stthomas.edu/phil/logic/student/main.cfm

     http://www.aslonline.org/index.htm

     (Association for Symbolic logic - službene stranice)

     Posebno, vezano za predmet Logika, na sljedećim web stranicama

     možete pronaći objašnjenja i korisne primjere/zadatke za vježbu i

     bolje razumijevanje gradiva:

• Argument (zaključak): zadaci sa rješenjima

• Dijagramiranje:  http://philosophy.lander.edu/logic/diagram.html

          http://www.oabs.org/classes/logic/Notes%20on%20Argument

• Argument - objašnjenje:  http://philosophy.lander.edu/logic/nonarg.html

• Deduktivan - induktivan argument, istinitost i valjanost: http://philosophy.lander.edu/logic/ded_ind.html http://www.earlham.edu/~peters/courses/log/tru-val.htm

• Teorija skupova:

         http://matcmadison.edu/alehnen/weblogic/logset.htm#Unions

         Teorija skupova - razni zadaci

• Vennovi i Venn-Eulerovi dijagrami:   http://www.shodor.org/interactivate/activities/vdiagram/

         http://www.roninabox.com/venndiagram.html  (zadaci za vježbu)

         http://www.philosophypages.com/lg/e08a.htm (kategorički silogizmi

         i Vennovi dijagrami)

• Logičke pogreške:

          http://www.infidels.org/news/atheism/logic.html

          http://www.logicalfallacies.info/index.html 

          http://www.goodart.org/fallazoo.htm

          http://philosophy.lander.edu/logic/fallacy_topics.html

      Vezano za predmet Simbolička logika 1, na sljedećim web stranicama

      možete pronaći objašnjenja i korisne primjere/zadatke za vježbu

      i bolje razumijevanje gradiva:

• Simbolička logika - osnovni pojmovi: http://www.earlham.edu/~peters/courses/log/loghome.htm

 

 George Boole (1815-1864)

 

John Venn (1834-1923)

Friedrich Ludwig Gottlob Frege (1848-1925)

 

Luitzen Egbertus Jan Brouwer (1881-1966)

Alfred Tarski (1902-1983)

 

Frank Plumpton Ramsey (1903-1930)

Kurt Gödel (1906-1978)