View topic on PhilPapers for more information
Related categories

61 found
Order:
More results on PhilPapers
1 — 50 / 61
  1. Tuples All the Way Down?Simon Hewitt - manuscript
    We can introduce singular terms for ordered pairs by means of an abstraction principle. Doing so proves useful for a number of projects in the philosophy of mathematics. However there is a question whether we can appeal to the abstraction principle in good faith, since a version of the Caesar Problem can be generated, posing the worry that abstraction fails to introduce expressions which refer determinately to the requisite sort of object. In this short paper I will pose the difficulty, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Mathematics as the Science of Pure Structure.John-Michael Kuczynski - manuscript
    A brief but rigorous description of the logical structure of mathematical truth.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. A General Semantics for Logics of Affirmation and Negation.Fabien Schang - 2021 - Journal of Applied Logics - IfCoLoG Journal of Logics and Their Applications 8 (2):593-609.
    A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and structured (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Some Logical Notations for Pragmatic Assertions.Massimiliano Carrara, Daniele Chiffi & Ahti-Veikko Pietarinen - 2020 - Logique Et Analyse 251:297 - 315.
    The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. Between Atomism and Superatomism.T. Scott Dixon - 2020 - Journal of Philosophical Logic 49 (6):1215-1241.
    There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Swahili Conditional Constructions in Embodied Frames of Reference: Modeling Semantics, Pragmatics, and Context-Sensitivity in UML Mental Spaces.Roderick Fish - 2020 - Dissertation, Trinity Western University
    Studies of several languages, including Swahili [swa], suggest that realis (actual, realizable) and irrealis (unlikely, counterfactual) meanings vary along a scale (e.g., 0.0–1.0). T-values (True, False) and P-values (probability) account for this pattern. However, logic cannot describe or explain (a) epistemic stances toward beliefs, (b) deontic and dynamic stances toward states-of-being and actions, and (c) context-sensitivity in conditional interpretations. (a)–(b) are deictic properties (positions, distance) of ‘embodied’ Frames of Reference (FoRs)—space-time loci in which agents perceive and from which they contextually (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. The Logic of Ground.Adam Lovett - 2020 - Journal of Philosophical Logic 49 (1):13-49.
    I explore the logic of ground. I first develop a logic of weak ground. This logic strengthens the logic of weak ground presented by Fine in his ‘Guide to Ground.’ This logic, I argue, generates many plausible principles which Fine’s system leaves out. I then derive from this a logic of strict ground. I argue that there is a strong abductive case for adopting this logic. It’s elegant, parsimonious and explanatorily powerful. Yet, so I suggest, adopting it has important consequences. (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  8. A First-Order Modal Theodicy: God, Evil, and Religious Determinism.Gesiel Borges da Silva & Fábio Bertato - 2019 - South American Journal of Logic 5 (1):49-80.
    Edward Nieznanski developed in 2007 and 2008 two different systems in formal logic which deal with the problem of evil. Particularly, his aim is to refute a version of the logical problem of evil associated with a form of religious determinism. In this paper, we revisit his first system to give a more suitable form to it, reformulating it in first-order modal logic. The new resulting system, called N1, has much of the original basic structure, and many axioms, definitions, and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. No Metaphysical Disagreement Without Logical Incompatibility.Daniel Durante Pereira Alves - 2019 - Seminário Lógica No Avião - 2013-2018.
    The purpose of this article is to support the logical incompatibility of the opposing views as a criterion for characterizing disagreements as genuinely metaphysical. That is, I intend to argue that a specific dispute is a metaphysical disagreement only when the conflicting views are governed by different logics. If correct, this criterion would not only help to separate merely verbal from genuine metaphysical debates, but it also would ground an argument against deflationism, guaranteeing the substantiality and relevance of metaphysics. I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. Recapture, Transparency, Negation and a Logic for the Catuskoti.Adrian Kreutz - 2019 - Comparative Philosophy 10 (1):67-92.
    The recent literature on Nāgārjuna’s catuṣkoṭi centres around Jay Garfield’s (2009) and Graham Priest’s (2010) interpretation. It is an open discussion to what extent their interpretation is an adequate model of the logic for the catuskoti, and the Mūla-madhyamaka-kārikā. Priest and Garfield try to make sense of the contradictions within the catuskoti by appeal to a series of lattices – orderings of truth-values, supposed to model the path to enlightenment. They use Anderson & Belnaps's (1975) framework of First Degree Entailment. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. An Objection to Naturalism and Atheism From Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), Blackwell Companion to Atheism and Philosophy. Malden: Blackwell Publishers. pp. 451-475.
    I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. All Properties Are Divine or God Exists.Frode Bjørdal - 2018 - Logic and Logical Philosophy 3 (27):329-350.
    A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. Logical Normativity and Rational Agency—Reassessing Locke's Relation to Logic.Huaping Lu-Adler - 2018 - Journal of the History of Philosophy 56 (1):75-99.
    There is an exegetical quandary when it comes to interpreting Locke's relation to logic.On the one hand, over the last few decades a substantive amount of literature has been dedicated to explaining Locke's crucial role in the development of a new logic in the seventeenth and eighteenth centuries. John Yolton names this new logic the "logic of ideas," while James Buickerood calls it "facultative logic."1 Either way, Locke's Essay is supposedly its "most outspoken specimen" or "culmination."2 Call this reading the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Inferentialism, Naturalism, and the Ought-To-Bes of Perceptual Cognition.James O'Shea - 2018 - In Vojtěch Kolman Ondřej Beran (ed.), From Rules to Meanings: New Essays on Inferentialism. New York: Routledge. pp. 308–22.
    Abstract: Any normative inferentialist view confronts a set of challenges in the form of how to account for the sort of ordinary empirical descriptive vocabulary that is involved, paradigmatically, in our noninferential perceptual responses and knowledge claims. This chapter lays out that challenge, and then argues that Sellars’ original multilayered account of such noninferential responses in the context of his normative inferentialist semantics and epistemology shows how the inferentialist can plausibly handle those sorts of cases without stretching the notion of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. Laws of Thought and Laws of Logic After Kant.Lydia Patton - 2018 - In Sandra Lapointe (ed.), Logic from Kant to Russell. New York: Routledge. pp. 123-137.
    George Boole emerged from the British tradition of the “New Analytic”, known for the view that the laws of logic are laws of thought. Logicians in the New Analytic tradition were influenced by the work of Immanuel Kant, and by the German logicians Wilhelm Traugott Krug and Wilhelm Esser, among others. In his 1854 work An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Boole argues that the laws of thought acquire (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. Rumfitt on Truth-Grounds, Negation, and Vagueness.Richard Zach - 2018 - Philosophical Studies 175 (8):2079-2089.
    In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. From Logical Calculus to Logical Formality—What Kant Did with Euler’s Circles.Huaping Lu-Adler - 2017 - In Corey W. Dyck & Falk Wunderlich (eds.), Kant and His German Contemporaries : Volume 1, Logic, Mind, Epistemology, Science and Ethics. Cambridge: Cambridge University Press. pp. 35-55.
    John Venn has the “uneasy suspicion” that the stagnation in mathematical logic between J. H. Lambert and George Boole was due to Kant’s “disastrous effect on logical method,” namely the “strictest preservation [of logic] from mathematical encroachment.” Kant’s actual position is more nuanced, however. In this chapter, I tease out the nuances by examining his use of Leonhard Euler’s circles and comparing it with Euler’s own use. I do so in light of the developments in logical calculus from G. W. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. The Logical and Pragmatic Structure of Arguments From Analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Logic.Sebastian Sunday Grève - 2017 - In Anat Matar (ed.), Understanding Wittgenstein, Understanding Modernism. London: Bloomsbury. pp. 205-216.
    Logic played an important role in Wittgenstein’s work over the entire period of his philosophizing, from both the point of view of the philosopher of logic and that of the logician. Besides logical analysis, there is another kind of logical activity that characterizes Wittgenstein’s philosophical work after a certain point during his experience as a soldier and, later, as an officer in the First World War – if not earlier. This other kind of logical activity has to do with what (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. Logical Conceptualization of Knowledge on the Notion of Language Communication.Urszula Wybraniec-Skardowska - 2017 - Studies in Logic, Grammar and Rhetoric 52 (1):247-269.
    The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. As (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   19 citations  
  23. Gödel's Slingshot Revisited: Does Russell's Theory of Descriptions Really Evade the Slingshot.João Daniel Dantas - 2016 - Dissertation, UFRN
    “Slingshot Arguments” are a family of arguments underlying the Fregean view that if sentences have reference at all, their references are their truth-values. Usually seen as a kind of collapsing argument, the slingshot consists in proving that, once you suppose that there are some items that are references of sentences (as facts or situations, for example), these items collapse into just two items: The True and The False. This dissertation treats of the slingshot dubbed “Gödel’s slingshot”. Gödel argued that there (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. Computer Models of Constitutive Social Practices.Richard Evans - 2016 - In Vincent Müller (ed.), Fundamental Issues of Artificial Intelligence. Springer. pp. 389-409.
    Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  25. Présuppositions linguistiques et enjeux philosophiques des paralogismes liés à la forme de l’expression dans les Réfutations sophistiques d’Aristote.Leone Gazziero - 2016 - In Béatrice Godart-Wendling & Layla Raïd (eds.), B. Godart-Wendling et L. Raïd (éd.), A la recherche de la présupposition, London, Iste Editions, 2016. London: Iste. pp. 33-52.
    Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26. Two Notions of Logical Form.Andrea Iacona - 2016 - Journal of Philosophy 113 (12):617-643.
    This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27. Kant on Proving Aristotle’s Logic as Complete.Huaping Lu-Adler - 2016 - Kantian Review 21 (1):1-26.
    Kant claims that Aristotles logic as complete, explain the historical and philosophical considerations that commit him to proving the completeness claim and sketch the proof based on materials from his logic corpus. The proof will turn out to be an integral part of Kant’s larger reform of formal logic in response to a foundational crisis facing it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  28. Ontology of Sentential Moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  29. What is Wrong with Classical Negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   11 citations  
  30. What Derivations Cannot Do.Graham Oppy - 2015 - Religious Studies 51 (3):323-333.
    I think that there is much about contemporary philosophy of religion that should change. Most importantly, philosophy of religion should be philosophy of religion, not merely philosophy of theism, or philosophy of Christianity, or philosophy of certain denominations of Christianity, or the like. Here, however, I shall complain about one fairly narrow aspect of contemporary philosophy of religion that really irks me: its obsession with derivations that have as their conclusion either the claim that God exists or the claim that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. No Successfull Infinite Regress.Laureano Luna - 2014 - Logic and Logical Philosophy 23 (2):189-201.
    We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. Logische Rekonstruktion. Ein Hermeneutischer Traktat.Friedrich Reinmuth - 2014 - Dissertation, University of Greifswald
    The thesis aims at a methodological reflection of logical reconstruction and tries to develop this method in detail, especially with regard to the reconstruction of natural language arguments. First, the groundwork for the thesis is laid by presenting and, where necessary, adapting its foundations with regard to the philosophy of language and the theory of argument. Subsequently, logical reconstruction, especially the logical reconstruction of arguments, is presented as a hermeneutic method and as a tool for the application of (formal) logic (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  33. The Metaphysical Interpretation of Logical Truth.Tuomas Tahko - 2014 - In Penelope Rush (ed.), The Metaphysics of Logic: Logical Realism, Logical Anti-Realism and All Things In Between. Cambridge: Cambridge University Press. pp. 233-248.
    The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of the relation between sentences and models. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. A Inseparabilidade entre Lógica e a Ética.John Corcoran - 2013 - Philósophos - Revista de Filosofia 18 (1):245-259.
    A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
    Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  36. A New Three Dimensional Bivalent Hypercube Description, Analysis, and Prospects for Research.Jeremy Horne - 2012 - Neuroquantology 10 (1):12.
    A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. Logic is Metaphysics.Daniel Durante Pereira Alves - 2011 - Principia: An International Journal of Epistemology 15 (1):31-42.
    Analyzing the position of two philosophers whose views are recognizably divergent, W. O. Quine and M. Dummett, we intend to support a striking point of agreement between them: the idea that our logical principles constitute our principles about what there is, and therefore, that logic is metaphysics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. Forma lógica/Formalización.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Implicatures and Hierarchies of Presumptions.Fabrizio Macagno - 2011 - In Argument Cultures: Proceedings of the 8th International Conference of the Ontario Society for the Study of Argumentation (OSSA) (University of Windsor, ON 18-21 May 2011). OSSA. pp. 1-17.
    Implicatures are described as particular forms reasoning from best explanation, in which the para-digm of possible explanations consists of the possible semantic interpretations of a sentence or a word. The need for explanation will be shown to be triggered by conflicts between presumptions, namely hearer’s dialogical expectations and the presumptive sentence meaning. What counts as the best explanation can be established on the grounds of hierarchies of presumptions, dependent on dialogue types and interlocutors’ culture.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Informal Reasoning and Logical Formalization.Michael Baumgartner - 2010 - In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  42. Peter Hare on the Proposition.John Corcoran - 2010 - Transactions of the Charles S. Peirce Society 46 (1):21-34.
    Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  43. Renovating Philosophical Practice Through Diagrammatic Reasoning.Rocco Gangle - 2008 - Proceedings of the Xxii World Congress of Philosophy 4:47-52.
    The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other disciplines and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  44. Stable Harmony.Nils Kurbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Heidegger’s Distinction Between Scientific and Philosophical Judgments.Chad Engelland - 2007 - Philosophy Today 51 (Supplement):33-41.
    Some commentators, such as Jürgen Habermas, think Martin Heidegger is guilty of a performative contradiction, because he uses judgments to situate judgments in a non-judicative context. This paper defends Heidegger by distinguishing two senses of judgment in his thought. Temporality enables two different directions of inquiry and hence two kinds of judgment. Scientific judgments arise when we turn from the temporal horizon toward entities alone; phenomenological judgments arise when we return to the temporal horizon in which such entities are accessible. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  46. Quine and His Critics on Truth-Functionality and Extensionality.Charles Sayward - 2007 - Logic and Logical Philosophy 16 (1):45-63.
    Quine argues that if sentences that are set theoretically equivalent are interchangeable salva veritate, then all transparent operators are truth-functional. Criticisms of this argument fail to take into account the conditional character of the conclusion. Quine also argues that, for any person P with minimal logical acuity, if ‘belief’ has a sense in which it is a transparent operator, then, in that sense of the word, P believes everything if P believes anything. The suggestion is made that he intends that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Argumentative Reasoning Patterns.Douglas Walton & Fabrizio Macagno - 2006 - In Douglas Walton & Fabrizio Macagno (eds.), Proceedings of 6th CMNA (Computational Models of Natural Argument) Workshop, ECAI-European Conference on Artificial Intelligence. University of Trento. pp. 48-51.
    The aim of the paper is to present a typology of argument schemes. In first place, we found it helpful to define what an argument scheme is. Since many argument schemes found in contemporary theories stem from the ancient tradition, we took in consideration classical and medieval dialectical studies and their relation with argumentation theory. This overview on the main works on topics and schemes provides a summary of the main principles of classification. In the second section, Walton’s theory is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. First- and Second-Order Logic of Mass Terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
    Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Review of Susan Haack, Deviant Logic, Fuzzy Logic: Beyond the Formalism[REVIEW]Achille C. Varzi - 1998 - Philosophical Review 107 (3):468-471.
    Book information: Deviant Logic, Fuzzy Logic: Beyond The Formalism. By SUSAN HAACK. Chicago, Ill.: University of Chicago Press, 1996. Pp. xxvi, 291.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. The Inseparability of Logic and Ethics.John Corcoran - 1989 - Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 61