home
Inhalt Gedankenbilder

Logik
logos

 

Gedankenbild Gedankenbild

 

Übersetztes Bild:

 

Syllogismus
(im Denken Verbundenes

 
Kategorischer Syllogismus

bedingter Syllogismus

Deduktion

    Aussagenlogik
  1 Prämisse   mehrere Prämissen

hypothetische
Syllogismen

  disjunktive
Syllogismen

Dilemma

  2 Prämissen        
einstellige
Prädikate
    mehrstellige Prädikate modus ponendo
ponens =
modus ponens:
wenn p dann q
es ist p
q ist wahr
modus
ponendo
tollens:
entweder
p oder q
es ist p
q ist falsch
   

Prädikatenlogik

Relationslogik

  modus tollendo
tollens =
modus tollens:
wenn p dann q
es ist q falsch
p ist (auch) falsch
  modus tollendo
ponens:
es kann sein p oder q
p ist falsch
q ist wahr

3 Prädikate:
Subjekt = S
Mittelbegriff = M
Prädikat = P

 

Mathematische
moderne Logik

4 Schlussfiguren:        
1. Prämisse M ist P P ist M M ist P P ist M
2. Prämisse S ist M S ist M M ist S M ist S
Conclusio: S ist P S ist P S ist P S ist P
 

1

2 3 4
Schlusskette      
Alle Nadelbäume (M) sind Bäume (P)
Alle Fichten sind Nadelbäume (M)
Alle Fichten (S) sind Bäume (P)

 

  Logos, Syllogismus (im Denken Verbundenes), kategorischer Syllogismus, bedingter Syllogismus, Deduktion, Aussagenlogik, Prämisse, hypothetische Syllogismen, wenn p dann q, es ist p, q ist wahr / wenn p dann q, es ist q falsch, p ist auch falsch, disjunktive Syllogismen, entweder p oder q, es ist p, q ist falsch / es kann sein p oder q, p ist falsch, q ist wahr, Dilemma, einstellige Prädikate, mehrstellige Prädikate, Prädikatenlogik, Relationslogik, mathematische Logik, Subjekt, Mittelbegriff, Prädikat, Schlussfiguren, Schlusskette, Alle Nadelbäume (M) sind Bäume (P), Alle Fichten sind Nadelbäume (M), Alle Fichten (S) sind Bäume (P)

nächstes Bild


Arabisch, Farsi, Hebräisch und Urdu:

 

Syllogismus
(im Denken Verbundenes

 
Kategorischer Syllogismus

bedingter Syllogismus

Deduktion

    Aussagenlogik
  1 Prämisse   mehrere Prämissen

hypothetische
Syllogismen

  disjunktive
Syllogismen

Dilemma

  2 Prämissen          
einstellige
Prädikate
    mehrstellige Prädikate modus ponendo
ponens =
modus ponens:
wenn p dann q
es ist p
q ist wahr
  modus
ponendo
tollens:
entweder
p oder q
es ist p
q ist falsch
 
       

Prädikatenlogik

   

Relationslogik

  modus tollendo
tollens =
modus tollens:
wenn p dann q
es ist q falsch
p ist (auch) falsch
  modus tollendo
ponens:
es kann sein p oder q
p ist falsch
q ist wahr

3 Prädikate:
Subjekt = S
Mittelbegriff = M
Prädikat = P

 

Mathematische
moderne Logik

   
4 Schlussfiguren:        
1. Prämisse M ist P P ist M M ist P P ist M
2. Prämisse S ist M S ist M M ist S M ist S
Conclusio: S ist P S ist P S ist P S ist P
 

1

2 3 4
Schlusskette      
Alle Nadelbäume (M) sind Bäume (P)
Alle Fichten sind Nadelbäume (M)
Alle Fichten (S) sind Bäume (P)