1 / 5

Co je to logika ?

Co je to logika ?. Logika. Má více významů v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů.

tawny
Download Presentation

Co je to logika ?

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Co je to logika ?

  2. Logika Má více významů v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům. Logika je také formální věda, zkoumající právě onen způsob vyvozování závěrů.

  3. Logika není empirickou vědou o myšlení - studuje objektivní podmínky správnosti - disciplína studující relaci.Logika nezkoumá obecně. Jako mnoho dalších věd vznikla logika coby součást filosofie a částečně takové zařazení stále platí. Logika se rozvinula i v matematice. Některé části logiky mají blíž k filosofii, některé k matematice, proto se někdy rozlišuje matematická logika. Logika má prakticky důležité aplikace v informatice.

  4. Dějiny Logiky Základní logika - Aristoteles (384–322 př. n. l.). Založil sylogistickou logiku. sylogismu : Premisa 1: Každý člověk je smrtelný. Premisa 2: Sokrates je člověk. Závěr: Sokrates je smrtelný. Středověká scholastika vychází ze sylogismu. Poprvé zavádí prvky temporální logiky, tedy logiky času. Představitel scholastické školy - William Occam (1290–1349). Usiloval o oddělení filosofie od teologie. Novověká logika trpí na okraji zájmu ve stínu filosofie, za jejího zakladatele lze stále považovat Aristotela.

  5. Významní Logikové Aristoteles William Occam GottfriedWilhelmLeibniz Bernard Bolzano GeorgeBoole Charles Peirce GeorgCantor GottlobFrege GiuseppePeano David Hilbert BertrandRussell Henry Sheffer Emil Post Arend Heyting Alfred Tarski AlonzoChurch Kurt Gödel J. BarkleyRosser StephenKleene Alan Turing Adam Holý

More Related