Logic, logics, and logicism

DOI10.1305/ndjfl/1039096304zbMath0972.03005OpenAlexW2079585679WikidataQ55970202 ScholiaQ55970202MaRDI QIDQ5937844

Solomon Feferman

Publication date: 17 July 2001

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

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

zbMATH Keywords

definabilitybijections between domainshomomorphism invariant operationlogical operationlogicismtype structure

Mathematics Subject Classification ID

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

Related Items (21)

LOGICALITY AND MODEL CLASSES ⋮ ISOMORPHISM INVARIANCE AND OVERGENERATION ⋮ The foundational problem of logic ⋮ INVARIANCE CRITERIA AS META-CONSTRAINTS ⋮ MATHEMATICAL INFERENCE AND LOGICAL INFERENCE ⋮ Logical operations and invariance ⋮ Tarski's conception of logic ⋮ Reassessing logical hylomorphism and the demarcation of logical constants ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Human Thought, Mathematics, and Physical Discovery ⋮ Invariance and definability, with and without equality ⋮ Extensionality and logicality ⋮ Logicality and Invariance ⋮ Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion ⋮ LOGICALITY AND MEANING ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory ⋮ Sameness ⋮ Modal logic and invariance ⋮ Generalized Quantifiers Meet Modal Neighborhood Semantics ⋮ Frege's new science

Cites Work

• Logical constants across varying types
• Language in action
• Which logic is the right logic?
• The adequacy problem for inferential logic
• The adequacy problem for classical logic
• What is Logic?
• On a generalization of quantifiers
• What are logical notions?
• A semantic characterization of natural language determiners
• Generalized quantifiers and natural language
• On the Parallel Evaluation of Certain Arithmetic Expressions
• Logic with the quantifier “there exist uncountably many”
• Absolute logics and L∞ω
• An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
• Logical operations
• 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: Logic, logics, and logicism