Results for 'Dialogical logic'

959 found
Order:
  1. Necessity, a Leibnizian Thesis, and a Dialogical Semantics.Mohammad Shafiei - 2017 - South American Journal of Logic 3 (1):1-23.
    In this paper, an interpretation of "necessity", inspired by a Leibnizian idea and based on the method of dialogical logic, is introduced. The semantic rules corresponding to such an account of necessity are developed, and then some peculiarities, and some potential advantages, of the introduced dialogical explanation, in comparison with the customary explanation offered by the possible worlds semantics, are briefly discussed.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. The Dialogical Force of Implicit Premises. Presumptions in Enthymemes.Fabrizio Macagno & Giovanni Damele - 2013 - Informal Logic 33 (3):361-389.
    The implicit dimension of enthymemes is investigated from a pragmatic perspective to show why a premise can be left unexpressed, and how it can be used strategically. The relationship between the implicit act of taking for granted and the pattern of presumptive reasoning is shown to be the cornerstone of kairos and the fallacy of straw man. By taking a proposition for granted, the speaker shifts the burden of proving its un-acceptability onto the hearer. The resemblance of the tacit premise (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  3. Logic Diagrams as Argument Maps in Eristic Dialectics.Jens Lemanski - 2023 - Argumentation 37 (1):69-89.
    This paper analyses a hitherto unknown technique of using logic diagrams to create argument maps in eristic dialectics. The method was invented in the 1810s and -20s by Arthur Schopenhauer, who is considered the originator of modern eristic. This technique of Schopenhauer could be interesting for several branches of research in the field of argumentation: Firstly, for the field of argument mapping, since here a hitherto unknown diagrammatic technique is shown in order to visualise possible situations of arguments in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. The Football of Logic.Fabien Schang - 2017 - Studia Humana 6 (1):50-60.
    An analogy is made between two rather different domains, namely: logic, and football. Starting from a comparative table between the two activities, an alternative explanation of logic is given in terms of players, ball, goal, and the like. Our main thesis is that, just as the task of logic is preserving truth from premises to the conclusion, footballers strive to keep the ball as far as possible until the opposite goal. Assuming this analogy may help think about (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Dialectical Relevance and Dialogical Context in Walton’s Pragmatic Theory.Fabrizio Macagno - 2008 - Informal Logic 28 (2):102-128.
    The notions of types of dialogue and dialectical relevance are central themes in Walton’s work and the grounds for a dialectical approach to many fallacies. After outlining the dialogue models constituting the background of Walton’s account, this article presents the concepts of dialectical relevance and dialogue shifts in their application to biased argumentation, fallacious moves, and illicit argumentative strategies. Showing the different dialectical proposals Walton advanced in several studies on argumentation as a development of a dialogical system, it has (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  6. Quotations and Presumptions: Dialogical Effects of Misquotations.Douglas Walton & Fabrizio Macagno - 2011 - Informal Logic 31 (1):27-55.
    Manipulation of quotation, shown to be a common tactic of argumentation in this paper, is associated with fallacies like wrenching from context, hasty generalization, equivocation, accent, the straw man fallacy, and ad hominem arguments. Several examples are presented from everyday speech, legislative debates and trials. Analysis using dialog models explains the critical defects of argumentation illustrated in each of the examples. In the formal dialog system CB, a proponent and respondent take turns in making moves in an orderly goal-directed sequence (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Scriptural logic: Diagrams for a postcritical metaphysics.Peter Ochs - 1995 - Modern Theology 11 (1):65-92.
    You ask if metaphysics is possible after modernity, or after Barth and Wittgenstein and Derrida and the critique of foundationalism? May I invite you, by way of response, to listen in on a conversation? It is a dialogue between what I will call a postcritical philosopher ("P") and a postcritical scriptural theologian —— I'll label the latter a "textualist" ("T"). What I mean by "postcritical" would be displayed as the pattern of inquiry traced by this dialogue. I take the term (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. (1 other version)Conceptions of infinity and set in Lorenzen’s operationist system.Carolin Antos - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers.
    In the late 1940s and early 1950s Lorenzen developed his operative logic and mathematics, a form of constructive mathematics. Nowadays this is mostly seen as the precursor to the more well-known dialogical logic and one could assumed that the same philosophical motivations were present in both works. However we want to show that this is not always the case. In particular, we claim, that Lorenzen’s well-known rejection of the actual infinite as stated in Lorenzen (1957) was not (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen - 2015 - In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.
    Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Ordo eruditionis. Memoria delle discipline. Tracciati di razionalismo agostiniano.Marta Cristiani - 2016 - In Fabrizio Amerini & Stefano Caroti (eds.), _Ipsum verum non videbis nisi in philosophiam totus intraveris. Studi in onore di Franco De Capitani_. Raccolti da Fabrizio Amerini e Stefano Caroti. Firenze-Parma, Torino: E-theca OnLineOpenAccess Edizioni, Università degli Studi di Torino. pp. 156-193.
    This article offers an analysis of the problem of Augustine’s rationalism, by paying particular attention to his Dialogi, in which the Ciceronian and Christian ideal of the search for truth (quaerere veritatem) emerges as a life-long project. It shows how in Augustine’s thought the overcoming of Manichaeism has to be understood as a liberation from an ‘experience of madness’, or ‘perverse logic’, produced by an imagination unable to rise to pure rationality, in contrast with the ideal of order typical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Interpreting Straw Man Argumentation.Fabrizio Macagno & Douglas Walton - 2017 - Amsterdam: Springer.
    This book shows how research in linguistic pragmatics, philosophy of language, and rhetoric can be connected through argumentation to analyze a recognizably common strategy used in political and everyday conversation, namely the distortion of another’s words in an argumentative exchange. Straw man argumentation refers to the modification of a position by misquoting, misreporting or wrenching the original speaker’s statements from their context in order to attack them more easily or more effectively. Through 63 examples taken from different contexts (including political (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  12. Interpretative Disputes, Explicatures, and Argumentative Reasoning.Fabrizio Macagno & Alessandro Capone - 2016 - Argumentation 30 (4):399-422.
    The problem of establishing the best interpretation of a speech act is of fundamental importance in argumentation and communication in general. A party in a dialogue can interpret another’s or his own speech acts in the most convenient ways to achieve his dialogical goals. In defamation law this phenomenon becomes particularly important, as the dialogical effects of a communicative move may result in legal consequences. The purpose of this paper is to combine the instruments provided by argumentation theory (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  13. Gadamer – Cheng: Conversations in Hermeneutics.Andrew Fuyarchuk - 2021 - Journal of Chinese Philosophy 48 (3):245-249.
    1 Introduction1 In the 1980s, hermeneutics was often incorporated into deconstructionism and literary theory. Rather than focus on authorial intentions, the nature of writing itself including codes used to construct meaning, socio-economic contexts and inequalities of power,2 Gadamer introduced a different perspective; the interplay between effects of history on a reader’s understanding and the tradition(s) handed down in writing. This interplay in which a reader’s prejudices are called into question and modified by the text in a fusion of understanding and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Asymmetric Hybrids: Dialogues for Computational Concept Combination.Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria Hedblom & Pietro Galliani - 2022 - In Fabian Neuhaus & Boyan Brodaric (eds.), Formal Ontology in Information Systems - Proceedings of the Twelfth International Conference, {FOIS} 2021, Bozen-Bolzano, Italy, September 11-18, 2021. Frontiers in Artificial Intelligence and Applications 344. IOS Press. pp. 81-96.
    When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Editorial, Cosmopolis. Spirituality, religion and politics.Paul Ghils - 2015 - Cosmopolis. A Journal of Cosmopolitics 7 (3-4).
    Cosmopolis A Review of Cosmopolitics -/- 2015/3-4 -/- Editorial Dominique de Courcelles & Paul Ghils -/- This issue addresses the general concept of “spirituality” as it appears in various cultural contexts and timeframes, through contrasting ideological views. Without necessarily going back to artistic and religious remains of primitive men, which unquestionably show pursuits beyond the biophysical dimension and illustrate practices seeking to unveil the hidden significance of life and death, the following papers deal with a number of interpretations covering a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  42
    What Dawned First: Early Buddhist Philosophy on the Problem of Phenomenon and Origin in a Comparative Perspective.Federico Divino - 2024 - Philosophies 9 (5.135):1-20.
    This article explores the issues of phenomenon and genesis in Early Buddhist thought through a comparative analysis with the Eleatic tradition, aiming to enrich the understanding and dialogue between these philosophical and religious traditions. By examining the comparability of Buddhist thought and Parmenidean philosophy, the study challenges the notion that these traditions are fundamentally alien to each other. The focus is on the concept of genesis, not as creation from nothingness—rejected by both the Buddha and Parmenides—but as the manifestation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17.  39
    What Dawned First: Early Buddhist Philosophy on the Problem of Phenomenon and Origin in a Comparative Perspective.Federico Divino - 2024 - Philosophies 9 (5):135.
    This article explores the issues of phenomenon and genesis in Early Buddhist thought through a comparative analysis with the Eleatic tradition, aiming to enrich the understanding and dialogue between these philosophical and religious traditions. By examining the comparability of Buddhist thought and Parmenidean philosophy, the study challenges the notion that these traditions are fundamentally alien to each other. The focus is on the concept of genesis, not as creation from nothingness—rejected by both the Buddha and Parmenides—but as the manifestation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Fictive interaction and the nature of linguistic meaning.Sergeiy Sandler - 2016 - In Esther Pascual & Sergeiy Sandler (eds.), The conversation frame: Forms and functions of fictive interaction. Amsterdam: John Benjamins.
    One may distinguish between three broad conceptions of linguistic meaning. One conception, which I will call “logical”, views meaning as given in reference (for words) and truth (for sentences). Another conception, the “monological” one, seeks meaning in the cognitive capacities of the single mind. A third, “dialogical”, conception attributes meaning to interaction between individuals and personal perspectives. In this chapter I directly contrast how well these three approaches deal with the evidence brought forth by fictive interaction. I examine instances (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. “The Rejection of Radical-Foundationalism and -Skepticism: Pragmatic Belief in God in Eliezer Berkovits’s Thought” [in Hebrew].Nadav Berman, S. - 2019 - Journal of the Goldstein-Goren International Center for Jewish Thought 1:201-246.
    Faith has many aspects. One of them is whether absolute logical proof for God’s existence is a prerequisite for the proper establishment and individual acceptance of a religious system. The treatment of this question, examined here in the Jewish context of Rabbi Prof. Eliezer Berkovits, has been strongly influenced in the modern era by the radical foundationalism and radical skepticism of Descartes, who rooted in the Western mind the notion that religion and religious issues are “all or nothing” questions. Cartesianism, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. Argumentative Discourse: The Transcendental Starting Point of Apelian Discourse Ethics.Matthias Kettner - 2017 - In Jens Peter Brune, Robert Stern & Micha H. Werner (eds.), Transcendental Arguments in Moral Theory. Boston: De Gruyter. pp. 325-348.
    This paper deals with the question whether some morally normative content is grounded in the dialogical practice that both Apel and Habermas call argumentative discourse, and if so how to demonstrate that it is so grounded. Apel (unlike Habermas) claims that discourse has rationally necessary conceptual presuppositions; that morally normative content is part of such presuppositions; and that this can be ascertained in transcendendal reflection, i.e. by a kind of transcendental argument. I argue that these claims can be charitably (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Argumentation schemes in AI: A literature review. Introduction to the special issue.Fabrizio Macagno - 2021 - Argument and Computation 12 (3):287-302.
    Argumentation schemes [1–3] are a relatively recent notion that continues an extremely ancient debate on one of the foundations of human reasoning, human comprehension, and obviously human argumentation, i.e., the topics. To understand the revolutionary nature of Walton’s work on this subject matter, it is necessary to place it in the debate that it continues and contributes to, namely a view of logic that is much broader than the formalistic perspective that has been adopted from the 20th century until (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Reconstructing Multimodal Arguments in Advertisements: Combining Pragmatics and Argumentation Theory.Fabrizio Macagno & Rosalice Botelho Wakim Souza Pinto - 2021 - Argumentation 35 (1):141-176.
    The analysis of multimodal argumentation in advertising is a crucial and problematic area of research. While its importance is growing in a time characterized by images and pictorial messages, the methods used for interpreting and reconstructing the structure of arguments expressed through verbal and visual means capture only isolated dimensions of this complex phenomenon. This paper intends to propose and illustrate a methodology for the reconstruction and analysis of “double-mode” arguments in advertisements, combining the instruments developed in social semiotics, pragmatics, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.
    This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. L'etica del Novecento. Dopo Nietzsche.Sergio Cremaschi - 2005 - Roma RM, Italia: Carocci.
    TWENTIETH-CENTURY ETHICS. AFTER NIETZSCHE -/- Preface This book tells the story of twentieth-century ethics or, in more detail, it reconstructs the history of a discussion on the foundations of ethics which had a start with Nietzsche and Sidgwick, the leading proponents of late-nineteenth-century moral scepticism. During the first half of the century, the prevailing trends tended to exclude the possibility of normative ethics. On the Continent, the trend was to transform ethics into a philosophy of existence whose self-appointed task was (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Persona y relación desde este lado de la analogía teológica según Ferdinand Ebner.Juan Manuel Cabiedas Tejero - 2019 - Efemérides Mexicana 37 (111):394-429.
    This study investigates the debt owed by contemporary theological anthropology to the philosophical anthropology of the first half of the twentieth century (considered in its interest in interpersonal character of human identity). It should be recognized that there was a fairly complex relationship between them: sometimes anthropology ended up in some way forgetting theology, sometimes theology was sustained by anthropology and, often, invited to self-criticism. Analyzing «pneumatological» anthropology (and its Christological roots) elaborated by Ferdinand Ebner (1882- 1931) helps theological anthropology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Filosofia Analitica e Filosofia Continentale.Sergio Cremaschi (ed.) - 1997 - 50018 Scandicci, Metropolitan City of Florence, Italy: La Nuova Italia.
    ● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Presumptions, Assumptions, and Presuppositions of Ordinary Arguments.Gilbert Plumer - 2017 - Argumentation 31 (3):469-484.
    Although in some contexts the notions of an ordinary argument’s presumption, assumption, and presupposition appear to merge into the one concept of an implicit premise, there are important differences between these three notions. It is argued that assumption and presupposition, but not presumption, are basic logical notions. A presupposition of an argument is best understood as pertaining to a propositional element (a premise or the conclusion) e of the argument, such that the presupposition is a necessary condition for the truth (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  28. Much Ado About 'Nothing' in Greek Hexameter Philosophy.James Bardis - manuscript
    This submission constitutes six (core) pages in literary prose expounding the philosophy of Parmenides of Elea outside the reductionist framework based in formal logic that has become de rigeur in philosophy departments of the English language world — at least prior to Dr. Papa-Grimaldi’s research. To this end, my paper, in chronological order, by way of introduction simulates Plato’s Parmenides; in the main body reconstructs Taran’s argument in “Much Ado About ‘Nothing,’” in Apeiron, Vol. XXXV, No. 2, June 2002, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. The Presumptions of Meaning. Hamblin and Equivocation.Fabrizio Macagno - 2011 - Informal Logic 31 (4):367-393.
    When we use a word, we face a crucial epistemic gap: we ground our move on the fact that our interlocutor knows the meaning of the word we used, and therefore he can interpret our dialogical intention. However, how is it possible to know the other’s mind? Hamblin explained this dialogical problem advancing the idea of dialectical meaning: on his view, the use of a word is based on a set of presumptions. Building on this approach, the use (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  30. Persuasive Definitions: Values, Meanings and Implicit Disagreements.Fabrizio Macagno & Douglas Walton - 2008 - Informal Logic 28 (3):203-228.
    The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative structure of (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  31. Reconstructing and assessing the conditions of meaningfulness. An argumentative approach to presupposition.Fabrizio Macagno - 2012 - In Henrique Jales Ribeiro (ed.), Inside Arguments: Logic And The Study of Argumentation. Newcastle upon Tyne, UK: Cambridge Scholars Publishers. pp. 247--268.
    Presupposition has been described in the literature as closely related to the listener’s knowledge and the speaker’s beliefs regarding the other’s mind. However, how is it possible to know or believe our interlocutor’s knowledge? The purpose of this paper is to find an answer to this question by showing the relationship between reasoning, presumption and language. Presupposition is analyzed as twofold reasoning process: on the one hand, the speaker by presupposing a proposition presumes that his interlocutor knows it; on the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  32. The Foundations of Illocutionary Logic.J. R. Searle & Daniel Vanderveken - 1989 - Linguistics and Philosophy 12 (6):745-748.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  33. Anti-Exceptionalism about Logic.Stephen Read - 2019 - Australasian Journal of Logic 16 (7):298.
    Anti-exceptionalism about logic is the doctrine that logic does not require its own epistemology, for its methods are continuous with those of science. Although most recently urged by Williamson, the idea goes back at least to Lakatos, who wanted to adapt Popper's falsicationism and extend it not only to mathematics but to logic as well. But one needs to be careful here to distinguish the empirical from the a posteriori. Lakatos coined the term 'quasi-empirical' `for the counterinstances (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  34. What is the Normative Role of Logic?Hartry Field - 2009 - Aristotelian Society Supplementary Volume 83 (1):251-268.
    The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   109 citations  
  35. Modus Ponens and the Logic of Decision.Nate Charlow - 2023 - Journal of Philosophical Logic 52 (3):859-888.
    If modus ponens is valid, then you should take up smoking.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  37. Future Contingents and the Logic of Temporal Omniscience.Patrick Todd & Brian Rabern - 2019 - Noûs 55 (1):102-127.
    At least since Aristotle’s famous 'sea-battle' passages in On Interpretation 9, some substantial minority of philosophers has been attracted to the doctrine of the open future--the doctrine that future contingent statements are not true. But, prima facie, such views seem inconsistent with the following intuition: if something has happened, then (looking back) it was the case that it would happen. How can it be that, looking forwards, it isn’t true that there will be a sea battle, while also being true (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  38. Adaptationism and the Logic of Research Questions: How to Think Clearly About Evolutionary Causes.Elisabeth A. Lloyd - 2015 - Biological Theory 10 (4):DOI: 10.1007/s13752-015-0214-2.
    This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  39. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. (A Little) Quantified Modal Logic for Normativists.Mark Povich - forthcoming - Analysis.
    Burgess (1997), building on Quine (1953), convincingly argued that claims in quantified modal logic cannot be understood as synonymous with or logically equivalent to claims about the analyticity of certain sentences. According to modal normativism, metaphysically necessary claims instead express or convey our actual semantic rules. In this paper, I show how the normativist can use Sidelle’s (1992a, 1995) neglected work on rigidity to account for two important phenomena in quantified modal logic: the necessity of identity and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Was Łukasiewicz Wrong? : Three-valued Logic and Determinism.Daisuke Kachi - 1996 - In Łukasiewicz in Dublin -- An International Conference on the Work of Jan Łukasiewicz.
    Łukasiewicz has often been criticized for his motive for inventing his three-valued logic, namely the avoidance of determinism. First of all, I want to show that almost all of the critcism along this line was wrong. Second I will indicate that he made mistakes, however, in constructing his system, because he had other motives at the same time. Finally I will propose some modification of his system and its interpretation which can attain his original purpose in some sense.
    Download  
     
    Export citation  
     
    Bookmark  
  43. (1 other version)An essay in deontic logic and the general theory of action: with a bibliography of deontic and imperative logic.Georg Henrik von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  44. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  45. Epistemic Utility and the Normativity of Logic.Richard Pettigrew - 2017 - Logos and Episteme 8 (4):455-492.
    How does logic relate to rational belief? Is logic normative for belief, as some say? What, if anything, do facts about logical consequence tell us about norms of doxastic rationality? In this paper, we consider a range of putative logic-rationality bridge principles. These purport to relate facts about logical consequence to norms that govern the rationality of our beliefs and credences. To investigate these principles, we deploy a novel approach, namely, epistemic utility theory. That is, we assume (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  46. Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  47. Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  48. (1 other version)Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  49. Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.
    In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Abduction or the Logic of Surprise.Jaime Nubiola - 2005 - Semiotica 2005 (153 - 1/4):117-130.
    Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
1 — 50 / 959