Results for 'Homotopy type theory'

Order:
  1.  17
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  24
    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   2 citations  
  4. Univalent Foundations as a Foundation for Mathematical Practice.Harry Crane - 2018
    I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Categorical Harmony and Path Induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
    This paper responds to recent work in the philosophy of Homotopy Type Theory by James Ladyman and Stuart Presnell. They consider one of the rules for identity, path induction, and justify it along ‘pre-mathematical’ lines. I give an alternate justification based on the philosophical framework of inferentialism. Accordingly, I construct a notion of harmony that allows the inferentialist to say when a connective or concept is meaning-bearing and this conception unifies most of the prominent conceptions of harmony (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Logic of Probability and Conjecture.Harry Crane - unknown
    I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Minimal Type Theory (MTT).Pete 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  
  8.  86
    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  
  9. Cognitivism About Epistemic Modality.Hasen Khudairi - manuscript
    This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for intensional, computational properties. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  88
    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  
  11. Provability with Minimal Type Theory.Pete 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  
  12.  87
    Univalent Foundations and the UniMath Library.Anthony Bordg - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Springer Verlag.
    We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14.  69
    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   3 citations  
  15. 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  
  16. 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   11 citations  
  17. 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   5 citations  
  18. 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  
  19.  47
    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 on the Occassion of His Fiftieth Birthday. Uppsala:
    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  
  20.  34
    A Path to the Epistemology of Mathematics: Homotopy Theory.Jean-Pierre Marquis - 2006 - In Jeremy Gray & Jose Ferreiros (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford University Press. pp. 239--260.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  21. Rethinking Quasispecies Theory: From Fittest Type to Cooperative Consortia.Luis Villarreal & Guenther Witzany - 2013 - World Journal of Biological Chemistry 4:79-90.
    Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  22. 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  
  23. Cell Types as Natural Kinds.Matthew H. Slater - 2013 - Biological Theory 7 (2):170-179.
    Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. 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  
  25. A Refutation of Goodman's Type‐Token Theory of Notation.John Dilworth - 2003 - Dialectica 57 (3):330-336.
    In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  26. A Type-Theoretical Approach for Ontologies: The Case of Roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied Ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Types of Dialogue, Dialectical Relevance and Textual Congruity.Douglas Walton & Fabrizio Macagno - 2007 - Anthropology and Philosophy 8 (1-2):101-120.
    Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  28. Fine-Grained Type-Free Intensionality.George Bealer - 1989 - In Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.), Properties, Types, and Meaning, Volume 1. Kluwer Academic Publishers. pp. 177-230.
    Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Type-Identity Conditions for Phenomenal Properties.Simone Gozzano - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspective on Type Identity. The Mental and the Physical. Cambridge University Press. pp. 111-126.
    In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Are All Types of Morality Compromised in Psychopathy.Andrea Glenn, R. Lyer, J. Graham, S. Koleva & Jonathan Haidt - 2009 - Journal of Personality Disorders 23:384–398.
    A long-standing puzzle for moral philosophers and psychologists alike is the concept of psychopathy, a personality disorder marked by tendencies to defy moral norms despite cognitive knowledge about right and wrong. Previously, discussions of the moral deficits of psychopathy have focused on willingness to harm and cheat others as well as reasoning about rule-based transgressions. Yet recent research in moral psychology has begun to more clearly define the domains of morality, en- compassing issues of harm, fairness, loyalty, authority, and spiritual (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  31. Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
    We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Meanings of Word: Type-Occurrence-Token.John Corcoran - 2005 - Bulletin of Symbolic Logic 11 (1):117.
    Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Dirac-Type Equations in a Gravitational Field, with Vector Wave Function.Mayeul Arminjon - 2008 - Foundations of Physics 38 (11):1020-1045.
    An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. A Theory of Bayesian Groups.Franz Dietrich - 2019 - Noûs 53 (3):708-736.
    A group is often construed as one agent with its own probabilistic beliefs (credences), which are obtained by aggregating those of the individuals, for instance through averaging. In their celebrated “Groupthink”, Russell et al. (2015) require group credences to undergo Bayesian revision whenever new information is learnt, i.e., whenever individual credences undergo Bayesian revision based on this information. To obtain a fully Bayesian group, one should often extend this requirement to non-public or even private information (learnt by not all or (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  35. A Modal Theory of Function.Bence Nanay - 2010 - Journal of Philosophy 107 (8):412-431.
    The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  36. Moral Theory and Moral Alienation.Adrian M. S. Piper - 1987 - Journal of Philosophy 84 (2):102-118.
    Most moral theories share certain features in common with other theories. They consist of a set of propositions that are universal, general, and hence impartial. The propositions that constitute a typical moral theory are (1) universal, in that they apply to all subjects designated as within their scope. They are (2) general, in that they include no proper names or definite descriptions. They are therefore (3) impartial, in that they accord no special privilege to any particular agent's situation which (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  37.  83
    Why Did Frege Reject the Theory of Types?Wim Vanrie - 2020 - British Journal for the History of Philosophy:1-20.
    I investigate why Frege rejected the theory of types, as Russell presented it to him in their correspondence. Frege claims that it commits one to violations of the law of excluded middle, but this complaint seems to rest on a dogmatic refusal to take Russell’s proposal seriously on its own terms. What is at stake is not so much the truth of a law of logic, but the structure of the hierarchy of the logical categories, something Frege seems to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. A Theory of Epistemic Supererogation.Han Li - 2018 - Erkenntnis 83 (2):349-367.
    Though there is a wide and varied literature on ethical supererogation, there has been almost nothing written about its epistemic counterpart, despite an intuitive analogy between the two fields. This paper seeks to change this state of affairs. I will begin by showing that there are examples which intuitively feature epistemically supererogatory doxastic states. Next, I will present a positive theory of epistemic supererogation that can vindicate our intuitions in these examples, in an explanation that parallels a popular (...) of ethical supererogation. Roughly, I will argue that a specific type of epistemic virtue—the ability to creatively think up plausible hypotheses given a body of evidence—is not required of epistemic agents. Thus, certain exercises of this virtue can result in supererogatory doxastic states. In presenting this theory, I will also show how thinking about epistemic supererogation can provide us a new way forward in the debate about the uniqueness thesis for epistemic rationality. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Property Theories.George Bealer & Uwe Monnich - 2003 - In Dov Gabbay & Frans Guenthner (eds.), Handbook of Philosophical Logic, Volume 10. Kluwer Academic Publishers. pp. 143-248.
    Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  40. On the Type/Token Relation of Mental Representations.Murat Aydede - 2000 - Facta Philosophica 2 (1):23-50.
    According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  41. Property Theories.George Bealer & Uwe Mönnich - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer Academic Publishers. pp. 133-251.
    Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  42. The Theory of Value of Christian von Ehrenfels.Barry Smith - 1986 - In R. Fabian (ed.), Christian von Ehrenfels: Leben und Werk. Amsterdam: Rodopi. pp. 150-171.
    Christian von Ehrenfels was a student of both Franz Brentano and Carl Menger and his thinking on value theory was inspired both by Brentano’s descriptive psychology and by the subjective theory of economic value advanced by Menger, the founder of the Austrian school of economics. Value, for Ehrenfels, is a function of desire, and we ascribe value to those things which we either do in fact desire, or would desire if we were not convinced of their existence. He (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43.  93
    On the Type-Token Relationships.Urszula Wybraniec-Skardowska - 1986 - Bulletin of the Section of Logic 15 (4):164-168.
    The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
    Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. The Theory of the Organism-Environment System: IV. The Problem of Mental Activity and Consciousness.Timo Jarvilehto - 2000 - Integrative Physiological and Behavioral Science 35 (1):35-57.
    The present article is an attempt to bring together the development of mental activity and consciousness in the framework of the organism-environment theory (Jarvilehto, 1998a, 1998b, 1999); the main question is how the development of mental activity and consciousness can be formulated if the starting point is not the separation of man and environment as in traditional cognitive psychology, but a unitary organism-environment system. According to the present formulation, mental activity is conceived as activity of the whole organism-environment system (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Chrysippus' Theory of Causes.Susanne Bobzien - 1999 - In Katerina Ierodiakonou (ed.), Topics in Stoic Philosophy. Oxford University Press.
    ABSTRACT: A systematic reconstruction of Chrysippus’ theory of causes, grounded on the Stoic tenets that causes are bodies, that they are relative, and that all causation can ultimately be traced back to the one ‘active principle’ which pervades all things. I argue that Chrysippus neither developed a finished taxonomy of causes, nor intended to do so, and that he did not have a set of technical terms for mutually exclusive classes of causes. Rather, the various adjectives which he used (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  47. Success-First Decision Theories.Preston Greene - 2018 - In Arif Ahmed (ed.), Newcomb's Problem. Cambridge University Press. pp. 115–137.
    The standard formulation of Newcomb's problem compares evidential and causal conceptions of expected utility, with those maximizing evidential expected utility tending to end up far richer. Thus, in a world in which agents face Newcomb problems, the evidential decision theorist might ask the causal decision theorist: "if you're so smart, why ain’cha rich?” Ultimately, however, the expected riches of evidential decision theorists in Newcomb problems do not vindicate their theory, because their success does not generalize. Consider a theory (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Naturalistic Theories of Life After Death.Eric Steinhart - 2015 - Philosophy Compass 10 (2):145-158.
    After rejecting substance dualism, some naturalists embrace patternism. It states that persons are bodies and that bodies are material machines running abstract person programs. Following Aristotle, these person programs are souls. Patternists adopt four-dimensionalist theories of persistence: Bodies are 3D stages of 4D lives. Patternism permits at least six types of life after death. It permits quantum immortality, teleportation, salvation through advanced technology, promotion out of a simulated reality, computational monadology, and the revision theory of resurrection.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Do We Really Need a Knowledge-Based Decision Theory?Davide Fassio & Jie Gao - forthcoming - Synthese:1-29.
    The paper investigates what type of motivation can be given for adopting a knowledge-based decision theory (hereafter, KBDT). KBDT seems to have several advantages over competing theories of rationality. It is commonly argued that this theory would naturally fit with the intuitive idea that being rational is doing what we take to be best given what we know, an idea often supported by appeal to ordinary folk appraisals. Moreover, KBDT seems to strike a perfect balance between the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Natural Name Theory and Linguistic Kinds.J. T. M. Miller - 2019 - Journal of Philosophy 116 (9):494-508.
    The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  51. Nothing found.