The following pages link to What are logical notions? (Q3758801):
Displayed 50 items.
- Is logic in the mind or in the world? (Q411569) (← links)
- Models and logical consequence (Q484189) (← links)
- On the epistemological significance of the Hungarian project (Q514553) (← links)
- Reduction and Tarski's definition of logical consequence (Q558729) (← links)
- Tarski's conception of logic (Q598260) (← links)
- Chateaubriand's realist conception of logic (Q660453) (← links)
- Consequence mining. Constants versus consequence relations (Q692175) (← links)
- Isomorphism is equality (Q740487) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Logical operations and invariance (Q861521) (← links)
- The truths of logic (Q1293000) (← links)
- Invariance and definability, with and without equality (Q1704087) (← links)
- Carnap on logic and rationality (Q1708747) (← links)
- Carnap and the invariance of logical truth (Q1708751) (← links)
- Univalence as a principle of logic (Q1788330) (← links)
- Frege's new science (Q1860968) (← links)
- Frege on axioms, indirect proof, and independence arguments in geometry: Did Frege reject independence arguments? (Q1860969) (← links)
- Tarski on logical consequences (Q1924334) (← links)
- Beyond logical pluralism and logical monism (Q2183711) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- Tarski's staggering existential assumptions (Q2386112) (← links)
- Definability and invariance (Q2454641) (← links)
- Towards transfinite type theory: rereading Tarski's \textit{Wahrheitsbegriff} (Q2515772) (← links)
- Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
- Is Avicenna an empiricist? (Q2658298) (← links)
- Three-dimensional affine spatial logics (Q2688870) (← links)
- Extensionality and logicality (Q2695031) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- <i>Logical Constants: A Modalist Approach</i><sup>1</sup> (Q2867855) (← links)
- Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence (Q2964410) (← links)
- RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES (Q3195592) (← links)
- Semantic Nominalism: How I Learned to Stop Worrying and Love Universals (Q3295811) (← links)
- Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517) (← links)
- Database Theory, Yuri, and Me (Q3585996) (← links)
- Etchemendy and Bolzano on Logical Consequence (Q3590044) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence (Q3618448) (← links)
- Zermelo's Analysis of ‘General Proposition’ (Q3638564) (← links)
- MATHEMATICAL INFERENCE AND LOGICAL INFERENCE (Q4557165) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- Computing on structures (Q4630296) (← links)
- LOGICALITY AND MEANING (Q4637952) (← links)
- On the Concept of Following Logically (Q4706125) (← links)
- The Different Ways in which Logic is (said to be) Formal (Q4914190) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4914192) (← links)
- Henry M. Sheffer and Notational Relativity (Q4914196) (← links)
- Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) (← links)
- Bolzano and Kant on the Nature of Logic (Q4983323) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)