Bookmark and Share

Logic and Philosophy of Logic

Edited by Aleksandra Samonek (Jagiellonian University)
Most recently added entries found
Search inside:
(import / add options)   Order:
1 — 50 / 8474
  1. added 2016-09-26
    Christel Grimaud (forthcoming). Modelling Reasoning Processes in Natural Agents: A Partial-Worlds-Based Logical Framework for Elemental Non-Monotonic Inferences and Learning. Journal of Applied Non-Classical Logics:1-35.
    In this paper we address the modelling of reasoning processes in natural agents. We focus on a very basic kind of non-monotonic inference for which we identify a simple and plausible underlying process, and we develop a family of logical models that allow to match this process. Partial worlds models, as we call them, are a variant of Kraus, Lehmann and Magidor’s cumulative models. We show that the inference relations they induce form a strict subclass of cumulative relations and tackle (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  2. added 2016-09-24
    Luca Tranchini (forthcoming). Proof-Theoretic Harmony: Towards an Intensional Account. Synthese:1-32.
    In this paper we argue that an account of proof-theoretic harmony based on reductions and expansions delivers an inferentialist picture of meaning which should be regarded as intensional, as opposed to other approaches to harmony that will be dubbed extensional. We show how the intensional account applies to any connective whose rules obey the inversion principle first proposed by Prawitz and Schroeder-Heister. In particular, by improving previous formulations of expansions, we solve a problem with quantum-disjunction first posed by Dummett. As (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. added 2016-09-23
    David DeVidi & Herbert Korté (2014). Naturalizing Natural Deduction. In . De Gruyter
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  4. added 2016-09-23
    Antonio Lieto & Fabiana Vernero (2014). Influencing the Others’ Minds: An Experimental Evaluation of the Use and Efficacy of Fallacious-Reducible Arguments in Web and Mobile Technologies. PsychNology Journa 12 (3):87-105.
    The research in Human Computer Interaction (HCI) has nowadays extended its attention to the study of persuasive technologies. Following this line of research, in this paper we focus on websites and mobile applications in the e-commerce domain. In particular, we take them as an evident example of persuasive technologies. Starting from the hypothesis that there is a strong connection between logical fallacies, i.e., forms of reasoning which are logically invalid but psychologically persuasive, and some common persuasion strategies adopted within these (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  5. added 2016-09-23
    Vera Hoffmann-Kolss (2013). Logik. In Achim Stephan & Sven Walter (eds.), Handbuch Kognitionswissenschaft. J.B. Metzler 145-151.
  6. added 2016-09-22
    Emil Jeřábek (forthcoming). Proof Complexity of Intuitionistic Implicational Formulas. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  7. added 2016-09-21
    Reiner Schaefer (forthcoming). Brandom’s Account of Reasoning: Nonmonotonic, But Does Not Allow Entitlement Recovery. Journal of Philosophical Research.
    In most everyday instances of reasoning, reasoners can gain, lose, and reacquire entitlement to (or justification for) a possible commitment (or belief) as a result of their consecutively acquiring new commitments. For example, we might initially conclude that ‘Tweety can fly’ from ‘Tweety is a bird,’ but later have to reject this conclusion as a result of our coming to learn that Tweety is a penguin. We could, even later, reacquire entitlement to ‘Tweety can fly’ if we became committed (and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8. added 2016-09-21
    Timothy Williamson (2016). Reply to Fritz. Canadian Journal of Philosophy 46 (4-5):610-612.
  9. added 2016-09-21
    Timothy Williamson (2016). Modal Science. Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  10. added 2016-09-21
    Timothy Williamson (2016). Reply to Sullivan. Canadian Journal of Philosophy 46 (4-5):759-765.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  11. added 2016-09-21
    Timothy Williamson (2016). Reply to Yli-Vakkuri. Canadian Journal of Philosophy 46 (4-5):839-851.
  12. added 2016-09-21
    Timothy Williamson (2016). Reply to Fine. Canadian Journal of Philosophy 46 (4-5):571-583.
  13. added 2016-09-21
    Timothy Williamson (2016). Reply to Goodman. Canadian Journal of Philosophy 46 (4-5):640-653.
  14. added 2016-09-21
    Timothy Williamson (2016). Reply to Bacon, Hawthorne, and Uzquiano. Canadian Journal of Philosophy 46 (4-5):542-547.
  15. added 2016-09-21
    Juhani Yli-Vakkuri (2016). Epistemicism and Modality. Canadian Journal of Philosophy 46 (4-5):803-835.
    What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  16. added 2016-09-21
    Timothy Williamson (2016). Reply to Linnebo. Canadian Journal of Philosophy 46 (4-5):677-682.
  17. added 2016-09-21
    Timothy Williamson (2016). Reply to Stalnaker. Canadian Journal of Philosophy 46 (4-6):727-734.
  18. added 2016-09-21
    J. L. Bell (1993). Hilbert’s Varepsilon -Operator and Classical Logic. Journal of Philosophical Logic 22 (1):1--18.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  19. added 2016-09-20
    Emma Ruttkamp (2002). A Model-Theoretic Realist Interpretation of Science. Kluwer.
    In this book Emma Ruttkamp demonstrates the power of the full-blown employment of the model-theoretic paradigm in the philosophy of science. Within this paradigm she gives an account of sciences as process and product. She expounds the "received statement" and the "non-statement" views of science, and shows how the model-theoretic approach resolves the spurious tension between these views. In this endeavour she also engages the views of a number of contemporary philosophers of science with affinity to model theory. This text (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  20. added 2016-09-18
    Guy Politzer (2005). Uncertainty and the Suppression of Inferences. Thinking and Reasoning 11:5-33.
    The explanation of the suppression of Modus Ponens inferences within the framework of linguistic pragmatics and of plausible reasoning is defended. First, this approach is expounded, and then it is shown that the results of the first experiment of Byrne, Espino and Santamaría support the uncertainty explanation but fail to support their counterexample explanation. Second, two experiments are presented. In the first one, aimed to refute one objection regarding the conclusions observed, the additional conditional premise was replaced with a statement (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  21. added 2016-09-17
    Michał Araszkiewicz & Thomasz Zurek (2016). Preface: Methodologies for Research on Legal Argumentation. Informal Logic 36 (3):265-270.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  22. added 2016-09-17
    Jaap Hage (2016). Anything Goes: An Apology for Parallel Distributed Legal Science. Informal Logic 36 (3):271-287.
    Doctrinal legal science seems to lack a proper method and purpose. This interpretation clarifies its value. The backbone of the argu- ment consists of two theses. The first is that coherence—in a sense unusu- al in law—plays a crucial role in legal science. The second is that doctrinal legal science is a social enterprise and this should be consid- ered in attempts to understand it. Based on these, a picture of doctrinal legal science is given consisting of parallel distributed constructions (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  23. added 2016-09-17
    Fabrizio Macagno (2016). Defining Marriage: Classification, Interpretation, and Definitional Disputes. Informal Logic 36 (3):309-332.
    The classification of a state of affairs under a legal category can be considered as a kind of con- densed decision that can be made explicit, analyzed, and assessed us- ing argumentation schemes. In this paper, the controversial conflict of opinions concerning the nature of “marriage” in Obergefell v. Hodges is analyzed pointing out the dialecti- cal strategies used for addressing the interpretive doubts. The dispute about the same-sex couples’ right to marry hides a much deeper disa- greement not only (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  24. added 2016-09-17
    H. José Plug (2016). Administrative Judicial Decisions as a Hybrid Argumentative Activity Type. Informal Logic 36 (3):333-348.
    This article focuses on strategic manoeuvring that takes place in Dutch administrative judi- cial decisions. These decisions may be seen as a distinct argumentative activity type. Starting from the char- acteristics that traditionally are per- tinent to this activity type, I will explore how implications of current discussions on the changing task of the administrative judge may be- come manifest in the judge’s strate- gic manoeuvring by means of the presentation of argumentation and the introduction of additional stand- points. The (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  25. added 2016-09-17
    Jan Winczorek (2016). Redundancy of Redundancy in Justifications of Verdicts of Polish The Constitutional Tribuna. Informal Logic 36 (3):371-394.
    The results of an empirical study of 150 justifications of verdicts of the Polish Constitutional Tribunal are discussed. CT justifies its decisions mostly on authoritative references to previous decisions and other doxa- type arguments. It thus does not convince the audience of a decision's validity, but rather documents it. Further, the methodology changes depending on features of the case. The results are analysed using a conceptual framework of sociological systems theory. It is shown that CT's justification methodology ignores the redundancy (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  26. added 2016-09-17
    Maurice Charland (2016). Apologie de la Polémique. Informal Logic 36 (3):427-431.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  27. added 2016-09-17
    Danny Marrero (2016). An Epistemological Theory of Argumentation for Adversarial Legal Proceedings. Informal Logic 36 (3):288-308.
    The rhetorical view suggests that the goal of factual ar- gumentation in legal proceedings is to persuade the fact-finder about the facts under litigation. However, R does not capture our social expecta- tions: we want fact-finders to know the facts justifying their decisions, and persuasion does not necessarily lead to knowledge. I want to present an epistemic theory of argumenta- tion honoring our expectations. Un- der my account, factual argumenta- tion aims to transmit knowledge to the fact-finder.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  28. added 2016-09-17
    James B. Freeman (2016). Errors of Reasoning, Naturalizing the Logic of Inference. Informal Logic 36 (3):395-426.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  29. added 2016-09-17
    F. J. Bex & V. M. Bex-Reimart (2016). Evidence Assessment in Refugee Law with Stories and Arguments. Informal Logic 36 (3):349-370.
    In this article, we aim to analyse whether a systematic meth- od for reasoning with evidence in legal cases – the hybrid theory of stories and arguments – can be ap- plied to a novel legal domain, name- ly European asylum law. This analy- sis serves as a case study for testing the applicability of the hybrid theory outside of the context of criminal law. Furthermore, the analysis will provide insights on how the hybrid theory can be used to improve (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  30. added 2016-09-16
    Mathieu Vidal (forthcoming). A Compositional Semantics for 'If Then' Conditionals. In Maxime Amblard, Philippe de Groote, Sylvain Pogodalla & Christian Rétoré (eds.), Logical Aspects of Computational Linguistics 2016. Springer
    This paper presents the first compositional semantics for if then conditionals. The semantics of each element are first examined separately. The meaning of if is modeled according to a possible worlds semantics. The particle then is analyzed as an anaphoric word that places its focused element inside the context settled by a previous element. Their meanings are subsequently combined in order to provide a formal semantics of if A then C conditionals, which differs from the simple if A, C form. (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  31. added 2016-09-16
    B. Sh Kulpeshov & S. V. Sudoplatov (forthcoming). Vaught's Conjecture for Quite o-Minimal Theories. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. added 2016-09-16
    Sebastian Lutz (2015). What Was the Syntax‐Semantics Debate in the Philosophy of Science About? Philosophy and Phenomenological Research 93 (2):n/a-n/a.
    The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33. added 2016-09-15
    Peter Fritz (2016). Post Completeness in Congruential Modal Logics. In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic Volume 11. College Publications 288-301.
    Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  34. added 2016-09-14
    Fabrizio Macagno, Douglas Walton & Christopher Tindale (forthcoming). Analogical Arguments: Inferential Structures and Defeasibility Conditions. Argumentation:1-23.
    The purpose of this paper is to analyze the structure and the defeasibility conditions of argument from analogy, addressing the issues of determining the nature of the comparison underlying the analogy and the types of inferences justifying the conclusion. In the dialectical tradition, different forms of similarity were distinguished and related to the possible inferences that can be drawn from them. The kinds of similarity can be divided into four categories, depending on whether they represent fundamental semantic features of the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. added 2016-09-14
    Andrei Sipoş (forthcoming). Effective Results on a Fixed Point Algorithm for Families of Nonlinear Mappings. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. added 2016-09-13
    Leonardo Cabrer (forthcoming). Unification on Subvarieties of Pseudocomplemented Distributive Lattices. Notre Dame Journal of Formal Logic.
    In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. added 2016-09-13
    Tomasz Kowalski & Lloyd Humberstone (forthcoming). An Abelian Rule for BCI—and Variations. Notre Dame Journal of Formal Logic.
    We show the admissibility for $\mathsf{BCI}$ of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from $\to\beta$ to $\alpha$. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of $\mathsf{BCI}$.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. added 2016-09-13
    Fabrice Correia (forthcoming). An Impure Logic of Representational Grounding. Journal of Philosophical Logic:1-32.
    I give a semantic characterization of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterization of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. added 2016-09-13
    Giacomo Turbanti (2015). A Paradox of Inferentialism. AL-MUKHATABAT 16:163-195.
    John McDowell articulated a radical criticism of normative inferentialism against Robert Brandom’s expressivist account of conceptual contents. One of his main concerns consists in vindicating a notion of intentionality that could not be reduced to the deontic relations that are established by discursive practitioners. Noticeably, large part of this discussion is focused on empirical knowledge and observational judgments. McDowell argues that there is no role for inference in the application of observational concepts, except the paradoxical one of justifying the content (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. added 2016-09-13
    Douglas Walton & David M. Godden, Redefining Knowledge in a Way Suitable for Argumentation Theory.
    Knowledge plays an important role in argumentation. Yet, recent work shows that standard conceptions of knowledge in epistemology may not be entirely suitable for argumentation. This paper explores the role of knowledge in argumentation, and proposes a notion of knowledge that promises to be more suitable for argumentation by taking account of: its dynamic nature, the defeasibility of our commitments, and the non-monotonicity of many of the inferences we use in everyday reasoning and argumentation.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  41. added 2016-09-12
    Jc Beall & Julien Murzi (2013). Two Flavors of Curry’s Paradox. Journal of Philosophy 110 (3):143-165.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. added 2016-09-11
    Meghdad Ghari (forthcoming). Labeled Sequent Calculus for Justification Logics. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. added 2016-09-09
    Dimitris Askounis, Costas D. Koutras & Yorgos Zikos (2016). Knowledge Means ‘All’, Belief Means ‘Most’. Journal of Applied Non-Classical Logics 26 (3):173-192.
    We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  44. added 2016-09-08
    Olivier Roy, Allard Tamminga & Malte Willer (eds.) (2016). Deontic Logic and Normative Systems. College Publications.
    The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law. In addition to these general themes, DEON 2016 encouraged a special focus on the topic "Reasons, Argumentation and Justification.".
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  45. added 2016-09-05
    Pete Olcott, Formalizing the Logical (Self-Reference) Error of the Liar Paradox.
    Proceeding entirely on the basis of key insights provided by Saul Kripke in his famous paper: Outline of a Theory of Truth (1975), this paper further elaborates exactly how the Liar Paradox is semantically ungrounded and therefore can only derive a Boolean value of Undefined.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. added 2016-09-05
    Teresa Kouri (forthcoming). A New Interpretation of Carnap’s Logical Pluralism. Topoi:1-10.
    Rudolf Carnap’s logical pluralism is often held to be one in which corresponding connectives in different logics have different meanings. This paper presents an alternative view of Carnap’s position, in which connectives can and do share their meaning in some contexts. This re-interpretation depends crucially on extending Carnap’s linguistic framework system to include meta-linguistic frameworks, those frameworks which we use to talk about linguistic frameworks. I provide an example that shows how this is possible, and give some textual evidence that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. added 2016-09-05
    Jesse M. Mulder (2016). Defining Original Presentism. Kriterion: Journal of Philosophy 30 (2):29-60.
    It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that framework (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. added 2016-09-04
    Chris Lambie-Hanson (forthcoming). Bounded Stationary Reflection II. Annals of Pure and Applied Logic.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49. added 2016-09-03
    Dustin Tucker (forthcoming). Montagovian Paradoxes and Hyperintensional Content. Studia Logica:1-19.
    A number of authors have taken a family of paradoxes, whose members trace back to theorems due either in whole or in part to Richard Montague, to pose a serious, possibly fatal challenge to theories of fine-grained, hyperintensional content. These paradoxes all assume that we can represent attitudes such as knowledge and belief with sentential predicates, and this assumption is at the heart of the purported challenge: the thought is that we must reject such predicates to avoid the paradoxes, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. added 2016-09-03
    Bjørn Kjos-Hanssen (forthcoming). A Conflict Between Some Semantic Conditions of Carmo and Jones for Contrary-to-Duty Obligations. Studia Logica:1-6.
    We show that Carmo and Jones’ condition 5 conflicts with the other conditions on their models for contrary-to-duty obligations. We then propose a resolution to the conflict.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 8474