Results 1 to 10 of about 37,488 (257)
A Constructionist Philosophy of Logic [PDF]
Minds and Machines, 2017 This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.
Patrick Allo
exaly +4 more sources
Choice Reviews Online, 2007 The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and ...
Jacquette, Dale.
core +3 more sources
, 1978 The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack\u27s book has established an international reputation (translated into five languages) for its accessibility, clarity, conciseness, orderliness, and range ...
Haack, Susan
core +3 more sources
A Variant of Material Connexive Logic [PDF]
, 2021 The relationship between formal (standard) logic and informal (common-sense, everyday) reasoning has always been a hot topic. In this paper, we propose another possible way to bring it up inspired by connexive logic.
Zaitsev, Dmitry, Belikov, Alexander
core +1 more source
The Dynamic Epistemic Logic for Actual Knowledge [PDF]
, 2020 The dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not ...
Wójcik, Arkadiusz
core +1 more source
Science, Logic and Philosophy [PDF]
Nature, 1938 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
On the Logical Philosophy of Assertive Graphs
Journal of Logic, Language and Information, 2020 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Daniele Chiffi, Ahti-Veikko Pietarinen
openaire +2 more sources
Carl Stumpf's philosophy of mathematics [PDF]
, 2015 Like most of Franz Brentano's students, Carl Stumpf showed an interest in the philosophy of mathematics. In particular, Stumpf wrote his habilitation thesis On the Foundations of Mathematics, used mathematical examples in central parts of his lectures ...
Ierna, Carlo +4 more
core +1 more source
The Bulletin of Symbolic Logic, 2012 Abstract what exactly are these logical This essay is the text of a retiring presidential address to the Association for Symbolic Logic. For a number of historical and sociological reasons, the largely mathematical membership of the Association is aware of the three great schools in the philosophy of mathematics at the turn of the 20th ...
openaire +2 more sources
A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation [PDF]
, 2019 This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated.
Kurbis, N, Kürbis, Nils
core +1 more source