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: 150.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: 120.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. Eleanor Bisbee (1933). The Parmenides in the Light of the Propositional Function. Philosophical Review 42 (6):612-617.score: 90.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Edwin Mares (forthcoming). Propositional Function. Stanford Encyclopedia of Philosophy.score: 90.0
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. 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  
  6. William P. Bechtel & A. Abrahamson (1990). Beyond the Exclusively Propositional Era. Synthese 82 (2):223-53.score: 84.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  
  7. Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.score: 78.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  
  8. Richard L. Cartwright (2005). Remarks on Propositional Functions. Mind 114 (456):915-927.score: 72.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  
  9. Robert Trueman (2011). Propositional Functions in Extension. Theoria 77 (4):292-311.score: 72.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  
  10. George Bealer (1989). On the Identification of Properties and Propositional Functions. Linguistics and Philosophy 12 (1):1 - 14.score: 72.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  
  11. Robert Goldblatt & Michael Kane (2010). An Admissible Semantics for Propositionally Quantified Relevant Logics. Journal of Philosophical Logic 39 (1):73 - 100.score: 72.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  
  12. A. N. Prior (1968). Intentionality and Intensionality, Part II. Proceedings of the Aristotelian Society 91:91-106.score: 60.0
  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: 50.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Geoff Georgi (forthcoming). A Propositional Semantics for Substitutional Quantification. Philosophical Studies:1-18.score: 48.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  
  15. 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  
  16. Avery Andrews (2010). Propositional Glue and the Projection Architecture of LFG. Linguistics and Philosophy 33 (3):141-170.score: 46.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  
  17. Peter Roeper & Hugues Leblanc (1999). Absolute Probability Functions for Intuitionistic Propositional Logic. Journal of Philosophical Logic 28 (3):223-234.score: 44.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  
  18. Friederike Moltmann (2003). Propositional Attitudes Without Propositions. Synthese 135 (1):77 - 118.score: 42.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  
  19. John Zeimbekis (2004). Propositional Attitudes in Fiction. British Journal of Aesthetics 44 (3):261-276.score: 42.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  
  20. Berit Brogaard (2008). Knowledge-the and Propositional Attitude Ascriptions. Grazer Philosophische Studien 77 (1):147-190.score: 42.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  
  21. Tadeusz W. Zawidzki (2008). The Function of Folk Psychology: Mind Reading or Mind Shaping? Philosophical Explorations 11 (3):193 – 210.score: 42.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  
  22. Jaroslav Peregrin, Is Propositional Calculus Categorical?score: 42.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  
  23. Mika Oksanen, Doxastic Logic of Demonstratives; Indexical and Reflexive Pronouns in Ascriptions of Propositional Attitudes.score: 42.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  
  24. 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: 40.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  
  25. 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: 40.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  
  26. Peter Hylton (2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. OUP Oxford.score: 40.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  
  27. Susanne Bobzien (2003). Stoic Logic. In Brad Inwood (ed.), The Cambridge Companion to Stoic Philosophy. Cambridge University Press.score: 36.0
    ABSTRACT: An introduction to Stoic logic. Stoic logic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; Stoic basic principles of propositional (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28. Kevin C. Klement (2010). The Functions of Russell's No Class Theory. Review of Symbolic Logic 3 (4):633-664.score: 36.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  
  29. Frank A. Lewis (2011). “Predication, Things, and Kinds in Aristotle's Metaphysics”. Phronesis 56 (4):350-387.score: 34.0
    What in Aristotle corresponds, in whole or (more likely) in part, to our contemporary notion of predication? This paper sketches counterparts in Aristotle's text to our theories of expression and of truth, and on this basis inquires into his treatment of sentences assigning an individual to its kinds. In some recent accounts, the Metaphysics offers a fresh look at such sentences in terms of matter and form, in contrast to the simpler theory on offer in the Categories . I argue (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  30. 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: 34.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  
  31. Kevin C. Klement (2004). Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein. Philosophers' Imprint 4 (2):1-47.score: 32.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  
  32. 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: 32.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  
  33. George Bealer (1993). A Solution to Frege's Puzzle. Philosophical Perspectives 7:17-60.score: 30.0
    This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  34. Ernest Lepore & Kirk Ludwig (2002). What is Logical Form? In Gerhard Preyer & Georg Peter (eds.), Logical Form and Language. Clarendon Press. 54--90.score: 30.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 he (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Peter Carruthers (2002). The Cognitive Functions of Language. Behavioral And Brain Sciences 25 (6):657-674.score: 30.0
    This paper explores a variety of different versions of the thesis that natural language is involved in human thinking. It distinguishes amongst strong and weak forms of this thesis, dismissing some as implausibly strong and others as uninterestingly weak. Strong forms dismissed include the view that language is conceptually necessary for thought (endorsed by many philosophers) and the view that language is _de facto_ the medium of all human conceptual thinking (endorsed by many philosophers and social scientists). Weak forms include (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  36. Luciano Codato (2008). Judgment, Extension, Logical Form. In Kant-Gesellschaft E. V. Walter de Gruyter (ed.), Law and Peace in Kant’s Philosophy / Recht und Frieden in der Philosophie Kants. Walter de Gruyter. 1--139.score: 30.0
    In Kant’s logical texts the reference of the form of the judgment to an “unknown = x” is well known, but its understanding remains far from consensual. Due to the universality of all concepts, the subject as much as the predicate, in the form S is P, is regarded as predicate of the x, which, in turn, is regarded as the subject of the judgment. In the CPR, particularly in the text on the “logical use of the understanding”, this Kantian (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Martin Davis (ed.) (1965/2004). The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Functions. Dover Publication.score: 30.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  
  38. Friederike Moltmann (2006). Unbound Anaphoric Pronouns: E-Type, Dynamic, and Structured-Propositions Approaches. Synthese 153 (2):199 - 260.score: 30.0
    Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  39. Todd Long (2012). Mentalist Evidentialism Vindicated (and a Super-Blooper Epistemic Design Problem for Proper Function Justification). Philosophical Studies 157 (2):251-266.score: 30.0
    Michael Bergmann seeks to motivate his externalist, proper function theory of epistemic justification by providing three objections to the mentalism and mentalist evidentialism characteristic of nonexternalists such as Richard Feldman and Earl Conee. Bergmann argues that (i) mentalism is committed to the false thesis that justification depends on mental states; (ii) mentalism is committed to the false thesis that the epistemic fittingness of an epistemic input to a belief-forming process must be due to an essential feature of that input, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  40. John Dilworth & Dylan Sabo (2014). A Dual-Component View of Propositional Grasping. Erkenntnis 79 (3):511-522.score: 30.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. Philip Kremer (2010). The Modal Logic of Continuous Functions on the Rational Numbers. Archive for Mathematical Logic 49 (4):519-527.score: 30.0
    Let ${{\mathcal L}^{\square\circ}}$ be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality □ and a temporal modality ◦, understood as ‘next’. We extend the topological semantic for S4 to a semantics for the language ${{\mathcal L}^{\square\circ}}$ by interpreting ${{\mathcal L}^{\square\circ}}$ in dynamic topological systems, i.e., ordered pairs 〈X, f〉, where X is a topological space and f is a continuous function on X. Artemov, Davoren and Nerode have axiomatized a logic S4C, and (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. Nino Cocchiarella (1980). The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy. Synthese 45 (1):71 - 115.score: 30.0
    Russell's involuted path in the development of his theory of logical types from 1903 to 1910-13 is examined and explained in terms of the development in his early philosophy of the notion of a logical subject vis-a-vis the problem of the one and many; i.e., the problem for russell, first, of a class-as-one as a logical subject as opposed to a class as many, and, secondly, of a propositional function as a single and separate logical subject as opposed (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  43. Henri Galinon (2009). A Note on Generalized Functional Completeness in the Realm of Elementrary Logic. Bulletin of the Section of Logic 38 (1):1-9.score: 30.0
    We can think of functional completeness in systems of propositional logic as a form of expressive completeness: while every logical constant in such system expresses a truth-function of finitely many arguments, functional completeness garantees that every truth-function of finitely many arguments can be expressed with the constants in the system. From this point of view, a functionnaly complete system of propositionnal logic can thus be seen as one where no logical constant is missing. Can a similar question (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Peter Hylton (2005/2008). Propositions, Functions, and Analysis: Selected Essays on Russell's Philosophy. Oxford University Press.score: 30.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  
  45. Bernard Linsky (1988). Propositional Functions and Universals in Principia Mathematica. Australasian Journal of Philosophy 66 (4):447 – 460.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Ludwik Borkowski (1957). Systems of the Propositional and of the Functional Calculus Based on One Primitive Term. Studia Logica 6 (1):7 - 55.score: 30.0
  47. Adam Gajda, Michał Krynicki & Lesław Szczerba (1987). A Note on Syntactical and Semantical Functions. Studia Logica 46 (2):177 - 185.score: 30.0
    We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Kevin C. Klement (forthcoming). PM's Circumflex, Syntax and Philosophy of Types. In Bernard Linsky & Nicholas Griffin (eds.), Principia Mathematica at 100. Cambridge.score: 30.0
    Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Othman Qasim Malhas (1994). Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. Journal of Symbolic Logic 59 (2):501-515.score: 30.0
    With a certain graphic interpretation in mind, we say that a function whose value at every point in its domain is a nonempty set of real numbers is an Abacus. It is shown that to every collection C of abaci there corresponds a logic, called an abacus logic, i.e., a certain set of propositions partially ordered by generalized implication. It is also shown that to every collection C of abaci there corresponds a theory JC in a classical propositional (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  50. Peter Päppinghaus & Martin Wirsing (1983). Nondeterministic Three-Valued Logic: Isotonic and Guarded Truth-Functions. Studia Logica 42 (1):1 - 22.score: 30.0
    Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of {T (true), F (false), U (undefined)}. As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth-function over {T, F, U} which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000