Search results for 'Propositional forms' (try it on Scholar)

1000+ found
Order:
  1.  13
    Shane J. Ralston, Operationalizing Propositions as Proposals: Reviving Interest in John Dewey's Theory of Propositional Form.
    Dewey and Russell's debate over the status of logic in the twentieth-century is, by now, well-trodden ground for scholarly inquiry. However, Dewey's novel theory of propositions, first articulated in his 1938 Logic: The Theory of Inquiry, has received comparatively less attention than the debate that touched upon it. The paucity of interest among philosophers of language is probably due to a variety of reasons, such as the theory's unorthodox character and, what at least appears to be, its naive simplicity when (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  3
    M. W. Bunder (1979). Alternative Forms of Propositional Calculus for a Given Deduction Theorem. Notre Dame Journal of Formal Logic 20 (3):613-619.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  3.  0
    R. Harrop, H. Arnold Schmidt, K. Schutte & Ronald Harrop (1975). Some Forms of Models of Propositional Calculi. Journal of Symbolic Logic 40 (2):251-251.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Proving in Finite Many-Valued Propositional (forthcoming). An Algorithm for Axiomatizing and Theorem Proving in Finite Many-Valued Propositional Logics* Walter A. Carnielli. Logique Et Analyse.
     
    Export citation  
     
    My bibliography  
  5.  0
    Dolph Ulrich (1975). Review: R. Harrop, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Some Forms of Models of Propositional Calculi; Ronald Harrop, On the Equivalence for Non-Derivability Testing of Finite Smiley Models and Finite Modified Smiley Models. [REVIEW] Journal of Symbolic Logic 40 (2):251-251.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Eric J. Loomis (2005). Logical Form and Propositional Function in the Tractatus. Theoria 71 (3):215-240.
    Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  7
    M. Dusche (1995). Interpreted Logical Forms as Objects of the Attitudes. Journal of Logic, Language and Information 4 (4):301-315.
    Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the concept of (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  8.  51
    William P. Bechtel & A. Abrahamson (1990). Beyond the Exclusively Propositional Era. Synthese 82 (2):223-53.
    Contemporary epistemology has assumed that knowledge is represented in sentences or propositions. However, a variety of extensions and alternatives to this view have been proposed in other areas of investigation. We review some of these proposals, focusing on (1) Ryle's notion of knowing how and Hanson's and Kuhn's accounts of theory-laden perception in science; (2) extensions of simple propositional representations in cognitive models and artificial intelligence; (3) the debate concerning imagistic versus propositional representations in cognitive psychology; (4) recent (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  9.  34
    Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
    Propositional logic, also known as sentential logic and statement logic, is the branch of logic that studies ways of joining and/or modifying entire propositions, statements or sentences to form more complicated propositions, statements or sentences, as well as the logical relationships and properties that are derived from these methods of combining or altering statements. In propositional logic, the simplest statements are considered as indivisible units, and hence, propositional logic does not study those logical properties and relations that (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  52
    Peter M. Sullivan (2004). ‘The General Propositional Form is a Variable’ (Tractatus 4.53). Mind 113 (449):43-56.
    Wittgenstein presents in the Tractatus a variable purporting to capture the general form of proposition. One understanding of what Wittgenstein is doing there, an understanding in line with the ‘new’ reading of his work championed by Diamond, Conant and others, sees it as a deflationary or even an implosive move—a move by which a concept sometimes put by philosophers to distinctively metaphysical use is replaced, in a perspicuous notation, by an innocent device of generalization, thereby dispersing the clouds of (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  11.  26
    J. Edwards (1999). Interpreted Logical Forms and Knowing Your Own Mind. Proceedings of the Aristotelian Society 99 (2):169-90.
    An attractive semantic theory presented by Richard K. Larson and Peter Ludlow takes a report of propositional attitudes, e.g 'Tom believes Judy Garland sang', to report a believing relation between Tom and an interpreted logical form constructed from 'Judy Garland sang'. We briefly outline the semantic theory and indicate its attractions. However, the definition of interpreted logical forms given by Larson and Ludlow is shown to be faulty, and an alternative definition is offered which matches their intentions. This (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  12.  15
    Renate A. Schmidt & Dmitry Tishkovsky (2008). On Combinations of Propositional Dynamic Logic and Doxastic Modal Logics. Journal of Logic, Language and Information 17 (1):109-129.
    We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions we consider include three forms of commuting axioms, namely, axioms similar to the axiom of perfect recall and the axiom of no learning from temporal logic, and a Church–Rosser axiom. We investigate the influence of the substitution rule on the properties of these logics and propose a new semantics for (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  13. Robert Fiengo & Robert May, Interpreted Logical Forms: A Critique.
    Interpreted Logical Forms (ILFs) are objects composed of a syntactic structure annotated with the semantic values (objectual content) of each node of the structure. We criticize the view that ILFs are the objects of propositional attitude verbs such as believe, as this is developed by Larson and Ludlow (1993). Our critique arises from a tension in the way that sen-.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  14.  29
    Howard Burdick (1982). A Logical Form for the Propositional Attitudes. Synthese 52 (2):185 - 230.
    The author puts forth an approach to propositional attitude contexts based upon the view that one does not have beliefs of ordinary extensional entitiessimpliciter. Rather, one has beliefs of such entities as presented in various manners. Roughly, these are treated as beliefs of ordered pairs — the first member of which is the ordinary extensional entity and the second member of which is a predicate that it satisfies. Such an approach has no difficulties with problems involving identity, such as (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  15.  0
    Silvio Ghilardi (1995). An Algebraic Theory of Normal Forms. Annals of Pure and Applied Logic 71 (3):189-245.
    In this paper we present a general theory of normal forms, based on a categorial result for the free monoid construction. We shall use the theory mainly for proposictional modal logic, although it seems to have a wider range of applications. We shall formally represent normal forms as combinatorial objects, basically labelled trees and forests. This geometric conceptualization is implicit in and our approach will extend it to other cases and make it more direct: operations of a purely (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  16.  11
    Ahti-Veikko Pietarinen (2001). Propositional Logic of Imperfect Information: Foundations and Applications. Notre Dame Journal of Formal Logic 42 (4):193-210.
    I will show that the semantic structure of a new imperfect-information propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  0
    G. Sandu & A. Pietarinen (2001). Partiality and Games: Propositional Logic. Logic Journal of the Igpl 9 (1):101-121.
    We study partiality in propositional logics containing formulas with either undefined or over-defined truth-values. Undefined values are created by adding a four-place connective W termed transjunction to complete models which, together with the usual Boolean connectives is shown to be functionally complete for all partial functions. Transjunction is seen to be motivated from a game-theoretic perspective, emerging from a two-stage extensive form semantic game of imperfect information between two players. This game-theoretic approach yields an interpretation where partiality is generated (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  10
    Mitsunori Kobayashi & Arata Ishimoto (1982). A Propositional Fragment of Leśniewski's Ontology and its Formulation by the Tableau Method. Studia Logica 41 (2-3):181 - 195.
    The propositional fragment L 1 of Leniewski's ontology is the smallest class (of formulas) containing besides all the instances of tautology the formulas of the forms: (a, b) (a, a), (a, b) (b,). (a, c) and (a, b) (b, c). (b, a) being closed under detachment. The purpose of this paper is to furnish another more constructive proof than that given earlier by one of us for: Theorem A is provable in L 1 iff TA is a thesis (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  3
    E. López-Escobar (2008). Chateaubriand on Propositional Logic. Manuscrito 31 (1):103-113.
    In Logical Forms Part II, Chateaubriand begins the Chapter on “Propositional Logic” by considering the reading of the ‘conditional’ by ‘implies’; in fact he states that:There is a confusion, as a matter of fact, and it runs deep, but it is a confusion in propositional logic itself, and the mathematician’s reading is a rather sensible one.After a careful, erudite analysis of various philosophical viewpoints of logic, Chateaubriand comes to the conclusion that:Pure propositional logic, as just characterized, (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  20.  16
    Lloyd Humberstone (2004). Archetypal Forms of Inference. Synthese 141 (1):45 - 76.
    A form (or pattern) of inference, let us say, explicitlysubsumes just such particular inferences as are instances of the form, and implicitly subsumes thoseinferences with a premiss and conclusion logically equivalent to the premiss and conclusion of an instanceof the form in question. (For simplicity we restrict attention to one-premiss inferences.) A form ofinference is archetypal if it implicitly subsumes every correct inference. A precise definition (Section 1)of these concepts relativizes them to logics, since different logics classify different inferences ascorrect, (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  21.  1
    Sun-Joo Shin (2011). Peirce's Alpha Graphs and Propositional Languages. Semiotica 2011 (186):333-346.
    Many do not doubt that Peirce's Existential Graphs are diagrammatic, as opposed to symbolic. However, when we are pressured to draw a distinction between the two different forms of representation, we find ourselves at a loss and our intuition quite vague. In this paper, I locate fundamental differences between two logically equivalent systems, Peirce's Alpha system and propositional languages. Suppose we have only two sentential connectives, ¬ and ^. In spite of its truth-functional completeness, we don't want to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  0
    Ciro Russo (2013). An Order-Theoretic Analysis of Interpretations Among Propositional Deductive Systems. Annals of Pure and Applied Logic 164 (2):112-130.
    In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  23. Cora Diamond (2012). What Can You Do with the General Propositional Form? In Jose L. Zalabardo (ed.), Wittgenstein's Early Philosophy. Oxford University Press
     
    Export citation  
     
    My bibliography   1 citation  
  24.  16
    Cora Diamond (2012). General Propositional Form? In Jl Zalabardo (ed.), Wittgenstein's Early Philosophy. Oxford University Press 151.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  7
    George Englebretsen (1980). On Propositional Form. Notre Dame Journal of Formal Logic 21 (1):101-110.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  2
    William W. Gustason (1972). Miss Anscombe on the 'General Propositional Form'. Analysis 32 (6):195 - 196.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  62
    Denis McManus (2009). The General Form of the Proposition: The Unity of Language and the Generality of Logic in the Early Wittgenstein. Philosophical Investigations 32 (4):295-318.
    The paper presents an interpretation of the thinking behind the early Wittgenstein's "general form of the proposition." It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the "general form of the proposition" than Potter (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    L. A. Zadeh (1983). A Fuzzy-Set-Theoretic Approach to the Compositionality of Meaning: Propositions, Dispositions and Canonical Forms. Journal of Semantics 2 (3-4):253-272.
    In its traditional interpretation, Frege's principle of compositionality is not sufficiently flexible to have a wide applicability to natural languages. In a fuzzy-set-theoretic setting which is outlined in this paper, Frege's principle is modified and broadened by allowing the meaning of a proposition, p, to be composed not from the meaning of the constituents of p, but, more generally, from the meaning of a collection of fuzzy relations which form a so-called explanatory database that is associated with p. More specifically, (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29. Christopher K. Hom (2003). The Logical Form of Structured Propositions. Dissertation, University of California, Irvine
    One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one and the (...)
     
    Export citation  
     
    My bibliography  
  30.  52
    Michael W. Pelczar (2007). Forms and Objects of Thought. Linguistics and Philosophy 30 (1):97-122.
    It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  31. Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press 54--90.
    Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  25
    Lenny Clapp & Robert J. Stainton (2002). `Obviously Propositions Are Nothing': Russell and the Logical Form of Belief Reports. In Georg Peter & Gerhard Preyer (eds.), Logical Form and Language. Oxford University Press 409--420.
  33. Joe Lau, Belief Reports and Interpreted-Logical Forms.
    One major obstacle in providing a compositional semantics for natural languages is that it is not clear how we should deal with propositional attitude contexts. In this paper I will discuss the Interpreted Logical Form proposal , focusing on the case of belief. This proposal has been developed in different ways by authors such as Harman (1972), Higginbotham (1986,1991), Segal (1989) and Larson and Ludlow (1993). On this approach, the that-clause of a belief report is treated as a singular (...)
     
    Export citation  
     
    My bibliography  
  34.  0
    Clare Dixon, Alexander Bolotov & Michael Fisher (2005). Alternating Automata and Temporal Logic Normal Forms. Annals of Pure and Applied Logic 135 (1-3):263-285.
    We provide a translation from SNFPLTL, a normal form for propositional linear time temporal logic, into alternating automata on infinite words, and vice versa. We show this translation has the property that the set of SNFPLTL clauses is satisfiable if and only if the alternating automaton has an accepting run. As there is no direct method known for checking the non-emptiness of alternating automata, the translation to SNFPLTL, together with a temporal proof on the resulting SNFPLTL clauses, provides an (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  24
    Chris J. Mitchell, Jan De Houwer & Peter F. Lovibond (2009). The Propositional Nature of Human Associative Learning. Behavioral and Brain Sciences 32 (2):183-198.
    The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  36. Stephen M. Kosslyn & J. Pomerantz (1977). Imagery, Propositions and the Form of Internal Representations. Cognitive Psychology 9:52-76.
     
    Export citation  
     
    My bibliography   18 citations  
  37.  9
    Richard B. Angell (1973). A Unique Normal Form for Synonyms in the Propositional Calculus. Journal of Symbolic Logic 38:350.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  38. Joëlle Proust (1986). Questions de Forme Logique Et Proposition Analytique de Kant À Carnap. Fayard.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   4 citations  
  39.  0
    Joelle Proust (1989). Questions of Form: Logic and Analytic Proposition From Kant to Carnap. Univ of Minnesota Press.
    Hence, this book's provocative claim: today's so-called logical empiricism owes much more to Kant's notion of science than to Hume's.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  40.  37
    Katherine Dunlop (2012). The Mathematical Form of Measurement and the Argument for Proposition I in Newton's Principia. Synthese 186 (1):191-229.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  41.  33
    Jorge Rodríguez Marqueze (1993). On the Logical Form of Propositions: Some Problems for Vanderveken's New Theory of Propositions. Philosophical Issues 3:143-155.
  42. A. Brenner (1992). Questions of Form: Logic and the Analytic Proposition From Kant to Carnap. Noûs 26 (4):532-542.
     
    Export citation  
     
    My bibliography   1 citation  
  43.  24
    Susan Sterrett, How Many Thoughts Can Fit in the Form of a Proposition?
    I argue here that Frege’s eventual view on the relation between sentences and the thoughts they express is that, ideally, a sentence expresses exactly one thought, and a thought is expressed by exactly one (canonical) sentence. This may clash with some mainstream views of Frege, for it has the consequence of de-emphasizing the philosophical significance of the question of how it is possible for someone to regard one sentence as true yet regard another sentence that expresses the same thought as (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  44. Stephen K. Land (1974). From Signs to Propositions: The Concept of Form in Eighteenth-Century Semantic Theory. Longman.
     
    Export citation  
     
    My bibliography   1 citation  
  45.  2
    W. E. Singletary (1967). Review: Ronald Harrop, A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem; Ronald Harrop, J. N. Crossley, M. A. E. Dummett, Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi. [REVIEW] Journal of Symbolic Logic 32 (1):125-126.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  17
    John Venn (1880). On the Forms of Logical Proposition. Mind 5 (19):336-349.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  12
    Vincent Carraud (2000). «La Matière Assume Successivement Toutes les Formes». Note Sur le Concept d'Ordre Et Sur Une Proposition Thomiste de la Cosmogonie Cartésienne: Descartes En Débat. Revue de Métaphysique et de Morale 1:57-79.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  3
    Frederick P. Van De Pitte (1991). Joëlle Proust, Questions of Form: Logic and the Analytic Proposition From Kant to Carnap, Trans. Anastasios Albert Brenner. [REVIEW] Philosophy in Review 11 (1):60-62.
  49.  12
    Russell Wahl (1995). Impossible Propositions and the Forms of Objects in Wittgenstein's Tractatus. Philosophical Quarterly 45 (179):190-198.
  50.  1
    M. Wajsberg (1939). Review: Eugen Gh. Mihailescu, Recherches sur les Formes Normales par Rapport a l'Equivalence et la Disjonction, dans le Calcul des Propositions. [REVIEW] Journal of Symbolic Logic 4 (2):91-92.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000