Loading...
An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order ... logic has played a large role in contemporary philosophy of mathematics. Many ideas about mathematical objects, especially sets, have been fruitfully studied using distinctive mathematical modalities
Both extended simples and unextended complexes have been extensively discussed and widely used in metaphysics and philosophy of physics. However, the characterizations of such notions are not ... ; Mereological harmony 1 Introduction Extended simples have been thoroughly discussed in metaphysics1 and philosophy of physics.2 Recently, unextended complexes have been investigated as well.3 Despite the
Philosophy and Logic and Philosophy of Science, Universidad de Sevilla , Camilo José Cela St., Sevilla 41018 , Spain 1 Department of Philosophy and Anthropology, Universidad de Santiago de Compostela ... Quantum Mechanics. University of California Press. 20. Reichenbach, H. (1946). Reply to Ernest Nagel’s Criticism of My Views on Quantum Mechanics. The Journal of Philosophy, 43(9), 239–247. 21
There is a well-known gap between metamathematical theorems and their philosophical interpretations. Take Tarski’s Theorem. According to its prevalent interpretation, the collection of all arithmetical truths is not arithmetically definable. However, the underlying metamathematical theorem merely establishes the arithmetical undefinability of a set of specific Gödel codes of...
the temperature was higher, this piece of metal would melt, and if we are discussing political fiction we can consider If Reagan worked for the KGB, I’ll never find out ([ 18 ], 155) or the famous 1 ... University. 5. Egré , P. , & Rott , H. ( 2021 ). The Logic of Conditionals . In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Winter 2021 ed.). URL = https://plato.stanford.edu/archives/win2021
set of worlds where p is true. Reflexivity is required to ensure Modus Ponens for the logical implicative conditional which we define below. From the perspective of the philosophy of modality
Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka The Journal of Philosophy, 56, 125–137 1959; Lambert ... Fakulta¨t f u¨r Philosophie, Wissenschaftstheorie und Religionswissenschaft Munich Center for Mathematical Philosophy (MCMP), Ludwig-Maximilians Universita¨t M u¨nchen, Geschwister Scholl Platz
Press. 4. Beall , J. C. , & Glanzberg , M. ( 2008 ). Where the paths meet: Remarks on truth and paradox . Midwest Studies in Philosophy , 32 ( 1 ), 169 - 198 . 5. Black , M. ( 1937 ). Vagueness. An ... exercise in logical analysis . Philosophy of Science , 4 ( 4 ): 427 - 455 . 6. Bochvar , D. A. ( 1937 ). [ On a three-valued calculus and its applications to the paradoxes of the classical extended
.), Contemporary Aspects of Philosophy (pp. 30 - 55 ). Stocksfield: Oriel Press, 1977 . 7. Belnap , N. ( 1977 ). A useful four-valued logic . In M. Dunn & G. Epstein (Eds.), Modern Uses of Multiple-valued Logic (pp ... . 9. Carnielli , W. , & Coniglio , M.E. ( 2022 ). Combining Logics . In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Fall 2020 Edition) . https://plato.stanford.edu/archives/fall2020
. Barwise , J. , & Cooper , R. ( 1981 ). Generalized quantifiers and natural language . Linguistics and Philosophy , 4 , 159 - 219 . 6. Berto , F. , & Restall , G. ( 2019 ). Negation on the Australian Plan ... ). Studies in the Way of Words . Cambridge, MA: Harvard University Press. 20. Hawke , P. , & Steinert-Threlkeld , S. ( 2021 ). Semantic expressivism for epistemic modals . Linguistics and Philosophy , 44 , 475
. & Tajer, D. (Synthese, 2016)) that the validity predicate introduced in by Beall and Murzi in (Journal o f Philosophy, 110(3), 143–165, 2013) has to express facts not only about what follows from what, but ... . , & Murzi , J. ( 2013 ). Two flavors of Curry paradox . Journal of Philosophy , 110 ( 3 ), 143 - 165 . 7. Blok , W. , & J o´nsson, B. ( 2006 ). Equivalence of consequence operations . Studia Logica , 83 ( 1
parts. Mathematics includes arithmetic. Mathematics and philosophy share subject matter, having (certain parts of) logic in common. Correspondingly, what a sentence is about can overlap with, or be ... , April 7, 2021; the workshop ‘Beyond the Impossible’, University of Padua, October 22, 2021; the London Group for Formal Philosophy (UCL/KCL/BBK), November 18, 2021; the Department of Philosophy
Science and Engineering, 0 Department of Theoretical Philosophy, Faculty of Philosophy, University of Groningen, 1 0 University of Groningen , Groningen , The Netherlands 1 Groningen , The Netherlands The ... ””, but in the Stanford Encyclopedia of Philosophy this paradox is called the “Paradox of Epistemic Obligation” [ 24 ]. 2It is a common assumption in epistemology that knowledge implies truth. As a
Journal of Philosophical Logic https://doi.org/10.1007/s10992 Søren Brinck Knudstorp 0 0 ILLC & Philosophy, University of Amsterdam , Amsterdam , The Netherlands The present paper studies formal ... Contributions to Logic’, Springer. Preprint available at: https://eprints.illc.uva.nl/id/eprint/1773/ 19. van Fraassen, B. C. (1969). Facts and tautological entailments. The Journal of Philosophy, 66, 477–487. 20
Mathematical Philosophy (MCMP), Ludwig-Maximilians-Universität München , München , Germany 1 Faculty of Philosophy, University of Warsaw , Warsaw , Poland This paper focuses on the categoricity of arithmetic ... and Yang don’t directly argue against internalism. Their argument is employed in the context of Feferman’s philosophy of mathematics and within his claim that the definiteness of the natural numbers
‘theater of pain’, the phenomenon of vivisection and the ontology of ‘human remains’. The author reads Słowacki’s drama through the prism of Michel Henry’s philosophy of existence.
Philosophy, Ludwig-Maximilians-University , Munich , Germany 1 Departamento de Lógica, Historia y Filosofía de la Ciencia, Universidad Nacional de Educación a Distancia , Madrid , Spain In this paper we re ... the impression that there was nothing interestingly new to be explored here. Also, we should mention that we later found that Section 3.5 of the Stanford Encyclopedia of Philosophy entry on “Many
tradition of twentieth-century philosophy of science as they can be traced back to Hempel’s essential requirements for H to be considered an explanans of G given ([15], pp. 277-78). Of course, the Hempelian ... ). Relevance and redundancy in deductive explanations . Philosophy of Science , 43 ( 3 ), 420 - 431 . 14. Goranko , V. ( 1994 ). Refutation systems in modal logic . Studia Logica , 53 ( 2 ), 299 - 324 . 15
the expression “whether view” to address the second notion of lack of knowledge, i.e. “a does not know whether ϕ”. From psychology to education studies, passing through philosophy and many other ... , 345–355. 32. Peels, R. (2010). What is ignorance? Philosophia, 38, 57–67. 33. Peels, R. (2017). Ignorance. In T. Crane (Ed.) Routledge Encyclopedia of Philosophy. 34. Peels, R., & Blaauwm, M. (2016
