What are logical notions?

DOI10.1080/01445348608837096zbMath0622.03004OpenAlexW1978653019WikidataQ57472878 ScholiaQ57472878MaRDI QIDQ3758801

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

invariance set theory universe of discourse logic of numerical relations logical notions nonlogical relation of membership Pricipia

Mathematics Subject Classification ID

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

Related Items

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

Cites Work