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

1000+ found
Sort by:
  1. Shane J. Ralston, Operationalizing Propositions as Proposals: Reviving Interest in John Dewey's Theory of Propositional Form.score: 144.0
    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  
     
    My bibliography  
     
    Export citation  
  2. M. W. Bunder (1979). Alternative Forms of Propositional Calculus for a Given Deduction Theorem. Notre Dame Journal of Formal Logic 20 (3):613-619.score: 120.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. 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.score: 120.0
     
    My bibliography  
     
    Export citation  
  4. 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.score: 120.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Eric J. Loomis (2005). Logical Form and Propositional Function in the Tractatus. Theoria 71 (3):215-240.score: 100.0
    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)  
     
    My bibliography  
     
    Export citation  
  6. M. Dusche (1995). Interpreted Logical Forms as Objects of the Attitudes. Journal of Logic, Language and Information 4 (4):301-315.score: 80.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. Peter M. Sullivan (2004). ‘The General Propositional Form is a Variable’ (Tractatus 4.53). Mind 113 (449):43-56.score: 68.0
    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)  
     
    My bibliography  
     
    Export citation  
  8. Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.score: 66.0
    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  
     
    My bibliography  
     
    Export citation  
  9. William P. Bechtel & A. Abrahamson (1990). Beyond the Exclusively Propositional Era. Synthese 82 (2):223-53.score: 66.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. J. Edwards (1999). Interpreted Logical Forms and Knowing Your Own Mind. Proceedings of the Aristotelian Society 99 (2):169-90.score: 58.0
    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)  
     
    My bibliography  
     
    Export citation  
  11. Howard Burdick (1982). A Logical Form for the Propositional Attitudes. Synthese 52 (2):185 - 230.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  12. Lloyd Humberstone (2004). Archetypal Forms of Inference. Synthese 141 (1):45 - 76.score: 54.0
    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 (5 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. Robert Fiengo & Robert May, Interpreted Logical Forms: A Critique.score: 54.0
    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-.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. 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.score: 54.0
    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)  
     
    My bibliography  
     
    Export citation  
  16. John Venn (1880). On the Forms of Logical Proposition. Mind 5 (19):336-349.score: 50.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. George Englebretsen (1980). On Propositional Form. Notre Dame Journal of Formal Logic 21 (1):101-110.score: 50.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Russell Wahl (1995). Impossible Propositions and the Forms of Objects in Wittgenstein's Tractatus. Philosophical Quarterly 45 (179):190-198.score: 50.0
  19. Cora Diamond (2012). General Propositional Form? In Jl Zalabardo (ed.), Wittgenstein's Early Philosophy. Oxford University Press. 151.score: 50.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. William W. Gustason (1972). Miss Anscombe on the 'General Propositional Form'. Analysis 32 (6):195 - 196.score: 50.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21. Cora Diamond (2012). What Can You Do with the General Propositional Form? In Jl Zalabardo (ed.), Wittgenstein's Early Philosophy. Oxford University Press.score: 50.0
     
    My bibliography  
     
    Export citation  
  22. 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.score: 48.0
    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)  
     
    My bibliography  
     
    Export citation  
  23. 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.score: 48.0
    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)  
     
    My bibliography  
     
    Export citation  
  24. Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. 54--90.score: 42.0
    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)  
     
    My bibliography  
     
    Export citation  
  25. Michael W. Pelczar (2007). Forms and Objects of Thought. Linguistics and Philosophy 30 (1):97-122.score: 42.0
    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)  
     
    My bibliography  
     
    Export citation  
  26. Joe Lau, Belief Reports and Interpreted-Logical Forms.score: 42.0
    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 (...)
     
    My bibliography  
     
    Export citation  
  27. 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.score: 42.0
  28. Katherine Dunlop (2012). The Mathematical Form of Measurement and the Argument for Proposition I in Newton's Principia. Synthese 186 (1):191-229.score: 40.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  29. 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.score: 40.0
  30. 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.score: 40.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Susan Sterrett, How Many Thoughts Can Fit in the Form of a Proposition?score: 40.0
    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)  
     
    My bibliography  
     
    Export citation  
  32. John Wisdom (1932). The Rôle of Logical Form in Propositions About Existence. By Stanley B Reid. University of California Publications in Philosophy, Vol. XII No. 4. (University of California Press, Berkeley. 1931. Pp. 225–300, Price $1.). [REVIEW] Philosophy 7 (27):345-.score: 40.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. 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.score: 40.0
  34. 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.score: 40.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. A. R. Turquette (1952). Review: Alan Rose, Systems of Logic Whose Truth-Values Form Lattices; Alan Rose, A Lattice-Theoretic Characterisation of the $Aleph_0$-Valued Propositional Calculus; Alan Rose, The Degree of Completeness of Some Lukasiewicz-Tarski Propositional Calculi. [REVIEW] Journal of Symbolic Logic 17 (2):147-148.score: 40.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. 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.score: 40.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  37. M. Friedman (1992). Review of Questions of Form: Logic and the Analytic Proposition From Kant to Carnap by Joëlle Proust. [REVIEW] Noûs 26:532-542.score: 40.0
  38. Roland Hall (1976). From Signs to Propositions: The Concept of Form in Eighteenth‐Century Semantic Theory. Philosophical Books 17 (1):22-24.score: 40.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  39. K. Iseki (1971). Review: Eugen Mihailescu, Les Formes Normales dans le Calcul Bivalent des Propositions. [REVIEW] Journal of Symbolic Logic 36 (1):172-173.score: 40.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  40. K. Iseki (1969). Review: Eugen Mihailescu, Formes Normales dans le Calcul des Propositions Bivalentes; Eugen Mihailescu, Recherches sur Quelques Systemes du Calcul des Propositions. [REVIEW] Journal of Symbolic Logic 34 (1):122-122.score: 40.0
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41. Stephen M. Kosslyn & J. Pomerantz (1977). Imagery, Propositions and the Form of Internal Representations. Cognitive Psychology 9:52-76.score: 40.0
     
    My bibliography  
     
    Export citation  
  42. Stephen K. Land (1974). From Signs to Propositions: The Concept of Form in Eighteenth-Century Semantic Theory. Longman.score: 40.0
     
    My bibliography  
     
    Export citation  
  43. Francesc Tous Prieto (2011). Breus propositions que contenen molta sentència: els proverbis lul· lians i les «formes sentencioses». Studia Lulliana 51 (106):77-98.score: 40.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  44. Daniel Vanderveken & Marek Nowak (forthcoming). An Algebraic Analysis of the Logical Form of Propositions. Logique Et Analyse.score: 40.0
     
    My bibliography  
     
    Export citation  
  45. E. Winance (1994). Forme logique d'une proposition en général et portée sémantique de la proposition en métaphysique. Revue Thomiste 94 (1):30-70.score: 40.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  46. Jeff Stickney (2008). Wittgenstein's 'Relativity': Training in Language-Games and Agreement in Forms of Life. Educational Philosophy and Theory 40 (5):621-637.score: 38.0
    Taking Wittgenstein's love of music as my impetus, I approach aporetic problems of epistemic relativity through a round of three overlapping (canonical) inquiries delivered in contrapuntal (higher and lower) registers. I first take up the question of scepticism surrounding 'groundless knowledge' and contending paradigms in On Certainty (physics versus oracular divination, or realism versus idealism) with attention given to the role of 'bedrock' certainties in providing stability amidst the Heraclitean flux. I then look into the formation of sedimented bedrock knowledge, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  47. 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.score: 38.0
    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)  
     
    My bibliography  
     
    Export citation  
  48. Jan Krajiček (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1):73-86.score: 38.0
    LK is a natural modification of Gentzen sequent calculus for propositional logic with connectives ¬ and $\bigwedge, \bigvee$ (both of bounded arity). Then for every d ≥ 0 and n ≥ 2, there is a set Td n of depth d sequents of total size O(n3 + d) which are refutable in LK by depth d + 1 proof of size exp(O(log2 n)) but such that every depth d refutation must have the size at least exp(nΩ(1)). The sets Td (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  49. Jan Krajicek (1994). Lower Bounds to the Size of Constant-Depth Propositional Proofs. Journal of Symbolic Logic 59 (1):73 - 86.score: 38.0
    LK is a natural modification of Gentzen sequent calculus for propositional logic with connectives ¬ and $\bigwedge, \bigvee$ (both of bounded arity). Then for every d ≥ 0 and n ≥ 2, there is a set Td n of depth d sequents of total size O(n3 + d) which are refutable in LK by depth d + 1 proof of size exp(O(log2 n)) but such that every depth d refutation must have the size at least exp(nΩ(1)). The sets Td (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. David Sherry (2006). Formal Logic for Informal Logicians. Informal Logic 26 (2):199-220.score: 36.0
    Classical logic yields counterintuitive results for numerous propositional argument forms. The usual alternatives (modal logic, relevance logic, etc.) generate counterintuitive results of their own. The counterintuitive results create problems—especially pedagogical problems—for informal logicians who wish to use formal logic to analyze ordinary argumentation. This paper presents a system, PL– (propositional logic minus the funny business), based on the idea that paradigmatic valid argument forms arise from justificatory or explanatory discourse. PL– avoids the pedagogical difficulties without sacrificing (...)
    Direct download (15 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000