Results for ' logical perfections'

961 found
Order:
  1. The language of thought as a logically perfect language.Andrea Bianchi - 2020 - In Vincenzo Idone Cassone, Jenny Ponzo & Mattia Thibault (eds.), Languagescapes. Ancient and Artificial Languages in Today's Culture. pp. 159-168.
    Between the end of the nineteenth century and the first twenty years of the twentieth century, stimulated by the impetuous development of logical studies and taking inspiration from Leibniz's idea of a characteristica universalis, the three founding fathers of the analytic tradition in philosophy, i.e., Frege, Russell, and Wittgenstein, started to talk of a logically perfect language, as opposed to natural languages, all feeling that the latter were inadequate to their (different) philosophical purposes. In the second half of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. What Is a Perfect Syllogism in Aristotelian Syllogistic?Theodor Ebert - 2015 - Ancient Philosophy 35 (2):351-374.
    The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  3. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Logically Simple Properties and Relations.Jan Plate - 2016 - Philosophers' Imprint 16:1-40.
    This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  5. The Logical Space of Democracy.Christian List - 2011 - Philosophy and Public Affairs 39 (3):262-297.
    Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  6. Experimenting with (Conditional) Perfection.Fabrizio Cariani & Lance J. Rips - forthcoming - In Stefan Kaufmann, David Over & Ghanshyam Sharma (eds.), Conditionals: Logic, Semantics, Psychology.
    Conditional perfection is the phenomenon in which conditionals are strengthened to biconditionals. In some contexts, “If A, B” is understood as if it meant “A if and only if B.” We present and discuss a series of experiments designed to test one of the most promising pragmatic accounts of conditional perfection. This is the idea that conditional perfection is a form of exhaustification—that is a strengthening to an exhaustive reading, triggered by a question that the conditional answers. If a speaker (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Sentence, Proposition, Judgment, Statement, and Fact: Speaking about the Written English Used in Logic.John Corcoran - 2009 - In W. A. Carnielli (ed.), The Many Sides of Logic. College Publications. pp. 71-103.
    The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  8. Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.
    Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Deontic logic as a study of conditions of rationality in norm-related activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. London, UK: College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. On Modal Arguments against Perfect Goodness.Michael Almeida - 2024 - In Mirosław Szatkowski (ed.), Ontology of Divinity. De Gruyter. pp. 183-194.
    It is commonly believed that intrinsically bad possible worlds are inconsistent with the perfect goodness of God. A perfectly good being could not exist in possible worlds that are intrinsically bad. Indeed it is widely believed that possible worlds that are insufficiently good are inconsistent with a perfectly good God. Modal atheological arguments aim to show that, since the pluriverse includes intrinsically bad worlds and insufficiently good worlds, there necessarily does not exist a perfectly good God. I show that modal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Paraconsistent Logic as Model Building.Ricardo Sousa Silvestre - 2018 - South American Journal of Logic 1 (4):195-217.
    The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  13. Kant’s Conception of Logical Extension and Its Implications.Huaping Lu-Adler - 2012 - Dissertation, University of California, Davis
    It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Purgatory Puzzles: Moral Perfection and the Parousia.James T. Turner Jr - 2017 - Journal of Analytic Theology 5:197-219.
    My argument proceeds in two stages. In §I, I sum up the intuitions of a popular argument for 'satisfaction accounts' of Purgatory that I label, TAP. I then offer an argument, taken from a few standard orthodox Christian beliefs and one axiom of Christian theology, to so show that TAP is unsound. In the same section, I entertain some plausible responses to my argument that are prima facie consistent with these beliefs and axiom. I find these responses wanting. In §II, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Toronto
    What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Chrysippus' Modal Logic and Its Relation to Philo and Diodorus.Susanne Bobzien - 1993 - In Klaus Döring & Theodor Ebert (eds.), Dialektiker und Stoiker. Stuttgart: Franz Steiner. pp. 63--84.
    ABSTRACT: The modal systems of the Stoic logician Chrysippus and the two Hellenistic logicians Philo and Diodorus Cronus have survived in a fragmentary state in several sources. From these it is clear that Chrysippus was acquainted with Philo’s and Diodorus’ modal notions, and also that he developed his own in contrast of Diodorus’ and in some way incorporated Philo’s. The goal of this paper is to reconstruct the three modal systems, including their modal definitions and modal theorems, and to make (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. A Little More Logical: Reasoning Well About Science, Ethics, Religion, and the Rest of Life (2nd edition).Brendan Shea - 2024 - Rochester, MN: Thoughtful Noodle Books.
    In a world filled with information overload and complex problems, the ability to think logically is a superpower. "A Little More Logical" is your guide to mastering this essential skill. This engaging and accessible open educational resource is perfect for students, teachers, and lifelong learners who want to improve their critical thinking abilities and make better decisions in all aspects of life. -/- Through a series of fun and interactive chapters, "A Little More Logical" covers a wide range (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Modal Logic vs. Ontological Argument.Andrezej Biłat - 2012 - European Journal for Philosophy of Religion 4 (2):179--185.
    The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: “If the perfect being exists, then it necessarily exists‘ and “It is possible that the perfect being exists‘. In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Unity Consciousness and the Perfect Observer: Quantum Understanding beyond Reason and Reality.Graeme Robertson - 1995 - Basingstoke: ROBERTSON (Publishing).
    This book has been written for eighteen year olds (or anyone who will listen) as an honest attempt to face their justified questionings and to offer them a metaphysical framework with which to confront the twenty-first century. It is vitally important that certain modes of thought are uprooted and new modes put in their place if mankind and planet Earth are not soon to suffer an historic global catastrophe. Apart from the continuing world-wide proliferation of conventional, chemical, biological and nuclear (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle: Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In Baaz Matthias, Preining Norbert & Zach Richard (eds.), 36th Interna- tional Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  22. “Many Know Much but Do Not Know Themselves”: Self-Knowledge, Humility, and Perfection in the Medieval Affective Contemplative Tradition.Christina Van Dyke - 2018 - Proceedings of the Society for Medieval Logic and Metaphysics 14 (Consciousness and Self-Knowledge):89-106.
    Today, philosophers interested in self-knowledge usually look to the scholastic tradition, where the topic is addressed in a systematic and familiar way. Contemporary conceptions of what medieval figures thought about self-knowledge thus skew toward the epistemological. In so doing, however, they often fail to capture the crucial ethical and theological importance that self-knowledge possesses throughout the Middle Ages. -/- Human beings are not transparent to themselves: in particular, knowing oneself in the way needed for moral progress requires hard and rigorous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Forma lógica/Formalización.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. [Madrid]: Editorial Trotta. pp. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Constructing formal semantics from an ontological perspective. The case of second-order logics.Thibaut Giraud - 2014 - Synthese 191 (10):2115-2145.
    In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call constructing formal semantics from an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Singular Analogy and Quantitative Inductive Logics.John R. Welch - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (2):207-247.
    The paper explores the handling of singular analogy in quantitative inductive logics. It concentrates on two analogical patterns coextensive with the traditional argument from analogy: perfect and imperfect analogy. Each is examined within Carnap’s λ-continuum, Carnap’s and Stegmüller’s λ-η continuum, Carnap’s Basic System, Hintikka’s α-λ continuum, and Hintikka’s and Niiniluoto’s K-dimensional system. Itis argued that these logics handle perfect analogies with ease, and that imperfect analogies, while unmanageable in some logics, are quite manageable in others. The paper concludes with a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  26. Aristotle’s Syllogistic and Core Logic.Neil Tennant - 2014 - History and Philosophy of Logic 35 (2):120-147.
    I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27. (1 other version)On Tracy Lupher’s “A Logical Choice".Klaus Ladstaetter - 2012 - Southwest Philosophy Review 28 (2):101-106.
    In his essay Tracy Lupher (henceforth, TL) is concerned with Robert Kane's (1984) version of the modal ontological argument (MOA). As he correctly points out, Kane's argument is valid only if the accessibility relation between possible worlds is assumed to be symmetric. TL's remarks pave the way to thinking that the MOA is intended to establish the existence of a perfect being as a matter of logical necessity. Moreover, given TL's undisputed supposition (even shared by Kane) that S5 - (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Integrated Design of Adaptive & Fuzzy Logic Control for Trajectory Tracking of 2 DOF Quadrotor.Mustefa Jibril - 2021 - ScienceOpen 7 (3):1-16.
    Accurate and precise trajectory tracking is crucial for a quadrotor to operate in disturbed environments. This paper presents a novel tracking hybrid controller for a quadrotor UAV that combines the Adaptive and Fuzzy logic controller. The Adaptive fuzzy controller is implemented to govern the behavior of two degrees of freedom quadrotor UAV. The proposed controller allows controlling the movement of UAVs to track a given trajectory in a 2D vertical plane. The Fuzzy Logic system provides an automatic adjustment of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. G.A. Cohen and the Logic of Egalitarian Congruence.David Rondel - 2012 - Socialist Studies 8 (1):82-100.
    In this article, I argue that G. A. Cohen’s defense of the feminist slogan, “The personal is political”, his argument against Rawls’s restriction of principles of justice to the basic structure of society, depends for its intelligibility on the ability to distinguish—with reasonable but perhaps not perfect precision—between those situations in which what Nancy Rosenblum has called “the logic of congruence” is validly invoked and those in which it is not. More importantly, I suggest that the philosophical shape of Cohen’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. New Tuning Approach of Fuzzy Logic System Using Proportional Integral Observer for Tracking a Nonlinear System.Mustefa Jibril - 2021 - ScienceOpen 7 (3):1-13.
    Proportional integral observer (PIO) for tracking a nonlinear method has a lower sentiency to cipher the state and output variables. So a more nonlinear controller has to be else to control to activity. In this paper, a fuzzy logic (FLC) controller has been added to the PIO to meliorate the calculation transmute. A fuzzy proportional integral observer (FPIO) for following a nonlinear system has been premeditated to decimate the susceptibleness to cipher the tell and turnout variables with the existent posit (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. equality and identity.John Corcoran & Anthony Ramnauth - 2013 - Bulletin of Symbolic Logic 19 (3):255-256.
    Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Kant’s Ideal of Systematicity in Historical Context.Hein van den Berg - 2021 - Kantian Review 26 (2):261-286.
    This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I show that (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. The Method of Kant’s Groundwork of the Metaphysics of Morals: Establishing Moral Metaphysics as a Science.Susan V. H. Castro - 2006 - Dissertation, University of California, Los Angeles
    This dissertation concerns the methodology Kant employs in the first two sections of the Groundwork of the Metaphysics of Morals (Groundwork I-II) with particular attention to how the execution of the method of analysis in these sections contributes to the establishment of moral metaphysics as a science. My thesis is that Kant had a detailed strategy for the Groundwork, that this strategy and Kant’s reasons for adopting it can be ascertained from the Critique of Pure Reason (first Critique) and his (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. A Mereological Reading of the Dictum de Omni et Nullo.Phil Corkum - forthcoming - Archiv für Geschichte der Philosophie.
    When Aristotle introduces the perfect moods, he refers back to the dictum de omni et nullo, a semantic condition for universal affirmations and negations. There recently has been renewed interest in the question whether the dictum validates the assertoric syllogistic. I rehearse evidence that Aristotle provides a mereological semantics for universal affirmations and negations, and note that this semantics entails a nonstandard reading of the dictum, under which the dictum, in the presence of a minimal logical apparatus, indeed validates (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Non-Inferential Transitions: Imagery and Association.Eric Mandelbaum & Jake Quilty-Dunn - 2019 - In Anders Nes & Timothy Hoo Wai Chan (eds.), Inference and Consciousness. London: Routledge.
    Unconscious logical inference seems to rely on the syntactic structures of mental representations (Quilty-Dunn & Mandelbaum 2018). Other transitions, such as transitions using iconic representations and associative transitions, are harder to assimilate to syntax-based theories. Here we tackle these difficulties head on in the interest of a fuller taxonomy of mental transitions. Along the way we discuss how icons can be compositional without having constituent structure, and expand and defend the “symmetry condition” on Associationism (the idea that associative links (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  36. Characteristica Universalis.Barry Smith - 1991 - In Kevin Mulligan (ed.), Language, Truth and Ontology. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 48--77.
    Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  37. Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
    Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  38. Plato's Forms: Possibly Proven.James Sirois - manuscript
    This article presents an attempt to logically prove the concept of "perfection" without having to define it; this is done by proposing the paradox that "causes are their own effects", meaning that all forms we observe through causality are underpinned by a non-existential qualia which we can for all intents and purposes equate to perfection.
    Download  
     
    Export citation  
     
    Bookmark  
  39. New Puzzles About Divine Attributes.Moti Mizrahi - 2013 - European Journal for Philosophy of Religion 5 (2):147-157.
    According to traditional Western theism, God is maximally great (or perfect). More explicitly, God is said to have the following divine attributes: omnipotence, omniscience, and omnibenevolence. In this paper, I present three puzzles about this conception of a maximally great (or perfect) being. The first puzzle about omniscience shows that this divine attribute is incoherent. The second puzzle about omnibenevolence and omnipotence shows that these divine attributes are logically incompatible. The third puzzle about perfect rationality and omnipotence shows that these (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Composition, identity and plural ontology.Roberto Loss - 2020 - Synthese 198 (10):9193-9210.
    According to ‘Strong Composition as Identity’, if an entity is composed of a plurality of entities, it is identical to them. As it has been argued in the literature, SCAI appears to give rise to some serious problems which seem to suggest that SCAI-theorists should take their plural quantifier to be governed by some ‘weak’ plural comprehension principle and, thus, ‘exclude’ some kinds of pluralities from their plural ontology. The aim of this paper is to argue that, contrary to what (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Nothing to come in a relativistic setting.Mauro Dorato & Carl Hoefer - 2021 - Disputatio 13 (63):433-444.
    In this paper we critically review Correia’s and Rosenkranz’s Nothing to Come. A Defence of the Growing Block Theory of Time, published by Springer in 2018. By taking into account the essential reliance of the book on tense logic, we bring out the existence of a conflict between their logical axioms, that presuppose truth bivalence even for statements concerning future contingents, and the principle of groundedness that they also advocate. According to this principle, a proposition Q is now groundedly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. REVIEW OF 1988. Saccheri, G. Euclides Vindicatus (1733), edited and translated by G. B. Halsted, 2nd ed. (1986), in Mathematical Reviews MR0862448. 88j:01013.John Corcoran - 1988 - MATHEMATICAL REVIEWS 88 (J):88j:01013.
    Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Metanormative Principles and Norm Governed Social Interaction.Berislav Žarnić & Gabriela Bašić - 2014 - Revus 22:105-120.
    Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative principles (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Conditionals, Support and Connexivity.Hans Rott - manuscript
    In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been produced over the past (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Conciliatory Reasoning, Self-Defeat, and Abstract Argumentation.Aleks Https://Orcidorg Knoks - 2021 - Review of Symbolic Logic 16 (3):740-787.
    According to conciliatory views on the significance of disagreement, it’s rational for you to become less confident 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 and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46. Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Trying without fail.Ben Holguín & Harvey Lederman - forthcoming - Philosophical Studies:1-28.
    An action is agentially perfect if and only if, if a person tries to perform it, they succeed, and, if a person performs it, they try to. We argue that trying itself is agentially perfect: if a person tries to try to do something, they try to do it; and, if a person tries to do something, they try to try to do it. We show how this claim sheds new light on questions about basic action, the logical structure (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. PSYCHOLOGISM.John Corcoran - 2007 - In John Lachs and Robert Talisse (ed.), American Philosophy: an Encyclopedia. ROUTLEDGE. pp. 628-9.
    Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every branch of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2011 - In Ben Morison & Katerina Ierodiakonou (eds.), Episteme, etc.: Essays in honour of Jonathan Barnes. Oxford, GB: Oxford University Press.
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  50. Counterexamples and Proexamples.J. Corcoran - 2005 - Bulletin of Symbolic Logic 11:460.
    Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. -/- John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential proposition that some (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 961