What are logical notions?

DOI10.1080/01445348608837096MaRDI QIDQ3758801zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3051296 (Why is no real title available?)
• An Extension of Klein's Erlanger Program: Logic as Invariant-Theory
• On automorphisms of arbitrary mathematical systems

Cited in

(74)

• Logic, logics, and logicism
• Plural ancestral logic as the logic of arithmetic
• 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
• Is logic in the mind or in the world?
• Tarski's staggering existential assumptions
• Consequence mining. Constants versus consequence relations
• Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff}
• Logicality and meaning
• The foundational problem of logic
• Human Thought, Mathematics, and Physical Discovery
• Univalence as a principle of logic
• Domains of Sciences, Universes of Discourse and Omega Arguments
• The lattice of definability: origins, recent developments, and further directions
• Reduction and Tarski's definition of logical consequence
• Invariance criteria as meta-constraints
• 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
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• Logical operations and invariance
• Carnap and the invariance of logical truth
• Database Theory, Yuri, and Me
• 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
• Isomorphism is equality
• Bolzano and Kant on the nature of logic
• Zermelo's Analysis of ‘General Proposition’
• Logical constants: a modalist approach
• 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
• Mathematical inference and logical inference
• 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
• Investigating knowledge and opinion
• Logic as a methodological discipline
• The absence of multiple universes of discourse in the 1936 Tarski consequence-definition paper
• Etchemendy and Bolzano on logical consequence
• Logical constants and the sorites paradox
• Harmonic inferentialism and the logic of identity
• Higher Structures in Homotopy Type Theory
• Burali-Forti as a purely logical paradox
• The different ways in which logic is (said to be) formal
• Models and logical consequence
• Definability and invariance
• Grounding and defining identity
• Shallow confluence of conditional term rewriting systems
• Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
• Semantic nominalism: how i learned to stop worrying and love universals
• Logical constants and arithmetical forms
• On the Concept of Following Logically
• Isomorphism invariance and overgeneration
• LOGICALITY AND MODEL CLASSES
• Computing on structures
• Three-dimensional affine spatial logics
• On the general interpretation of first-order quantifiers
• Extensionality and logicality
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• Chateaubriand's realist conception of logic
• Invariance and definability, with and without equality
• Why logical pluralism?
• Henry M. Sheffer and notational relativity
• Logicality and Invariance
• Is Logic Exceptional?
• On the epistemological significance of the Hungarian project
• Carnap on logic and rationality
• Which quantifiers are logical? A combined semantical and inferential criterion
• The truths of logic
• Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere
• Sameness
• Tarski on logical consequences

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)