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

1000+ found
Sort by:
  1. Michael Anthony Beaney (2009). The Early Life Of Russell's Notion Of A Propositional Function. The Baltic International Yearbook of Cognition, Logic and Communication 4 (1):200.score: 210.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Eric J. Loomis (2005). Logical Form and Propositional Function in the Tractatus. Theoria 71 (3):215-240.score: 180.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 of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Edwin Mares (forthcoming). Propositional Function. Stanford Encyclopedia of Philosophy.score: 150.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Eleanor Bisbee (1933). The Parmenides in the Light of the Propositional Function. Philosophical Review 42 (6):612-617.score: 150.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. Richard L. Cartwright (2005). Remarks on Propositional Functions. Mind 114 (456):915-927.score: 100.0
    Peter Geach has said that Russell's use of ‘propositional function’ is ‘hopelessly confused and inconsistent’. Geach is right, and attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration. Nevertheless, it may be worthwhile to pursue an account of propositional functions that accommodates a good deal of what Russell says about them and that can provide some of what he expected of them.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  7. George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.score: 100.0
    Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified with propositional (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  8. Robert Trueman (2011). Propositional Functions in Extension. Theoria 77 (4):292-311.score: 96.0
    In his “The Foundations of Mathematics”, Ramsey attempted to marry the Tractarian idea that all logical truths are tautologies and vice versa, and the logicism of the Principia. In order to complete his project, Ramsey was forced to introduce propositional functions in extension (PFEs): given Ramsey's definitions of 1 and 2, without PFEs even the quantifier-free arithmetical truth that 1 ≠ 2 is not a tautology. However, a number of commentators have argued that the notion of PFEs is incoherent. (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  9. William P. Bechtel & A. Abrahamson (1990). Beyond the Exclusively Propositional Era. Synthese 82 (2):223-53.score: 96.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. Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.score: 90.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  
  11. João Vergilio Gallerani Cuter (2010). Como negar um nome. Philósophos - Revista de Filosofia 14 (2):33-62.score: 90.0
    In the Tractatus Logico-Philosophicus , a name is always a propositional function. Wittgenstein makes a radical shift in the Fregean opposition between saturated and unsaturated entities. Any sentential component which is not itself a sentence is unsaturated. The proposition is therefore a synthesis of propositional functions. The name is just a limit case of propositional function, and as such it can be negated.
    Translate to English
    | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1):73 - 100.score: 76.0
    The Routley-Meyer relational semantics for relevant logics is extended to give a sound and complete model theory for many propositionally quantified relevant logics (and some non-relevant ones). This involves a restriction on which sets of worlds are admissible as propositions, and an interpretation of propositional quantification that makes ∀ pA true when there is some true admissible proposition that entails all p -instantiations of A . It is also shown that without the admissibility qualification many of the systems considered (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  13. Petar Maksimović & Predrag Janičić (2006). Simple Characterization of Functionally Complete One‐Element Sets of Propositional Connectives. Mathematical Logic Quarterly 52 (5):498-504.score: 70.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.score: 64.0
    Provided here is a characterisation of absolute probability functions for intuitionistic (propositional) logic L, i.e. a set of constraints on the unary functions P from the statements of L to the reals, which insures that (i) if a statement A of L is provable in L, then P(A) = 1 for every P, L's axiomatisation being thus sound in the probabilistic sense, and (ii) if P(A) = 1 for every P, then A is provable in L, L's axiomatisation being (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  15. Ariadna Chernavska (1981). The Impossibility of a Bivalent Truth-Functional Semantics for the Non-Boolean Propositional Structures of Quantum Mechanics. Philosophia 10 (1-2):1-18.score: 60.0
    The general fact of the impossibility of a bivalent, truth-functional semantics for the propositional structures determined by quantum mechanics should be more subtly demarcated according to whether the structures are taken to be orthomodular latticesP L or partial-Boolean algebrasP A; according to whether the semantic mappings are required to be truth-functional or truth-functional ; and according to whether two-or-higher dimensional Hilbert spaceP structures or three-or-higher dimensional Hilbert spaceP structures are being considered. If the quantumP structures are taken to be (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Geoff Georgi (forthcoming). A Propositional Semantics for Substitutional Quantification. Philosophical Studies:1-18.score: 60.0
    The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Czesław Lejewski (1989). Formalization of Functionally Complete Propositional Calculus with the Functor of Implication as the Only Primitive Term. Studia Logica 48 (4):479 - 494.score: 60.0
    The most difficult problem that Leniewski came across in constructing his system of the foundations of mathematics was the problem of defining definitions, as he used to put it. He solved it to his satisfaction only when he had completed the formalization of his protothetic and ontology. By formalization of a deductive system one ought to understand in this context the statement, as precise and unambiguous as possible, of the conditions an expression has to satisfy if it is added to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Bernard Linsky (1988). Propositional Functions and Universals in Principia Mathematica. Australasian Journal of Philosophy 66 (4):447 – 460.score: 60.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  19. Peter Hylton (2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. OUP Oxford.score: 60.0
    The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The essays collected in this volume, by one of the leading authorities on Russell's philosophy, all aim at recapturing and articulating aspects of Russell's philosophical vision during his most influential and important period, the two decades following his break with Idealism in 1899. One theme of the collection concerns Russell's views about propositions and their analysis, and the relation of those (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. A. N. Prior (1968). Intentionality and Intensionality, Part II. Proceedings of the Aristotelian Society 91:91-106.score: 60.0
  21. Avery Andrews (2010). Propositional Glue and the Projection Architecture of LFG. Linguistics and Philosophy 33 (3):141-170.score: 58.0
    Although ‘glue semantics’ is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard’s system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Friederike Moltmann (2003). Propositional Attitudes Without Propositions. Synthese 135 (1):77 - 118.score: 54.0
    The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. John Zeimbekis (2004). Propositional Attitudes in Fiction. British Journal of Aesthetics 44 (3):261-276.score: 54.0
    Theories that seek to explain the status of psychological states experienced in fictional contexts either claim that those states are special propositional attitudes specific to fictional contexts (make-believe attitudes), or else define them as normal propositional attitudes by stretching the concept of a propositional attitude to include ‘objectless’ states that do not imply constraints such as truth or satisfaction. I argue that the first theory is either vacuous or false, and that the second, by defining the reality (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  24. Berit Brogaard (2008). Knowledge-the and Propositional Attitude Ascriptions. Grazer Philosophische Studien 77 (1):147-190.score: 54.0
    Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Tadeusz W. Zawidzki (2008). The Function of Folk Psychology: Mind Reading or Mind Shaping? Philosophical Explorations 11 (3):193 – 210.score: 54.0
    I argue for two claims. First I argue against the consensus view that accurate behavioral prediction based on accurate representation of cognitive states, i.e. mind reading , is the sustaining function of propositional attitude ascription. This practice cannot have been selected in evolution and cannot persist, in virtue of its predictive utility, because there are principled reasons why it is inadequate as a tool for behavioral prediction. Second I give reasons that favor an alternative account of the sustaining (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Jaroslav Peregrin, Is Propositional Calculus Categorical?score: 54.0
    According to the standard definition, a first-order theory is categorical if all its models are isomorphic. The idea behind this definition obviously is that of capturing semantic notions in axiomatic terms: to be categorical is to be, in this respect, successful. Thus, for example, we may want to axiomatically delimit the concept of natural number, as it is given by the pre-theoretic semantic intuitions and reconstructed by the standard model. The well-known results state that this cannot be done within first-order (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Mika Oksanen, Doxastic Logic of Demonstratives; Indexical and Reflexive Pronouns in Ascriptions of Propositional Attitudes.score: 54.0
    In this article I will develop the first steps of a wholly general theory of how indexical and reflexive pronouns function in propositional attitude ascriptions. This will involve a theory of ascriptions of de se beliefs and de se utterances, which can probably be also generalized so as to apply to ascriptions of other attitudes. It will also involve a theory about the ascriptions of beliefs or other attitudes a person has at a time about what happens then (...)
     
    My bibliography  
     
    Export citation  
  28. Dimitri Pataraia (2006). Description of All Functions Definable by Formulæ of the 2nd Order Intuitionistic Propositional Calculus on Some Linear Heyting Algebras. Journal of Applied Non-Classical Logics 16 (3-4):457-483.score: 54.0
    Explicit description of maps definable by formulæ of the second order intuitionistic propositional calculus is given on two classes of linear Heyting algebras?the dense ones and the ones which possess successors. As a consequence, it is shown that over these classes every formula is equivalent to a quantifier free formula in the dense case, and to a formula with quantifiers confined to the applications of the successor in the second case.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  29. Peter Hylton (2005/2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. Oxford University Press.score: 50.0
    The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The prize-winning Russell scholar Peter Hylton presents here some of his most celebrated essays from the last two decades, all of which strive to recapture and articulate Russell's monumental vision. Relating his work to that of other philosophers, particularly Frege and Wittgenstein, and featuring a previously unpublished essay and a helpful new introduction, the volume will be essential for anyone engaged (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Ludwik Borkowski (1957). Systems of the Propositional and of the Functional Calculus Based on One Primitive Term. Studia Logica 6 (1):7 - 55.score: 50.0
  31. Gustav Bergmann (1956). Propositional Functions. Analysis 17 (2):43 - 48.score: 50.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Thoralf Skolem (1960). Investigations on a Comprehension Axiom Without Negation in the Defining Propositional Functions. Notre Dame Journal of Formal Logic 1 (1-2):13-22.score: 50.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  33. A. H. Basson & T. J. Smiley (1960). Symposium: Propositional Functions. Aristotelian Society Supplementary Volume 34:25 - 46.score: 50.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Jan M. Smith (1989). Propositional Functions and Families of Types. Notre Dame Journal of Formal Logic 30 (3):442-458.score: 50.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Antoni Tomaszewicz (1973). Generators of Propositional Functions. Studia Logica 31 (1):145 - 151.score: 50.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  36. William A. Wisdom (1971). Review: Gustav Bergmann, Propositional Functions; Edwin B. Allaire, Types and Formation Rules: A Note on Tractatus 3.334. [REVIEW] Journal of Symbolic Logic 36 (1):177-178.score: 50.0
  37. Paul Bernays (1936). Review: J. C. C. McKinsey, On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions. [REVIEW] Journal of Symbolic Logic 1 (2):64-65.score: 50.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Alexander Citkin (2008). A Mind of a Non-Countable Set of Ideas. Logic and Logical Philosophy 17 (1-2):23-39.score: 48.0
    The paper is dedicated to the 80th birthday of the outstanding Russian logician A.V. Kuznetsov. It is addressing a history of the ideas and research conducted by him in non-classical and intermediate logics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Jerome Frazee (1988). A New Symbolic Representation of the Basic Truth-Functions of the Propositional Calculus. History and Philosophy of Logic 9 (1):87-91.score: 48.0
    As with mathematics, logic is easier to do if its symbols and their rules are better. In a graphic way, the logic symbols introduced in thís paper show their truth-table values, their composite truth-functions, and how to say them as either ?or? or ?if ? then? propositions. Simple rules make the converse, add or remove negations, and resolve propositions.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.score: 46.0
    "A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Kevin C. Klement (2004). Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein. Philosophers' Imprint 4 (2):1-47.score: 44.0
    The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Jonathan Harrison (2004). The Logical Function of ‘That’, or Truth, Propositions and Sentences. Philosophy 79 (1):67-96.score: 42.0
    (i) It is propositions, not sentences, that are true or false. It is true ‘Dogs bark’ does not make sense. It is true that dogs bark does. (ii) and (iii) Davidson wrong about ‘that’. (iv) The difference between ‘implies’ and ‘if ... then ...’. (v), (vi), (vii) and (viii) Russell, not Quine, right about the subject matter of logic. (ix) The objectual and substitutional interpretations of quantifiers compatible. (x), (xi), (xii), (xiii), (xiv), (xv) and (xvi) Implications for well-known theories of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. H. Luckhardt (1980). On Constructive Functions Ranging Over Propositions. Studia Logica 39 (4):371 - 374.score: 42.0
    It is shown that there is no constructive extensional truth-value mapping from the speciesP of all propositions into known constructive structures P.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  44. Kevin C. Klement (2010). The Functions of Russell's No Class Theory. Review of Symbolic Logic 3 (4):633-664.score: 40.0
    §1. Introduction. Although Whitehead and Russell’s Principia Mathematica (hereafter, PM ), published almost precisely a century ago, is widely heralded as a watershed moment in the history of mathematical logic, in many ways it is still not well understood. Complaints abound to the effect that the presentation is imprecise and obscure, especially with regard to the precise details of the ramified theory of types, and the philosophical explanation and motivation underlying it, all of which was primarily Russell’s responsibility. This has (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  45. Nicholas Rescher (1962). Quasi-Truth-Functional Systems of Propositional Logic. Journal of Symbolic Logic 27 (1):1-10.score: 40.0
  46. Heinrich Wansing (1993). Functional Completeness for Subsystems of Intuitionistic Propositional Logic. Journal of Philosophical Logic 22 (3):303 - 321.score: 40.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Juliusz Reichbach (1964). A Note About Connection of the First-Order Functional Calculus with Many-Valued Propositional Calculi. Notre Dame Journal of Formal Logic 5 (2):158-160.score: 40.0
  48. M. J. Cresswell (1966). Functions of Propositions. Journal of Symbolic Logic 31 (4):545-560.score: 40.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Ralph L. Slaght (1974). A Concise Method for Translating Propositional Formulae Containing the Standard Truth-Functional Connectives Into a Sheffer Stroke Equivalent; Plus an Extension of the Method. Notre Dame Journal of Formal Logic 15 (1):161-164.score: 40.0
  50. Klaus Abels & Luiza Martí (forthcoming). Propositions or Choice Functions: What Do Quantifiers Quantify Over. Natural Language Semantics.score: 40.0
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000