Formal Languages in Logic
From MaRDI portal
Publication:3145112
DOI10.1017/CBO9781139108010zbMath1270.03003WikidataQ61687247 ScholiaQ61687247MaRDI QIDQ3145112
Publication date: 14 December 2012
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cognitive psychology (91E10)
Related Items
Incorporating the Relation into the Language?, Enculturation and the historical origins of number words and concepts, Calculus as method or calculus as rules? Boole and Frege on the aims of a logical calculus, Requiem for logical nihilism, or: logical nihilism annihilated, ‘Horrent with Mysterious Spiculæ’. Augustus De Morgan’s Logic Notation of 1850 as a ‘Calculus of Opposite Relations’, Carnap on logic and rationality, Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization, The Possibility and Fruitfulness of a Debate on the Principle of Non-contradiction, ‘CHASING’ THE DIAGRAM—THE USE OF VISUALIZATIONS IN ALGEBRAIC REASONING, Hybrid-logical reasoning in the Smarties and Sally-Anne tasks, EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA, Logical expressivism, logical theory and the critique of inferences, Universal Logic as a Science of Patterns
