Senest ændret
- tautologi: Jørgen Villadsen (DTU) godkendte et ændringsforslag fra Adam Schwartz (KU)
- inventio medii: ændret af Rebecca Bailey (lex.dk)
- Evert W. Beth: ændret af Jørgen Villadsen (DTU)
- Evert W. Beth: ændret af Jørgen Villadsen (DTU)
Logik
Logik er læren om de grundlæggende principper og regler for korrekte slutninger. Som videnskab blev logik grundlagt i oldtiden, se aristotelisk logik. I nutiden kan den indholdsmæssigt placeres i grænseområdet mellem filosofi og matematik; den har mange praktiske anvendelser, specielt i moderne datalogi. Alle sprogbrugere er i stand til at udføre visse enkle logiske slutninger og at identificere sådanne.
Hele artiklen
Indeholder 1 kategori:
- A-dom
- Alfred Tarski
- Alonzo Church
- Benno Erdmann
- De Morgans love
- E-dom
- Ernst Schröder
- Evert W. Beth
- F.P. Ramsey
- George Boole
- Gerhard Gentzen
- Gottlob Frege
- Haskell Brooks Curry
- I-dom
- Jacques Herbrand
- Jan Łukasiewicz
- Kurt Gödel
- Louis Couturat
- O-dom
- Paul Lorenzen
- Petrus Hispanus
- Sheffers streg
- Thoralf Skolem
- Venn-diagram
- Willard Van Orman Quine
- World Logic Day
- Yehoshua Bar-Hillel
- afgørbarhed
- aksiom
- aksiomsystem
- alkvantor
- alternation
- antecedent
- antilogisme
- apagogisk bevis
- apodiktisk udsagn
- argument – logisk begreb
- argumentationsteori
- aristotelisk logik
- assertionstegn
- assertorisk udsagn
- atomart udsagn
- bevis – logisk begreb
- bevisteori
- biimplikation
- boolesk algebra
- circulus vitiosus
- cirkelbevis
- consequentia
- contradictio in adjecto – logisk modsigelse
- copula
- deduktionsteorem
- deduktivt system
- definition
- deontisk logik
- deskriptionsteori
- diallel
- dialogisk logik
- dictum de omni et nullo
- dilemma
- disjunktion
- divalent logik
- dom – udsagn
- domslogik
- egenskab
- eksistensbevis
- eksistenskvantor
- eksplicit definition
- entailment
- enten-eller
- epagoge
- epistemisk logik
- episyllogisme
- ergo propter hoc post hoc
- eulerske cirkler
- fejlslutning
- figur – logisk form
- formalisme – anskuelsestilgang
- fuldstændighed
- funktionslogik
- funktor
- fuzzy logic
- fuzzylogik
- følgerelation
- førsteordensudsagn
- glidebaneargument
- heuristik
- identitet – filosofisk begreb
- implikation
- interpretation
- intuitionistisk logik
- inventio medii
- kalkule
- kategorematisk udtryk
- kategorisk udsagn
- klasse – logisk begreb
- kombinatorisk logik
- komplethed
- konjunktion – logisk begreb
- konklusion
- konnektiver
- konsekvens – logisk begreb
- konsistens
- konstruktivistisk logik
- kontradiktion
- kontraposition
- kontrær
- konversion – logisk begreb
- kvantifikation
- kvantitet – logisk begreb
- kvantor
- logik
- logisk algebra
- logisk konstant
- logisk kvadrat
- logisk syntaks
- logistik – logisk begreb
- mathesis universalis
- mellembegreb
- metalogik
- modalitet – logisk begreb
- modallogik
- modsigelsesprincippet
- modus – logisk begreb
- negation – logisk begreb
- non causa pro causa
- non sequitur
- nødvendighed
- obversion
- paradoks
- paralogisme
- partikulært udsagn
- per accidens
- petitio principii
- polyvalent logik
- postulat
- prædikatslogik
- præmis – logisk begreb
- reductio ad absurdum
- relationslogik
- sandhedsfunktion
- sandhedstabel
- sandhedsværdi
- slutning
- stråmandsargument
- subalternation
- subkontrær
- supposition
- syllogisme
- symbolsk logik
- synkategorematisk
- tautologi
- temporallogik
- teorem
- tertium non datur
- tidslogik
- trilemma
- truisme
- typeteori
- uafhængighed – matematisk eller logisk begreb
- udelukkelsesprincippet – logisk begreb
- udsagn – logisk begreb
- udsagnslogik
- underbegreb
- undersætning
- univers – logisk univers
- variabel
- åbent udsagn
- ækvivalens