Philosophical logic

Die analytisch-synthetische Unterscheidung ist eine semantische Unterscheidung, die vor allem in der Philosophie verwendet wird, um zwischen zwei Arten von Aussagen (insbesondere affirmativen Subjekt - Prädikat-

Aristoteles ( Altgriechisch : Ἀριστοτέλης , romanisiert : Aristotélēs ; 384–322 v . Chr.) war ein griechischer Philosoph und Universalgelehrter der Antike .

Eine Definition ist eine semantische Aussage über die Bedeutung eines Begriffs (eines Wortes , einer Phrase oder einer anderen Symbolgruppe ) .

Die deontische Logik ist ein Teilgebiet der philosophischen Logik , das sich mit Verpflichtung , Erlaubnis und verwandten Begriffen befasst .

Die dialektische Logik ist ein System von Denkgesetzen, das in der hegelianischen und marxistischen Tradition entwickelt wurde und die Gesetze der formalen Logik ergänzen oder ersetzen soll .

Ein Existenzgraph ist eine Art diagrammatische oder visuelle Notation für logische Ausdrücke, die von Charles Sanders Peirce entwickelt wurde , der bereits 1882 über grafische Logik schrieb und die Methode bis zu seinem

Vernunft ist die Fähigkeit, bewusst Logik anzuwenden , indem aus neuen oder bestehenden Informationen gültige Schlussfolgerungen gezogen werden , mit dem Ziel, die Wahrheit zu finden .

Die Identität des Ununterscheidbaren ist ein ontologisches Prinzip, das besagt, dass es keine getrennten Objekte oder Entitäten geben kann , die alle ihre Eigenschaften gemeinsam haben.

Das Induktionsproblem ist ein philosophisches Problem, das die Rationalität von Vorhersagen über unbeobachtete Dinge auf der Grundlage vorheriger Beobachtungen in Frage stellt.

Am 14. Mai 1867 präsentierte der 27-jährige Charles Sanders Peirce , der spätere Begründer des Pragmatismus , der American Academy of Arts and Sciences eine Abhandlung mit dem Titel „ Über eine neue Kategorienliste “ .

Logische Wahrheit ist eines der grundlegendsten Konzepte der Logik . Allgemein gesprochen ist eine logische Wahrheit eine Aussage , die unabhängig von der Wahrheit oder Falschheit ihrer Bestandteile wahr ist .

Der Modalfehlschluss oder Modalbereichsfehlschluss ist ein formaler Fehlschluss in der Modallogik .

Die Modallogik ist eine Art Logik , die zur Darstellung von Aussagen über Notwendigkeit und Möglichkeit verwendet wird .

Ein Name ist ein Begriff, der von einem Außenstehenden zur Identifizierung verwendet wird. Ein Name kann eine Klasse oder Kategorie von Dingen oder ein einzelnes Ding eindeutig oder in einem bestimmten Kontext bezeichnen.

Ein Paradoxon ist eine logisch widersprüchliche Aussage oder eine Aussage, die den Erwartungen widerspricht.

In der Logik bezeichnet eine Referenz eine Beziehung zwischen Objekten , in der ein Objekt ein anderes Objekt bezeichnet oder als Verbindungsglied zu diesem dient.

Rhetorik ist die Kunst der Überzeugung . Sie zählt neben Grammatik und Logik / Dialektik zu den drei antiken Redekünsten ( Trivium ) .

In der Sprachphilosophie war die Unterscheidung zwischen Sinn und Bedeutung eine Idee des deutschen Philosophen und Mathematikers Gottlob Frege aus dem Jahr 1892 (in seiner Schrift „ Über Sinn und Bedeutung “ ) , die die

Die Spieltheorie ist ein Ansatz der formalen Semantik , der die Konzepte von Wahrheit und Gültigkeit auf spieltheoretischen Konzepten gründet, wie etwa der Existenz einer Gewinnstrategie für einen Spieler.

In der formalen Semantik ist die Strawson - Folgerung eine Variante des Folgerungsbegriffs , die unempfindlich gegenüber Präsuppositionsverletzungen ist .

Rigour ( britisches Englisch ) bzw. Rigor ( amerikanisches Englisch ; siehe Rechtschreibunterschiede ) beschreibt einen Zustand der Strenge oder Unnachgiebigkeit.

Der Tractatus Logico-Philosophicus (häufig abgekürzt als TLP ) ist das einzige philosophische Buchwerk des österreichischen Philosophen Ludwig Wittgenstein, das zu seinen Lebzeiten veröffentlicht wurde.

Die Unterscheidung zwischen Typ und Token beschreibt den Unterschied zwischen einem Objekttyp (analog zu einer Klasse ) und den einzelnen Token dieses Typs (analog zu Instanzen ).

Ein zirkulärer Bezug (oder Referenzzyklus ) ist eine Reihe von Verweisen, bei denen das letzte Objekt auf das erste verweist, was zu einer geschlossenen Schleife führt.