Email:
karl@kechele.de
  

Att.: All trademarks on these pages are the property of their owners

Web:
www.kechele.de
 

     Stand:
   11.05.2012

Für alle Links auf
diesen Seiten gilt:
Für den Inhalt
sind die jeweiligen
Eigentümer selbst
verantwortlich !

Links zum Thema Philosophie:

Philosophie Seiten
Informationen zur Philosophie
  Philosophy in Cyperspace
Philosophie Lexikon
Denkfallen

Paradoxes: #1 ° #2 ° NILOG
Beweise: Tautologie
Logik des Schließens: Simulation
       Logic Daemon ° ALFie ° Linear Logic Prover
Alle gültigen Syllogismen: AAA-1, EAE-1, AII-1, EIO-1, EAE-1, AEE-1, EIO-2, AOO-2,
       AII-3, EIO-3, IAI-3, OAO-3, AAI-3, EAO-3, AEE-4, EIO-4, IAI-4, AAI-4, EAO-4
       A: Alle x sind y, E: Alle x sind nicht y, I: Einige x sind y, O: Einige x sind nicht y
       1: M-P, S-M > S-P; 2: P-M, S-M > S-P; 3: M-P, M-S > S-P; 4: P-M, M-S > S-P
         (Prämisse 1, Prämisse 2 > Schlußfolgerung)
       S: Subjekt, P: Prädikat, M: Mittelbegriff
Beispiel: AAA-1: (1: M-P, S-M > S-P)
       Prämisse 1: Alle Menschen sind sterblich. (M = Menschen, P = sterblich)
       Prämisse 2: Alle Diebe sind Menschen.    (S = Diebe, M = Menschen)
Schlußfolgerung: Alle Diebe sind sterblich.       (S = Diebe, P = sterblich)
 

[Home] [Das bin ich] [Mathe] [Philosophie] [Links]