On defining sentential connectives

DOI10.1305/NDJFL/1093636938MaRDI QIDQ1103601zbMATH OpenOpenAlexFDO

Authors Joseph Jurcic

Publication date 1987

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093636938

zbMATH Keywords

Leśniewski style rules of definitionpredicate and function symbolsrule for defining connectivestwo-way inference rules

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03B99)

Review text

Leśniewski style rules of definition, traditionally, allow introducing definitions as material equivalence within the object language. The author points out several limitations in using such rules, and offers a rule for defining connectives (an later - for predicate and function symbols) which has a wider range of application. This rule requires definitions to be two-way inference rules, schematizable in a certain sense.

Recommendations

• On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
• Leśniewski on metalogic and definitions
• Intelim rules for classical connectives
• Cn-definitions of propositional connectives
• Zero-place operations and functional completeness, and the definition of new connectives

Cited in

(7)

• Extensionality in sentence position
• Conservativeness and eliminability for anti-realistic definitions. Towards a global view of the meaning of logical constants
• Zero-place operations and functional completeness, and the definition of new connectives
• On Representing Sentential Connectives of Lesniewski's Elementary Protothetic
• Busting a Myth about Leśniewski and Definitions
• Cn-definitions of propositional connectives
• The logic of lexical connectives

This page was built for publication: On defining sentential connectives

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