Portal: logikk
Oversikt | Utmerket artikkel | Artikler som er verdt å lese | Delta |
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.
Hovedartikkel Logikk · Kategorilogikk
redigere
Filosofisk logikk
Filosofisk logikk • Logisk empirisme • Teorem om den ekskluderte tredjeparten • Syllogisme • Konklusjon • Fradrag • Induksjon • Abduksjon • Prinsipp for toverdig
redigere
Grunnleggende om formell logikk
Axiom System • Modell Theory • bevis teori • Decidability • Satisfiability • Logisk ekvivalens • fullstendighet • Gödel sin fullstendighet teorem • Gödel 's ufullstendighet • kompakthet teorem • riktighet • syntaks • Formell semantikk • belegg • Tolkninger • Koinzidenzlemma • sikker • derivat • Oppløsning • substitusjon • Fradrag • Kunnskapsrepresentasjon med logikk
redigere
Proposisjonell logikk
Erklæringsskjema • setningsskjema • variabler i logikk • boolsk algebra • logisk utsagn • boolsk • sannhetstabell • konnektiv • konjunktion • disjunksjon • negasjon • negasjon normalform • konjunktiv normalform • Disjunktiv normalform • ledd normal form • tautologi • De Morgans lover • Hornklausul
redigere
Forutsig logikk
Predikat • Kvantifisering • Eksistenserklæring • Generell setning • Identitet • Herbrands teorem • Frie variabel og begrenset variabel • Individuell variabel • Predikatlogikk på høyere nivå • PROLOG • Prenex -skjema • Skolem -skjema • Forening
redigere
Logikk
Beskrivende logikk • Dialogisk logikk • Epistemisk logikk, kunnskapslogikk • Eksistensielle Grafer • Fuzzy Logic • Günther Logic • intuitionistic Logic • Klasse Logic • Klassiske Logic • Høyere nivå Logic • Multi-Value Logic • Multi- Agent System • Modal logikk • Paraconsistent logikk • Relevant logikk • Term logikk |
redigere
Beregning
Proposisjonsberegning • Treberegning • Gentz -beregning • Hilbert -beregning • Hoare -logikk • lambda -beregning • Plankalkül • predikatregning • relasjonsberegning • restberegning • oppløsningsberegning • sekvensberegning • Situasjonsberegning • naturlig fradrag → Viktige sluttregler: modus ponens • modus tollens • modus ponendo tollens • kjedeledd • motsetning
redigere
logiker
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) • Johannes Duns Scotus (1266-1308) • Wilhelm von Ockham (1285-1347) • Johannes Buridan (1300-1358) • Gottfried Wilhelm Leibniz (1646-1716) • Gottfried Ploucquet (1716-1790) • 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) • 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) • 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)
redigere
Standard fungerer
Analytica priora (Aristoteles) • Om den firefalte roten til prinsippet om tilstrekkelig fornuft (Arthur Schopenhauer) • 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) → Ytterligere leselister : Grunnleggende litteratur om emnet logikk • Bibliografi om filosofisk logikk |
Hva er portaler? | ytterligere portaler under Wikipedia etter emne
Kvalitetsvurdering: informative portaler alfabetisk og etter emne |
- logikk
- Portal: vitenskap som tema