Results for 'Logic International Workshop on Higher-Order Algebra'

990 found
Order:
  1. Nonmonotonic and Inductive Logic Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991 : Proceedings. [REVIEW]Gerhard Brewka, K. P. Jantke, P. H. Schmitt & International Workshop on Nonmonotonic and Inductive Logic - 1993
     
    Export citation  
     
    Bookmark  
  2. Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW]J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987
     
    Export citation  
     
    Bookmark  
  3. Logic and Algebra.Aldo Ursini, Paolo Aglianò, Roberto Magari & International Conference on Logic and Algebra - 1996
     
    Export citation  
     
    Bookmark   1 citation  
  4. Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW]M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic - 1998
     
    Export citation  
     
    Bookmark  
  5. Computer Science Logic 10th International Workshop, Csl'96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996 : Selected Papers. [REVIEW]D. van Dalen, M. Bezem & European Association for Computer Science Logic - 1997
     
    Export citation  
     
    Bookmark  
  6.  50
    Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW]Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic - 1999
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. David Bostock.On Motivating Higher-Order Logic - 2004 - In T. J. Smiley & Thomas Baldwin (eds.), Studies in the Philosophy of Logic and Knowledge. Published for the British Academy by Oxford University Press.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday.Leon Henkin, Alfred Tarski & Association for Symbolic Logic - 1974
     
    Export citation  
     
    Bookmark  
  9. Plausibility Revision in Higher-Order Logic With an Application in Two-Dimensional Semantics.Erich Rast - 2010 - In Arrazola Xabier & Maria Ponte (eds.), LogKCA-10 - Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge. ILCLI.
    In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  70
    Conceptual Realism Versus Quine on Classes and Higher-Order Logic.Nino B. Cocchiarella - 1992 - Synthese 90 (3):379 - 436.
    The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  9
    On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.Hans Tonino & Ken-Etsu Fujita - 1992 - Annals of Pure and Applied Logic 57 (3):251-276.
    In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Topos Semantics for Higher-Order Modal Logic.Steve Awodey, Kohei Kishida & Hans-Cristoph Kotzsch - 2014 - Logique Et Analyse 228:591-636.
    We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle.Michael Kohlhase - unknown
    The usage of sorts in first-order automated deduction has brought greater conciseness of representation and a considerable gain in efficiency by reducing the search spaces involved. This suggests that sort information can be employed in higher-order theorem proving with similar results.
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  14. Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers. [REVIEW]Krzysztof R. Apt - 2004
    No categories
     
    Export citation  
     
    Bookmark  
  15. Deontic Logic, Agency, and Normative Systems [Delta]Eon '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996'. [REVIEW]Mark A. Brown & José Carmo - 1995
     
    Export citation  
     
    Bookmark  
  16. Natural Language Understanding and Logic Programming, Ii Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987. [REVIEW]Veronica Dahl & Patrick Saint-Dizier - 1988
     
    Export citation  
     
    Bookmark  
  17. Natural Language Understanding and Logic Programming Proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984. [REVIEW]Veronica Dahl & Patrick Saint-Dizier - 1985
     
    Export citation  
     
    Bookmark  
  18. Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers. [REVIEW]B. O'sullivan - 2003
    No categories
     
    Export citation  
     
    Bookmark  
  19.  17
    On Higher-Order Logic and Natural.James Higginbotham - 2004 - In T. J. Smiley & Thomas Baldwin (eds.), Studies in the Philosophy of Logic and Knowledge. Published for the British Academy by Oxford University Press. pp. 249.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  7
    Third International Workshop on Hybrid Logic.Patrick Blackburn - 2001 - Logic Journal of the IGPL 9 (5):735-737.
  21.  2
    Feferman S. And Kreisel G.. Persistent and Invariant Formulas Relative to Theories of Higher Order. Bulletin of the American Mathematical Society, Vol. 72 , Pp. 480–485.Feferman Solomon. Persistent and Invariant Formulas for Outer Extensions. Logic and Foundations of Mathematics, Dedicated to Prof. A. Heyting on His 70th Birthday, Wolters-Noordhoff Publishing, Groningen 1968, Pp. 29–52; Also Compositio Mathematica, Vol. 20 , P. 29–52. [REVIEW]K. Jon Barwise - 1972 - Journal of Symbolic Logic 37 (4):764-765.
  22.  20
    On Nonstandard Models in Higher Order Logic.Christian Hort & Horst Osswald - 1984 - Journal of Symbolic Logic 49 (1):204-219.
  23. In Proceeding Of: ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-10).Piotr Kulicki, Robert Trypuz, Paweł Garbacz & Marek Lechniak - 2010
     
    Export citation  
     
    Bookmark  
  24.  35
    Lachlan A. H.. A Note on Thomason's Refined Structures for Tense Logics. Theoria, Vol. 40, Pp. 117–120.Fine Kit. Some Connections Between Elementary and Modal Logic. Proceedings of the Third Scandinavian Logic Symposium, Edited by Ranger Stig, Studies in Logic and the Foundations of Mathematics, Vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, Pp. 1–14.Goldblatt R. I. And Thomason S. K.. Axiomatic Classes in Propositional Modal Logic. Algebra and Logic, Papers From the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, Edited by Crossley J. N., Lecture Notes in Mathematics, Vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, Pp. 163–173.Goldblatt R. I.. First-Order Definability in Modal Logic[REVIEW]Robert A. Bull - 1982 - Journal of Symbolic Logic 47 (2):440-445.
  25. Not Much Higher-Order Vagueness in Williamson’s ’Logic of Clarity’.Nasim Mahoozi & Thomas Mormann - manuscript
    This paper deals with higher-order vagueness in Williamson's 'logic of clarity'. Its aim is to prove that for 'fixed margin models' (W,d,α ,[ ]) the notion of higher-order vagueness collapses to second-order vagueness. First, it is shown that fixed margin models can be reformulated in terms of similarity structures (W,~). The relation ~ is assumed to be reflexive and symmetric, but not necessarily transitive. Then, it is shown that the structures (W,~) come along with naturally defined maps (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  21
    Vaughan R. Pratt. Semantical Considerations on Floyd–Hoare Logic. 17th Annual Symposium on Foundations of Computer Science, Institute of Electrical and Electronics Engineers, New York1976, Pp. 109–121. - Michael J. Fischer and Richard E. Ladner. Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences, Vol. 18 , Pp. 194–211. - Krister Segerberg. A Completeness Theorem in the Modal Logic of Programs. Universal Algebra and Applications. Papers Presented at Stefan Banach International Mathematical Center at the Semester “Universal Algebra and Applications” Held February 15–June 9, 1978, Edited by Tadeuz Traczyk, Banach Center Publications, Vol. 9, PWN—Polish Scientific Publishers, Warsaw1982, Pp. 31–46. - Rohit Parikh. The Completeness of Propositional Dynamic Logic. Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4–8, 1978, Edited by J. Winkowski, Lecture Notes in Computer Science, Vol. 64, Springe. [REVIEW]Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.
  27.  11
    Comments on 'Fuzzy Logic and Higher-Order Vagueness' by Nicholas J.J. Smith.Libor Běhounek - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 21-8.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  9
    Comments on 'Fuzzy Logic and Higher-Order Vagueness' by Nicholas J.J. Smith.Francesco Paoli - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 33-5.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  7
    Reply to Francesco Paoli’s Comments on 'Fuzzy Logic and Higher-Order Vagueness'.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 37-40.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  3
    Reply to Libor Běhounek’s Comments on 'Fuzzy Logic and Higher-Order Vagueness'.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 29-32.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  16
    Angus Macintyre. Ramsey Quantifiers in Arithmetic. Model Theory of Algebra and Arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1–7, 1979, Edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture Notes in Mathematics, Vol. 834, Springer-Verlag, Berlin, Heidelberg, and New York, 1980, Pp. 186–210. - James H. Schmerl and Stephen G. Simpson. On the Role of Ramsey Quantifiers in First Order Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 423–435. - Carl Morgenstern. On Generalized Quantifiers in Arithmetic. The Journal of Symbolic Logic, Vol. 47 , Pp. 187–190. [REVIEW]L. A. S. Kirby - 1985 - Journal of Symbolic Logic 50 (4):1078-1079.
  32.  13
    Logic and Computation, Proceedings of a Workshop Held at Carnegie Mellon University, June 30–July 2, 1987, Edited by Wilfried Sieg, Contemporary Mathematics, Vol. 106, American Mathematical Society, Providence1990, Xiv + 297 Pp. - Douglas K. Brown. Notions of Closed Subsets of a Complete Separable Metric Space in Weak Subsystems of Second Order Arithmetic. Pp. 39–50. - Kostas Hatzikiriakou and Stephen G. Simpson. WKL0 and Orderings of Countable Abelian Groups. Pp. 177–180. - Jeffry L. Hirst. Marriage Theorems and Reverse Mathematics. Pp. 181–196. - Xiaokang Yu. Radon–Nikodym Theorem is Equivalent to Arithmetical Comprehension. Pp. 289–297. - Fernando Ferreira. Polynomial Time Computable Arithmetic. Pp. 137–156. - Wilfried Buchholz and Wilfried Sieg. A Note on Polynomial Time Computable Arithmetic. Pp. 51–55. - Samuel R. Buss. Axiomatizations and Conservation Results for Fragments of Bounded Arithmetic. Pp. 57–84. - Gaisi Takeuti. Sharply Bounded Arithmetic and the Function a – 1. Pp. 2. [REVIEW]Jörg Hudelmaier - 1996 - Journal of Symbolic Logic 61 (2):697-699.
  33.  18
    Robinson Abraham. On the Application of Symbolic Logic to Algebra. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 686–694.Tarski Alfred. Some Notions and Methods on the Borderline of Algebra and Metamathematics. Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, U.S.A., August 30-September 6, 1950, American Mathematical Society, Providence 1952, Vol. I, Pp. 705–720. [REVIEW]H. E. Vaughan - 1953 - Journal of Symbolic Logic 18 (2):182-182.
  34.  11
    J. Richard Büchi. Weak Second-Order Arithmetic and Finite Automata. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 6 , Pp. 66–92. - J. Richard Büchi. On a Decision Method in Restricted Second Order Arithmetic. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  11
    J. Richard Büchi. Weak Second-Order Arithmetic and Finite Automata. Zeitschrift Für Mathematische Logik Und Grundlagen der Mathematik, Vol. 6 , Pp. 66–92. - J. Richard Büchi. On a Decision Method in Restricted Second Order Arithmetic. Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, Pp. 1–11. [REVIEW]Robert McNaughton - 1963 - Journal of Symbolic Logic 28 (1):100-102.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36. Heinrich Behmann’s 1921 Lecture on the Decision Problem and the Algebra of Logic.Paolo Mancosu & Richard Zach - 2015 - Bulletin of Symbolic Logic 21 (2):164-187.
    Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  26
    Probabilities on Sentences in an Expressive Logic.Marcus Hutter, John W. Lloyd, Kee Siong Ng & William T. B. Uther - 2013 - Journal of Applied Logic 11 (4):386-420.
    Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  25
    Fuzzy Logic and Applications: 5th International Workshop, Wilf 2003, Naples, Italy, October 9-11, 2003: Revised Selected Papers. [REVIEW]V. Di Gesù, F. Masulli & Alfredo Petrosino (eds.) - 2006 - Springer.
    This volume constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Fuzzy Logic and Applications held in Naples, Italy, in October 2003. The 40 revised full papers presented have gone through two rounds of reviewing and revision. All current issues of theoretical, experimental and applied fuzzy logic and related techniques are addressed with special attention to rough set theory, neural networks, genetic algorithms and soft computing. The papers are organized in topical section (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Higher-Order Sequent-System for Intuitionistic Modal Logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
    In [2] we have presented sequent formulations of the modal logics S5 and S4 based on sequents of higher levels: sequents of level 1 are like ordinary sequents, sequents of level 2 have collections of sequents of level 1 on the left and right of the turnstile, etc. The rules we gave for modal constants involved sequents of level 2, whereas rules for other customary logical constants of first–order logic involved only sequents of level 1. Here we show starting (...)
     
    Export citation  
     
    Bookmark  
  40.  7
    Quine and Boolos on Second-Order Logic : An Examination of the Debate.Sean Morris - unknown
    The aim of this thesis is to examine the debate between Quine and Boolos over the logical status of higher-order logic-with Quine taking the position that higher-logic is more properly understood as set theory and Boolos arguing in opposition that higher-order logic is of a genuinely logical character. My purpose here then will be to stay as neutral as possible over the question of whether or not higher-order logic counts as logic and (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  12
    A Model-Theoretic Characterization of Monadic Second Order Logic on Infinite Words.Silvio Ghilardi & Samuel J. van Gool - 2017 - Journal of Symbolic Logic 82 (1):62-76.
    Monadic second order logic and linear temporal logic are two logical formalisms that can be used to describe classes of infinite words, i.e., first-order models based on the natural numbers with order, successor, and finitely many unary predicate symbols.Monadic second order logic over infinite words can alternatively be described as a first-order logic interpreted in${\cal P}\left$, the power set Boolean algebra of the natural numbers, equipped with modal operators for ‘initial’, ‘next’, and ‘future’ states. We (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...). Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  43. If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2012 - In B. Morison K. Ierodiakonou (ed.), Episteme, etc.: Essays in honour of Jonathan Barnes. OUP UK.
    The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  44. Fuzzy Logic and Higher-Order Vagueness.Nicholas J. J. Smith - 2011 - In Petr Cintula, Christian G. Fermüller, Lluis Godo & Petr Hájek (eds.), Understanding Vagueness: Logical, Philosophical and Linguistic Perspectives. College Publications. pp. 1--19.
    The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry sets; and fuzzy plurivaluationism. I then argue that in order to decide upon a solution, we need to understand the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
    A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46.  14
    A Note on Identity and Higher Order Quantification.Rafal Urbaniak - 2009 - Australasian Journal of Logic 7:48--55.
    It is a commonplace remark that the identity relation, even though not expressible in a first-order language without identity with classical set-theoretic semantics, can be defined in a language without identity, as soon as we admit second-order, set-theoretically interpreted quantifiers binding predicate variables that range over all subsets of the domain. However, there are fairly simple and intuitive higher-order languages with set-theoretic semantics in which the identity relation is not definable. The point is that the definability of identity in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  42
    On an Interpretation of Second Order Quantification in First Order Intuitionistic Propositional Logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
    We prove the following surprising property of Heyting's intuitionistic propositional calculus, IpC. Consider the collection of formulas, φ, built up from propositional variables (p,q,r,...) and falsity $(\perp)$ using conjunction $(\wedge)$ , disjunction (∨) and implication (→). Write $\vdash\phi$ to indicate that such a formula is intuitionistically valid. We show that for each variable p and formula φ there exists a formula Apφ (effectively computable from φ), containing only variables not equal to p which occur in φ, and such that for (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  48.  10
    Chateaubriand on Logical Truth and Second-Order Logic: Reflections on Some Issues of Logical Forms II.Guillermo Haddock - 2008 - Manuscrito 31 (1):163-178.
    In this short paper I am concerned with basically two especially important issues in Oswaldo Chateaubriand’s Logical Forms II; namely, the dispute between first- and higher-order logic and his conception of logical truth and related notions, like logical property, logical state of affairs and logical falsehood. The first issue was also present in the first volume of the book, but the last is privative of the second volume. The extraordinary significance of both issues for philosophy is emphasized and, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
    This paper is a study of higher-order contingentism – the view, roughly, that it is contingent what properties and propositions there are. We explore the motivations for this view and various ways in which it might be developed, synthesizing and expanding on work by Kit Fine, Robert Stalnaker, and Timothy Williamson. Special attention is paid to the question of whether the view makes sense by its own lights, or whether articulating the view requires drawing distinctions among possibilities that, according (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  50. On Ambitious Higher-Order Theories of Consciousness.Joseph Gottlieb - forthcoming - Philosophical Psychology.
    Ambitious Higher-Order theories of consciousness—Higher-Order theories that purport to give an account of phenomenal consciousness—face a well-known objection from the possibility of radical misrepresentation. Jonathan Farrell (2017) has recently added a new twist to an old worry: while Higher-Order theorists have the resources to respond to the misrepresentation objection, they do so at the expense of their ambitions. At best, they only account for phenomenal consciousness in the technical Higher-Order sense, not in the standard Nagelian sense. (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 990