Results for 'justification logic'

1000+ found
Order:
  1. Probabilistic Justification Logic.Joseph Lurie - 2018 - Philosophies 3 (1):2.
    Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification. However, in this role, justification (and modal) logics are defective insofar as they represent justification with a necessity-like operator, whereas actual evidentialist justification is usually probabilistic. This paper first examines and rejects extant candidates for solving this problem: Milnikel’s Logic of Uncertain Justifications, Ghari’s Hájek–Pavelka-Style Justification Logics and a version of probabilistic (...) logic developed by Kokkinis et al. It then proposes a new solution to the problem in the form of a justification logic that incorporates the essential features of both a fuzzy logic and a probabilistic logic. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.
    Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Unjustified untrue "beliefs": AI hallucinations and justification logics.Kristina Šekrst - forthcoming - In Kordula Świętorzecka, Filip Grgić & Anna Brozek (eds.), Logic, Knowledge, and Tradition. Essays in Honor of Srecko Kovac.
    In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that is, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. A new framework for justification logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Logika opravdanja u Boškovićevoj indukciji [Justification Logic in Bošković's Induction].Srećko Kovač - 2014 - In Nikola Stanković, Stipe Kutleša & Ivan Šestak (eds.), Filozofija Ruđera Josipa Boškovića. Zagreb: Filozofsko-teološki institut Družbe Isusove. pp. 153-168.
    [English in PhilArchive, unpublished]. Ruđer Bošković's (Rogerius Joseph Boscovich, 1711-1787) induction is described as a reasoning procedure that combines abductive, generalizing and deductive forms of inference. According to Bošković, the application of inductive reasoning extends beyond natural science. Bošković's critique of the use of the principle of sufficient reason is discussed, and constructive rules of Bošković's inductive logic are proposed from the standpoint of contemporary justification logic. To that end, justification logic could be extended with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Consistency and Permission in Deontic Justification Logic.Federico L. G. Faroldi, Thomas Studer, Meghdad Ghari & Eveline Lehmann - forthcoming - Journal of Logic and Computation 1.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A Logic of Justification and Truthmaking.Alessandro Giordani - 2013 - Review of Symbolic Logic 6 (2):323-342.
    In the present paper we propose a system of propositional logic for reasoning about justification, truthmaking, and the connection between justifiers and truthmakers. The logic of justification and truthmaking is developed according to the fundamental ideas introduced by Artemov. Justifiers and truthmakers are treated in a similar way, exploiting the intuition that justifiers provide epistemic grounds for propositions to be considered true, while truthmakers provide ontological grounds for propositions to be true. This system of logic (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. The logic of epistemic justification.Martin Smith - 2018 - Synthese 195 (9):3857-3875.
    Theories of epistemic justification are commonly assessed by exploring their predictions about particular hypothetical cases – predictions as to whether justification is present or absent in this or that case. With a few exceptions, it is much less common for theories of epistemic justification to be assessed by exploring their predictions about logical principles. The exceptions are a handful of ‘closure’ principles, which have received a lot of attention, and which certain theories of justification are well (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  9. Anti-exceptionalism and the justification of basic logical principles.Matthew Carlson - 2022 - Synthese 200 (3):1-19.
    Anti-exceptionalism about logic is the thesis that logic is not special. In this paper, I consider, and reject, a challenge to this thesis. According to this challenge, there are basic logical principles, and part of what makes such principles basic is that they are epistemically exceptional. Thus, according to this challenge, the existence of basic logical principles provides reason to reject anti-exceptionalism about logic. I argue that this challenge fails, and that the exceptionalist positions motivated by it (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. "What Does Logic Have to Do with Justified Belief? Why Doxastic Justification is Fundmanetal".Hilary Kornblith - 2022 - In Paul Silva & Luis R. G. Oliveira (eds.), Propositional and Doxastic Justification: New Essays on their Nature and Significance. New York: Routledge.
    As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  64
    The Logic of Epistemic Entitlement.Maoyuan Zhu - 2024 - Dissertation, East China Normal University
    This paper develops a new class of justification logic, the logic of epistemic entitlement. The logic of epistemic entitlement invokes the notion of epistemic entitlement in epistemology, and interprets a justification formula in the form of???? ∶???? as follows: the warrant???? entitles the agent to believe????. In the logic of epistemic entitlement, the formula???? ∶???? is true if and only if???? is true in all possible worlds entitled to be conceived by????. In contrast to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Justification for Relativity in Traditional Logic (16th edition).Edoh Sunday Odum & Emmanuel Darty - 2023 - Nigerian Journal of Philosophical Studies 2 (1):66-84.
    Standard responses to the question of the nature of logic can be broadly classified into two, namely: logical monists that privilege traditional logic above non-traditional logic and logical pluralists who recognize the legitimacy of many-valued logic and use same to argue for some form of logical relativity. The line of distinction appears to be fairly clear as traditional, Aristotelian, two-valued and standard logic maintains fidelity with the principle of bivalence and the traditional laws of thought (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Rosenkranz’s Logic of Justification and Unprovability.Jan Heylen - 2020 - Journal of Philosophical Logic 49 (6):1243-1256.
    Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know, 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Gettier Problems and Logical Properties of Justification.Vaclav Rajlich - manuscript
    In the classical account of knowledge, S knows that P if and only if S believes that P, S is justified in believing that P, and P is true (JTB).. In 1963, Gettier presented two problems that casted doubt on this account. Since then, numerous authors proposed modifications or clarifications of JTB, however, these efforts have not produced a satis-factory solution. In this paper, the focus is on logical properties of justification. The Get-tier problem Case II is expressed in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.
    The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. An enhanced model for Rosenkranz’s logic of justification.Niccolò Rossi - 2022 - Asian Journal of Philosophy 1 (1):1-9.
    Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Doxastic justification through dispositions to cause.Julius Schönherr - 2022 - Synthese 200 (4):1-18.
    According to the standard view, a belief is based on a reason and doxastically justified—i.e., permissibly held—only if a causal relation obtains between a reason and the belief. In this paper, I argue that a belief can be doxastically justified by a reason’s mere disposition to sustain it. Such a disposition, however, wouldn’t establish a causal connection unless it were manifested. My argument is that, in the cases I have in mind, the manifestation of this disposition would add no positive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Justification as ignorance and epistemic Geach principles.Julien Dutant - 2022 - Asian Journal of Philosophy 1 (1):1-7.
    Sven Rosenkranz’s Justification as Ignorance shows how a strongly internalist conception of justification can be derived from a strongly externalist conception of knowledge, given an identification of justification with second-order ignorance and a set of structural principles concerning knowing and being in a position to know. Among these principles is an epistemic analogue of the Geach modal schema which states that one is always in a position to know that one doesn’t know p or in a position (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  59
    Discussive Logic. A Short History of the First Paraconsistent Logic.Fabio De Martin Polo - 2023 - In Jens Lemanski & Ingolf Max (eds.), Historia Logicae and its Modern Interpretation. London: College Publications. pp. 267--296.
    In this paper we present an overview, with historical and critical remarks, of two articles by S. Jaśkowski ([20, 21] 1948 and [22, 23] 1949), which contain the oldest known formulation of a paraconsistent logic. Jaśkowski has built the logic – he termed discussive (D2) – by defining two new connectives and by introducing a modal translation map from D2 systems into Lewis’ modal logic S5. Discussive systems, for their formal details and their original philosophical justification, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Justification As A Loaded Notion.Yuval Avnur - 2019 - Synthese 198 (5):4897-4916.
    The problem of skepticism is often understood as a paradox: a valid argument with plausible premises whose conclusion is that we lack justification for perceptual beliefs. Typically, this conclusion is deemed unacceptable, so a theory is offered that posits conditions for justification on which some premise is false. The theory defended here is more general, and explains why the paradox arises in the first place. Like Strawson’s (Introduction to logical theory, Wiley, New York, 1952) “ordinary language” approach to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  30
    Logical Abductivism on Abductive Logic.Filippo Mancini - 2024 - Synthese 203 (188):1-23.
    Logical abductivism is the epistemic view about logic according to which logical theories are justified by abduction (or Inference to the Best Explanation), that is on how well they explain the relevant evidence, so that the correct logical theory turns out to be the one that explains it best. Arguably, this view should be equally applied to both deductive and non-deductive logics, abduction included. But while there seems to be nothing wrong in principle in using abduction to determine the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Logical Partisanhood.Jack Woods - 2019 - Philosophical Studies 176 (5):1203-1224.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  23. Scientific Progress Without Justification.Finnur Dellsén - forthcoming - In Kareem Khalifa, Insa Lawler & Elay Shech (eds.), Scientific Understanding and Representation: Modeling in the Physical Sciences. Routledge.
    According to some prominent accounts of scientific progress, e.g. Bird’s epistemic account, accepting new theories is progressive only if the theories are justified in the sense required for knowledge. This paper argues that epistemic justification requirements of this sort should be rejected because they misclassify many paradigmatic instances of scientific progress as non-progressive. In particular, scientific progress would be implausibly rare in cases where (a) scientists are aware that most or all previous theories in some domain have turned out (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. The Nature of Intuitive Justification.Elijah Chudnoff - 2011 - Philosophical Studies 153 (2):313 - 333.
    In this paper I articulate and defend a view that I call phenomenal dogmatism about intuitive justification. It is dogmatic because it includes the thesis: if it intuitively seems to you that p, then you thereby have some prima facie justification for believing that p. It is phenomenalist because it includes the thesis: intuitions justify us in believing their contents in virtue of their phenomenology—and in particular their presentational phenomenology. I explore the nature of presentational phenomenology as it (...)
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  25. A Justification For Deduction and Its Puzzeling Corolary.Salman Panahy - 2019 - Dissertation, University of Melbourne
    This thesis is about how deduction is analytic and, at the same time, informative. In the first two chapters I am after the question of the justification of deduction. This justification is circular in the sense that to explain how deduction works we use some basic deductive rules. However, this circularity is not trivial as not every rule can be justified circularly. Moreover, deductive rules may not need suasive justification because they are not ampliative. Deduction preserves meaning, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Ideal rationality and logical omniscience.Declan Smithies - 2015 - Synthese 192 (9):2769-2793.
    Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is (...)
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  27. A Logical Approach to Reasoning by Analogy.Todd R. Davies & Stuart J. Russell - 1987 - In John P. McDermott (ed.), Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI'87). Morgan Kaufmann Publishers. pp. 264-270.
    We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  28. Logic and Sense.Urszula Wybraniec-Skardowska - 2016 - Philosophy Study 6 (9).
    In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  29. Judaic Logic: A Formal Analysis of Biblical, Talmudic and Rabbinic Logic.Avi Sion - 1995 - Geneva, Switzerland: Slatkine; CreateSpace & Kindle; Lulu..
    Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. On the justification of deduction and induction.Franz Huber - 2017 - European Journal for Philosophy of Science 7 (3):507-534.
    The thesis of this paper is that we can justify induction deductively relative to one end, and deduction inductively relative to a different end. I will begin by presenting a contemporary variant of Hume ’s argument for the thesis that we cannot justify the principle of induction. Then I will criticize the responses the resulting problem of induction has received by Carnap and Goodman, as well as praise Reichenbach ’s approach. Some of these authors compare induction to deduction. Haack compares (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Hypatia's silence. Truth, justification, and entitlement.Martin Fischer, Leon Horsten & Carlo Nicolai - manuscript
    Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical treatment.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  32. Uniqueness and Logical Disagreement (Revisited).Frederik J. Andersen - 2023 - Logos and Episteme 14 (3):243-259.
    This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. The problem of the justification of a theory of knowledge—Part II: morphology and diagnosis.Luciano Floridi - 1993 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 24 (2):205–233.
    The article analyses the meta- epistemological problem of the justification of a theory of knowledge. The first section is dedicated to the morphological reconstruction of the problem, the second presents a diagnosis of the problem in terms of a metatheoretical and logically non- contradictory "petitio principii" and the third delineates the limits within which strategies for the treatment of the problem could be elaborated.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
    We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  36. Debunking Arguments: Mathematics, Logic, and Modal Security.Justin Clarke-Doane - 2017 - In Michael Ruse & Robert J. Richards (eds.), The Cambridge Handbook of Evolutionary Ethics. New York: Cambridge University Press.
    I discuss the structure of genealogical debunking arguments. I argue that they undermine our mathematical beliefs if they undermine our moral beliefs. The contrary appearance stems from a confusion of arithmetic truths with (first-order) logical truths, or from a confusion of reliability with justification. I conclude with a discussion of the cogency of debunking arguments, in light of the above. Their cogency depends on whether information can undermine all of our beliefs of a kind, F, without giving us direct (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  37. On Forms of Justification in Set Theory.Neil Barton, Claudio Ternullo & Giorgio Venturi - 2020 - Australasian Journal of Logic 17 (4):158-200.
    In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Logika u filozofiji Franje pl. Markovića [Logic in philosophy of Franjo pl. Marković].Srećko Kovač - 2016 - In Stipe Kutleša (ed.), Filozofijsko djelo Franje pl. Markovića. Zagreb: Matica hrvatska. pp. 57-73.
    Logic has a fundamental role in the philosophy of Franjo Marković (1845-1914). His theory of concepts and reasoning is analyzed, especially with respect to the essential role of the principle of sufficient reason and in connection with the concept of causality. The interplay of various types of evidence in Marković's inductive-deductive logic is analysed by means of contemporary justification logic tools.
    Download  
     
    Export citation  
     
    Bookmark  
  39. Invariance and Logicality in Perspective.Gila Sher - 2021 - In Gil Sagi & Jack Woods (eds.), The Semantic Conception of Logic : Essays on Consequence, Invariance, and Meaning. New York, NY: Cambridge University Press. pp. 13-34.
    Although the invariance criterion of logicality first emerged as a criterion of a purely mathematical interest, it has developed into a criterion of considerable linguistic and philosophical interest. In this paper I compare two different perspectives on this criterion. The first is the perspective of natural language. Here, the invariance criterion is measured by its success in capturing our linguistic intuitions about logicality and explaining our logical behavior in natural-linguistic settings. The second perspective is more theoretical. Here, the invariance criterion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Skepticism, logical independence, and epistemic priority.Kirk Ludwig - manuscript
    Radical skepticism about the external world is founded on two assumptions: one is that the mind and the external world are logically independent; the other is that all our evidence for the nature of that world consists of facts about our minds. In this paper, I explore the option of denying the epistemic, rather than the logical assumption. I argue that one can do so only by embracing externalism about justification, or, after all, by rejecting the logical independence assumption. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Existential Quantifier, Logic and the Christian Trinitarian Monotheism: an investigation of a relationship between formal sciences and philosophy of religion.Paulo Júnio de Oliveira - 2017 - Revista Brasileira de Filosofia da Religião 4 (2):134-151.
    This article discusses a relation between the formal science of logical semantics and some monotheistic, polytheistic and Trinitarian Christian notions. This relation appears in the use of the existential quantifier and of logical-modal notions when some monotheistic and polytheistic concepts and, principally, the concept of Trinity Dogma are analyzed. Thus, some presupposed modal notions will appear in some monotheistic propositions, such as the notion of “logically necessary”. From this, it will be shown how the term “God” is a polysemic term (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Explanation and Justification: Understanding the Functions of Fact-Insensitive Principles.Kyle Johannsen - 2016 - Socialist Studies 11 (1):174-86.
    In recent work, Andrew T. Forcehimes and Robert B. Talisse correctly note that G.A. Cohen’s fact-insensitivity thesis, properly understood, is explanatory. This observation raises an important concern. If fact-insensitive principles are explanatory, then what role can they play in normative deliberations? The purpose of my paper is, in part, to address this question. Following David Miller, I indicate that on a charitable understanding of Cohen’s thesis, an explanatory principle explains a justificatory fact by completing an otherwise logically incomplete inference. As (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Informal Logic’s Infinite Regress: Inference Through a Looking-Glass.Gilbert Edward Plumer - 2018 - In Steve Oswald (ed.), Argumentation and Inference. Proceedings of the 2nd European Conference on Argumentation, Fribourg 2017. pp. 365-377.
    I argue against the skeptical epistemological view exemplified by the Groarkes that “all theories of informal argument must face the regress problem.” It is true that in our theoretical representations of reasoning, infinite regresses of self-justification regularly and inadvertently arise with respect to each of the RSA criteria for argument cogency (the premises are to be relevant, sufficient, and acceptable). But they arise needlessly, by confusing an RSA criterion with argument content, usually premise material.
    Download  
     
    Export citation  
     
    Bookmark  
  44.  17
    The Pioneering Proving Methods as Applied in the Warsaw School of Logic – Their Historical and Contemporary Significance.Urszula Wybraniec-Skardowska - 2024 - History and Philosophy of Logic 45 (2):124-141.
    Justification of theorems plays a vital role in any rational human activity. It is indispensable in science. The deductive method of justifying theorems is used in all sciences and it is the only method of justifying theorems in deductive disciplines. It is based on the notion of proof, thus it is a method of proving theorems. In the Warsaw School of Logic (WSL) – the famous branch of the Lvov-Warsaw School (LWS) – two types of the method: axiomatic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. On the logical unsolvability of the Gettier problem.L. Floridi - 2004 - Synthese 142 (1):61 - 79.
    The tripartite account of propositional, fallibilist knowledge that p as justified true belief can become adequate only if it can solve the Gettier Problem. However, the latter can be solved only if the problem of a successful coordination of the resources (at least truth and justification) necessary and sufficient to deliver propositional, fallibilist knowledge that p can be solved. In this paper, the coordination problem is proved to be insolvable by showing that it is equivalent to the ''''coordinated attack'''' (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  46. An actionist approach to the justificational role of perceptual experience.Eros Carvalho - 2016 - Revista Portuguesa de Filosofia 72 (2-3):545-572.
    In this paper, I defend an account of how perceptual experience can bear rational relation to our empirical thought. In the first part, I elaborate two claims that are central for the justificational role of perceptual experience, namely, the claim that perception and belief share the same kind of content, and the claim that perception is independent from belief. At first sight, these claims seem not to be compatible, since the first one seems to require the truth of content conceptualism, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Assertion, denial, content, and (logical) form.Jack Woods - 2016 - Synthese 193 (6):1667-1680.
    I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. On Universal Roots in Logic.Andrzej K. Rogalski & Urszula Wybraniec-Skardowska - 1998 - Dialogue and Universalism 8 (11):143-154.
    The aim of this study is to discuss in what sense one can speak about universal character of logic. The authors argue that the role of logic stands mainly in the generality of its language and its unrestricted applications to any field of knowledge and normal human life. The authors try to precise that universality of logic tends in: (a) general character of inference rules and the possibility of using those rules as a tool of justification (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Ancient Indian Logic and Analogy.J. B. Paris & A. Vencovska - 2017 - In S. Ghosh & S. Prasad (eds.), Logic and its Applications, Lecture Notes in Computer Science 10119. Springer. pp. 198-210.
    B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Uniqueness and Logical Disagreement.Frederik J. Andersen - 2020 - Logos and Episteme 11 (1):7-18.
    This paper discusses the uniqueness thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000