Results for 'higher set theory'

1000+ found
Order:
  1. Category Theory and Set Theory as Theories About Complementary Types of Universals.David P. Ellerman - 2017 - Logic and Logical Philosophy 26 (2):1-18.
    Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. From Traditional Set Theory – That of Cantor, Hilbert , Gödel, Cohen – to Its Necessary Quantum Extension.Edward G. Belaga - manuscript
    The original purpose of the present study, 2011, started with a preprint «On the Probable Failure of the Uncountable Power Set Axiom», 1988, is to save from the transfinite deadlock of higher set theory the jewel of mathematical Continuum — this genuine, even if mostly forgotten today raison d’être of all traditional set-theoretical enterprises to Infinity and beyond, from Georg Cantor to David Hilbert to Kurt Gödel to W. Hugh Woodin to Buzz Lightyear.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Arithmetic, Set Theory, Reduction and Explanation.William D’Alessandro - 2018 - Synthese 195 (11):5059-5089.
    Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. Retrieving the Mathematical Mission of the Continuum Concept From the Transfinitely Reductionist Debris of Cantor’s Paradise. Extended Abstract.Edward G. Belaga - forthcoming - International Journal of Pure and Applied Mathematics.
    What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Heisenberg Quantum Mechanics, Numeral Set-Theory And.Han Geurdes - manuscript
    In the paper we will employ set theory to study the formal aspects of quantum mechanics without explicitly making use of space-time. It is demonstrated that von Neuman and Zermelo numeral sets, previously efectively used in the explanation of Hardy’s paradox, follow a Heisenberg quantum form. Here monadic union plays the role of time derivative. The logical counterpart of monadic union plays the part of the Hamiltonian in the commutator. The use of numerals and monadic union in the classical (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  67
    Another Use of Set Theory.Patrick Dehornoy - 1996 - Bulletin of Symbolic Logic 2 (4):379-391.
    Here, we analyse some recent applications of set theory to topology and argue that set theory is not only the closed domain where mathematics is usually founded, but also a flexible framework where imperfect intuitions can be precisely formalized and technically elaborated before they possibly migrate toward other branches. This apparently new role is mostly reminiscent of the one played by other external fields like theoretical physics, and we think that it could contribute to revitalize the interest in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  47
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  92
    Defending the Axioms-On the Philosophical Foundations of Set Theory, Penelope Maddy. [REVIEW]Eduardo Castro - 2012 - Teorema: International Journal of Philosophy 31 (1):147-150.
    Review of Maddy, Penelope "Defending the Axioms".
    Download  
     
    Export citation  
     
    Bookmark  
  10. A Higher-Order Theory of Emotional Consciousness.Richard Brown & Joseph LeDoux - 2017 - Proceedings of the National Academy of Sciences of the United States of America.
    Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system in the brain. On this view, what differs in emotional and non-emotional states is the kind of inputs that are processed by a (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  11.  69
    Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory.Masanao Ozawa - 2016 - New Generation Computing 34 (1):125-152.
    The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality between two arbitrary observables, since the Born formula gives the probability distribution only for a commuting family of observables. In this paper, quantum set theory developed by Takeuti and the present author is used to systematically extend the standard probabilistic interpretation of quantum (...) to define the probability of equality between two arbitrary observables in an arbitrary state. We apply this new interpretation to quantum measurement theory, and establish a logical basis for the difference between simultaneous measurability and simultaneous determinateness. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  56
    Wittgenstein And Labyrinth Of ‘Actual Infinity’: The Critique Of Transfinite Set Theory.Valérie Lynn Therrien - 2012 - Ithaque 10:43-65.
    In order to explain Wittgenstein’s account of the reality of completed infinity in mathematics, a brief overview of Cantor’s initial injection of the idea into set- theory, its trajectory and the philosophic implications he attributed to it will be presented. Subsequently, we will first expound Wittgenstein’s grammatical critique of the use of the term ‘infinity’ in common parlance and its conversion into a notion of an actually existing infinite ‘set’. Secondly, we will delve into Wittgenstein’s technical critique of the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  64
    Cognitive Set Theory.Alec Rogers (ed.) - 2011 - ArborRhythms.
    Cognitive Set Theory is a mathematical model of cognition which equates sets with concepts, and uses mereological elements. It has a holistic emphasis, as opposed to a reductionistic emphasis, and it therefore begins with a single universe (as opposed to an infinite collection of infinitesimal points).
    Download  
     
    Export citation  
     
    Bookmark  
  14. ""Lambda Theory: Introduction of a Constant for" Nothing" Into Set Theory, a Model of Consistency and Most Noticeable Conclusions.Laurent Dubois - 2013 - Logique Et Analyse 56 (222):165-181.
    The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Set Theory, Topology, and the Possibility of Junky Worlds.Thomas Mormann - 2014 - Notre Dame Journal of Formal Logic 55 (1): 79 - 90.
    A possible world is a junky world if and only if each thing in it is a proper part. The possibility of junky worlds contradicts the principle of general fusion. Bohn (2009) argues for the possibility of junky worlds, Watson (2010) suggests that Bohn‘s arguments are flawed. This paper shows that the arguments of both authors leave much to be desired. First, relying on the classical results of Cantor, Zermelo, Fraenkel, and von Neumann, this paper proves the possibility of junky (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  17. On Whether the Higher-Order Thought Theory of Consciousness Entails Cognitive Phenomenology, Or: What is It Like to Think That One Thinks That P?Richard Brown & Pete Mandik - 2012 - Philosophical Topics 40 (2):1-12.
    Among our conscious states are conscious thoughts. The question at the center of the recent growing literature on cognitive phenomenology is this: In consciously thinking P, is there thereby any phenomenology—is there something it’s like? One way of clarifying the question is to say that it concerns whether there is any proprietary phenomenology associated with conscious thought. Is there any phenomenology due to thinking, as opposed to phenomenology that is due to some co-occurring sensation or mental image? In this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. A Taste of Set Theory for Philosophers.Jouko Väänänen - 2011 - Journal of the Indian Council of Philosophical Research (2):143-163.
    Download  
     
    Export citation  
     
    Bookmark  
  19. Relevance, Relatedness and Restricted Set Theory.Barry Smith - 1991 - In Georg Schurz & Georg Jakob Wilhelm Dorn (eds.), Advances in Scientific Philosophy. Amsterdam: Rodopi. pp. 45-56.
    Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  20.  34
    Indispensability Argument and Set Theory.Karlis Podnieks - 2008 - The Reasoner 2 (11):8--9.
    Most set theorists accept AC, and reject AD, i.e. for them, AC is true in the "world of sets", and AD is false. Applying to set theory the above-mentioned formalistic explanation of the existence of quarks, we could say: if, for a long time in the future, set theorists will continue their believing in AC, then one may think of a unique "world of sets" as existing in the same sense as quarks are believed to exist.
    Download  
     
    Export citation  
     
    Bookmark  
  21.  95
    Mereotopology: A Theory of Parts and Boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
    The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in (...)
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  22.  73
    A Theory of Names and True Intensionality.Reinhard Muskens - 2012 - In Maria Aloni, V. Kimmelman, Floris Roelofsen, G. Weidman Sassoon, Katrin Schulz & M. Westera (eds.), Logic, Language and Meaning: 18th Amsterdam Colloquium. Springer. pp. 441-449.
    Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Higher-Order Discrimination.Adrian M. S. Piper - 1990 - In Amelie O. Rorty & Owen Flanagan (eds.), Identity, Character and Morality. Cambridge, Mass: MIT Press. pp. 285-309.
    This discussion treats a set of familiar social derelictions as consequences of the perversion of a universalistic moral theory in the service of an ill-considered or insufficiently examined personal agenda.The set includes racism, sexism, anti-Semitism, homophobia, and class elitism, among other similar pathologies, under the general heading of discrimination. The perversion of moral theory from which these derelictions arise, I argue, involves restricting its scope of application to some preferred subgroup of the moral community of human beings. -/- (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. The Search for New Axioms in the Hyperuniverse Programme.Claudio Ternullo & Sy-David Friedman - 2016 - In Andrea Sereni & Francesca Boccuni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics. Berlin: Springer. pp. 165-188.
    The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  96
    Logical Combinatorialism.Andrew Bacon - forthcoming - Philosophical Review.
    In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the `book of the world'. In this paper I attempt to make good on this metaphor. In order to do this I introduce a modality that, put informally, stands to propositions as logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Set Theory.Charles C. Pinter - 1976 - Journal of Symbolic Logic 41 (2):548-549.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  24
    Independence and Ignorance: How Agnotology Informs Set-Theoretic Pluralism.Neil Barton - 2017 - Journal of Indian Council of Philosophical Research 34 (2):399-413.
    Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.
    Download  
     
    Export citation  
     
    Bookmark  
  28. Non-Classical Metatheory for Non-Classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  29. On the Self-Predicative Universals of Category Theory.David Ellerman - manuscript
    This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  50
    Higher-Order Knowledge and Sensitivity.Jens Christian Bjerring & Lars Bo Gundersen - forthcoming - Canadian Journal of Philosophy.
    It has recently been argued that a sensitivity theory of knowledge cannot ac- count for intuitively appealing instances of higher-order knowledge. In this paper, we argue that it can once careful attention is paid to the methods or processes by which we typically form higher-order beliefs. We base our argu- ment on what we take to be a well-motivated and commonsensical view on how higher-order knowledge is typically acquired, and we show how higher-order knowledge is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  23
    Somatoparaphrenia, Anosognosia, and Higher-Order Thoughts.Rocco J. Gennaro - 2015 - In Disturbed Consciousness: New Essays on Psychopathology and Theories of Consciousness. Cambridge, MA: MIT Press. pp. 55-74.
    Somatoparaphrenia is a pathology of self characterized by the sense of alienaton from parts of one’s body. It is usually construed as a kind of delusional disorder caused by extensive right hemisphere lesions. Lesions in the temporoparietal junction are common in somatoparaphrenia but deep cortical regions (for example, the posterior insula) and subcortical regions (for example, the basal ganglia) are also sometimes implicated (Valler and Ronschi 2009). Patients are often described as feeling that a limb belongs to another person and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Phenomenal Consciousness with Infallible Self-Representation.Chad Kidd - 2011 - Philosophical Studies 152 (3):361-383.
    In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  33. Phenomenal Judgment and the HOT Theory: Comments on David Rosenthal’s “Consciousness, Content, and Metacognitive Judgments”. [REVIEW]Katalin Balog - 2000 - Consciousness and Cognition 9 (2):215-219.
    In this commentary I criticize David Rosenthal’s higher order thought theory of consciousness . This is one of the best articulated philosophical accounts of consciousness available. The theory is, roughly, that a mental state is conscious in virtue of there being another mental state, namely, a thought to the effect that one is in the first state. I argue that this account is open to the objection that it makes “HOT-zombies” possible, i.e., creatures that token higher (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. The Metaphysics of Downward Causation: Rediscovering the Formal Cause.Mariusz Tabaczek - 2013 - Zygon 48 (2):380-404.
    The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Higher-Order Awareness, Misrepresentation, and Function.David Rosenthal - 2012 - Higher-Order Awareness, Misrepresentation and Function 367 (1594):1424-1438.
    Conscious mental states are states we are in some way aware of. I compare higher-order theories of consciousness, which explain consciousness by appeal to such higher-order awareness (HOA), and first-order theories, which do not, and I argue that higher-order theories have substantial explanatory advantages. The higher-order nature of our awareness of our conscious states suggests an analogy with the metacognition that figures in the regulation of psychological processes and behaviour. I argue that, although both consciousness and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  36.  24
    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 probability of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Against the Iterative Conception of Set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.
    According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. A Mathematical Theory of Truth and an Application to the Regress Problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
    In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. On a Theory of Truth and on the Regress Problem.S. Heikkilä - manuscript
    A theory of truth is introduced for a first--order language L of set theory. Fully interpreted metalanguages which contain their truth predicates are constructed for L. The presented theory is free from infinite regress, whence it provides a proper framework to study the regress problem. Only ZF set theory, concepts definable in L and classical two-valued logic are used.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Kant and Moral Motivation: The Value of Free Rational Willing.Jennifer K. Uleman - 2016 - In Iakovos Vasiliou (ed.), Moral Motivation (Oxford Philosophical Concepts). New York: Oxford University Press. pp. 202-226.
    Kant is the philosophical tradition's arch-anti-consequentialist – if anyone insists that intentions alone make an action what it is, it is Kant. This chapter takes up Kant's account of the relation between intention and action, aiming both to lay it out and to understand why it might appeal. The chapter first maps out the motivational architecture that Kant attributes to us. We have wills that are organized to action by two parallel and sometimes competing motivational systems. One determines us by (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  85
    1983 Review in Mathematical Reviews 83e:03005 Of: Cocchiarella, Nino “The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy: Bertrand Russell's Early Philosophy, Part I”. Synthese 45 (1980), No. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
    CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .
    Download  
     
    Export citation  
     
    Bookmark  
  42. Outer Vs. Inner Reverberations: Verbal Auditory Imagery and Meaning-Making in Literary Narrative.Anezka Kuzmicova - 2013 - Journal of Literary Theory 7 (1-2):111-134.
    It is generally acknowledged that verbal auditory imagery, the reader's sense of hearing the words on a page, matters in the silent reading of poetry. Verbal auditory imagery (VAI) in the silent reading of narrative prose, on the other hand, is mostly neglected by literary and other theorists. This is a first attempt to provide a systematic theoretical account of the felt qualities and underlying cognitive mechanics of narrative VAI, drawing on convergent evidence from the experimental cognitive sciences, psycholinguistic (...), and introspection. The central argument is that distinctions within the domain of embodied VAI also apply to higher-order meaning-making. That is, based on the imaginer's level of self-implication in their production, discrete types of VAI are associated with discrete tendencies in spontaneous literary interpretation. More generally, the aim of this paper is to isolate a new set of embodied experiences which, along with previously researched phenomena such as sensorimotor enactment or emotion, contribute to our understanding of literary narrative. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Mathematics and the Theory of Multiplicities: Badiou and Deleuze Revisited.Daniel W. Smith - 2003 - Southern Journal of Philosophy 41 (3):411-449.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  44. Expressing Set-Size Equality.John Corcoran & Gerald Rising - 2015 - Bulletin of Symbolic Logic 21 (2):239.
    The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45.  37
    Minimal Type Theory (YACC BNF).Pete Olcott - manuscript
    This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Quantum Mereotopology.Barry Smith & Berit O. Brogaard - 2002 - Annals of Mathematics and Artificial Intelligence 36 (1):153-175.
    Mereotopology faces problems when its methods are extended to deal with time and change. We offer a new solution to these problems, based on a theory of partitions of reality which allows us to simulate (and also to generalize) aspects of set theory within a mereotopological framework. This theory is extended to a theory of coarse- and fine-grained histories (or finite sequences of partitions evolving over time), drawing on machinery developed within the framework of the so-called (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  47. Presentational Character and Higher Order Thoughts.Joseph Gottlieb - 2015 - Journal of Consciousness Studies 22 (7-8):103-123.
    Experiences, by definition, have phenomenal character. But many experiences have a specific type of phenomenal character: presentational character. While both visual experience and conscious thought make us aware of their objects, only in visual experience do objects seem present before the mind and available for direct access. I argue that Higher-Order Thought (HOT) theories of consciousness have a particularly steep hill to climb in accommodating presentational character.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  57
    Paths to Triviality.Tore Fjetland Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  96
    Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s.Frederique Janssen-Lauret - 2018 - In Walter Carnielli, Frederique Janssen-Lauret & William Pickering (eds.), The Significance of the New Logic. Cambridge: Cambridge University Press.
    As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  80
    Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 1000