Search results for 'Predicate' (try it on Scholar)

1000+ found
Sort by:
  1. Philip Percival (2011). Predicate Abstraction, the Limits of Quantification, and the Modality of Existence. Philosophical Studies 156 (3):389-416.score: 24.0
    For various reasons several authors have enriched classical first order syntax by adding a predicate abstraction operator. “Conservatives” have done so without disturbing the syntax of the formal quantifiers but “revisionists” have argued that predicate abstraction motivates the universal quantifier’s re-classification from an expression that combines with a variable to yield a sentence from a sentence, to an expression that combines with a one-place predicate to yield a sentence. My main aim is to advance the cause of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Bert Mosselmans (2008). Aristotle's Logic and the Quest for the Quantification of the Predicate. Foundations of Science 13 (3-4):195-198.score: 24.0
    This paper examines the quest for the quantification of the predicate, as discussed by W.S. Jevons, and relates it to the discussion about universals and particulars between Plato and Aristotle. We conclude that the quest for the quantification of the predicate can only be achieved by stripping the syllogism from its metaphysical heritage.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. M. J. Cresswell (2013). Predicate Metric Tense Logic for 'Now' and 'Then'. Journal of Philosophical Logic 42 (1):1-24.score: 24.0
    In a number of publications A.N. Prior considered the use of what he called ‘metric tense logic’. This is a tense logic in which the past and future operators P and F have an index representing a temporal distance, so that Pnα means that α was true n -much ago, and Fn α means that α will be true n -much hence. The paper investigates the use of metric predicate tense logic in formalising phenomena ormally treated by such devices (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. James R. Hurford (2003). The Neural Basis of Predicate-Argument Structure. Behavioral and Brain Sciences 26 (3):261-283.score: 24.0
    Neural correlates exist for a basic component of logical formulae, PREDICATE(x). Vision and audition research in primates and humans shows two independent neural pathways; one locates objects in body-centered space, the other attributes properties, such as colour, to objects. In vision these are the dorsal and ventral pathways. In audition, similarly separable “where” and “what” pathways exist. PREDICATE(x) is a schematic representation of the brain's integration of the two processes of delivery by the senses of the location of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Kai Brünnler (2006). Cut Elimination Inside a Deep Inference System for Classical Predicate Logic. Studia Logica 82 (1):51 - 71.score: 24.0
    Deep inference is a natural generalisation of the one-sided sequent calculus where rules are allowed to apply deeply inside formulas, much like rewrite rules in term rewriting. This freedom in applying inference rules allows to express logical systems that are difficult or impossible to express in the cut-free sequent calculus and it also allows for a more fine-grained analysis of derivations than the sequent calculus. However, the same freedom also makes it harder to carry out this analysis, in particular it (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Hiroakira Ono (2012). Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics. Studia Logica 100 (1-2):339-359.score: 24.0
    This paper discusses Crawley completions of residuated lattices. While MacNeille completions have been studied recently in relation to logic, Crawley completions (i.e. complete ideal completions), which are another kind of regular completions, have not been discussed much in this relation while many important algebraic works on Crawley completions had been done until the end of the 70’s. In this paper, basic algebraic properties of ideal completions and Crawley completions of residuated lattices are studied first in their conncetion with the join (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Hajime Yoshino (1997). On the Logical Foundations of Compound Predicate Formulae for Legal Knowledge Representation. Artificial Intelligence and Law 5 (1-2):77-96.score: 24.0
    In order to represent legal knowledge adequately, it is vital to create a formal device that can freely construct an individual concept directly from a predicate expression. For this purpose, a Compound Predicate Formula (CPF) is formulated for use in legal expert systems. In this paper, we willattempt to explain the nature of CPFs by rigorous logical foundation, i.e., establishing their syntax and semantics precisely through the use of appropriate examples. We note the advantages of our system over (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Albert Visser (1998). Contexts in Dynamic Predicate Logic. Journal of Logic, Language and Information 7 (1):21-52.score: 24.0
    In this paper we introduce a notion of context for Groenendijk & Stokhof's Dynamic Predicate Logic DPL. We use these contexts to give a characterization of the relations on assignments that can be generated by composition from tests and random resettings in the case that we are working over an infinite domain. These relations are precisely the ones expressible in DPL if we allow ourselves arbitrary tests as a starting point. We discuss some possible extensions of DPL and the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  9. Ernst Zimmermann (2009). Predicate Logical Extensions of Some Subintuitionistic Logics. Studia Logica 91 (1):131 - 138.score: 24.0
    The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Hadi Farahani & Hiroakira Ono (2012). Glivenko Theorems and Negative Translations in Substructural Predicate Logics. Archive for Mathematical Logic 51 (7-8):695-707.score: 24.0
    Along the same line as that in Ono (Ann Pure Appl Logic 161:246–250, 2009), a proof-theoretic approach to Glivenko theorems is developed here for substructural predicate logics relative not only to classical predicate logic but also to arbitrary involutive substructural predicate logics over intuitionistic linear predicate logic without exponentials QFL e . It is shown that there exists the weakest logic over QFL e among substructural predicate logics for which the Glivenko theorem holds. Negative translations (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Dmitrij Skvortsov (2012). Kripke Sheaf Completeness of Some Superintuitionistic Predicate Logics with a Weakened Constant Domains Principle. Studia Logica 100 (1-2):361-383.score: 24.0
    The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  12. Victor N. Krivtsov (2010). An Intuitionistic Completeness Theorem for Classical Predicate Logic. Studia Logica 96 (1):109 - 115.score: 24.0
    This paper presents an intuitionistic proof of a statement which under a classical reading is logically equivalent to Gödel's completeness theorem for classical predicate logic.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  13. Pilar Dellunde & Francesc Esteva (2013). On Elementary Equivalence in Fuzzy Predicate Logics. Archive for Mathematical Logic 52 (1-2):1-17.score: 24.0
    Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. F. Sauri (1998). Bradley's Supposed Rejection of Subject-Predicate Judgements. Bradley Studies 4 (1):102-112.score: 24.0
    Textual evidence normally quoted to justify the claim that F. H. Bradley rejects subject - predicate judgements has other functions: namely to reject concrete interpretations of subject - predicate judgements. Bradley has his own view of subject - predicate judgement: in a judgement subject and predicate forma an adjetive which is predicated of the whole reality.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Taishi Kurahashi (2013). On Predicate Provability Logics and Binumerations of Fragments of Peano Arithmetic. Archive for Mathematical Logic 52 (7-8):871-880.score: 24.0
    Solovay proved (Israel J Math 25(3–4):287–304, 1976) that the propositional provability logic of any ∑2-sound recursively enumerable extension of PA is characterized by the propositional modal logic GL. By contrast, Montagna proved in (Notre Dame J Form Log 25(2):179–189, 1984) that predicate provability logics of Peano arithmetic and Bernays–Gödel set theory are different. Moreover, Artemov proved in (Doklady Akademii Nauk SSSR 290(6):1289–1292, 1986) that the predicate provability logic of a theory essentially depends on the choice of a binumeration (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. P. F. Strawson (2004). Subject and Predicate in Logic and Grammar. Ashgate.score: 21.0
    P.F. Strawson's essay traces some formal characteristics of logic and grammar to their roots in general features of thought and experience.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  17. Jonathan Fleischmann (2010). Syntactic Preservation Theorems for Intuitionistic Predicate Logic. Notre Dame Journal of Formal Logic 51 (2):225-245.score: 21.0
    We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes the (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  18. Christine Gaßner (1994). The Axiom of Choice in Second‐Order Predicate Logic. Mathematical Logic Quarterly 40 (4):533-546.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Olivier Gasquet (1998). Predicate Modal Logics Do Not Mix Very Well. Mathematical Logic Quarterly 44 (1):45-49.score: 21.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Franco Montagna (2005). On the Predicate Logics of Continuous T-Norm BL-Algebras. Archive for Mathematical Logic 44 (1):97-114.score: 21.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  21. W. V. Quine (1971). Algebraic Logic and Predicate Functors. [Indianapolis,Bobbs-Merrill.score: 21.0
     
    My bibliography  
     
    Export citation  
  22. Robert Mattison (1968). An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic. Santa Monica, Calif.,Rand Corp..score: 21.0
  23. David A. Plaisted (1979). Complete Problems in the First-Order Predicate Calculus. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.score: 21.0
     
    My bibliography  
     
    Export citation  
  24. Sueli Mendes dos Santos (1972). Automatic Proofs for Theorems on Predicate Calculus. [Rio De Janeiro,Pontificia Universidade Católica Do Rio De Janeiro].score: 21.0
     
    My bibliography  
     
    Export citation  
  25. S. Christiaan van Westrhenen (1969). The Statistical Estimation of Provability in the First Order Predicate Calculus. [Eindhoven, Technische Hogeschool (Inslindelaan 2).score: 21.0
    No categories
     
    My bibliography  
     
    Export citation  
  26. J. William Forgie (2008). How is the Question 'is Existence a Predicate?' Relevant to the Ontological Argument? International Journal for Philosophy of Religion 64 (3):117 - 133.score: 20.0
    It is often said that the ontological argument fails because it wrongly treats existence as a first-level property or predicate. This has proved a controversial claim, and efforts to evaluate it are complicated by the fact that the words ‘existence is not a property/predicate’ have been used by philosophers to make at least three different negative claims: (a) one about a first-level phenomenon possessed by objects like horses, stones, you and me; (b) another about the logical form of (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Arvid Båve (2009). Why is a Truth-Predicate Like a Pronoun? Philosophical Studies 145 (2):297 - 310.score: 18.0
    I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  28. Jeroen Groenendijk & Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39-100.score: 18.0
    This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  29. Maria Aloni (2005). Individual Concepts in Modal Predicate Logic. Journal of Philosophical Logic 34 (1):1 - 64.score: 18.0
    The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Reinhard Muskens, Existence Predicate.score: 18.0
    Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject (the noun phrase ‘the king of France’) and a predicate (the verb phrase ‘exists’), the underlying logical (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. Dirk Greimann (2008). Does Frege Use a Truth-Predicate in His ‘Justification’ of the Laws of Logic? A Comment on Weiner. Mind 117 (466):403-425.score: 18.0
    Joan Weiner has recently claimed that Frege neither uses, nor has any need to use, a truth-predicate in his justification of the logical laws. She argues that because of the assimilation of sentences to proper names in his system, Frege does not need to make use of the Quinean device of semantic ascent in order to formulate the logical laws, and that the predicate ‘is the True’, which is used in Frege's justification, is not to be considered as (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. James Hawthorne (1998). On the Logic of Nonmonotonic Conditionals and Conditional Probabilities: Predicate Logic. [REVIEW] Journal of Philosophical Logic 27 (1):1-34.score: 18.0
    In a previous paper I described a range of nonmonotonic conditionals that behave like conditional probability functions at various levels of probabilistic support. These conditionals were defined as semantic relations on an object language for sentential logic. In this paper I extend the most prominent family of these conditionals to a language for predicate logic. My approach to quantifiers is closely related to Hartry Field's probabilistic semantics. Along the way I will show how Field's semantics differs from a substitutional (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  33. Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.score: 18.0
    We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Hanoch Ben-Yami (1996). Attributive Adjectives and the Predicate Calculus. Philosophical Studies 83 (3):277 - 289.score: 18.0
    I have attempted to show that many attributive adjectives can be dealt with within the framework of first-order predicate calculus by the method suggested in this paper. I've also supplied independent reasons for the claim that attributive adjectives that are not responsive to this method require a formal treatment different from the one that the adjectives successfully dealt with by that method require. Thus, if the method I've argued for is sound, then the scope of first-order predicate calculus (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  35. Richard Davis, Is Socrates a Predicate?score: 18.0
    In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking aspect, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Guy Politzer (2003). No Problem for Aristotle's Subject and Predicate. Behavioral and Brain Sciences 26 (3):298-299.score: 18.0
    It is argued that, in the traditional subject-predicate sentence, two interpretations of the subject term coexist, one intensional and the other extensional, which explains the superficial difference between the traditional S-P relation and the predication of predicate logic. Data from psychological studies of syllogistic reasoning support the view that the contrast between predicate and argument is carried over to the traditional S-P sentence.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  37. Stefan Wölfl (1999). Combinations of Tense and Modality for Predicate Logic. Journal of Philosophical Logic 28 (4):371-398.score: 18.0
    In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of predicate (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  38. Xiaoqiang Han (2009). Maybe There Are No Subject-Predicate Sentences in Chinese. Dao: A Journal of Comparative Philosophy 8 (3):277-287.score: 18.0
    In this essay, I argue for the conclusion that the Chinese sentences that are regularly translated into subject-predicate sentences in English may be understood as all non-subject-predicate sentences. My argument is based on the premise that some grammatical features are crucial to yield the sense of contrast between the completeness of subject and the incompleteness of predicate. The absence of such grammatical features in Chinese makes it impossible to establish any criterion for the distinction between subject and (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  39. James R. Hurford (2003). Ventral/Dorsal, Predicate/Argument: The Transformation From Perception to Meaning. Behavioral and Brain Sciences 26 (3):301-311.score: 18.0
    It is necessary to distinguish among representations caused directly by perception, representations of past perceptions in long-term memory, the representations underlying linguis- tic utterances, and the surface phonological and grammatical structures of sentences. The target article dealt essentially with predicate-argument structure at the first of these levels of representation. Discussion of the commentaries mainly involves distinguishing among various applications of the term “predicate”; clarifying the assumed relationship between classical FOPL and language; clarifying the status of unique individuals as (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.score: 18.0
    This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  41. Matthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.score: 18.0
    We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics and linear frames are also discussed.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42. M. J. Hill, J. B. Paris & G. M. Wilmers (2002). Some Observations on Induction in Predicate Probabilistic Reasoning. Journal of Philosophical Logic 31 (1):43-75.score: 18.0
    We consider the desirability, or otherwise, of various forms of induction in the light of certain principles and inductive methods within predicate uncertain reasoning. Our general conclusion is that there remain conflicts within the area whose resolution will require a deeper understanding of the fundamental relationship between individuals and properties.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  43. C. F. M. Vermeulen (1993). Sequence Semantics for Dynamic Predicate Logic. Journal of Logic, Language and Information 2 (3):217-254.score: 18.0
    In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments. This semantics is compared with the usual relational semantics for dynamic predicate logic: it is shown that the most important intuitions of the usual semantics are preserved. Then it is shown that the refined semantics reflects out intuitions about information growth. Some other issues in dynamic semantics are formulated and discussed in terms of the new sequence semantics.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  44. Morten H. Sørensen & Paweł Urzyczyn (2010). A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic. Notre Dame Journal of Formal Logic 51 (4):457-473.score: 18.0
    We give a syntactic translation from first-order intuitionistic predicate logic into second-order intuitionistic propositional logic IPC2. The translation covers the full set of logical connectives ∧, ∨, →, ⊥, ∀, and ∃, extending our previous work, which studied the significantly simpler case of the universal-implicational fragment of predicate logic. As corollaries of our approach, we obtain simple proofs of nondefinability of ∃ from the propositional connectives and nondefinability of ∀ from ∃ in the second-order intuitionistic propositional logic. We (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45. Mohammad Ardeshir (1999). A Translation of Intuitionistic Predicate Logic Into Basic Predicate Logic. Studia Logica 62 (3):341-352.score: 18.0
    Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  46. Sergei Artemov & Giorgie Dzhaparidze (1990). Finite Kripke Models and Predicate Logics of Provability. Journal of Symbolic Logic 55 (3):1090-1098.score: 18.0
    The paper proves a predicate version of Solovay's well-known theorem on provability interpretations of modal logic: If a closed modal predicate-logical formula R is not valid in some finite Kripke model, then there exists an arithmetical interpretation f such that $PA \nvdash fR$ . This result implies the arithmetical completeness of arithmetically correct modal predicate logics with the finite model property (including the one-variable fragments of QGL and QS). The proof was obtained by adding "the predicate (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  47. Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.score: 18.0
    Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  48. William A. Dembski, Random Predicate Logic I: A Probabilistic Approach to Vagueness.score: 18.0
    Predicates are supposed to slice reality neatly in two halves, one for which the predicate holds, the other for which it fails. Yet far from being razors, predicates tend to be dull knives that mangle reality. If reality is a tomato and predicates are knives, then when these knives divide the tomato, plenty of mush remains unaccounted for. Of course some knives are sharper than others, just as some predicates are less vague than others. “x is water” is certainly (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Frank Veltman, Proof Systems for Dynamic Predicate Logic.score: 18.0
    The core language can be extended by defining additional logical constants. E.g., we can add ‘→’ (implication), ‘∨’ (disjunction), and ‘∀x’ (universal quantifiers). The choice of logical primitives is not as optional in DPL as it is in standard predicate logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  50. Hajnal Andréka, István Németi & Johan van Benthem (1998). Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27 (3):217-274.score: 18.0
    What precisely are fragments of classical first-order logic showing “modal” behaviour? Perhaps the most influential answer is that of Gabbay 1981, which identifies them with so-called “finite-variable fragments”, using only some fixed finite number of variables (free or bound). This view-point has been endorsed by many authors (cf. van Benthem 1991). We will investigate these fragments, and find that, illuminating and interesting though they are, they lack the required nice behaviour in our sense. (Several new negative results support this claim.) (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000