Portal: logikk

fra Wikipedia, den frie encyklopedi
Hopp til navigasjon Hopp til søk
Forkortelse : P: L
Oversikt Utmerket artikkel Artikler som er verdt å lese Delta
Portal logikk


Kakuro, et logisk puslespill
Aristoteles, grunnleggeren av logikk

Logikk er leksjonen i resonnement. Grunnlagt av Aristoteles og deretter nesten uendret i grunnlaget i over to årtusener, fikk logikken bare betydning igjen i moderne tid. Spesielt gjenopprettet grunnlaget for matematikk i logikk, for eksempel av George Boole , Frege og Russell og Whitehead , samt den språklig-filosofiske interessen for logikk av Wien-sirkelen og Ludwig Wittgenstein det grunnleggende arbeidet med logikk og førte i utgangspunktet til en streng formalisering av logikk, til logiske beregninger så vel som til en rekke forskjellige logikker, som er forskjellige i deres valgte forutsetninger (aksiomer) og slutningsregler. Denne portalen gir en introduksjon til de viktigste aspektene ved logikk. Vi ser frem til spørsmål og forslag på diskusjonssiden.

Qsicon readworthy.svg Hovedartikkel Logikk · Kategorilogikk



Grunnleggende om formell logikk
Logikk


logiker

Qsicon Excellent.svg Aristoteles (384-322 f.Kr.) • Philo of Megara (4. / 3. århundre f.Kr.) • Chrysippos av Soli (281-208 f.Kr.) • Cicero (106-43 f.Kr.) • Boëthius (475-524) • Petrus Abelardus (1079-1142) ) • Averroes (1126-1198) • William av 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)

Standard fungerer

Analytica priora (Aristoteles) • Om den firefalte roten til prinsippet om tilstrekkelig fornuft (Arthur Schopenhauer) • Qsicon readworthy.svg Konseptuell skriving (Gottlob Frege) • Principia Mathematica (Russell og Whitehead) • Tractatus Logico-Philosophicus (Ludwig Wittgenstein) • Logisk språk syntaks (Rudolf Carnap) • Om formelt ubestemmelige setninger av Principia Mathematica og relaterte systemer I (Kurt Gödel) • Grunnleggende of Logic (Willard Van Orman Quine) • Introduksjon til matematisk logikk (Alfred Tarski)


Hva er portaler? | ytterligere portaler under Wikipedia etter emne
Kvalitetsvurdering: informative portaler alfabetisk og etter emne