安裝 Steam
登入
|
語言
簡體中文
日本語（日文）
한국어（韓文）
ไทย（泰文）
Български（保加利亞文）
Čeština（捷克文）
Dansk（丹麥文）
Deutsch（德文）
English（英文）
Español - España（西班牙文 - 西班牙）
Español - Latinoamérica（西班牙文 - 拉丁美洲）
Ελληνικά（希臘文）
Français（法文）
Italiano（義大利文）
Bahasa Indonesia（印尼語）
Magyar（匈牙利文）
Nederlands（荷蘭文）
Norsk（挪威文）
Polski（波蘭文）
Português（葡萄牙文 - 葡萄牙）
Português - Brasil（葡萄牙文 - 巴西）
Română（羅馬尼亞文）
Русский（俄文）
Suomi（芬蘭文）
Svenska（瑞典文）
Türkçe（土耳其文）
tiếng Việt（越南文）
Українська（烏克蘭文）
回報翻譯問題
More og Romsdal, Norway 
Den klassiske logikk går tilbake på Aristoteles’ syllogismelære. Helt siden den gang har logikken utgjort en av filosofiens hoveddisipliner.
Den moderne logikk kan spores tilbake til 1800-tallet. Det var på denne tiden at bl.a. George Boole, Augustus De Morgan og Gottlob Frege gjorde de første forsøkene på gi logikken en matematisk fremstilling (se boolsk algebra og formal logikk). Den moderne logikkens mest grunnleggende gren er setningslogikken. Andre grener er predikat-, klasse- og relasjonslogikken.
I løpet av 1900-tallet ble logikken videre utvidet til å gi rom for usikkerhet og sannsynlighet. Resultatet var utviklingen av bl.a. flerverdi-, fuzzy- og kvantelogikken.