This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Subcategories:
125 found
Search inside:
(import / add options)   Sort by:
1 — 50 / 125
Material to categorize
  1. Erik Aarts (1994). Proving Theorems of the Second Order Lambek Calculus in Polynomial Time. Studia Logica 53 (3):373 - 387.
    In the Lambek calculus of order 2 we allow only sequents in which the depth of nesting of implications is limited to 2. We prove that the decision problem of provability in the calculus can be solved in time polynomial in the length of the sequent. A normal form for proofs of second order sequents is defined. It is shown that for every proof there is a normal form proof with the same axioms. With this normal form we can give (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Klaus Aehlig (2005). Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic 70 (4):1087 - 1107.
    A fragment with the same provably recursive functions as n iterated inductive definitions is obtained by restricting second order arithmetic in the following way. The underlying language allows only up to n + 1 nested second order quantifications and those are in such a way, that no second order variable occurs free in the scope of another second order quantifier. The amount of induction on arithmetical formulae only affects the arithmetical consequences of these theories, whereas adding induction for arbitrary formulae (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Thomas Ågotnes, Wiebe van der Hoek & Michael Wooldridge (2008). Quantified Coalition Logic. Synthese 165 (2):269 - 294.
    We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs of Quantified Coalition Logic (QCL) allow us to express such properties as “every coalition satisfying property P can achieve φ” and “there exists a coalition C satisfying property P such that C can achieve φ”. We give an axiomatisation of QCL, and show that while it is no more expressive than Coalition Logic, it is (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. John Bacon (1989). A Single Primitive Trope Relation. Journal of Philosophical Logic 18 (2):141 - 154.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. David Ballard (1985). Independence in Higher-Order Subclassical Logic. Notre Dame Journal of Formal Logic 26 (4):444-454.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Jesús Alcolea Banegas (1992). Instituciones y heterogeindad. Theoria 7 (1/2/3):65-85.
    The paper presents and discusses an example, namely a version of heterogeneous frrst-order logic and uses the classical theorem of Herbrand-Schmidt-Wang about the reduction of heterogeneous first-order logic to homogeneous first-order logic, in order to obtain two transformations between heterogeneous and homogeneous frrst-order logic which are different from the institution morphisms defined by Goguen and Burstall. Moreover, by considering a type of 2-cell among institution morphisms it is obtained a 2-category and also a 2-functor from this to another 2-category.
    Remove from this list |
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Jon Barwise (1977). First-Order Logic. In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co..
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  8. R. Beneyto (1971). First-Order Logic, de RM Smullyan. Teorema: Revista Internacional de Filosofía 1 (3):136-138.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  9. Kim Bruce (1989). Review: Johan van Benthem, Kees Doets, Higher-Order Logic. [REVIEW] Journal of Symbolic Logic 54 (3):1090-1092.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Otavio Bueno & Scott A. Shalkowski (2013). On Second-Order Logic. Noûs 47 (1).
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  11. Roger Fellows (1996). First‐Order Logic. Philosophical Books 37 (4):284-286.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. David Harel (1979). Characterizing Second Order Logic with First Order Quantifiers. Mathematical Logic Quarterly 25 (25‐29):419-422.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Stefan Hetzl, Alexander Leitsch & Daniel Weller (2011). CERES in Higher-Order Logic. Annals of Pure and Applied Logic 162 (12):1001-1034.
    We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an set of sequents from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Shmuel Lifsches & Saharon Shelah (1999). Random Graphs in the Monadic Theory of Order. Archive for Mathematical Logic 38 (4-5):273-312.
    We continue the works of Gurevich-Shelah and Lifsches-Shelah by showing that it is consistent with ZFC that the first-order theory of random graphs is not interpretable in the monadic theory of all chains. It is provable from ZFC that the theory of random graphs is not interpretable in the monadic second order theory of short chains (hence, in the monadic theory of the real line).
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Shmuel Lifsches & Saharon Shelah (1992). The Monadic Theory of (Ω 2, <) May Be Complicated. Archive for Mathematical Logic 31 (3):207-213.
    Assume ZFC is consistent then for everyB⫅ω there is a generic extension of the ground world whereB is recursive in the monadic theory ofω 2.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  16. A. H. Lighstone (1972). Review: Angelo Margaris, First Order Mathematical Logic. [REVIEW] Journal of Symbolic Logic 37 (3):616-616.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Robert K. Meyer (1976). Ackermann, Takeuti, and Schnitt: For Higher-Order Relevant Logic. Bulletin of the Section of Logic 5 (4):138-142.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. Malika More & Frédéric Olive (1997). Rudimentary Languages and Second‐Order Logic. Mathematical Logic Quarterly 43 (3):419-426.
    The aim of this paper is to point out the equivalence between three notions respectively issued from recursion theory, computational complexity and finite model theory. One the one hand, the rudimentary languages are known to be characterized by the linear hierarchy. On the other hand, this complexity class can be proved to correspond to monadic second-order logic with addition. Our viewpoint sheds some new light on the close connection between these domains: We bring together the two extremal notions by providing (...)
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Hirokazu Nishimura (1983). Hauptsatz for Higher-Order Modal Logic. Journal of Symbolic Logic 48 (3):744-751.
  20. A. C. Paseau (2012). James Robert Brown. Platonism, Naturalism, and Mathematical Knowledge. New York and London: Routledge, 2012. Isbn 978-0-415-87266-9. Pp. X + 182. [REVIEW] Philosophia Mathematica 20 (3):359-364.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Peter Roeper (2004). First- and Second-Order Logic of Mass Terms. Journal of Philosophical Logic 33 (3):261-297.
    Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
    Remove from this list | Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  22. Gábor Sági (2000). A Completeness Theorem for Higher Order Logics. Journal of Symbolic Logic 65 (2):857-884.
    Here we investigate the classes RCA $^\uparrow_\alpha$ of representable directed cylindric algebras of dimension α introduced by Nemeti[12]. RCA $^\uparrow_\alpha$ can be seen in two different ways: first, as an algebraic counterpart of higher order logics and second, as a cylindric algebraic analogue of Quasi-Projective Relation Algebras. We will give a new, "purely cylindric algebraic" proof for the following theorems of Nemeti: (i) RCA $^\uparrow_\alpha$ is a finitely axiomatizable variety whenever α ≥ 3 is finite and (ii) one can obtain (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. Charles Sayward (1983). What is a Second Order Theory Committed To? Erkenntnis 20 (1):79 - 91.
    The paper argues that no second order theory is ontologically commited to anything beyond what its individual variables range over.
    Remove from this list | Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. George F. Schumm (1995). Review: R. I. G. Hughes, A Philosophical Companion to First-Order Logic. [REVIEW] Journal of Symbolic Logic 60 (2):684-685.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. K. Schutte (1974). Review: Dag Prawitz, Hauptsatz for Higher Order Logic; Dag Prawitz, Completeness and Hauptsatz for Second Order Logic; Moto-o Takahashi, A Proof of Cut-Elimination in Simple Type-Theory. [REVIEW] Journal of Symbolic Logic 39 (3):607-607.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Iain A. Stewart (1997). Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second‐Order Logic. Mathematical Logic Quarterly 43 (1):1-21.
    We investigate the definability in monadic ∑11 and monadic Π11 of the problems REGk, of whether there is a regular subgraph of degree k in some given graph, and XREGk, of whether, for a given rooted graph, there is a regular subgraph of degree k in which the root has degree k, and their restrictions to graphs in which every vertex has degree at most k, namely REGkk and XREGkk, respectively, for k ≥ 2 . Our motivation partly stems from (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Sean Walsh & Sean Ebels-Duggan (forthcoming). Relative Categoricity and Abstraction Principles. Review of Symbolic Logic.
    Many recent writers in the philosophy of mathematics have put great weight on the relative categoricity of the traditional axiomatizations of our foundational theories of arithmetic and set theory. Another great enterprise in contemporary philosophy of mathematics has been Wright's and Hale's project of founding mathematics on abstraction principles. In earlier work, it was noted that one traditional abstraction principle, namely Hume's Principle, had a certain relative categoricity property, which here we term natural relative categoricity. In this paper, we show (...)
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  28. John J. Wellmuth (1941). Philosophy and Order in Logic. Proceedings of the American Catholic Philosophical Association 17:12-18.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  29. J. Wolenski (2004). First-Order Logic:(Philosophical) Pro and Contra. In Vincent F. Hendricks (ed.), First-Order Logic Revisited. Logos. 369--398.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. G. H. Wright (1983). Norms of Higher Order. Studia Logica 42 (2-3):119-127.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
Second-Order Logic
  1. S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
    Using recent results in topos theory, two systems of higher-order logic are shown to be complete with respect to sheaf models over topological spaces- so -called "topological semantics." The first is classical higher-order logic, with relational quantification of finitely high type; the second system is a predicative fragment thereof with quantification over functions between types, but not over arbitrary relations. The second theorem applies to intuitionistic as well as classical logic.
    Remove from this list | Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  2. Ruth C. Barcan (1947). The Identity of Individuals in a Strict Functional Calculus of Second Order. Journal of Symbolic Logic 12 (1):12-15.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. K. Jon Barwise (1972). The Hanf Number of Second Order Logic. Journal of Symbolic Logic 37 (3):588-594.
    We prove, among other things, that the number mentioned above cannot be shown to exist without using some $\Pi_1(\mathscr{P})$ instance of the axiom of replacement.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Anne Bauval (1985). Polynomial Rings and Weak Second-Order Logic. Journal of Symbolic Logic 50 (4):953-972.
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. L. Berk (2013). Second-Order Arithmetic Sans Sets. Philosophia Mathematica 21 (3):339-350.
    This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.
    Remove from this list | Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  6. George Boolos (1985). Nominalist Platonism. Philosophical Review 94 (3):327-344.
  7. George S. Boolos (1975). On Second-Order Logic. Journal of Philosophy 72 (16):509-527.
  8. James Robert Brown (1996). Foundations Without Foundationalism: A Case for Second-Order Logic Stewart Shapiro Oxford: Oxford University Press, 1991, Xx + 277 Pp. [REVIEW] Dialogue 35 (03):624-.
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. Otávio Bueno (2010). A Defense of Second-Order Logic. Axiomathes 20 (2-3):365-383.
    Second-order logic has a number of attractive features, in particular the strong expressive resources it offers, and the possibility of articulating categorical mathematical theories (such as arithmetic and analysis). But it also has its costs. Five major charges have been launched against second-order logic: (1) It is not axiomatizable; as opposed to first-order logic, it is inherently incomplete. (2) It also has several semantics, and there is no criterion to choose between them (Putnam, J Symbol Logic 45:464–482, 1980 ). Therefore, (...)
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Otavio Bueno, Second-Order Logic Revisited.
    In this paper, I shall provide a defence of second-order logic in the context of its use in the philosophy of mathematics. This shall be done by considering three problems that have been recently posed against this logic: (1) According to Resnik [1988], by adopting second-order quantifiers, we become ontologically committed to classes. (2) As opposed to what is claimed by defenders of second-order logic (such as Shapiro [1985]), the existence of non-standard models of first-order theories does not establish the (...)
    Remove from this list | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Nino Cocchiarella (1985). Two Lambda-Extensions of the Theory of Homogeneous Simple Types as a Second-Order Logic. Notre Dame Journal of Formal Logic 26 (4):377-407.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Nino Cocchiarella (1979). The Theory of Homogeneous Simple Types as a Second-Order Logic. Notre Dame Journal of Formal Logic 20 (3):505-524.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Nino Cocchiarella (1969). A Second Order Logic of Existence. Journal of Symbolic Logic 34 (1):57-69.
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  14. Nino Cocchiarella (1969). Existence Entailing Attributes, Modes of Copulation and Modes of Being in Second Order Logic. Noûs 3 (1):33-48.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. Nino Cocchiarella (1969). A Substitution Free Axiom Set for Second Order Logic. Notre Dame Journal of Formal Logic 10 (1):18-30.
    Remove from this list | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. Nino Cocchiarella (1968). Some Remarks on Second Order Logic with Existence Attributes. Noûs 2 (2):165-175.
    Some internal and philosophical remarks are made regarding a system of a second order logic of existence axiomatized by the author. Attributes are distinguished in the system according as their possession entails existence or not, The former being called e-Attributes. Some discussion of the special principles assumed for e-Attributes is given as well as of the two notions of identity resulting from such a distinction among attributes. Non-Existing objects are of course indiscernible in terms of e-Attributes. In addition, However, Existing (...)
    Remove from this list | Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  17. John Corcoran (1999). CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION. In Robert Audi (ed.), Cambridge Dictionary of Philosophy. CAMBRIDGE UP. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  18. John Corcoran, William Frank & Michael Maloney (1974). String Theory. Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  19. Nicholas Denyer (1992). Pure Second-Order Logic. Notre Dame Journal of Formal Logic 33 (2):220-224.
    Remove from this list | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Thomas Eiter & Georg Gottlob (1998). On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. Journal of Symbolic Logic 63 (1):73-82.
    It was conjectured by Halpern and Kapron (Annals of Pure and Applied Logic, vol. 69, 1994) that frame satisfiability of propositional modal formulas is incomparable in expressive power to both Σ 1 1 (Ackermann) and Σ 1 1 (Bernays-Schonfinkel). We prove this conjecture. Our results imply that Σ 1 1 (Ackermann) and Σ 1 1 (Bernays-Schonfinkel) are incomparable in expressive power, already on finite graphs. Moreover, we show that on ordered finite graphs, i.e., finite graphs with a successor, Σ 1 (...)
    Remove from this list | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 125