Reasoning on a tight budget: Lesniewski's nominalistic metalogic

DOI10.1023/A:1014780217184MaRDI QIDQ700694zbMATH OpenOpenAlexFDO

Authors Peter M. Simons

Publication date 8 October 2002

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1014780217184

zbMATH Keywords

definitionsinscriptional syntaxLesniewskinominalismpropositional logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05)

Review text

As the author himself remarks, his ``paper aims to smooth the way for a better understanding of Lesniewski's distinctive approach to metalogic, the most familiar peculiarities of which are the nominalistic view on syntax of a logical system and nontraditional understanding of the role of definitions in it. A section is devoted to outlining Lesniewski's philosophical background and his motivation for developing such an approach. In two other sections Lesniewski's famous terminological explanations and directives are characterised in short. For illustration, classical propositional calculus is presented first in the traditional form and then in Lesniewski's manner. Another example considered is the formulation of propositional calculus in Łukasiewicz notation that comes back to Lesniewski himself. In the final section, the author sums up the positive and the negative features of Lesniewski's way of presenting logic, and calls attention to two challenges concerning reformulation of Lesniewski in a more traditional and user-friendly manner.

Recommendations

• Leśniewski on metalogic and definitions
• Leśniewski's conception of logic
• Leśniewski's systems of logic and foundations of mathematics
• Abstraction and nominalization in Leśniewski's Ontology
• Stanisław Leśniewski: Original and Uncompromising Logical Genius

Cited in

(7)

• Nominalistic metalogic
• Leśniewski on metalogic and definitions
• Leśniewski's conception of logic
• scientific article; zbMATH DE number 4012580 (Why is no real title available?)
• On the relation of logic to metalogic
• Leśniewski's strategy and modal logic
• Leśniewski's \textit{characteristica universalis}

This page was built for publication: Reasoning on a tight budget: Lesniewski's nominalistic metalogic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700694)