This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:

44 found
Order:
  1. added 2018-10-04
    We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    No categories
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. added 2018-09-29
    Reply to Florio and Shapiro.Øystein Linnebo & Agustín Rayo - 2014 - Mind 123 (489):175-181.
    Florio and Shapiro take issue with an argument in ‘Hierarchies Ontological and Ideological’ for the conclusion that the set-theoretic hierarchy is open-ended. Here we clarify and reinforce the argument in light of their concerns.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2018-09-06
    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 shown remarkable (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. added 2018-05-06
    We Belong Together.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-03-05
    The Concept Horse is a Concept.Ansten Klev - 2018 - Review of Symbolic Logic 11 (3):547-572.
    I offer an analysis of the sentence "the concept horse is a concept". It will be argued that the grammatical subject of this sentence, "the concept horse", indeed refers to a concept, and not to an object, as Frege once held. The argument is based on a criterion of proper-namehood according to which an expression is a proper name if it is so rendered in Frege's ideography. The predicate "is a concept", on the other hand, should not be thought of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2018-02-02
    Storrs McCall's Tree of The Universe and Counterfactuals شجرة الكون وقضايا مناقضة الواقع عند ستورس مكال.Salah Osman - 1999 - Journal of the Faculty of Arts, Menoufia University 2956-2090 39:83 – 128.
    لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2018-02-01
    Neutrosophy in Arabic Philosophy (Arabic version).Salah Osman & Florentin Smarandache - 2007 - Alexandria, Egypt: Al Maaref Establishment Press.
    لأننا نعيش في عالم يكتنفه الغموض من كل جانب؛ عالم تتسم معرفتنا لأحداثه ووقائعه بالتناقض واللاتحديد، وتُفصح قضايانا اللغوية الواصفة له عن الصدق تارة وعن الكذب تارة أخرى، فنحن في حاجة إلى فلسفة جديدة تعكس حقيقة رؤيتنا النسبية لهذا العالم وقصور معرفتنا به؛ ونحن في حاجة إلى نسقٍِ منطقي يُلائم معطياته غير المكتملة ويُشبع معالجاتنا لها، سواء على مستوى ممارسات الحياة اليومية أو على مستوى الممارسة العلمية بمختلف أشكالها. والفلسفة التي يقترحها هذا الكتاب هي «النيوتروسوفيا»؛ تلك النظرية التي قدمها الفيلسوف (...)
    Remove from this list   Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2018-02-01
    Many-Valued Logic between the Degrees of Truth and the Limits of Knowledge.Salah Osman - 2002 - Alexandria, Egypt: Al Maaref Establishment Press.
    هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2017-12-04
    Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
    We present an embedding of quantified multimodal logics into simple type theory and prove its soundness and completeness. A correspondence between QKπ models for quantified multimodal logics and Henkin models is established and exploited. Our embedding supports the application of off-the-shelf higher-order theorem provers for reasoning within and about quantified multimodal logics. Moreover, it provides a starting point for further logic embeddings and their combinations in simple type theory.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10. added 2017-12-04
    Multimodal and Intuitionistic Logics in Simple Type Theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
    We study straightforward embeddings of propositional normal multimodal logic and propositional intuitionistic logic in simple type theory. The correctness of these embeddings is easily shown. We give examples to demonstrate that these embeddings provide an effective framework for computational investigations of various non-classical logics. We report some experiments using the higher-order automated theorem prover LEO-II.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. added 2017-06-30
    Grounding, Essence, And Identity.Fabrice Correia & Alexander Skiles - 2017 - Philosophy and Phenomenological Research.
    Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. added 2016-10-27
    Absolute Generality.Agustín Rayo & Gabriel Uzquiano (eds.) - 2006 - Oxford University Press.
    The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  13. added 2016-10-03
    Hierarchies Ontological and Ideological.Øystein Linnebo & Agustin Rayo - 2012 - Mind 121 (482):269 - 308.
    Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  14. added 2016-09-21
    Reply to Goodman.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):640-653.
  15. added 2016-09-21
    Reply to Linnebo.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):677-682.
  16. added 2016-05-12
    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 logic. Our assessment (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  17. added 2015-12-29
    On the Innocence and Determinacy of Plural Quantification.Salvatore Florio & Øystein Linnebo - 2016 - Noûs 50 (3):565–583.
    Plural logic is widely assumed to have two important virtues: ontological innocence and determinacy. It is claimed to be innocent in the sense that it incurs no ontological commitments beyond those already incurred by the first-order quantifiers. It is claimed to be determinate in the sense that it is immune to the threat of non-standard interpretations that confronts higher-order logics on their more traditional, set-based semantics. We challenge both claims. Our challenge is based on a Henkin-style semantics for plural logic (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. added 2015-12-29
    Untyped Pluralism.Salvatore Florio - 2014 - Mind 123 (490):317-337.
    In the semantic debate about plurals, pluralism is the view that a plural term denotes some things in the domain of quantification and a plural predicate denotes a plural property, i.e. a property that can be instantiated by many things jointly. According to a particular version of this view, untyped pluralism, there is no type distinction between objects and properties. In this article, I argue against untyped pluralism by showing that it is subject to a variant of a Russell-style argument (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. added 2015-11-06
    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 to (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. added 2015-07-10
    Some Results on Ordered Structures in Toposes.Luís Sbardellini & Marcelo Coniglio - 2006 - Reports on Mathematical Logic:181-198.
    A topos version of Cantor’s back and forth theorem is established and used to prove that the ordered structure of the rational numbers (Q, <) is homogeneous in any topos with natural numbers object. The notion of effective homogeneity is introduced, and it is shown that (Q, <) is a minimal effectively homogeneous structure, that is, it can be embedded in every other effectively homogeneous ordered structure.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. added 2015-07-09
    On the Ordered Dedekind Real Numbers in Toposes.Marcelo E. Coniglio & Luís A. Sbardellini - 2015 - In Edward H. Haeusler, Wagner Sanz & Bruno Lopes (eds.), Why is this a Proof? Festschrift for Luiz Carlos Pereira. College Publications. pp. 87-105.
    In 1996, W. Veldman and F. Waaldijk present a constructive (intuitionistic) proof for the homogeneity of the ordered structure of the Cauchy real numbers, and so this result holds in any topos with natural number object. However, it is well known that the real numbers objects obtained by the traditional constructions of Cauchy sequences and Dedekind cuts are not necessarily isomorphic in an arbitrary topos with natural numbers object. Consequently, Veldman and Waaldijk's result does not apply to the ordered structure (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. added 2014-06-20
    Semantics and the Plural Conception of Reality.Salvatore Florio - 2014 - Philosophers' Imprint 14:1-20.
    According to the singular conception of reality, there are objects and there are singular properties, i.e. properties that are instantiated by objects separately. It has been argued that semantic considerations about plurals give us reasons to embrace a plural conception of reality. This is the view that, in addition to singular properties, there are plural properties, i.e. properties that are instantiated jointly by many objects. In this article, I propose and defend a novel semantic account of plurals which dispenses with (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23. added 2014-06-16
    The Logic of Finite Order.Simon Hewitt - 2012 - Notre Dame Journal of Formal Logic 53 (3):297-318.
    This paper develops a formal system, consisting of a language and semantics, called serial logic ( SL ). In rough outline, SL permits quantification over, and reference to, some finite number of things in an order , in an ordinary everyday sense of the word “order,” and superplural quantification over things thus ordered. Before we discuss SL itself, some mention should be made of an issue in philosophical logic which provides the background to the development of SL , and with (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24. added 2014-04-02
    Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
    This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25. added 2014-04-02
    On the Possibility of a General Purge of Self-Reference.Lucas Rosenblatt - 2012 - Análisis Filosófico 32 (1):53-59.
    My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook. Using yabloesque techniques, I show that it is possible to transform this circular paradoxical construction (and other constructions as well) into an infinitary construction lacking any sort of circularity. Moreover, contrary to Cook’s approach, I think that this can be done without (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2014-04-02
    Who's Afraid of Higher-Order Logic?Peter Simons - 1993 - Grazer Philosophische Studien 44:253-264.
    Suppose you hold the following opinions in the philosophy of logic. First-order predicate logic is expressively inadequate to regiment concepts of mathematic and natural language; logicism is plausible and attractive; set theory as an adjunct to logic is unnatural and ontologically extravagant; humanly usable languages are finite in lexicon and syntax; it is worth striving for a Tarskian semantics for mathematics; there are no Platonic abstract objects. Then you are probably already in cognitive distress. One way to decease your unhappiness, (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  27. added 2014-03-31
    Relations in Monadic Third-Order Logic.A. P. Hazen - 1997 - Journal of Philosophical Logic 26 (6):619-628.
    The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2014-03-30
    On How Logic Became First-Order.Matti Eklund - 1996 - Nordic Journal of Philosophical Logic 1 (2):147-67.
    Added by a category editor--not an official abstract. -/- Discusses the history (and reasons for the history) implicit in the title, as well as the author's view on same.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2014-03-27
    Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - 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 (13 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2014-03-12
    Aristotle’s Logic and the Quest for the Quantification of the Predicate.Bert Mosselmans - 2008 - Foundations of Science 13 (3-4):195-198.
    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.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. added 2013-10-26
    Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Springer Verlag.
    Acknowledgements Five out of the 13 contributions to this volume originate from papers which were presented at the international workshop on “Epistemology, Context, Formalism” held at the MSH-Lorraine in Nancy, France, on November the ...
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. added 2013-09-09
    Lesniewski's Systems of Logic and Foundations of Mathematics.Rafal Urbaniak - 2013 - Springer.
    With material on his early philosophical views, his contributions to set theory and his work on nominalism and higher-order quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. added 2013-09-09
    Stanisław Leśniewski's Collected Works.Stanisław Leśniewski, Surma, Srzednicki, Barnett & Rickey (eds.) - 1991 - Kluwer Academic Publishers.
  34. added 2013-05-31
    Pragmatics, Montague, and “Abstracts From Logical Form”.Joseph S. Fulda - 2008 - Journal of Pragmatics 40 (6):1146-1147.
    In "Abstracts from Logical Form I/II," it was stated in the abstract that it remained necessary to put the pilot experiments into a "comprehensive theory." It is suggested here that the comprehensive theory is nothing other than classical logic modestly extended to include higher-order predicates, functions, and epistemic predicates, as well as a quantitative quantifier to deal with cases other than "all" (taken literally) or "some" in the sense of at least one. It is further suggested that up to a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  35. added 2013-05-31
    Abstracts From Logic Form: An Experimental Study of the Nexus Between Language and Logic I.Joseph S. Fulda - 2006 - Journal of Pragmatics 38 (5):778-807.
  36. added 2013-05-31
    Abstracts From Logical Form: An Experimental Study of the Nexus Between Language and Logic II.Joseph S. Fulda - 2006 - Journal of Pragmatics 38 (6):925-943.
    This experimental study provides further support for a theory of meaning first put forward by Bar-Hillel and Carnap in 1953 and foreshadowed by Asimov in 1951. The theory is the Popperian notion that the meaningfulness of a proposition is its a priori falsity. We tested this theory in the first part of this paper by translating to logical form a long, tightly written, published text and computed the meaningfulness of each proposition using the a priori falsity measure. We then selected (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. added 2012-07-04
    Symbolic Logic.Irving M. Copi - 1954 - New York: Macmillan.
  38. added 2010-10-24
    On Concept and Object.Gottlob Frege, P. T. Geach & Max Black - 1951 - Mind 60 (238):168-180.
  39. added 2010-05-30
    Higher-Order Automated Theorem Proving.Michael Kohlhase - unknown
    The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the theory of αβη-equality into (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  40. added 2009-11-24
    The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem.Jan Woleński - 1998 - Erkenntnis 49 (3).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  41. added 2009-11-24
    The Logical Systems of Lesniewski.Eugene C. Luschei - 1962 - Amsterdam: North-Holland Pub. Co..
  42. added 2009-10-28
    On Quantifying Into Predicate Position: Steps Towards a New (Tralist) Perspective.Crispin Wright - 2007 - In Mary Leng, Alexander Paseau & Michael Potter (eds.), Mathematical Knowledge. Oxford University Press. pp. 150--74.
  43. added 2009-10-17
    Classical Logic II: Higher-Order Logic.Stewart Shapiro - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell. pp. 33--54.
  44. added 2009-05-17
    Sets, Properties, and Unrestricted Quantification.Øystein Linnebo - 2006 - In Gabriel Uzquiano & Agustin Rayo (eds.), Absolute Generality. Oxford University Press.
    Call a quantifier unrestricted if it ranges over absolutely all things: not just over all physical things or all things relevant to some particular utterance or discourse but over absolutely everything there is. Prima facie, unrestricted quantification seems to be perfectly coherent. For such quantification appears to be involved in a variety of claims that all normal human beings are capable of understanding. For instance, some basic logical and mathematical truths appear to involve unrestricted quantification, such as the truth that (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   8 citations