syllogismus
101Ramon Lull — Raimundus Lullus (Ramon Llull) Ars magna, Fig. 1 Ramon Llull (manchmal auch nur Lull, latinisiert Raimundus Lullus; * 1232 in Palma de Mallorca …
102Ramón Lull — Raimundus Lullus (Ramon Llull) Ars magna, Fig. 1 Ramon Llull (manchmal auch nur Lull, latinisiert Raimundus Lullus; * 1232 in Palma de Mallorca …
103Raymond Lully — Raimundus Lullus (Ramon Llull) Ars magna, Fig. 1 Ramon Llull (manchmal auch nur Lull, latinisiert Raimundus Lullus; * 1232 in Palma de Mallorca …
104Raymundus Lullus — Raimundus Lullus (Ramon Llull) Ars magna, Fig. 1 Ramon Llull (manchmal auch nur Lull, latinisiert Raimundus Lullus; * 1232 in Palma de Mallorca …
105Sequenzenkalkül — In der Beweistheorie und der mathematischen Logik bezeichnet man mit Sequenzenkalkül eine Familie formaler Systeme (oder Kalküle), die einen bestimmten Stil der Ableitung und gewisse Eigenschaften teilen. Die ersten Sequenzenkalküle, LK für die… …
106Tschelpanow — Georgi Iwanowitsch Tschelpanow (russisch Георгий Иванович Челпанов, wiss. Transliteration Georgij Ivanovič Čelpanov; 16. Apriljul./ 28. April 1862greg. in Mariupol; † 13. Februar 1936 in Moskau) war der Begründer der ersten russischen… …
107∀ — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …
108∃ — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …
109∄ — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …
110Argument der menschlichen Grenzfälle — (AMG) bezeichnet in der tierethischen Literatur eine Klasse von Argumenten. Ausgegangen wird davon, dass zwischen Menschen und nichtmenschlichen Tierarten[A 1] keine scharfe Trennlinie anhand für moralische Bewertungen verwendbarer Kriterien… …
