Metalogic, Schopenhauer and Universal Logic

DOI10.1007/978-3-030-33090-3_13zbMath1498.03003OpenAlexW3034543090MaRDI QIDQ5118392

Jean-Yves Béziau

Publication date: 8 September 2020

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-33090-3_13

zbMATH Keywords

TarskimetamathematicsAristotleŁukasiewiczmetalogicuniversal logiclaws of thoughtSchopenhauerVasiliev

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55)

Related Items (2)

Many-valuedness from a universal logic perspective ⋮ Is Logic Exceptional?

Cites Work

• Logic: a history of its central concepts
• Universal logic: An anthology. From Paul Hertz to Dov Gabbay
• Undecidability and incompleteness in classical mechanics
• Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
• Universal logic: evolution of a project
• Is the principle of contradiction a consequence of \(x^2=x\)?
• The Lvov-Warsaw school. Past and present
• Untersuchungen über das logische Schliessen. II
• Logic and colour
• Language, logic, and mathematics in Schopenhauer
• Universal logic and Aristotelian logic: formality and essence of logic
• The square of opposition: a cornerstone of thought
• The logical legacy of Nikolai Vasiliev and modern logic
• Visualizations of the square of opposition
• Non-classical stems from classical: N. A. Vasiliev's approach to logic and his reassessment of the square of opposition
• Introduction to model theory and to the metamathematics of algebra
• Universal Laurent series smooth up to a part of the boundary
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• ‘Metamathematics’ in Transition
• Arthur Schopenhauer on Naturalness in Logic
• Schopenhauer and the Equational Form of Predication
• The inconsistency of certain formal logics
• The consistency of arithmetics
• Logic and philosophy in the Lvov-Warsaw school
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Metalogic, Schopenhauer and Universal Logic