Results for 'propositional calculus'

579 found
Order:
  1.  28
    How May the Propositional Calculus Represent?Tristan Haze - forthcoming - South American Journal of Logic 3.
    This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  31
    Axiomatic Investigations of the Propositional Calculus of Principia Mathematica.Paul Bernays - 2012 - In Universal Logic: An Anthology. New York and Basel: pp. 43-58.
    Download  
     
    Export citation  
     
    Bookmark  
  3.  71
    Strong Normalization of a Symmetric Lambda Calculus for Second-Order Classical Logic.Yoriyuki Yamagata - 2002 - Archive for Mathematical Logic 41 (1):91-99.
    We extend Barbanera and Berardi’s symmetric lambda calculus to second order classical propositional logic and prove its strong normalization.
    Download  
     
    Export citation  
     
    Bookmark  
  4.  18
    Approximating Propositional Calculi by Finite-Valued Logics.Matthias Baaz & Richard Zach - 1994 - In 24th International Symposium on Multiple-valued Logic, 1994. Proceedings. Los Alamitos: IEEE Press. pp. 257–263.
    The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  37
    A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
    In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  51
    Effective Finite-Valued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.
    Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  41
    Qualia Logic 2 Brief Notes on Qualia Logic.Paul Merriam - manuscript
    Some not quite random thoughts on the logic of qualia.
    Download  
     
    Export citation  
     
    Bookmark  
  9.  72
    Qualia Logic.Paul Merriam - manuscript
    The logic of qualia is different than classical logic. We take the first steps in defining it and applying it to the Hard Problem.
    Download  
     
    Export citation  
     
    Bookmark  
  10. On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. Reasoning About Uncertain Conditionals.Niki Pfeifer - 2013 - Studia Logica (4):1-18.
    There is a long tradition in formal epistemology and in the psychology of reasoning to investigate indicative conditionals. In psychology, the propositional calculus was taken for granted to be the normative standard of reference. Experimental tasks, evaluation of the participants’ responses and psychological model building, were inspired by the semantics of the material conditional. Recent empirical work on indicative conditionals focuses on uncertainty. Consequently, the normative standard of reference has changed. I argue why neither logic nor standard probability (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  13. Hungarian Disjunctions and Positive Polarity.Anna Szabolcsi - 2002 - In Istvan Kenesei & Peter Siptar (eds.), Approaches to Hungarian, Vol. 8. Univ. of Szeged.
    The de Morgan laws characterize how negation, conjunction, and disjunction interact with each other. They are fundamental in any semantics that bases itself on the propositional calculus/Boolean algebra. This paper is primarily concerned with the second law. In English, its validity is easy to demonstrate using linguistic examples. Consider the following: (3) Why is it so cold in here? We didn’t close the door or the window. The second sentence is ambiguous. It may mean that I suppose we (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  27
    A Note on Verisimilitude and Relativization to Problems.Philippe Mongin - 1990 - Erkenntnis 33 (3):391-396.
    This note aims at critically assessing a little-noticed proposal made by Popper in the second edition of "Objective Knowledge" to the effect that verisimilitude of scientific theories should be made relative to the problems they deal with. Using a simple propositional calculus formalism, it is shown that the "relativized" definition fails for the very same reason why Popper's original concept of verisimilitude collapsed -- only if one of two theories is true can they be compared in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  79
    Is Attention a Non-Propositional Attitude?Sebastian Watzl - forthcoming - In Alex Grzankowski & Michelle Montague (eds.), Non-Propositional Intentionality. Oxford University Press.
    I argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes. Yet, second, attention is not a non-propositional mental attitude. It might appear puzzling how one could hold both of these claims. I show how to combine them, and how that combination shows how propositionality and non-propositionality can co-exist in a mental life. The crucial move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Propositional Faith: What It is and What It is Not.Daniel Howard-Snyder - 2013 - American Philosophical Quarterly 50 (4):357-372.
    Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  17. Extended Cognition and Propositional Memory.J. Adam Carter & Jesper Kallestrup - 2016 - Philosophy and Phenomenological Research 92 (3):691-714.
    The philosophical case for extended cognition is often made with reference to ‘extended-memory cases’ ; though, unfortunately, proponents of the hypothesis of extended cognition as well as their adversaries have failed to appreciate the kinds of epistemological problems extended-memory cases pose for mainstream thinking in the epistemology of memory. It is time to give these problems a closer look. Our plan is as follows: in §1, we argue that an epistemological theory remains compatible with HEC only if its epistemic assessments (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Not All Attitudes Are Propositional.Alex Grzankowski - 2012 - European Journal of Philosophy (3):374-391.
    Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  19. Propositional or Non-Propositional Attitudes?Sean Crawford - 2014 - Philosophical Studies 168 (1):179-210.
    Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  60
    Problemy terminologiczne w argumentach za istnieniem Boga.Wolak Zbigniew - 2014 - Argument: Biannual Philosophical Journal 4 (2):341-358.
    In the article I deal with some paradoxes and errors caused by improper usage of logical and philosophical terms appearing in the arguments for existence of god and other philosophical issues. I point at rst some paradoxes coming om improper usage of propositional calculus as an instrument for analysis of a natural language. this language is actually not using simple sentences but rather propositional functions, their logical connections, and some replacements for variables in them. We still have (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  66
    Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  30
    A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica:1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  12
    Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language.Mehrnoosh Sadrzadeh & Reinhard Muskens - 2018 - Journal of Language Modelling 6 (2):319-351.
    Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  87
    Non-Propositional Contents and How to Find Them.Alex Grzankowski - forthcoming - Journal of Consciousness Studies.
    To understand what non-propositional content is and whether there are any such contents, we first need to know what propositional content is. That issue will be the focus of the first section of this essay. In the second section, with an understanding of propositional content in hand, we will consider representations that fail to have propositional content. In contrast to recent literature, it will be argued that metaphysical considerations concerning what’s represented, rather than linguistic considerations, are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  76
    A Survey of Geometric Algebra and Geometric Calculus.Alan Macdonald - 2017 - Advances in Applied Clifford Algebras 27:853-891.
    The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.
    Download  
     
    Export citation  
     
    Bookmark  
  26. The Aggregation of Propositional Attitudes: Towards a General Theory.Franz Dietrich & Christian List - 2010 - Oxford Studies in Epistemology 3.
    How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Non‐Propositional Attitudes.Alex Grzankowski - 2013 - Philosophy Compass 8 (12):1123-1137.
    Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Is There Propositional Understanding?Emma C. Gordon - 2012 - Logos and Episteme 3 (2):181-192.
    Literature in epistemology tends to suppose that there are three main types of understanding – propositional, atomistic, and objectual. By showing that all apparent instances of propositional understanding can be more plausibly explained as featuring one of several other epistemic states, this paper argues that talk of propositional understanding is unhelpful and misleading. The upshot is that epistemologists can do without the notion of propositional understanding.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  55
    Undermining Defeat and Propositional Justification.Giacomo Melis - 2016 - Argumenta 1 (2):271-280.
    I extend the Higher-Order View of Undermining Defeat (HOVUD) defended in Melis (2014) to account for the defeat of propositional justification. In doing so, I clarify the important notion of higher-order commitment, and I make some considerations concerning the defeat of externalist epistemic warrants.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-Theory.Moritz Cordes & Friedrich Reinmuth - manuscript
    Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. In contrast to other linear calculi of natural deduction, derivations in this calculus are sequences of object-language sentences which do not require graphical or other means of commentary in order to keep track of assumptions or to indicate subproofs. (Translation of our German paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities.Juan C. Agudelo & Walter Carnielli - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra–Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. The Pragmatics of Pronominal Clitics and Propositional Attitudes.Alessandro Capone - 2013 - Intercultural Pragmatics 10 (3):459-485.
    pronominal clitics, pragmatics and propositional attitudes.
    Download  
     
    Export citation  
     
    Bookmark  
  33. A Dual-Component View of Propositional Grasping.John Dilworth & Dylan Sabo - 2014 - Erkenntnis 79 (3):511-522.
    On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  62
    Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. The Propositional Vs. Hermeneutic Models of Cross-Cultural Understanding.Xinli Wang & Ling Xu - 2009 - South African Journal of Philosophy 28 (3):312-331.
    What the authors attempt to address in this paper is a Kantian question: not whether, but how is cross -cultural understanding possible? And specifically, what is a more effective approach for cross -cultural understanding? The answer lies in an analysis of two different models of cross -cultural understanding, that is, propositional and hermeneutic understanding. To begin with, the author presents a linguistic interpretation of culture, i.e., a culture as a linguistically formulated and transmitted symbolic system with its conceptual core (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  32
    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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37.  14
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Predict the Behavior: Propositional Attitudes and Philosophy of Action.Leonardo Caffo - 2011 - Dialettica and Filosofia (2011):1-8.
    The folk Psychology frames propositional attitudes as fundamental theoretical entities for the construction of a model designed to predict the behavior of a subject. A trivial, such as grasping a pen and writing reveals - something complex - about the behavior. When I take a pen and start writing I do, trivially, because I believe that a certain object in front of me is a pen and who performs a specific function that is, in fact, that of writing. When (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  82
    Is Leibnizian Calculus Embeddable in First Order Logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.
    To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on pro- cedural questions. This would enable an account of Leibnizian procedures in a framework limited to FOL with a small number of additional ingredients such as the relation of infinite proximity. If, as we argue here, first order logic is indeed suitable for developing modern proxies for the inferential moves found in Leibnizian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  65
    Differential Calculus Based on the Double Contradiction.Kazuhiko Kotani - 2016 - Open Journal of Philosophy 6 (4):420-427.
    The derivative is a basic concept of differential calculus. However, if we calculate the derivative as change in distance over change in time, the result at any instant is 0/0, which seems meaningless. Hence, Newton and Leibniz used the limit to determine the derivative. Their method is valid in practice, but it is not easy to intuitively accept. Thus, this article describes the novel method of differential calculus based on the double contradiction, which is easier to accept intuitively. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Semantics for Propositional Attitude Ascriptions.Graham Oppy - 1992 - Philosophical Studies 67 (1):1 - 18.
    This paper provides a semantics for propositional attitude ascriptions. (In this respect, the title of the paper is quite well chosen.).
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  33
    Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Andrei Voronkov & Michel Parigot (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Berlin: Springer. pp. 240-256.
    It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.
    Download  
     
    Export citation  
     
    Bookmark  
  43.  81
    From Tracking Relations to Propositional Attitudes.Adam Morton - 2009 - European Journal of Analytic Philosophy 5 (2):7-18.
    I explore the possibility that propositional attitudes are not basic in folk psychology, and that what we really ascribe to people are relations to individuals, those that the apparently propositional contents of beliefs, desires, and other states concern. In particular, the relation between a state and the individuals that it tracks shows how ascription of propositional attitudes could grow out of ascription of relations between people and objects.
    Download  
     
    Export citation  
     
    Bookmark  
  44.  63
    On Product‐Based Accounts of Propositional Attitudes.Giulia Felappi - 2014 - Thought: A Journal of Philosophy 3 (4):302-313.
    Propositional attitude sentences, such as John believes that snow is white, are traditionally taken to express the holding of a relation between a subject and what ‘that’-clauses like ‘that snow is white’ denote, i.e. propositions. On the traditional account, propositions are abstract, mind- and language-independent entities. Recently, some have raised some serious worries for the traditional account and thought that we were mistaken about the kind of entities propositions are. Over the last ten years there has then been a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  26
    Transparent Quantification Into Hyperpropositional Contexts de Re.Duží Marie & Bjørn Jespersen - 2012 - Logique & Analyse 55 (220):513-554.
    This paper is the twin of (Duží and Jespersen, in submission), which provides a logical rule for transparent quantification into hyperprop- ositional contexts de dicto, as in: Mary believes that the Evening Star is a planet; therefore, there is a concept c such that Mary be- lieves that what c conceptualizes is a planet. Here we provide two logical rules for transparent quantification into hyperpropositional contexts de re. (As a by-product, we also offer rules for possible- world propositional contexts.) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46.  63
    Tableaux sin refutación.Tomás Barrero & Walter Carnielli - 2005 - Matemáticas: Enseñanza Universitaria 13 (2):81-99.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Propositional Attitude Psychology as an Ideal Type.Justin Schwartz - 1992 - Topoi 11 (1):5-26.
    This paper critiques the view, widely held by philosophers of mind and cognitive scientists, that psychological explanation is a matter of ascribing propositional attitudes (such as beliefs and desires) towards language-like propositions in the mind, and that cognitive mental states consist in intentional attitudes towards propositions of a linguistic quasi-linguistic nature. On this view, thought is structured very much like a language. Denial that propositional attitude psychology is an adequate account of mind is therefore, on this view, is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  23
    Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Forms of Luminosity: Epistemic Modality, Mind, and Mathematics.Hasen Khudairi - 2017 - Gutenberg.
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The book demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  99
    Forms of Luminosity.Hasen Khudairi - 2017
    This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 579