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

195 found
Order:
1 — 50 / 195
  1. Logic in Knowledge Representation and Reasoning: Central Topics Via Readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. 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  
  3. Mathematics as the Science of Pure Structure.John-Michael Kuczynski - manuscript
    A brief but rigorous description of the logical structure of mathematical truth.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. 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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation.Aleks Knoks - forthcoming - Review of Symbolic Logic.
    According to conciliatory views on the significance of disagreement, it's rational for you to become less con dent in your take on an issue in case your epistemic peer's take on it is different. These views are intuitively appealing, but they also face a powerful objection: in scenarios that involve disagreements over their own correctness, conciliatory views appear to self-defeat and, thereby, issue inconsistent recommendations. This paper provides a response to this objection. Drawing on the work from defeasible logics paradigm (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Two Arguments Against the Generic Multiverse.Toby Meadows - forthcoming - Review of Symbolic Logic:1-33.
    This paper critically examines two arguments against the generic multiverse, both of which are due to W. Hugh Woodin. Versions of the first argument have appeared a number of times in print, while the second argument is relatively novel. We shall investigate these arguments through the lens of two different attitudes one may take toward the methodology and metaphysics of set theory; and we shall observe that the impact of these arguments depends significantly on which of these attitudes is upheld. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Buddhist Logic.Koji Tanaka - forthcoming - Routledge Encyclopaedia of Philosophy.
    Buddhist philosophers have investigated the techniques and methodologies of debate and argumentation which are important aspects of Buddhist intellectual life. This was particularly the case in India, where Buddhism and Buddhist philosophy originated. But these investigations have also engaged philosophers in China, Japan, Korea and Tibet, and many other parts of the world that have been influenced by Buddhism and Buddhist philosophy. Several elements of the Buddhist tradition of philosophy are thought to be part of this investigation. -/- There are (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. The Therapeutic Vs. Constructive Approach to the Transformative Character of Collective Intentionality. The Interpersonal Level of Explanation.Daniel Żuromski - forthcoming - Logic and Logical Philosophy:1.
    In their article, Andrea Kern and Henrike Moll (2017) argue in support of a certain vision of shared/collective intentionality and its role in understanding our cognitive capacities. This vision is based on two aspects: a negative one, i.e. a theoretical diagnosis of the contemporary debate on shared/collective intentionality, and a positive one, referring to the proposals for shared/collective intentionality. As regards the negative aspect, the main thesis concerns the arbitrary assumptions underlying the whole debate on shared/collective intentionality. According to Kern (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Impossible Worlds, by Francesco Berto and Mark Jago. [REVIEW]Koji Tanaka - 2022 - Mind 131:292-301.
    Book Review of Impossible Worlds, by Francesco Berto and Mark Jago. Oxford: Oxford University Press, 2019.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10. Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings.A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (eds.) - 2021 - Springer.
  11. Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample.Seungrak Choi - 2021 - Korean Journal of Logic 1 (24):1-30.
    In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar paradox which generates (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Susan Stebbing’s Logical Interventionism.Alexander X. Douglas & Jonathan Nassim - 2021 - History and Philosophy of Logic 42 (2):101-117.
    We examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic. Stebbing took expertise in formal logic to authorise logical intervention in public debate, specifically in assessing of the validity of everyday reasoning. She held, however, that formal logic is purely the study of logical form. Given the problems of ascertaining logical form in any particular instance, and that logical form does not always track informal validity, it is difficult to see (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Deduction Theorem.Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
    Attempts to articulate the real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. The subfield of mathematical logic has supplie...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Wittgenstein on Logic as The Method of Philosophy. Re-Examining the Roots and Development of Analytic Philosophy.T. Lampert - 2021 - History and Philosophy of Logic 42 (2):194-197.
    In his Lecture on Ethics, Wittgenstein mentions the difficulty a recipient of his philosophy has in ‘seeing both the road he is led and the goal which it leads to’. Oskari Kuusela's b...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Logical Predictivism.Ben Martin & Ole Hjortland - 2021 - Journal of Philosophical Logic 50 (2):285-318.
    Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  16. Kant, Frege, and the Normativity of Logic: MacFarlane's Argument for Common Ground.Tyke Nunez - 2021 - European Journal of Philosophy 29 (4):988-1009.
    According to what was the standard view (Poincaré; Wang, etc.), although Frege endorses, and Kant denies, the claim that arithmetic is reducible to logic, there is not a substantive disagreement between them because their conceptions of logic are too different. In his “Frege, Kant, and the logic in logicism,” John MacFarlane aims to establish that Frege and Kant do share enough of a conception of logic for this to be a substantive, adjudicable dispute. MacFarlane maintains that for both Frege and (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17. Reduction Techniques for Proving Decidability in Logics and Their Meet–Combination.João Rasga, Cristina Sernadas & Walter Carnielli - 2021 - Bulletin of Symbolic Logic 27 (1):39-66.
    Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of reduction is generalized in order to cope with the meet-combination of logics. Reductions between satisfaction systems induce reductions between the respective satisfiability problems and (under mild conditions) also between their validity problems. Sufficient conditions are provided for relating satisfiability problems to validity problems. Reflection results for decidability in the presence of reductions are established. The validity problem in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Towards a Non-classical Meta-theory for Substructural Approaches to Paradox.Lucas Rosenblatt - 2021 - Journal of Philosophical Logic 50 (5):1007-1055.
    In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Philosophical Logic = Philosophy + Logic?Ricardo Sousa Silvestre - 2021 - In J.-Y. Beziau, J.-P. Desclés, A. Moktefi & A. Pascau (eds.), Logic-in-Question (Workshop at the Sorbonne 2011-2019). Basiléia, Suíça: pp. 299-327.
    My purpose in this paper is to shed some light on two questions: In what sense is logic philosophical? And what is philosophical logic? I take these two questions as co-extensive: an answer to one of them is also (or can easily be converted into) an answer to the other. I approach the problem from three perspectives: a conceptual, a descriptive and a prescriptive perspective. In other words, I try to answer the following questions: (i) In what sense can logic (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  21. The Role of the Common in Cognitive Prosperity: Our Command of the Unspeakable and Unwriteable.John Woods - 2021 - Logica Universalis 15 (4):399-433.
    There are several features of law which rightly draw the interest of philosophers, especially those whose expertise lies in ethics and social and political philosophy. But the law also has features which haven’t stirred much in the way of philosophical investigation. I must say that I find this surprising. For the fact is that a well-run criminal trial is a master-class in logic and epistemology. Below I examine the logical and epistemological properties of greatest operational involvement in a criminal proceedings, (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22. T. Button and S. Walsh. Philosophy and Model Theory. Oxford University Press, Oxford, 2018, Xvi + 517 Pp. [REVIEW]Andrew Arana - 2020 - Bulletin of Symbolic Logic 26 (3-4):287-292.
  23. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    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  
  24. Infinitesimal Gunk.Lu Chen - 2020 - Journal of Philosophical Logic 49 (5):981-1004.
    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 nonstandard analysis. This view, I argue, provides a novel reply to the inconsistency arguments proposed by Arntzenius and Russell, which have troubled a more familiar gunky approach. Moreover, it has important advantages over the alternative views these authors (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  25. Between Atomism and Superatomism.T. Scott Dixon - 2020 - Journal of Philosophical Logic 49 (6):1215-1241.
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Swahili Conditional Constructions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation, Trinity Western University
    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  
  27. Hájek’s Faulty Discussion of Philosophical Heuristics.Danny Frederick - 2020 - In Against thec Philosophical Tide. Yeovil: Critias Publishing. pp. 191-193.
    I point out some logical errors and infelicities in Hájek’s discussion of philosophical heuristics.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. Immanuel Kant: Logic.Srećko Kovač - 2020 - Internet Encyclopedia of Philosophy.
    The article focuses on Kant's formal logic (formal theory of concepts, judgments, and inference, general methodology) in the systematic order of logical forms and presents the main characteristics of his transcendental logic (theory of categories and transcendental ideas). Kant's problem of the foundations of logic and its completeness is addressed. The relevance and influence of Kant's account of logic in the development of modern logic is outlined. The article gives a selection of primary and secondary sources.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. 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  
  30. What the Heck is Logic? Logics-as-Formalizations, a Nihilistic Approach.Aadil Kurji - 2020 - Dissertation,
    Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  31. Prospects for a Theory of Decycling.Jon Erling Litland - 2020 - Notre Dame Journal of Formal Logic 61 (3):467-499.
    Seemingly natural principles about the logic of ground generate cycles of ground; how can this be if ground is asymmetric? The goal of the theory of decycling is to find systematic and principled ways of getting rid of such cycles of ground. In this paper—drawing on graph-theoretic and topological ideas—I develop a general framework in which various theories of decycling can be compared. This allows us to improve on proposals made earlier by Fine and Litland. However, it turns out that (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. 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 (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  33. 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  
  34. Introduction to Formal Philosophy, Edited by Sven Ove Hansson, Vincent F. Hendricks, Esther Michelsen Kjeldahl. [REVIEW]William Peden - 2020 - Teaching Philosophy 43 (2):215-218.
  35. Some Thoughts on the Logical Aspects of the Problem of Evil.Ricardo Sousa Silvestre - 2020 - In Ricardo Sousa Silvestre, Benedikt Paul Göcke, Jean-Yves Beziau & Purushottama Bilimoria (eds.), Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy. Berlin, Germany: Springer. pp. 121-135.
    My purpose in this chapter is to take seriously the idea that problem of evil is an incompatibility between the proposition that the world was created and is ruled by an omnipotent, omniscient and unlimitedly good being and one that says that there is evil and suffering in our world. Besides being in accordance with much of the literature on the problem of evil, this idea takes the problem at face value, that is to say, it sees it as a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Jacob’s Ladder: Logics of Magic, Metaphor and Metaphysics: Narratives of the Unconscious, the Self, and the Assembly.Julio Michael Stern - 2020 - Sophia 59 (2):365-385.
    In this article, we discuss some issues concerning magical thinking—forms of thought and association mechanisms characteristic of early stages of mental development. We also examine good reasons for having an ambivalent attitude concerning the later permanence in life of these archaic forms of association, and the coexistence of such intuitive but informal thinking with logical and rigorous reasoning. At the one hand, magical thinking seems to serve the creative mind, working as a natural vehicle for new ideas and innovative insights, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. 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  
  38. A First-Order Modal Theodicy: God, Evil, and Religious Determinism.Gesiel Borges da Silva & Fábio Bertato - 2019 - South American Journal of Logic 5 (1):49-80.
    Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. 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  
  40. Aristotelian Diagrams in the Debate on Future Contingents: A Methodological Reflection on Hess's Open Future Square of Opposition.Lorenz6 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  
  41. 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  
  42. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  43. The Logic in Philosophy of Science.Hans Halvorson - 2019 - Cambridge and New York: 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 (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  44. 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   1 citation  
  45. 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 (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46. Effective Validity: A Generalized Logic for Stable Approximate Inference.Robert H. C. Moir - 2019 - In James Robert Brown, Shaoshi Chen, Robert M. Corless, Ernest Davis, Nicolas Fillion, Max Gunzburger, Benjamin C. Jantzen, Daniel Lichtblau, Yuri Matiyasevich, Robert H. C. Moir, Mark Wilson & James Woodward (eds.), Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 Acmes Conferences. Springer New York. pp. 225-268.
    The traditional approach in philosophy of using logic to reconstruct scientific theories and methods operates by presenting or representing a scientific theory or method in a specialized formal language. The logic of such languages is deductive, which makes this approach effective for those aspects of science that use deductive methods or for which deductive inference provides a good idealization. Many theories and methods in science, however, use non-deductive forms of approximation. Approximate inferences, which produce approximately correct conclusions and do so (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Jaroslav Peregrin, Co je nového v logice. [REVIEW]Ivo Pezlar - 2019 - Studia Philosophica 66 (1):118-119.
  48. 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  
  49. An Objection to Naturalism and Atheism From Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), Blackwell Companion to Atheism and Philosophy. Malden: Blackwell Publishers. pp. 451-475.
    I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. 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   1 citation  
1 — 50 / 195