Metalogic, Schopenhauer and Universal Logic
From MaRDI portal
Publication:5118392
DOI10.1007/978-3-030-33090-3_13zbMath1498.03003OpenAlexW3034543090MaRDI QIDQ5118392
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
TarskimetamathematicsAristotleŁukasiewiczmetalogicuniversal logiclaws of thoughtSchopenhauerVasiliev
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)
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