Deduktio
Deduktion, deduktiver Schluss
Als Deduktion oder deduktiven Schluss bezeichnet man den Schluss, der bei Wahrheit der Prämissen und Beachtung der Regeln der Logik die Wahrheit des Schlusssatzes gewährleistet.Deduktive Schlüsse sind Bestandteil von Beweisen.
Es werden drei Arten von deduktiven Schlüssen unterschieden:
- Schluss vom Allgemeinen auf das Einzelne oder das weniger Allgemeine,
- Schluss von der Allgemeinheit auf dieselbe Allgemeinheit,
- Schluss vom Einzelnen auf das Partikuläre.
Deduktive Schlüsse sind Grundlage des Deduktionsparadoxons.
Def
Definition
Ein Definition (definitio lat., Bestimmung) ist ein Satz, der die Merkmale angibt, welche die Eigenschaften von Gegenständen widerspiegeln oder die Bedeutung eines entsprechenden Terminus aufdecken (vgl. Begriffsbestimmung). Oft wird in der Definition auf die nächste Gattung hingewiesen, zu der der gegebene Gegenstand gehört, sowie auf den Artunterschied dieses Gegenstandes gegenüber allen übrigen Arten, die die Gattung bilden.In logisch-semantischer Hinsicht ist die Definition ein Denkverfahren, mit dessen Hilfe die Bedeutung eines Zeichenausdrucks ermittelt, präzisiert oder eine bestimmte Sprache S durch Einführung eines neuen Zeichens erweitert wird.
Dabei muss die Forderung nach gegenseitiger Ersetzbarkeit von Definiendum und Definiens hinsichtlich der entsprechenden Sätze der Sprache erfüllt sein, es sei denn, die Erfüllung dieser Forderung wird durch die Struktur der Definition selbst oder durch den Wissensstand verhindert.
Nach ihrer Form und nach den Methoden ihrer Bildung bzw. der Art ihrer Formalisierung unterscheidet man verschiedene Arten der Definition.
Häufige Fehler in der Definition sind die Inadäquatheit, die Zirkularität, die Definition des Unbekannten durch Unbekanntes, die Widersprüchlichkeit der Definition und die Unklarheit der Definition.
Defabstr
Definition durch Abstraktion
Definition, bei der eine Eigenschaft von Gegenständen durch Feststellung einer Gleichheitsbeziehung zwischen den zu untersuchenden Gegenständen bestimmt wird, z. B. "Die Kardinalzahl einer Menge M ist die Klasse aller Mengen, die sich in der Relation der Gleichmächtigkeit mit der betrachteten Menge befinden."Defabund
Definitio abundans
Lateinische Bezeichnung für eine Definition mit Pleonasmus.Chartres
Schule von Chartres
Die Schule von Chartres ist eine frühe Schule des Nominalismus. Vertreter dieser Schule sind- Gerbert von Aurillac (Sylvester II.)
- Fulbert von Chartres
- Adelard von Bath
- Bernhard von Chartres
- Thierry von Chartres
- Bernhard von Tours (Bernhard Silvestris)
- Wilhelm von Chonches
- Gilbert de la Porrés (Gilbertus Porretanus)
- John von Salisbury
- David von Dinant
- Amaury de Bène (Amalrich von Bena)
- Alanus ab insulis (Allain de Lille)
Chisholm
Paradoxie von Chisholm
Chisholm entdeckte Paradoxien, die man mit Hilfe von Wiedergutmachungsimperativen formulieren kann. Chisholm konnte zeigen, dass eine Formalisierung derartiger Imperative in den üblichen deontischen Logiken zu logischen Widersprüchen führt. Die Widersprüche die auch durch bedingte Gebote nicht umgangen werden konnten, führten zur Überzeugung, dass die deontische Logik mit Mitteln der Semantik unterlegt werden muss.