Related

Contents
127 found
Order:
1 — 50 / 127
  1. Against Second-Order Primitivism.Bryan Pickel - forthcoming - In Fritz Peter & Jones Nicholas (eds.), Higher-Order Metaphysics. OUP.
    In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Themes From Barcan Marcus.Timothy Williamson - forthcoming - Lauener Library of Analytical Philosophy, Vol. 3.
  3. Back to Earth! A comparative study between Husserl's and Deleuze's cosmologies.Alain Beaulieu - 2022 - In Christine Daigle & Terrance H. McDonald (eds.), From Deleuze and Guattari to Posthumanism: Philosophies of Immanence. Bloomsbury Academic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. On the algebraization of Henkin‐type second‐order logic.Miklós Ferenczi - 2022 - Mathematical Logic Quarterly 68 (2):149-158.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals.Miika Hannula & Jonni Virtema - 2022 - Annals of Pure and Applied Logic 173 (10):103108.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. On the twofoldness of human beings : Husserl's "reply" to Heidegger's critical remarks.Sara Heinämaa - 2022 - In Ingo Farin & Jeff Malpas (eds.), Heidegger and the Human. State University of New York Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. Being human and being open : Heidegger's radicalization of the transcendental after Husserl.Niall Keane - 2022 - In Ingo Farin & Jeff Malpas (eds.), Heidegger and the Human. State University of New York Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Two-sorted Frege Arithmetic is not Conservative.Stephen Mackereth & Jeremy Avigad - 2022 - Review of Symbolic Logic:1-34.
    Neo-Fregean logicists claim that Hume's Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A longstanding problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck's Two-sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it isn't. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9. Scoprire Dio Con Husserl.Michele Marchetto - 2022
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. The First Lady of German Philosophy: Husserl’s Rebellious Student Hedwig Conrad-Martius. [REVIEW]James McLachlan - 2022 - Eidos. A Journal for Philosophy of Culture 6 (1):122-125.
    Preview:/Review: James G. Hart, Hedwig Conrad-Martius’ Ontological Phenomenology, ed. Rodney K.B Parker, 284 pages./ James Hart is an important phenomenological scholar and thinker who is the author of several books and many articles on Husserl, Husserl’s Utopian Poetics, and the phenomenological movement. This book is Hart’s dissertation written at the University of Chicago between 1969 and 1972. The book has an appendix of the opening sections of Conrad-Martius’s Metaphysics of the Earthly translated by Rodney Parker, who encouraged Hart to publish (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11. La Prospettiva Del Tempo: L'Idealismo Fenomenologico di Husserl Come Autoesplicitazione Della Soggettività Trascendentale.Filippo Nobili - 2022
  12. Fronteras táctiles. Perspectivas en torno a la mano y el tacto en elaboraciones de Husserl, Heidegger y Derrida.Luis Fernando Butierrez - 2021 - Revista de Filosofía 46 (2):333-353.
    En el presente artículo proponemos un abordaje de los análisis en torno al tacto y la mano en trabajos fundamentales de Husserl y Heidegger, en un diálogo con el análisis respectivos de J. Derrida. Por la vía de una lectura que reconoce continuidades y despliegues, buscaremos demostrar que las elaboraciones prácticas del tocar desarrolladas por Derrida articulan una comprensión en cierta continuidad con aquellas elaboraciones tradicionales, en el marco de una lectura singular de los textos respectivos.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Husserl and Spatiality: A Phenomenological Ethnography of Space.Tao Dufour - 2021 - Routledge.
    Introduction : Spatial description -- Phenomenon and method -- Corporeity and spatiality -- Space and the other -- A phenomenological ethnography of space -- Epilogue : Umweltlichkeit.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Analoga and Phantasmata: On the Intuitiveness of Imagination in Husserl and Sartre.Alain Flajoliet - 2021 - Research in Phenomenology 51 (2):221-245.
    In this essay, I study the departure performed in The Imaginary from the Husserlian position spanning from the Logical Investigations and the 1904/1905 lectures on the imagination. In Sartre’s conception, the imagination in its two forms is never intuitive. Moreover, in an act of imagination we can never find immanent sensible contents. In Husserl, the imagination in its two forms, is a sensible intuition, like perception. Furthermore, every act of imagination apprehends immanent sensible contents.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
    Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16. Arithmetic is Determinate.Zachary Goodsell - 2021 - Journal of Philosophical Logic 51 (1):127-150.
    Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. The Innocence of Truth in Semantic Paradox.Eric Guindon - 2021 - Erkenntnis 86 (1):71-93.
    According to some philosophers, the Liar paradox arises because of a mistaken theory of truth. Its lesson is that we must reject some instances of the naive propositional truth-schema \It is true that \ if and only if \\. In this paper, I construct a novel semantic paradox in which no principle even analogous to the truth-schema plays any role. I argue that this undermines the claim that we ought to respond to the Liar by revising our theory of truth.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Categoricity by convention.Julien Murzi & Brett Topey - 2021 - Philosophical Studies 178 (10):3391-3420.
    On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19. Patočka’s asubjective phenomenology as latent possibility of Husserl’s Logical Investigations.Riccardo Paparusso - 2021 - Studies in East European Thought 73 (3):347-365.
    This article explores Jan Patočka’s notion of “asubjective phenomenology,” which the Czech philosopher elaborated in the mature phase of his thought. More specifically, it proposes to analyze that notion in light of Patočka’s interpretation of Edmund Husserl’s Logical Investigations, in which he identifies the original, though implicit, possibility of a phenomenology independent of a subjective foundation. In the first part of the paper, the author offers an interpretation of Husserls’ concept of “theory in general” as the original model of the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. On Globes, the Earth and the Cybernetics of Grace.Claudia Westermann - 2021 - Technoetic Arts 19 (1):29-47.
    The article presents an enquiry into conceptions of ‘global’ that began at the American Society for Cybernetics 2020 Global Conversation conference. Following the traces of Margaret Mead’s statement that emphasized that the first photographic images of the Earth from space presented notions of fragility, the article contextualizes the recent critique of the dominant representation of the Earth as a globe that emerged in conjunction with the discourse on the Anthropocene. It analyses the globe as an image and the sentiments that (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Alfred Schütz, “O Problema da Intersubjetividade Transcendental em Husserl”.Tomas da Costa - 2020 - Philosophica: International Journal for the History of Philosophy 28 (55-56):275-305.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. A Patch to the Possibility Part of Gödel’s Ontological Proof.Johan E. Gustafsson - 2020 - Analysis 80 (2):229-240.
    Kurt Gödel’s version of the Ontological Proof derives rather than assumes the crucial Possibility Claim: the claim that it is possible that something God-like exists. Gödel’s derivation starts off with a proof of the Possible Instantiation of the Positive: the principle that, if a property is positive, it is possible that there exists something that has that property. I argue that Gödel’s proof of this principle relies on some implausible axiological assumptions but it can be patched so that it only (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. The proper treatment of identity in dialetheic metaphysics.Nicholas K. Jones - 2020 - The Philosophical Quarterly 70 (278):65-92.
    According to one prominent strand of mainstream logic and metaphysics, identity is indistinguishability. Priest has recently argued that this permits counterexamples to the transitivity and substitutivity of identity within dialetheic metaphysics, even in paradigmatically extensional contexts. This paper investigates two alternative regimentations of indistinguishability. Although classically equivalent to the standard regimentation on which Priest focuses, these alternatives are strictly stronger than it in dialetheic settings. Both regimentations are transitive, and one satisfies substitutivity. It is argued that both regimentations provide better (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26. A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27. A Poetics of Designing.Claudia Westermann - 2019 - In Thomas Fischer & Christiane M. Herr (eds.), Design Cybernetics: Navigating the New. Basel, Switzerland: Springer. pp. 233-245.
    The chapter provides an overview on what it means to be in a world that is uncertain, e.g., how under conditions of limited understanding any activity is an activity that designs and constructs, and how designing objects, spaces, and situations relates to the (designed) meta-world of second-order cybernetics. Designers require a framework that is open, but one that supplies ethical guidance when ‘constructing’ something new. Relating second-order design thinking to insights in philosophy and aesthetics, the chapter argues that second-order cybernetics (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Husserl and Levinas.João Carvalho - 2018 - Philosophica: International Journal for the History of Philosophy 26 (51):115-126.
    This paper presents two different, although related, approaches to the problem of the experience of the other person: E. Husserl’s phenomenology of intersubjectivity and E. Levinas’ ethics. I begin by addressing the transcendental significance of the experience of intersubjectivity in the broader context of Husserl’s transcendental phenomenology. I then turn to Husserl’s solution to the paradox of constituting the alter ego, identifying and elucidating the key‑concepts of his inquiry. I hold that throughout his analysis there is a dominant underlying meaning (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Logicism, Ontology, and the Epistemology of Second-Order Logic.Richard Kimberly Heck - 2018 - In Ivette Fred Rivera & Jessica Leech (eds.), Being Necessary: Themes of Ontology and Modality from the Work of Bob Hale. Oxford: Oxford University Press. pp. 140-169.
    In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. On delight: Thoughts for tomorrow.Claudia Westermann - 2018 - Technoetic Arts 16 (1):43-51.
    The article introduces the problematics of the classical two-valued logic on which Western thought is generally based, outlining that under the conditions of its logical assumptions the subject I is situated in a world that it cannot address. In this context, the article outlines a short history of cybernetics and the shift from first- to second-order cybernetics. The basic principles of Gordon Pask’s 1976 Conversation Theory are introduced. It is argued that this second-order theory grants agency to others through a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31. What Russell Should Have Said to Burali–Forti.Salvatore Florio & Graham Leach-Krouse - 2017 - Review of Symbolic Logic 10 (4):682-718.
    The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Second-Order Modal Logic.Andrew Parisi - 2017 - Dissertation, University of Connecticut
    This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Structure and Categoricity: Determinacy of Reference and Truth Value in the Philosophy of Mathematics.Tim Button & Sean Walsh - 2016 - Philosophia Mathematica 24 (3):283-307.
    This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34. Plurals and modals.Øystein Linnebo - 2016 - Canadian Journal of Philosophy 46 (4-5):654-676.
    Consider one of several things. Is the one thing necessarily one of the several? This key question in the modal logic of plurals is clarified. Some defenses of an affirmative answer are developed and compared. Various remarks are made about the broader philosophical significance of the question.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  35. Being Something: Properties and Predicative Quantification.Michael Rieppel - 2016 - Mind 125 (499):643-689.
    If I say that Alice is everything Oscar hopes to be, I seem to be quantifying over properties. That suggestion faces an immediate difficulty, however: though Alice may be wise, she surely is not the property of being wise. This problem can be framed in terms of a substitution failure: if a predicate like ‘happy’ denoted a property, we would expect pairs like ‘Oscar is happy’ and ‘Oscar is the property of being happy’ to be equivalent, which they clearly are (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  36. Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin (eds.), Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Berlin/Heidelberg: Springer Verlag, 2016), 278 pp. [REVIEW]Kristina Šekrst - 2016 - Prolegomena 15 (2):220-223.
    Review of Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin, Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium, 278 pp.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Reply to Fritz.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):610-612.
  38. Reply to Goodman.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):640-653.
  39. Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.
    Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
    Boolos has suggested a plural interpretation of second-order logic for two purposes: to escape Quine’s allegation that second-order logic is set theory in disguise, and to avoid the paradoxes arising if the second-order variables are given a set-theoretic interpretation in second-order set theory. Since the plural interpretation accounts only for monadic second-order logic, Rayo and Yablo suggest an new interpretation for polyadic second-order logic in a Boolosian spirit. The present paper argues that Rayo and Yablo’s interpretation does not achieve the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Barcan Formulas in Second-Order Modal Logic.Timothy Williamson - 2015 - In Michael Frauchiger (ed.), Themes From Barcan Marcus. Ontos Verlag. pp. 51-74.
    Second-order logic and modal logic are both, separately, major topics of philosophical discussion. Although both have been criticized by Quine and others, increasingly many philosophers find their strictures uncompelling, and regard both branches of logic as valuable resources for the articulation and investigation of significant issues in logical metaphysics and elsewhere. One might therefore expect some combination of the two sorts of logic to constitute a natural and more comprehensive background logic for metaphysics. So it is somewhat surprising to find (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  42. Second-Order Arithmetic Sans Sets.L. Berk - 2013 - 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 (8 more)  
     
    Export citation  
     
    Bookmark  
  43. Modalising Plurals.Simon Thomas Hewitt - 2012 - Journal of Philosophical Logic 41 (5):853-875.
    There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  44. Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
    We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest conflict with each (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  45. A Logic for Frege's Theorem.Richard Heck - 2011 - In Frege’s Theorem: An Introduction. Oxford University Press.
    It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  46. Resonances of the Unknown.Claudia Westermann - 2011 - Kybernetes 40 (7/8):1189-1195.
    Purpose – The purpose of this paper is to discuss the relevance of second-order cybernetics for a theory of architectural design and related discourse. -/- Design/methodology/approach – First, the relation of architectural design to the concept of “poiesis” is clarified. Subsequently, selected findings of Gotthard Günther are revisited and related to an architectural poetics. The last part of the paper consists of revisiting ideas mentioned previously, however, on the level of a discourse that has incorporated the ideas and offers a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. A Defense of Second-Order Logic.Otávio Bueno - 2010 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  48. The Reality of Mathematics and the Case of Set Theory.Daniel Isaacson - 2010 - In Zsolt Novak & Andras Simonyi (eds.), Truth, Reference and Realism. Budapest: Central European University Press. pp. 1-76.
  49. Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.
    Large databases of linguistic annotations are used for testing linguistic hypotheses and for training language processing models. These linguistic annotations are often syntactic or prosodic in nature, and have a hierarchical structure. Query languages are used to select particular structures of interest, or to project out large slices of a corpus for external analysis. Existing languages suffer from a variety of problems in the areas of expressiveness, efficiency, and naturalness for linguistic query. We describe the domain of linguistic trees and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
    Pure second-order logic is second-order logic without functional or first-order variables. In "Pure Second-Order Logic," Denyer shows that pure second-order logic is compact and that its notion of logical truth is decidable. However, his argument does not extend to pure second-order logic with second-order identity. We give a more general argument, based on elimination of quantifiers, which shows that any formula of pure second-order logic with second-order identity is equivalent to a member of a circumscribed class of formulas. As a (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 127