This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

139 found
Order:
1 — 50 / 139
  1. added 2020-05-25
    Infinitesimal Gunk.Lu Chen - forthcoming - Journal of Philosophical Logic:1-24.
    In this paper, I advance an original view of the structure of space called Infinitesimal Gunk. This view says that every region of space can be further divided and some regions have infinitesimal size, where infinitesimals are understood in the framework of Robinson's (1966) nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius (2008) and Russell (2008), which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. added 2020-05-25
    Reconstructor: A Computer Program That Uses Three-Valued Logics to Represent Lack of Information in Empirical Scientific Contexts.Ariel Jonathan Roffé - 2019 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    ABSTRACTIn this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2020-05-25
    Gödel’s Second Theorem and the Provability of God’s Existence.Meir Buzaglo - 2019 - Logica Universalis 13 (4):541-549.
    According to a common view, belief in God cannot be proved and is an issue that must be left to faith. Kant went even further and argued that he can prove this unprovability. But any argument implying that a certain sentence is not provable is challenged by Gödel’s second theorem. Indeed, one trivial consequence of GST is that for any formal system F that satisfies certain conditions and for every sentence K that is formulated in F it is impossible to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. added 2020-05-22
    The logic of ground.Adam Lovett - 2020 - Journal of Philosophical Logic 49 (1):13-49.
    I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  5. added 2020-05-20
    Between Atomism and Superatomism.T. Scott Dixon - forthcoming - Journal of Philosophical Logic:1-27.
    There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2020-05-20
    A State-of-Affairs-Semantic Solution to the Problem of Extensionality in Free Logic.Hans-Peter Leeb - forthcoming - Journal of Philosophical Logic:1-19.
    If one takes seriously the idea that a scientific language must be extensional, and accepts Quine’s notion of truth-value-related extensionality, and also recognizes that a scientific language must allow for singular terms that do not refer to existing objects, then there is a problem, since this combination of assumptions must be inconsistent. I will argue for a particular solution to the problem, namely, changing what is meant by the word ‘extensionality’, so that it would not be the truth-value that had (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2020-05-20
    Swahili Conditional Constuctions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation,
    Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which they contextually (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2020-05-20
    All Properties Are Divine or God Exists.Frode Bjørdal - 2018 - Logic and Logical Philosophy 3 (27):329-350.
    A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  9. added 2020-05-17
    Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - forthcoming - Logique Et Analyse.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. added 2020-05-15
    Bocheński's Formalization of Summa Theologiae (Ia,75,6) Reconsidered.Paolo Maffezioli - 2020 - History and Philosophy of Logic 41 (2):191-198.
    I investigate Bocheński's first-order logic formalization of the argument for the incorruptibility of the human soul given by Aquinas in Summa Theologiae (Ia,75,6). I suggest a slightly different axiomatization that reflect better Aquinas' informal argument. Along the way, I also fix a mistake in Bocheński's derivation that the human soul is not corruptible per se.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  11. added 2020-05-11
    The Simple Argument for Subclassical Logic.Jc Beall - 2018 - Philosophical Issues 28 (1):30-54.
  12. added 2020-04-07
    Christ Condemned: On the Incarnation and the Trinity.Julian Gress - 2019 - Lynnwood, WA: Julian Gress.
    "Christ Condemned" is a critical examination of the fundamental doctrines of Christianity. These doctrines are proven from the absolute necessity practical reason has for a solution to the problem of sin. This is inspired by the work of Immanuel Kant. As Kant proved that the existence of God is a necessary postulate of practical reason, to persevere in one's duty, so also the Incarnation and the Trinity are necessary to repent, to turn from sin to righteousness. -/- These doctrines are (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. added 2020-02-24
    Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  14. added 2020-02-24
    Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach.Ivo Pezlar - 2017 - Logic and Logical Philosophy 26 (4):473-508.
    In this paper we examine two approaches to the formal treatment of the notion of problem in the paradigm of algorithmic semantics. Namely, we will explore an approach based on Martin-Löf’s Constructive Type Theory, which can be seen as a direct continuation of Kolmogorov’s original calculus of problems, and an approach utilizing Tichý’s Transparent Intensional Logic, which can be viewed as a non-constructive attempt of interpreting Kolmogorov’s logic of problems. In the last section we propose Kolmogorov and CTT-inspired modifications to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15. added 2020-01-20
    Just the Arguments.Steven Barbone (ed.) - 2011 - Wiley.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. added 2019-12-01
    Definitional Dictionary of Logic.Desh Raj Sirswal - manuscript
    DEFINITIONAL DICTIONARY OF LOGIC -/- 2009 -/- Complied by -/- Dr Desh Raj Sirswal -/- .
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. added 2019-10-14
    The Entanglement of Logic and Set Theory, Constructively.Laura Crosilla - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2019-09-19
    Logical Normativity and Rational Agency—Reassessing Locke's Relation to Logic.Huaping Lu-Adler - 2018 - Journal of the History of Philosophy 56 (1):75-99.
    There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or "culmination."2 Call this reading the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. added 2019-09-19
    Kant on Proving Aristotle’s Logic as Complete.Huaping Lu-Adler - 2016 - Kantian Review 21 (1):1-26.
    Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. added 2019-09-09
    The Logic in Philosophy of Science.Hans Halvorson - 2019 - Cambridge University Press.
    Major figures of twentieth-century philosophy were enthralled by the revolution in formal logic, and many of their arguments are based on novel mathematical discoveries. Hilary Putnam claimed that the Löwenheim-Skølem theorem refutes the existence of an objective, observer-independent world; Bas van Fraassen claimed that arguments against empiricism in philosophy of science are ineffective against a semantic approach to scientific theories; W. V. O. Quine claimed that the distinction between analytic and synthetic truths is trivialized by the fact that any theory (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2019-09-09
    From Geometry to Conceptual Relativity.Thomas William Barrett & Hans Halvorson - 2017 - Erkenntnis 82 (5):1043-1063.
    The purported fact that geometric theories formulated in terms of points and geometric theories formulated in terms of lines are “equally correct” is often invoked in arguments for conceptual relativity, in particular by Putnam and Goodman. We discuss a few notions of equivalence between first-order theories, and we then demonstrate a precise sense in which this purported fact is true. We argue, however, that this fact does not undermine metaphysical realism.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  22. added 2019-07-29
    Aristotelian Diagrams in the Debate on Future Contingents: A Methodological Reflection on Hess's Open Future Square of Opposition.Lorenz Demey - 2019 - Sophia 58 (3):321-329.
    In the recent debate on future contingents and the nature of the future, authors such as G. A. Boyd, W. L. Craig, and E. Hess have made use of various logical notions, such as the Aristotelian relations of contradiction and contrariety, and the ‘open future square of opposition.’ My aim in this paper is not to enter into this philosophical debate itself, but rather to highlight, at a more abstract methodological level, the important role that Aristotelian diagrams can play in (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. added 2019-07-29
    Using Syllogistics to Teach Metalogic.Lorenz6 Demey - 2017 - Metaphilosophy 48 (4):575-590.
    This article describes a specific pedagogical context for an advanced logic course and presents a strategy that might facilitate students’ transition from the object-theoretical to the metatheoretical perspective on logic. The pedagogical context consists of philosophy students who in general have had little training in logic, except for a thorough introduction to syllogistics. The teaching strategy tries to exploit this knowledge of syllogistics, by emphasizing the analogies between ideas from metalogic and ideas from syllogistics, such as existential import, the distinction (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. added 2019-07-14
    No Metaphysical Disagreement Without Logical Incompatibility.Daniel Durante Pereira Alves - 2019 - Seminário Lógica No Avião - 2013-2018.
    The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2019-06-06
    Heidegger’s Distinction Between Scientific and Philosophical Judgments.Chad Engelland - 2007 - Philosophy Today 51 (Supplement):33-41.
    Some commentators, such as Jürgen Habermas, think Martin Heidegger is guilty of a performative contradiction, because he uses judgments to situate judgments in a non-judicative context. This paper defends Heidegger by distinguishing two senses of judgment in his thought. Temporality enables two different directions of inquiry and hence two kinds of judgment. Scientific judgments arise when we turn from the temporal horizon toward entities alone; phenomenological judgments arise when we return to the temporal horizon in which such entities are accessible. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2019-06-06
    The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27. added 2019-06-05
    The Significance of the New Logic.Walter Carnielli, Frederique Janssen-Lauret & William Pickering (eds.) - 2018 - Cambridge: Cambridge University Press.
    W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas about (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2019-06-05
    Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.
    The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. As (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2019-06-05
    Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria : An International Journal for Theory, History and Fundations of Science 28 (3):439-457.
    This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been defended in the past. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2019-03-07
    Model Theory, Hume's Dictum, and the Priority of Ethical Theory.Jack Woods & Barry Maguire - 2017 - Ergo: An Open Access Journal of Philosophy 4:419–440.
  31. added 2019-03-03
    Laws of Thought and Laws of Logic After Kant.Lydia Patton - 2018 - In Sandra Lapointe (ed.), Logic from Kant to Russell. New York: Routledge. pp. 123-137.
    George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of thought acquire (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2019-02-04
    Recapture, Transparency, Negation and a Logic for the Catuskoti.Adrian Kreutz - 2019 - Comparative Philosophy 10 (1):67-92.
    The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. added 2018-10-19
    The Totality of Predicates and the Possibility of the Most Real Being.Srećko Kovač - 2018 - Journal of Applied Logics - The IfCoLog Journal of Logics and Their Applications 5 (7):1523-1552.
    We claim that Kant's doctrine of the "transcendental ideal of pure reason" contains, in an anticipatory sense, a second-order theory of reality (as a second-order property) and of the highest being. Such a theory, as reconstructed in this paper, is a transformation of Kant's metatheoretical regulative and heuristic presuppositions of empirical theories into a hypothetical ontotheology. We show that this metaphysical theory, in distinction to Descartes' and Leibniz's ontotheology, in many aspects resembles Gödel's theoretical conception of the possibility of a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. added 2018-10-09
    Proof and Falsity: A Logical Investigation.Nils Kürbis - 2019 - Cambridge, UK: Cambridge University Press.
    This book argues that the meaning of negation, perhaps the most important logical constant, cannot be defined within the framework of the most comprehensive theory of proof-theoretic semantics, as formulated in the influential work of Michael Dummett and Dag Prawitz. Nils Kürbis examines three approaches that have attempted to solve the problem - defining negation in terms of metaphysical incompatibility; treating negation as an undefinable primitive; and defining negation in terms of a speech act of denial - and concludes that (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. added 2018-09-17
    Truth Via Satisfaction?Nicholas J. J. Smith - 2017 - In Pavel Arazim & Tomas Lavicka (eds.), The Logica Yearbook 2016. London: College Publications. pp. 273-287.
    One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. added 2018-08-17
    Reflections on Routley's Ultralogic Program.Daniel Nolan - 2018 - Australasian Journal of Logic 15 (2):407-430.
    In this paper, I take up three tasks in turn. The first is to set out what Routley thought we should demand of an all-purpose universal logic, and some of his reasons for those demands. The second is to sketch Routley's own response to those demands. The third is to explore how else we could satisfy some of the theoretical demands Routley identified, if we are not to follow him in endorsing Routleyan Ultralogic as a foundational logic. As part of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2018-07-31
    A Hexagon of Opposition for the Theism/Atheism Debate.Lorenz Demey - 2019 - Philosophia 47 (2):387-394.
    Burgess-Jackson has recently suggested that the debate between theism and atheism can be represented by means of a classical square of opposition. However, in light of the important role that the position of agnosticism plays in Burgess-Jackson’s analysis, it is quite surprising that this position is not represented in the proposed square of opposition. I therefore argue that the square of opposition should be extended to a slightly larger, more complex Aristotelian diagram, viz., a hexagon of opposition. Since this hexagon (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. added 2018-06-29
    Gödel's Slingshot Revisited: Does Russell's Theory of Descriptions Really Evade the Slingshot.João Daniel Dantas - 2016 - Dissertation, UFRN
    “Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2018-06-04
    Logic is Metaphysics.Daniel Durante Pereira Alves - 2011 - Principia: An International Journal of Epistemology 15 (1):31-42.
    Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  40. added 2018-05-31
    Introducción a la lógica moderna, 2a edición.Andrés Páez - 2010 - Bogotá: Ediciones Uniandes.
    The book is an undergraduate-level introduction to first-order logic and proposi­tional modal logic. The book presents symbolic logic in a way that is pedagogi­cally attractive and formally rigorous. The main concepts are formally defined, in­formally explained, and illustrated with several examples. The book is aimed at philosophy majors and it includes discussions of several problems in the philosophy of logic.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. added 2018-05-16
    On Causality as the Fundamental Concept of Gödel’s Philosophy.Srećko Kovač - 2020 - Synthese 197 (4):1803-1838.
    This paper proposes a possible reconstruction and philosophical-logical clarification of Gödel's idea of causality as the philosophical fundamental concept. The results are based on Gödel's published and non-published texts (including Max Phil notebooks), and are established on the ground of interconnections of Gödel's dispersed remarks on causality, as well as on the ground of his general philosophical views. The paper is logically informal but is connected with already achieved results in the formalization of a causal account of Gödel's onto-theological theory. (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  42. added 2018-05-10
    Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. added 2018-03-22
    Modus Ponens Under the Restrictor View.Moritz Schulz - 2018 - Journal of Philosophical Logic 47 (6):1001-1028.
    There is a renewed debate about modus ponens. Strikingly, the recent counterexamples in Cantwell, Dreier and MacFarlane and Kolodny are generated by restricted readings of the ‘if’-clause. Moreover, it can be argued on general grounds that the restrictor view of conditionals developed in Kratzer and Lewis leads to counterexamples to modus ponens. This paper provides a careful analysis of modus ponens within the framework of the restrictor view. Despite appearances to the contrary, there is a robust sense in which modus (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44. added 2018-03-22
    Special Issue Including Selected Papers From the “Logic and Linguistics” Workshop of the 4th World Congress on Universal Logic.Marcos Lopes & Urszula Wybraniec-Skardowska - 2014 - Journal of Logic, Language and Information 23 (3):249-252.
    Logic and linguistics have engaged in a many-faceted dialogue since the very beginnings of both disciplines in Antiquity. While participants may have had diverse views over the ages, arguably, the dialogue has always revolved around the relationship between human thought and natural language. While there are those who see these two domains as one and the same, or as a case of one-directional influence , we beg to differ. To us, the long historical tradition of authors such as Arnauld, Boole, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. added 2018-03-09
    Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic.Kai F. Wehmeier & Helge Rückert - 2019 - Topoi 38 (2):361-377.
    We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. added 2018-01-17
    Tuples All the Way Down?Simon Hewitt - manuscript
    We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose the difficulty, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. added 2018-01-11
    Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
  48. added 2017-12-23
    The Logical and Pragmatic Structure of Arguments From Analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. added 2017-11-26
    From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles.Huaping Lu-Adler - 2017 - In Corey W. Dyck & Falk Wunderlich (eds.), Kant and His German Contemporaries : Volume 1, Logic, Mind, Epistemology, Science and Ethics. Cambridge: Cambridge University Press. pp. 35-55.
    John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. added 2017-09-04
    Philosophical Perceptions on Logic and Order.Jeremy Horne (ed.) - 2017 - Hershey: IGI Global.
    Strong reasoning skills are an important aspect to cultivate in life, as they directly impact decision making on a daily basis. By examining the different ways the world views logic and order, new methods and techniques can be employed to help expand on this skill further in the future. -/- Philosophical Perceptions on Logic and Order is a pivotal scholarly resource that discusses the evolution of logical reasoning and future applications for these types of processes. Highlighting relevant topics including logic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 139