Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Université Catholique de Louvain, Jagiellonian University, Catholic University of Louvain)
Assistant editors: Mackenzie Marcotte, Sadegh Balal Niaki
154 found
Order:
1 — 50 / 154
  1. added 2021-09-17
    On the Epistemological Significance of Arguments From Non Transitive Similarity.Friedrich Wilhelm Grafe - 2021 - Archive.Org.
    This paper aims to argue for, else illustrate the epistemological significance of the use of non transitive similarity relations, mapping only to "types", as methodologically being on a par with the use of transitive similarity relations (equivalence relations), mapping as well to "predicates". -/- In this paper the sketch of an exact but simple geometrical model of the above construct is followed by mentioning respective use cases for non transitive similarity relations from science and humanities. A well known metaphysics example (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2021-09-17
    Formal Theodicy: Religious Determinism and the Logical Problem of Evil.Gesiel B. Da Silva & Fábio Bertato - 2020 - Edukacja Filozoficzna 70:93-119.
    Edward Nieznański developed two logical systems to deal with the problem of evil and to refute religious determinism. However, when formalized in first-order modal logic, two axioms of each system contradict one another, revealing that there is an underlying minimal set of axioms enough to settle the questions. In this article, we develop this minimal system, called N3, which is based on Nieznański’s contribution. The purpose of N3 is to solve the logical problem of evil through the defeat of a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2021-09-17
    An Axiomatic Approach to Theodicy Via Formal Applied Systems.Gesiel B. Da Silva - 2020 - Dissertation, University of Campinas
    Edward Nieznański developed two logical systems in order to deal with a version of the problem of evil associated with two formulations of religious determinism. The aim of this research was to revisit these systems, providing them with a more appropriate formalization. The new resulting systems, namely, N1 and N2, were reformulated in first-order modal logic; they retain much of their original basic structures, but some additional results were obtained. Furthermore, our research found that an underlying minimal set of axioms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2021-09-16
    On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics.Takao Inoué - forthcoming - Studia Logica:1-25.
    In this paper, we shall give another proof of the faithfulness of Blass translation of the propositional fragment \ of Leśniewski’s ontology in the modal logic \ by means of Hintikka formula. And we extend the result to von Wright-type deontic logics, i.e., ten Smiley-Hanson systems of monadic deontic logic. As a result of observing the proofs we shall give general theorems on the faithfulness of B-translation with respect to normal modal logics complete to certain sets of well-known accessibility relations (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2021-09-16
    Correction to: Causal Sufficiency and Actual Causation.Sander Beckers - forthcoming - Journal of Philosophical Logic:1-1.
    A Correction to this paper has been published: https://doi.org/10.1007/s10992-021-09632-6.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. added 2021-09-16
    The Dynamics of Argumentative Discourse.Carlotta Pavese & Alexander W. Kocurek - forthcoming - Journal of Philosophical Logic.
    Arguments have always played a central role within logic and philosophy. But little attention has been paid to arguments as a distinctive kind of discourse, with its own semantics and pragmatics. The goal of this essay is to study the mechanisms by means of which we make arguments in discourse, starting from the semantics of argument connectives such as `therefore'. While some proposals have been made in the literature, they fail to account for the distinctive anaphoric behavior of `therefore', as (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2021-09-16
    Against Cumulative Type Theory.Tim Button & Robert Trueman - forthcoming - Review of Symbolic Logic.
  8. added 2021-09-16
    Meaning-Preserving Translations of Non-classical Logics into Classical Logic: Between Pluralism and Monism.Gerhard Schurz - forthcoming - Journal of Philosophical Logic:1-29.
    In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value. Is a non-circular justification of a logical system possible? This question attains particular importance in view of lasting controversies about classical versus non-classical logics. In this paper the question is answered positively, based on meaning-preserving translations between logical systems. It is demonstrated that major systems of non-classical logic, including multi-valued, paraconsistent, intuitionistic and quantum logics, (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2021-09-16
    Extending the Lambek Calculus with Classical Negation.Michael Kaminski - forthcoming - Studia Logica:1-23.
    We present an axiomatization of the non-associative Lambek calculus extended with classical negation for which the frame semantics with the classical interpretation of negation is sound and complete.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. added 2021-09-16
    The Proper Formulation of the Minimalist Theory of Truth.Thomas Schindler & Julian J. Schlöder - forthcoming - The Philosophical Quarterly.
    Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. added 2021-09-16
    The Vietoris Functor and Modal Operators on Rings of Continuous Functions.G. Bezhanishvili, L. Carai & P. J. Morandi - 2022 - Annals of Pure and Applied Logic 173 (1):103029.
  12. added 2021-09-16
    Paraconsistent Orbits of Logics.Edelcio G. de Souza, Alexandre Costa-Leite & Diogo H. B. Dias - 2021 - Logica Universalis 15 (3):271-289.
    Some strategies to turn any logic into a paraconsistent system are examined. In the environment of universal logic, we show how to paraconsistentize logics at the abstract level using a transformation in the class of all abstract logics called paraconsistentization by consistent sets. Moreover, by means of the notions of paradeduction and paraconsequence we go on applying the process of changing a logic converting it into a paraconsistent system. We also examine how this transformation can be performed using multideductive abstract (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2021-09-16
    Why Make Things Simple When You Can Make Them Complicated? An Appreciation of Lewis Carroll’s Symbolic Logic.Amirouche Moktefi - 2021 - Logica Universalis 15 (3):359-379.
    Lewis Carroll published a system of logic in the symbolic tradition that developed in his time. Carroll’s readers may be puzzled by his system. On the one hand, it introduced innovations, such as his logic notation, his diagrams and his method of trees, that secure Carroll’s place on the path that shaped modern logic. On the other hand, Carroll maintained the existential import of universal affirmative Propositions, a feature that is rather characteristic of traditional logic. The object of this paper (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2021-09-16
    On the Origin of Logical Determinism in Babylonia.Andrew Schumann - 2021 - Logica Universalis 15 (3):331-357.
    In this paper, I show that the idea of logical determinism can be traced back from the Old Babylonian period at least. According to this idea, there are some signs which can explain the appearance of all events. These omens demonstrate the will of gods and their power realized through natural forces. As a result, each event either necessarily appears or necessarily disappears. This idea can be examined as the first version of eternalism – the philosophical belief that each temporal (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. added 2021-09-16
    Unification in Pretabular Extensions of S4.Stepan I. Bashmakov - 2021 - Logica Universalis 15 (3):381-397.
    L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic \ has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. added 2021-09-16
    A Coinductive Approach to Proof Search Through Typed Lambda-Calculi.José Espírito Santo, Ralph Matthes & Luís Pinto - 2021 - Annals of Pure and Applied Logic 172 (10):103026.
  17. added 2021-09-16
    A Logical Theory of Causality.Alexander Bochman - 2021 - Cambridge, Massachusetts: MIT Press.
    "The first book that provides a systematic and rigorous logical theory of causality"--.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2021-09-16
    Husserl on Epistemic Agency.Hanne Jacobs - 2021 - In The Husserlian Mind. pp. 340-351.
    In this chapter I aim to show that Husserl’s descriptions of the nature and role of activity in the epistemic economy of our conscious lives imply a nondeflationary account of epistemic agency. After providing the main outlines of this account, I discuss how it compares to contemporary accounts of epistemic agency and respond to some potential objections. In concluding I indicate that according to this Husserlian account of epistemic agency we can be said to be intrinsically responsible for holding the (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  19. added 2021-09-16
    Oltre la Stratificazione Costitutiva: Per Una Lettura Dialettico-Ricorsiva Del Rapporto Tra Passività E Attività in Husserl.Filippo Nobili - unknown
    The paper revises Husserl’s analytic effort to articulate a stratigraphic model of intentional constitution, i.e. made of different layers of passive and active performances. Indeed, genetic phenomenology allows to sketch an alternative model of a dialectic-recursive type, more suitable to deal with the concreteness of experience.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. added 2021-09-16
    A First Glimpse Into the Ultimate Absolute. The Emergence of Genetic Analyses in Husserl’s Beranuer Manuscripts on Time-Consciousness and the Exploration of the Realm of Passivity.Giovanni Jan Giubilato - unknown
    Starting by pointing out the deep interconnections between temporality and passivity within phenomenology, the present paper intends to contribute with a reconstruction of Husserl’s “first glimpses” into the sphere of passivity and its genesis based on the Beranuer Manuscripts on Time-Consciousness. To do so, it will follow a disposition in four stages: after a brief introduction, section I will display the emergence of the genetic methodology and its functional position within the broader context of the architectonic system of phenomenology. After (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. added 2021-09-16
    L’Arca Dell’Origine. Follia Tolemaica E Deponenza Del Trascendentale Nell’Ultimo Husserl.Eugenio Buriano - unknown
    The paper aims at discussing the cosmotheoretical proposal achieved by Husserl in the Umsturz through an adequate appreciation of the Ptolemaic madness proclaimed in this work. In the attempt to rehabilitate a special kind of immobility, Husserl’s disapproval of the modern Copernicanism, either in its ontological version or in its epistemological one, leads to improve the statue of the transcendental, developing it such as a deponent or a middle passive voice. However, this account shows some internal limits of the phenomenological (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. added 2021-09-16
    Being Oneself: Self-Consciousness in Husserl and Henry.Steven DeLay - unknown
    Taking up phenomenology’s problem of intentionality in the wake of Husserl, Jean-Paul Sartre in the introduction to Being and Nothingness says, «All consciousness, as Husserl has shown, is consciousness of something […] All consciousness is positional in that it transcends itself in order to reach an object, and it exhausts itself in this same positing». Continuing down the page, Sartre notes in turn that intentionality itself is only possible insofar as it is aware of itself. Just as an unconscious intentionality (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. added 2021-09-16
    Domandare Della Forma. Genesi E Metodo Fenomenologico Tra Husserl E Il Primo Heidegger.Federico Tosca - unknown
    The foundation of the categorial forms is the main aim of the phenomenological effort. From the publication of the Logical Investigations to the last works that have been recollected in Experience and Judgment, it appears that the sensible origin of judgment has always been Husserl’s main concern. Despite the depth of genetic phenomenological themes – i.e. temporal self-constitutive flow, passive syntheses and transcendental logic –, the search for a genesis of higher intellectual forms from real ones fails in taking account (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  24. added 2021-09-16
    Husserl: Per Una Definizione Del Trascendentale E Delle Sue Implicazioni Ontologiche.Mario Autieri - unknown
    According to Husserl essences are a priori. Nevertheless, this does not mean that essences are “innate ideas”: we become aware of essences through a highly complex process of apprehension. As is well known, Husserl introduces in his Logical Investigations the notion of «ideation», strictly con- nected to the problem of the apprehension of essences.With this respect, categorical intuition develops a specific aspect of ideation. For instance, the visual perception of a tree implies a pre-verbal apprehension of its essence. Regardless of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  25. added 2021-09-16
    Oltre Il Trascendentale, Il Trascendentale. In Dialogo Con E. Husserl, J. Patoĉka, M. Henry, J.-L. Marion E C. Romano.Claudio Tarditi - unknown
    In this text I intend to deal with the question whether phenomenology is to be uniquely developed as a transcendental philosophy. From a historical standpoint, a number of post-Husserlian phenomenologists aimed at overcoming Husserl's phenomenology through an overthrow of the transcendental subjectivity. For instance, this is the case for Patôcka's a-subjective phenomenology, Henry's phenomenology of life, Marion's phenomenology of givenness, and Romano's phenomenology of the event. Once synthetically sketched their views, I discuss their projects of a non-transcendental phenomenology. My core (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. added 2021-09-15
    The Metaphysics of Trust.Rowland Stout - manuscript
    I argue against the claim that the fundamental form of trust is a 2-place relation of A trusting B and in favour of the fundamental form being a 4-place relation of A, by ψ-ing, trusting B to φ. I characterize trusting behaviour as behaviour that knowingly makes one reliant on someone doing what they are supposed to do in the collaborative enterprise that the trusting behaviour belongs to. I explain how trust is involved in the following collaborative enterprises: knowledge transfer (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  27. added 2021-09-15
    Communication, Risk, Trust.Barna Kovács - 2021 - Empedocles European Journal for the Philosophy of Communication 12 (1):91-101.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  28. added 2021-09-12
    Proofs and Models in Naive Property Theory: A Response to Hartry Field's ‘Properties, Propositions and Conditionals’.Greg Restall, Rohan French & Shawn Standefer - 2020 - Australasian Philosophical Review 4 (2):162-177.
    ABSTRACT In our response Field's ‘Properties, Propositions and Conditionals’, we explore the methodology of Field's program. We begin by contrasting it with a proof-theoretic approach and then commenting on some of the particular choices made in the development of Field's theory. Then, we look at issues of property identity in connection with different notions of equivalence. We close with some comments relating our discussion to Field's response to Restall’s [2010] ‘What Are We to Accept, and What Are We to Reject, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  29. added 2021-09-10
    Schopenhauer-Lexikon.Jens Lemanski & Daniel Schubbe - 2021 - Paderborn, Deutschland: Fink.
    The encyclopaedia presents Arthur Schopenhauer's work and explains the basic concepts of his philosophy. It offers 200 entries by 76 authors from 18 countries. Beside an overview of works and central concepts, a history of Schopenhauer's influence is given. The Schopenhauer encyclopaedia can be read as a complete introduction or used as a reference work and compendium. ++++++++++++++++++++++++++++++++++++++++++ Das Lexikon stellt Arthur Schopenhauers Werk vor und erläutert die Grundbegriffe seiner Philosophie. Es bietet 200 Einträge von 76 Autorinnen und Autoren aus (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. added 2021-09-10
    Introduction to the Special Issue.Lilian Bermejo-Luque & Andrei Moldovan - 2021 - Informal Logic 41 (3):281-287.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2021-09-10
    Argumentation and Fiction.Guillermo Sierra-Catalán - 2021 - Informal Logic 41 (3):309-334.
    Argumentation and fiction are quite different types of communicative phenomena. However, overlaps between them happen to be very frequent. We can both fictionalize by means of argumentation and argue by means of fiction. The main goal of this paper is to analyse the different types of overlap that may arise between argumentation and fiction. In this paper, the defended hypothesis is that by considering who the “character” that is arguing is, we can get an exhaustive account of any possible overlap, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. added 2021-09-10
    Speech Act Pluralism in Argumentative Polylogues.Marcin Lewinski - 2021 - Informal Logic 41 (3):421-451.
    I challenge two key assumptions of speech act theory, as applied to argumentation: illocutionary monism, grounded in the idea each utterance has only one illocutionary force, and the dyadic reduction, which models interaction as a dyadic affair between only two agents. I show how major contributions to speech act inspired study of argumentation adhere to these assumptions even as illocutionary pluralism in argumentative polylogues is a significant empirical fact in need of theoretical attention. I demonstrate this with two examples where (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. added 2021-09-10
    The Hermeneutic Priority of Which Question?Nathan Dickman - 2021 - Informal Logic 41 (3):485-508.
    An axiom of philosophical hermeneutics is that questioning has hermeneutic priority. Yet there are many different kinds of questions. Which sort has priority in understanding complete thoughts and for bringing about a fusion of horizons? Speech act theory is one resource for specifying which kind. I first develop the broad notion of questioning in philosophical hermeneutics. Second, I examine aspects of question taxonomies in pedagogy as well as their shortcomings. Third, I turn to the Speech Act approach to questioning and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. added 2021-09-10
    Act or Object.John Butterworth - 2021 - Informal Logic 41 (3):335-358.
    Many standard definitions of ‘argument’ that recognise an ambiguity between its active and objective senses seek to subsume these in various ways into a single, composite whole. This, it is argued, glosses over the distinction instead of exploiting its elucidatory potential. Whilst optimistic about the prospects of theory integration, the paper recommends a methodology of differentiation as a first necessary step towards any such goal. It starts by assuming that ‘argument’ refers —simultaneously and independently— to two different things, making space (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. added 2021-09-10
    Inference Claims as Assertions.Matthew William Mckeon - 2021 - Informal Logic 41 (3):359-390.
    When a speaker states an argument in arguing—in its core sense—for the conclusion, the speaker asserts, as opposed to merely implies or implicates, the associated inference claim to the effect that the conclusion follows from the premises. In defense of this, I argue that how an inference claim is conveyed when stating an argument is constrained by constitutive and normative conditions for core cases of the speech of arguing for a conclusion. The speech act of assertion better reflects such conditions (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. added 2021-09-10
    Argumentative Bullshit.José Ángel Gascón - 2021 - Informal Logic 41 (3):289-308.
    Harry Frankfurt characterised bullshit as assertions that are made without a concern for truth. Assertions, however, are not the only type of speech act that can be bullshit. Here, I propose the concept of argumentative bullshit and show how a speech acts account of bullshit assertions can be generalised to bullshit arguments. Argumentative bullshit, on this account, would be the production of an argument without a concern for the supporting relation between reasons and claim.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. added 2021-09-10
    Illocutionary Performance and Objective Assessment in the Speech Act of Arguing.Cristina Corredor - 2021 - Informal Logic 41 (3):453-483.
    This paper endorses a view of argumentation and arguments that relates both to a special type of speech action, namely, the performance of speech acts of arguing. Its aim is to advance an analysis of those acts that takes into account two kinds of norms related to their correct performance, namely, felicity conditions and objective requirements related to the “correspondence with the facts.” It assumes that the requirement that certain objective conditions be satisfied is among the set of felicity conditions (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. added 2021-09-10
    Metaphorical Argumentation.Esther Romero & Belén Soria - 2021 - Informal Logic 41 (3):391-419.
    It is a fact that novel metaphorical utterances appear in natural language argumentation. It seems, moreover, that these put forward metaphorical propositions that can have different roles in argument structure. There can even be good argumentation which is indispensably metaphorical. However, not all metaphor theories provide an explanation of metaphorical meaning compatible with these claims. In this article, we explain the three main views on metaphorical meaning and show, analysing some examples, their consequences for metaphorical argumentation. Our analysis shows that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. added 2021-09-07
    'True' as Polysemous.Andy Yu - forthcoming - Pacific Philosophical Quarterly.
    In this paper, I propose that 'true’ is polysemous, and thus ambiguous. I suggest that the semantic paradoxes both motivates taking 'true’ to be polysemous and shows that the concept truth is indefinitely extensible. In doing so, I explain that 'true’ is polysemous between the meanings corresponding to the subconcepts of the concept truth generated by such indefinite extensibility. I conclude that the proposal provides satisfying solutions to the semantic paradoxes.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  40. added 2021-09-05
    Higher-Order Metaphysics.Lukas Skiba - forthcoming - Philosophy Compass:e12756.
    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, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  41. added 2021-09-02
    Logic and Majority Voting.Ryo Takemura - forthcoming - Journal of Philosophical Logic:1-36.
    To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. added 2021-08-31
    Eugenio Bulygin: una breve semblanza.Julieta A. Rabanos & Alejandro Daniel Calzetta - 2021 - Revista Cubana de Derecho 1 (2):11-22.
    El presente texto trata de ofrecer una breve semblanza de la figura de Eugenio Bulygin, reconocido académico y teórico del derecho, fallecido el pasado 11 de mayo de 2021.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. added 2021-08-27
    The Dream of Recapture.Carlo Nicolai - manuscript
    As a response to the semantic and logical paradoxes, theorists often reject some principles of classical logic. However, classical logic is entangled with mathematics, and giving up mathematics is too high a price to pay, even for nonclassical theorists. The so-called recapture theorems come to the rescue. When reasoning with concepts such as truth/class membership/property instantiation, if ones is interested in consequences of the theory that only contain mathematical vocabulary, nothing is lost by reasoning in the nonclassical framework. It is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  44. added 2021-08-27
    Aboutness Paradox.Giorgio Sbardolini - forthcoming - Journal of Philosophy.
    The present work outlines a logical and philosophical conception of propositions in relation to a group of puzzles that arise by quantifying over them: the Russell-Myhill paradox, the Prior-Kaplan paradox, and Prior’s Theorem. First, I motivate an interpretation of the Russell-Myhill paradox as depending on aboutness. Aboutness informs the notion of propositional identity, of which I will offer two formalizations, depending on choices that have to be made about the syntax of propositional variables. I then extend to propositions a predicative (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. added 2021-08-26
    The Qualitative Thesis.David Boylan & Ginger Schultheis - forthcoming - Journal of Philosophy.
    The Qualitative Thesis says that if you are not sure that ¬φ, then you are sure of the indicative conditional φ > ψ just in case you are sure of the material conditional φ ⊃ ψ. We argue that The Qualitative Thesis provides compelling reasons to accept a thesis that we call Conditional Locality, which says, roughly, that the interpretation of an indicative conditional depends, in part, on the conditional’s local embedding environment. In the first part of the paper, we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  46. added 2021-08-26
    Logica, Seconda edizione.Achille C. Varzi, John Nolt & Dennis A. Rohatyn - 2007 - Milan: McGraw-Hill Italia.
    Extended revised edition of "Logica" (2003).
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. added 2021-08-26
    Logica.John Nolt, Dennis A. Rohatyn & Achille C. Varzi - 2003 - Milan: McGraw-Hill Italia.
    Italian translation of "Schaum's Outline of Theory and Problems of Logic" (1988).
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. added 2021-08-25
    Metasequents and Tetravaluations.Rohan French - forthcoming - Journal of Philosophical Logic:1-24.
    In this paper we treat metasequents—objects which stand to sequents as sequents stand to formulas—as first class logical citizens. To this end we provide a metasequent calculus, a sequent calculus which allows us to directly manipulate metasequents. We show that the various metasequent calculi we consider are sound and complete w.r.t. appropriate classes of tetravaluations where validity is understood locally. Finally we use our metasequent calculus to give direct syntactic proofs of various collapse results, closing a problem left open in (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. added 2021-08-25
    A Categorical Equivalence for Tense Nelson Algebras.Aldo V. Figallo, Jonathan Sermento & Gustavo Pelaitay - forthcoming - Studia Logica:1-23.
    In this paper we present a category equivalent to that of tense Nelson algebras. The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence and the morphisms are a special kind of IKt-homomorphisms. This categorical equivalence permits understanding tense Nelson algebras in terms of the better–known IKt-algebras.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. added 2021-08-25
    Cognitive Biases for the Design of Persuasive Technologies: Uses, Abuses and Ethical Concerns.Antonio Lieto - 2021 - ACM Distinguished Speakers - Lecture Series.
    In the last decades Human-Computer Interaction (HCI) has started to focus attention on “persuasive technologies” having the goal of changing users’ behavior and attitudes according to a predefined direction. In this talk we show how some of the techniques employed in such technologies trigger some well known cognitive biases by adopting a strategy relying on logical fallacies (i.e. forms of reasoning which are logically invalid but psychologically persuasive). In particular, we will show how the mechanisms reducible to logical fallacies are (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 154