Results for 'Naive type theory'

977 found
Order:
  1. Naive cubical type theory.Bruno Bentzen - 2021 - Mathematical Structures in Computer Science 31:1205–1231.
    This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. 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   1 citation  
  3. Psychological Momentum: Intuitive Physics and Naive Beliefs.Keith Markman & Corey Guenther - 2007 - Personality and Social Psychology Bulletin 33 (6):800-812.
    The present research examines psychological momentum (PM), a perceived force that lay intuition suggests influences performance. PM theory is proposed to account for how momentum perceptions arise, and four studies demonstrate the influence of lay intuitions about PM on expectations regarding performance outcomes. Study 1 establishes that individuals share intuitions about the types of events that precipitate PM, and Study 2 finds that defeating a rival increases momentum perception. Study 3 provides evidence for the lay belief that as more (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s (...)-restrictions are unjustifiable, the type-restrictions imposed by STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6. Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Analyticity and Syntheticity in Type Theory Revisited.Bruno Bentzen - 2024 - Review of Symbolic Logic 17 (4).
    I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function (...) (x : B) → C, all judgments of these forms fail to be analytic and therefore end up as synthetic. Going beyond the scope of Martin-Löf's original distinction, I also argue that all hypothetical judgments are synthetic and show how the analytic-synthetic distinction reworked here is capable of accommodating judgments of the forms A type and A = B type as well. Finally, I consider and reject an alternative account of analyticity as decidability and assess Martin-Löf's position on the analytic grounding of synthetic judgments. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Minimal Type Theory (MTT).P. Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
    I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Style Types Theory and Practice in Linguistic Stylistics.William Hendricks - 1981 - Poetica, Interenational Journal Of 12 (1):45-59.
    Rather than an emphasis on style as unique to an author, this study argues for the notion of group styles. Three are proposed: tight, loose, and balanced. Examples of each type are illustrated.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Problems for Russellian Act-Type Theories.Arvid Båve - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Representationalism about Consciousness.Adam Pautz - 2020 - In Uriah Kriegel (ed.), The Oxford Handbook of the Philosophy of Consciousness. Oxford: Oxford University Press.
    Discusses recent work on representationalism, including: the case for a representationalist theory of consciousness, which explains consciousness in terms of content; rivals such as neurobiological type-type identity theory (Papineau, McLaughlin) and naive realism (Allen, Campbell, Brewer); John Campbell and David Papineau's recent objections to representationalism; the problem of the "laws of appearance"; externalist vs internalist versions of representationalism; the relation between representationalism and the mind-body problem.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  13. New Grounds for Naive Truth Theory.Stephen Yablo - 2003 - In J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox. Oxford, England: Oxford University Press UK. pp. 312-330.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  14. Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    To the memory of Prof. Grigori Mints, Stanford UniversityBorn: June 7, 1939, St. Petersburg, RussiaDied: May 29, 2014, Palo Alto, California.
    Download  
     
    Export citation  
     
    Bookmark  
  15. The Importance of Developing a Foundation for Naive Category Theory.Marcoen J. T. F. Cabbolet - 2015 - Thought: A Journal of Philosophy 4 (4):237-242.
    Recently Feferman has outlined a program for the development of a foundation for naive category theory. While Ernst has shown that the resulting axiomatic system is still inconsistent, the purpose of this note is to show that nevertheless some foundation has to be developed before naive category theory can replace axiomatic set theory as a foundational theory for mathematics. It is argued that in naive category theory currently a ‘cookbook recipe’ is used (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Provability with Minimal Type Theory.P. Olcott - manuscript
    Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Copredication in homotopy type theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Reforming indicated type theories.John Dilworth - 2005 - British Journal of Aesthetics 45 (1):11-31.
    There is some intuitive plausibility to the idea that composers create musical works by indicating sonic types in a historical context. But the idea is technically indefensible as it stands, requiring a thorough representational reform that also eliminates the type-theoretic commitments of current versions. On the reformed account, musical 'indication' is an operation of high level representational interpretation of concrete sounds, that can both explain the creativity of composers, and the often successful interpretations of their listeners. This approach also (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. Prospects for a Naive Theory of Classes.Hartry Field, Harvey Lederman & Tore Fjetland Øgaard - 2017 - Notre Dame Journal of Formal Logic 58 (4):461-506.
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but there are many ways to obtain consistent naive theories of properties in nonclassical logics. The naive theory of classes adds to the naive theory of properties an extensionality rule or axiom, which states roughly that if two classes (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  20. A Semantic Analysis of Russellian Simple Type Theory.Sten Lindström - 1986 - In Paul Needham & Jan Odelstad (eds.), Changing Positions: Essays Dedicated to Lars Lindahl. Uppsala: Department of Philosophy, Uppsala University.
    As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Some Highs and Lows of Hylomorphism: On a Paradox about Property Abstraction.Teresa Robertson Ishii & Nathan Salmón - 2020 - Philosophical Studies 177 (6):1549-1563.
    We defend hylomorphism against Maegan Fairchild’s purported proof of its inconsistency. We provide a deduction of a contradiction from SH+, which is the combination of “simple hylomorphism” and an innocuous premise. We show that the deduction, reminiscent of Russell’s Paradox, is proof-theoretically valid in classical higher-order logic and invokes an impredicatively defined property. We provide a proof that SH+ is nevertheless consistent in a free higher-order logic. It is shown that the unrestricted comprehension principle of property abstraction on which the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. A counter-example to theatrical type theories.John Dilworth - 2003 - Philosophia 31 (1-2):165-170.
    Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one in which a single play performance is actually a performance of two different plays. Hence type (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Naïve Realism and Sensorimotor Theory.Daniel S. H. Kim - 2024 - Synthese 204 (105):1-22.
    How can we have a sense of the presence of ordinary three-dimensional objects (e.g., an apple on my desk, a partially occluded cat behind a picket fence) when we are only presented with some parts of objects perceived from a particular egocentric viewpoint (e.g., the facing side of the apple, the unoccluded parts of the cat)? This paper presents and defends a novel answer to this question by incorporating insights from two prominent contemporary theories of perception, naïve realism and sensorimotor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Languages and Other Abstract Structures.Ryan Mark Nefdt - 2018 - In Martin Neef & Christina Behme (eds.), Essays on Linguistic Realism. Philadelphia: John Benjamins Publishing Company. pp. 139-184.
    My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.
    It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Review of Treatise on Intuitionistic Type Theory by Johan Georg Granström.Eric Schmid - manuscript
    Johan Georg Granström’s Treatise on Intuitionistic Type Theory represents a landmark contribution to our understanding of the philosophical foundations of Per Martin-Löf’s intuitionistic type theory (ITT). The work is particularly noteworthy for its careful exposition of how ITT emerges as a sophisticated codification of Brouwerian intuitionism while simultaneously advancing a distinctly Kantian program in the philosophy of mathematics. This philosophical grounding, drawing heavily on both Kantian and Husserlian phenomenology, offers valuable insights into the nature of mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Is our naïve theory of time dynamical?Andrew J. Latham, Kristie Miller & James Norton - 2021 - Synthese 198 (5):4251-4271.
    We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  29. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  31. Naïve Realism, Hallucination, and Causation: A New Response to the Screening Off Problem.Alex Moran - 2019 - Australasian Journal of Philosophy 97 (2):368-382.
    This paper sets out a novel response to the ‘screening off problem’ for naïve realism. The aim is to resist the claim (which many naïve realists accept) that the kind of experience involved in hallucinating also occurs during perception, by arguing that there are causal constraints that must be met if an hallucinatory experience is to occur that are never met in perceptual cases. Notably, given this response, it turns out that, contra current orthodoxy, naïve realists need not adopt any (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  32. Axiomatic Theories of Partial Ground II: Partial Ground and Hierarchies of Typed Truth.Johannes Korbmacher - 2018 - Journal of Philosophical Logic 47 (2):193-226.
    This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  33. What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. 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  
  35. Property theory: The Type-Free Approach v. the Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
    In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  36. Two types of qualia theory.Pär Sundström - 2014 - The Harvard Review of Philosophy 20:107-131.
    This paper distinguishes two types of qualia theory, which I call Galilean and non-Galilean qualia theories. It also offers considerations against each type of theory. To my mind the considerations are powerful. In any case, they bring out the importance of distinguishing the two types of theory. For they show that different considerations come into play—or considerations come into play in quite different ways—in assessing the two types of theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Types of the Theory of Types in Wittgenstein’s Tractatus.Andrei Nekhaev - 2021 - Tomsk State University Journal of Philosophy, Sociology and Political Science 15 (62):218–227.
    The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Recent Work on Naive Realism.James Genone - 2016 - American Philosophical Quarterly 53 (1).
    Naïve realism, often overlooked among philosophical theories of perception, has in recent years attracted a surge of interest. Broadly speaking, the central commitment of naïve realism is that mind-independent objects are essential to the fundamental analysis of perceptual experience. Since the claims of naïve realism concern the essential metaphysical structure of conscious perception, its truth or falsity is of central importance to a wide range of topics, including the explanation of semantic reference and representational content, the nature of phenomenal consciousness, (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  39. Reviving the naïve realist approach to memory.André Sant'Anna & Michael Barkasi - 2022 - Philosophy and the Mind Sciences 3.
    The viability of a naïve realist theory of memory was a lively debate for philosophers of mind in the first half of the twentieth century. More recently, though, naïve realism has been largely abandoned as a non-starter in the memory literature, with representationalism being the standard view held by philosophers of memory. But rather than being carefully argued, the dismissal of naïve realism is an assumption that sits at the back of much recent theorizing in the philosophy of memory. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Naïve Realism and Minimal Self.Daniel S. H. Kim - 2022 - Phenomenology and Mind 22 (22):150-159.
    This paper defends the idea that phenomenological approaches to self-consciousness can enrich the current analytic philosophy of perception, by showing how phenomenological discussions of minimal self-consciousness can enhance our understanding of the phenomenology of conscious perceptual experiences. As a case study, I investigate the nature of the relationship between naïve realism, a contemporary Anglophone theory of perception, and experiential minimalism (or, the ‘minimal self’ view), a pre-reflective model of self-consciousness originated in the Phenomenological tradition. I argue that naïve realism (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Naïve realism about unconscious perception.Paweł Jakub Zięba - 2019 - Synthese 196 (5):2045-2073.
    Recently, it has been objected that naïve realism is inconsistent with an empirically well-supported claim that mental states of the same fundamental kind as ordinary conscious seeing can occur unconsciously (SFK). The main aim of this paper is to establish the following conditional claim: if SFK turns out to be true, the naïve realist can and should accommodate it into her theory. Regarding the antecedent of this conditional, I suggest that empirical evidence renders SFK plausible but not obvious. For (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  42. Naive Russellians and Schiffer’s Puzzle.Stefan Rinner - 2020 - Erkenntnis 87 (2):787-806.
    Neo-Russellians like Salmon and Braun hold that: the semantic contents of sentences are structured propositions whose basic components are objects and properties, names are directly referential terms, and a sentence of the form ‘n believes that S’ is true in a context c iff the referent of the name n in c believes the proposition expressed by S in c. This is sometimes referred to as ‘the Naive Russellian theory’. In this talk, I will discuss the Naive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Is Margaret Cavendish a naïve realist?Daniel Whiting - 2024 - European Journal of Philosophy 32 (2):321-341.
    Perception plays a central and wide‐ranging role in the philosophy of Margaret Cavendish. In this paper, I argue that Cavendish holds a naïve realist theory of perception. The case draws on what Cavendish has to say about perceptual presentation, the role of sympathy in experience, the natures of hallucination and of illusion, and the individuation of kinds. While Cavendish takes perception to have representational content, I explain how this is consistent with naïve realism. In closing, I address challenges to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Naive Realism and the Science of Consciousness (2018).Adam Pautz - manuscript
    I begin by describing what I call simple naïve realism. Then I describe relevant empirical results. Next, I develop two new empirical arguments against simple naive realism. Then I briefly look at two new, more complex forms of naïve realism: one due to Keith Allen and the other due to Heather Logue and Ori Beck. I argue that they are not satisfactory retreats for naive realists. The right course is to reject naive realism altogether. My stalking horse (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  45. Our Naïve Representation of Time and of the Open Future.Batoul Hodroj, Andrew J. Latham & Kristie Miller - forthcoming - Dialectica.
    It’s generally thought that we naively or pre-theoretically represent the future to be open. While philosophers have modelled future openness in different ways, it’s unclear which, if any, captures our naïve sense that the future is open. In this paper we focus on just one way the future might count as being open: by being nomically open, and empirically investigate whether our naïve representation of the future as open is partly constituted by representing the future as nomically open. We also (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Naive Realism v Representationalism: An Argument from Science.Adam Pautz - 2007 - In Brian P. McLaughlin & Jonathan Cohen (eds.), Contemporary Debates in Philosophy of Mind. Wiley-Blackwell.
    This paper elaborates on an argument in my book *Perception*. It has two parts. In the first part, I argue against what I call "basic" naive realism, on the grounds that it fails to accommodate what I call "internal dependence" and it requires an empirically implausible theory of sensible properties. Then I turn Craig French and Ian Phillips’ modified naïve realism as set out in their recent paper "Austerity and Illusion". It accommodates internal dependence. But it may retain (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. A Single-Type Semantics for Natural Language.Kristina Liefke - 2014 - Dissertation, Tilburg University
    Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important open questions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Husserl’s and Cassirer’s Naïve Historico-Cultural Progressivism as Viewed Through a Radical Reworking of Köhler’s Value Theory.Panos Theodorou - 2022 - In Elio Antonucci, Thiemo Breyer & Marco Cavallaro (eds.), Perspectives on the philosophy of culture. Husserl and Cassirer. Darmstadt, Germania: Wbg Academic.
    Husserl and Cassirer stand, according to their own self-understanding, as key 20th century figures in the cultivation of Enlightenment’s principles and views on humanity, culture, and history. In a word, they both understand European culture and history as a story of progress (§ 1). As I see it, central in a culture and its dynamics is its system of values, and a grounded understanding of the issue of progress presupposes an adequate theory of the standing or constitution as well (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Naive physics.Barry Smith & Roberto Casati - 1994 - Philosophical Psychology 7 (2):227 – 247.
    The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  50. A Critique Of Type Identity Theory.Tsz Ha Clarence Chen Chen - forthcoming - The Schola.
    Type identity theory was dismissed in 1967 by many philosophers due to Hilary Putnam’s multiple realisability objection seeming fatal. This paper delves into a critique of type identity theory, thereby paving the way for introducing an alternative theory of mind: emergentism. The longstanding philosophical discourse around the mind has been dominated by the binary opposition of classical physicalist and dualist theories. However, the impact of scientific discovery on contemporary thought has sparked an increasing inclination towards (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 977