Portal: logik

fra Wikipedia, den gratis encyklopædi
Spring til navigation Spring til søgning
Forkortelse : P: L
Oversigt Fremragende artikel Artikler værd at læse Deltage
Portal logik


Kakuro, et logisk puslespil
Aristoteles, grundlæggeren af ​​logik

Logik er lektionen i ræsonnement. Grundlagt af Aristoteles og efterfølgende næsten uændret i sine fundamenter i over to årtusinder, fik logik kun betydning igen i moderne tid. Især grundlaget for matematik i logik, for eksempel af George Boole , Frege og Russell og Whitehead , samt den sprog-filosofiske interesse for logik fra Wienerkredsen og Ludwig Wittgenstein genoplivede det grundlæggende arbejde med logik og førte i første omgang til en streng formalisering af logik, til logiske beregninger samt til et væld af forskellige logikker, som adskiller sig i deres valgte antagelser (aksiomer) og slutningsregler. Denne portal giver en introduktion til de vigtigste aspekter af logik. Vi ser frem til spørgsmål og forslag på diskussionssiden.

Qsicon readworthy.svg Hovedartikel Logik · Kategorilogik



Grundlæggende om formel logik
Logik


logiker

Qsicon Excellent.svg Aristoteles (384-322 f.Kr.) • Philo of Megara (4. / 3. århundrede f.Kr.) • Chrysippos af Soli (281-208 f.Kr.) • Cicero (106-43 f.Kr.) • Boëthius (475-524) • Petrus Abelardus (1079-1142) ) • Averroes (1126-1198) • William af Sherwood (1200-1266) • Qsicon Excellent.svg Johannes Duns Scotus (1266-1308) • Wilhelm von Ockham (1285-1347) • Johannes Buridan (1300-1358) • Gottfried Wilhelm Leibniz (1646-1716) • Gottfried Ploucquet (1716-1790) • Qsicon readworthy.svg Arthur Schopenhauer (1788-1860) • Augustus De Morgan (1806-1871) • George Boole (1815-1864) • Charles Sanders Peirce (1839-1914) • Ernst Schröder (1841-1902) • Gottlob Frege (1848-1925) • Giuseppe Peano (1858-1932) • Qsicon readworthy.svg David Hilbert (1862-1943) • Bertrand Russell (1872-1970) • Jan Łukasiewicz (1878-1956) • Henry Maurice Sheffer (1882-1964) • Ludwig Wittgenstein (1889-1951) • Rudolf Carnap (1891-1970) • Arend Heyting (1898-1980) • Qsicon readworthy.svg Gotthard Günther (1900-1984) • Alfred Tarski (1901-1983) • Joseph Maria Bocheński (1902-1995) • Alonzo Kirke (1903-1995) • Stanisław Jaśkowski (1906-1965) • Kurt Gödel (1906-1978) • Jacques Herbrand (1908-1931) • Evert Willem Beth (1908-1964) • Willard Van Orman Quine (1908-2000) • Claude Elwood Shannon (1916-2001) • Georg Henrik von Wright (1916-2003) • Raymond Smullyan (* 1919 ) • Karel Berka (* 1923) • Wesley C. Salmon (1925-2001) • Jaakko Hintikka (* 1929) • John Alan Robinson (* 1930) • Saul Aaron Kripke (* 1940)

Standardværker

Analytica priora (Aristoteles) • Om den firefoldige rod til princippet om tilstrækkelig fornuft (Arthur Schopenhauer) • Qsicon readworthy.svg Begrebsmæssig skrivning (Gottlob Frege) • Principia Mathematica (Russell og Whitehead) • Tractatus Logico-Philosophicus (Ludwig Wittgenstein) • Logisk sproglig syntaks (Rudolf Carnap) • Om formelt uafklarelige sætninger i Principia Mathematica og beslægtede systemer I (Kurt Gödel) • Fundamentals af logik (Willard Van Orman Quine) • Introduktion til matematisk logik (Alfred Tarski)

Yderligere læselister : Grundlitteratur om emnet logikBibliografi om filosofisk logik


Hvad er portaler? | yderligere portaler under Wikipedia efter emne
Kvalitetsbedømmelse: informative portaler alfabetisk og efter emne