What are logical notions?

DOI10.1080/01445348608837096zbMATH Open0622.03004OpenAlexW1978653019WikidataQ57472878 ScholiaQ57472878MaRDI QIDQ3758801FDOQ3758801

Authors: Alfred Tarski 

Publication date: 1986

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445348608837096

Recommendations

• Tarski on logical notions
• Logic, logics, and logicism
• Extensionality and logicality
• Mathematical logic of notions and concepts
• scientific article; zbMATH DE number 1252398

zbMATH Keywords

invarianceset theoryuniverse of discourselogic of numerical relationslogical notionsnonlogical relation of membershipPricipia

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On automorphisms of arbitrary mathematical systems
• An Extension of Klein's Erlanger Program: Logic as Invariant-Theory

Cited In (74)

• Plural ancestral logic as the logic of arithmetic
• The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper
• Human Thought, Mathematics, and Physical Discovery
• ISOMORPHISM INVARIANCE AND OVERGENERATION
• Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation)
• Logical hylomorphism revisited: Aristotle, Tarski, and Corcoran
• The philosophy of logic of John Corcoran
• Logic as a methodological discipline
• Grounding and defining identity
• Logical constants and arithmetical forms
• INVARIANCE CRITERIA AS META-CONSTRAINTS
• Why logical pluralism?
• Sameness
• Bolzano and Kant on the Nature of Logic
• Semantic Nominalism: How I Learned to Stop Worrying and Love Universals
• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• Beyond logical pluralism and logical monism
• Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
• Tarski's staggering existential assumptions
• Is logic in the mind or in the world?
• Consequence mining. Constants versus consequence relations
• Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}
• The foundational problem of logic
• Investigating Knowledge and Opinion
• The lattice of definability: origins, recent developments, and further directions
• Domains of Sciences, Universes of Discourse and Omega Arguments
• Univalence as a principle of logic
• Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Varieties of Pluralism and Objectivity in Mathematics
• Reduction and Tarski's definition of logical consequence
• Logical operations and invariance
• HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY
• Database Theory, Yuri, and Me
• Carnap and the invariance of logical truth
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• Tarski's conception of logic
• Frege's new science
• Zermelo's Analysis of ‘General Proposition’
• Logical constants: a modalist approach
• Isomorphism is equality
• Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments?
• Is Avicenna an empiricist?
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• ON THE GENERAL INTERPRETATION OF FIRST-ORDER QUANTIFIERS
• Logical constants and the sorites paradox
• Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence
• Etchemendy and Bolzano on logical consequence
• Higher Structures in Homotopy Type Theory
• The different ways in which logic is (said to be) formal
• Burali-Forti as a purely logical paradox
• LOGICALITY AND MEANING
• Models and logical consequence
• Definability and invariance
• Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
• Shallow confluence of conditional term rewriting systems
• On the Concept of Following Logically
• LOGICALITY AND MODEL CLASSES
• Computing on structures
• Three-dimensional affine spatial logics
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• Extensionality and logicality
• Chateaubriand's realist conception of logic
• Invariance and definability, with and without equality
• Is Logic Exceptional?
• Logicality and Invariance
• Henry M. Sheffer and notational relativity
• Carnap on logic and rationality
• On the epistemological significance of the Hungarian project
• The truths of logic
• MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• Tarski on logical consequences
• Logic, logics, and logicism

This page was built for publication: What are logical notions?

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