Results for 'Dependent type theory'

1000+ found
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 strict (...)
    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 and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. 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  
  5.  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  
  6. 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  
  7.  42
    The Problem of State-Dependent Utility: A Reappraisal.Jean Baccelli - 2021 - British Journal for the Philosophy of Science 72 (2):617-634.
    State-dependent utility is a problem for the behavioural branch of decision theory under uncertainty. It questions the very possibility that beliefs be revealed by choice data. According to the current literature, all models of beliefs are equally exposed to the problem. Moreover, the problem is solvable only when the decision-maker can influence the resolution of uncertainty. This article gives grounds to reject these two views. The various models of beliefs can be shown to be unequally exposed to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. How to Learn From Theory-Dependent Evidence; or Commutativity and Holism: A Solution for Conditionalizers.J. Dmitri Gallow - 2014 - British Journal for the Philosophy of Science 65 (3):493-519.
    Weisberg ([2009]) provides an argument that neither conditionalization nor Jeffrey conditionalization is capable of accommodating the holist’s claim that beliefs acquired directly from experience can suffer undercutting defeat. I diagnose this failure as stemming from the fact that neither conditionalization nor Jeffrey conditionalization give any advice about how to rationally respond to theory-dependent evidence, and I propose a novel updating procedure that does tell us how to respond to evidence like this. This holistic updating rule yields conditionalization as (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9. 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  
  10. Response-Dependent Responsibility; or, A Funny Thing Happened on the Way to Blame.David Shoemaker - 2017 - Philosophical Review 126 (4):481-527.
    This essay attempts to provide and defend what may be the first actual argument in support of P. F. Strawson's merely stated vision of a response-dependent theory of moral responsibility. It does so by way of an extended analogy with the funny. In part 1, it makes the easier and less controversial case for response-dependence about the funny. In part 2, it shows the tight analogy between anger and amusement in developing the harder and more controversial case for (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  11.  55
    On Shoemaker's Response‐Dependent Theory of Responsibility.Sybren Heyndels & Benjamin De Mesel - 2018 - Dialectica 72 (3):445-451.
    David Shoemaker has recently defended a response-dependent view of moral responsibility. We critically discuss some aspects of Shoemaker's view.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  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  
  13. 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  
  14. Object-Dependent Thoughts.Sean Crawford - 2005 - In Keith Brown (ed.), The Encyclopaedia of Language and Linguistics, 2nd ed. Elsevier.
    The theory of object-dependent singular thought is outlined and the central motivation for it, turning on the connection between thought content and truth conditions, is discussed. Some of its consequences for the epistemology of thought are noted and connections are drawn to the general doctrine of externalism about thought content. Some of the main criticisms of the object-dependent view of singular thought are outlined. Rival conceptions of singular thought are also sketched and their problems noted.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Context-Dependent Utilities.Haim Gaifman & Yang Liu - 2015 - In Wiebe Van Der Hoek, Wesley H. Holliday & Wen Fang Wang (eds.), Logic, Rationality, and Interaction. Springer. pp. 90-101.
    Savage's framework of subjective preference among acts provides a paradigmatic derivation of rational subjective probabilities within a more general theory of rational decisions. The system is based on a set of possible states of the world, and on acts, which are functions that assign to each state a consequence€. The representation theorem states that the given preference between acts is determined by their expected utilities, based on uniquely determined probabilities (assigned to sets of states), and numeric utilities assigned to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. Time-Dependent Symmetries: The Link Between Gauge Symmetries and Indeterminism.David Wallace - 2002 - In Katherine Brading & Elena Castellani (eds.), Symmetries in Physics: Philosophical Reflections. Cambridge University Press. pp. 163--173.
    Mathematically, gauge theories are extraordinarily rich --- so rich, in fact, that it can become all too easy to lose track of the connections between results, and become lost in a mass of beautiful theorems and properties: indeterminism, constraints, Noether identities, local and global symmetries, and so on. -/- One purpose of this short article is to provide some sort of a guide through the mathematics, to the conceptual core of what is actually going on. Its focus is on the (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  17. Nonindexical Context-Dependence and the Interpretation as Abduction Approach.Erich Rast - 2011 - Lodz Papers in Pragmatics 7 (2):259-279.
    Nonindexical Context-Dependence and the Interpretation as Abduction Approach Inclusive nonindexical context-dependence occurs when the preferred interpretation of an utterance implies its lexically-derived meaning. It is argued that the corresponding processes of free or lexically mandated enrichment can be modeled as abductive inference. A form of abduction is implemented in Simple Type Theory on the basis of a notion of plausibility, which is in turn regarded a preference relation over possible worlds. Since a preordering of doxastic alternatives taken for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. The Relevance of the Buddhist Theory of Dependent Co-Origination to Cognitive Science.Michael Kurak - 2003 - Brain and Mind 4 (3):341-351.
    The canonical Buddhist account of the cognitive processes underlying our experience of the world prefigures recent developments in neuroscience. The developments in question are centered on two main trends in neuroscience research and thinking. The first of these involves the idea that our everyday experience of ourselves and of the world consists in a series of discrete microstates. The second closely related notion is that affective structures and systems play critical roles in governing the formation of such states. Both of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  41
    Darwin’s Evolutionary Theory of Dependent Arising.Sun Kyeong Yu - 2021 - Buddhism and Culture 1:53-57.
    “Darwin’s Evolutionary Theory of Dependent Arising” January 2021, Buddhism and Culture (a Korean-language Buddhist magazine sponsored by the Foundation for the Promotion of Korean Buddhism), Korea 진화론으로 이해하는 불교: 다윈의 진화론은 연기의 진화론.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  3
    Sense-Dependent Rationalism: Finding Unity in Kant's Practical Philosophy.Jessica Tizzard - 2017 - Dissertation,
    My dissertation covers a number of different topics in Kant scholarship, but is driven by one central question: how do our sense-based capacities to perceive, desire, and feel relate to our capacity to reason? I take the answer to this question to be key to understanding much about Kant’s philosophical system. For topics as diverse as the role that sensation plays in practical knowledge, the character of moral motivation, the nature of evil, or Kant’s theory that we are morally (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  9
    From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
    Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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  
  23. 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  
  24. 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  
  25. Does Evolutionary Psychology Show That Normativity Is Mind-Dependent?Selim Berker - 2014 - In Justin D'Arms & Daniel Jacobson (eds.), Moral Psychology and Human Agency: Philosophical Essays on the Science of Ethics. Oxford University Press. pp. 215-252.
    Suppose we grant that evolutionary forces have had a profound effect on the contours of our normative judgments and intuitions. Can we conclude anything from this about the correct metaethical theory? I argue that, for the most part, we cannot. Focusing my attention on Sharon Street’s justly famous argument that the evolutionary origins of our normative judgments and intuitions cause insuperable epistemological difficulties for a metaethical view she calls "normative realism," I argue that there are two largely independent lines (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  26. 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  
  27. Aspectual Universals of Temporal Anaphora.Maria Bittner - 2008 - In Susan Rothstein (ed.), Theoretical and Crosslinguistic Approaches to the Semantics of Aspect. John Benjamins. pp. 11--349.
    It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  28. From Sensorimotor Dependencies to Perceptual Practices: Making Enactivism Social.Alejandro Arango - 2018 - Adaptive Behavior 27 (1):31-45.
    Proponents of enactivism should be interested in exploring what notion of action best captures the type of action-perception link that the view proposes, such that it covers all the aspects in which our doings constitute and are constituted by our perceiving. This article proposes and defends the thesis that the notion of sensorimotor dependencies is insufficient to account for the reality of human perception, and that the central enactive notion should be that of perceptual practices. Sensorimotor enactivism is insufficient (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. 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  
  30. Perceptual Demonstrative Thought: A Property-Dependent Theory.Sean Crawford - 2020 - Topoi 39 (2):439-457.
    The paper presents a new theory of perceptual demonstrative thought, the property-dependent theory. It argues that the theory is superior to both the object-dependent theory (Evans, McDowell) and the object-independent theory (Burge).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31. Acts, Attitudes, and Rational Control.Douglas W. Portmore - manuscript
    I argue that when determining whether an agent ought to perform an act, we should not hold fixed the fact that she’s going to form certain attitudes (and, here, I’m concerned with only reasons-responsive attitudes such as beliefs, desires, and intentions). For, as I argue, agents have, in the relevant sense, just as much control over which attitudes they form as which acts they perform. This is important because what effect an act will have on the world depends not only (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. 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  
  33. Sense Perception and Reality - A Theory of Perceptual Relativity, Quantum Mechanics and the Observer Dependent Universe.Rochelle Forrester (ed.) - 2014 - Best publications.
    Sense perception and Reality examines the remarkable similarities between philosophical idealism and the Copenhagen Interpretation of quantum physics. The book looks at perceptual relativity involving animal senses, neurology and cognitive psychology. It concludes the universe is observer dependent and varies with the sensory apparatus used to observe it. The Copenhagen Interpretation is examined and perceptual relativity would appear to apply in the quantum world. The Copenhagen Interpretation suggests the universe is observer dependent, the same conclusion as is found (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. 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  
  35.  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  
  36.  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  
  37. Can We Close the Bohr-Einstein Quantum Debate.Marian Kupczynski - 2017 - Philosophical Transactions of the Royal Society A 375:20160392..
    Recent experiments allowed concluding that Bell-type inequalities are indeed violated thus it is important to understand what it means and how can we explain the existence of strong correlations between outcomes of distant measurements. Do we have to announce that: Einstein was wrong, Nature is nonlocal and nonlocal correlations are produced due to the quantum magic and emerge, somehow, from outside space-time? Fortunately such conclusions are unfounded because if supplementary parameters describing measuring instruments are correctly incorporated in a theoretical (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  38. 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  
  39.  86
    Slurs and the Type-Token Distinction of Their Derogatory Force.Chang Liu - 2019 - Rivista Italiana di Filosofia del Linguaggio 13 (2):63-72.
    Slurs are derogatory, and theories of slurs aim at explaining their “derogatory force”. This paper draws a distinction between the type derogatory force and the token derogatory force of slurs. To explain the type derogatory force is to explain why a slur is a derogatory word. By contrast, to explain the token derogatory force is to explain why an utterance of a slur is derogatory. This distinction will be defended by examples in which the type and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  85
    Technology in Everyday Life: Conceptual Queries.Bernward Joerges - 1988 - Journal for the Theory of Social Behaviour 18 (2):219–237.
    According to an editor of The Economist, the world produced, in the years since World War II, seven times more goods than throughout all history. This is well appreciated by lay people, but has hardly affected social scientists. They do not have the conceptual apparatus for understanding accelerated material-technical change and its meaning for people's personal lives, for their ways of relating to them-selves and to the outside world. Of course, a great deal of speculation about emerging life forms in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. 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  
  42. 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  
  43.  70
    Moral Hazard, the Savage Framework, and State-Dependent Utility.Jean Baccelli - 2021 - Erkenntnis 86 (2):367-387.
    In this paper, I investigate the betting behavior of a decision-maker who can influence the likelihood of the events upon which she is betting. In decision theory, this is best known as a situation of moral hazard. Focusing on a particularly simple case, I sketch the first systematic analysis of moral hazard in the canonical Savage framework. From the results of this analysis, I draw two philosophical conclusions. First, from an observational and a descriptive point of view, there need (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44. On an Argument of Segal’s Against Singular Object-Dependent Thoughts.Teresa Marques - 2006 - Disputatio 2 (21):19-37.
    This paper discusses and criticizes Segal’s 1989 argument against singular object-dependent thoughts. His argument aims at showing that object-dependent thoughts are explanatorily redundant. My criticism of Segal’s argument has two parts. First, I appeal to common anti-individualist arguments to the effect that Segal’s type of argument only succeeds in establishing that object-dependent thoughts are explanatorily redundant for those aspects of subjects’ behaviour that do not require reference to external objects. Secondly, Segal’s view on singular thoughts is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. 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  
  46. 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  
  47.  42
    İbn Sînâ ve Molla Sadrâ’da İlâhi Erek Problemi The Problem of Divine Intentionalist in Avicenna and Mulla Sadra.Sedat Baran - 2019 - Cumhuriyet İlahiyat Dergisi - Cumhuriyet Theology Journal 23 (3):1101-1120.
    Divine intention is an important problem for both philosophy and Kalam. This problem has two aspects as the subject and action of the intention. The intention of the subject occurs for the motion or the action itself. The intention of the action is to reach the motion or the action itself. According to this, when a person travels to Mecca to visit Kaaba, the visit is the intention of the subject and the journey is the intention of the action. In (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. John S. Wilkins and Malte C. Ebach: The Nature of Classification: Relationships and Kinds in the Natural Sciences: Palgrave, Macmillan, 2014, Pp., Vii + 197, Price £60/$100.00.Catherine Kendig - 2015 - History and Philosophy of the Life Sciences 37 (4):477-479.
    John Wilkins and Malte Ebach respond to the dismissal of classification as something we need not concern ourselves with because it is, as Ernest Rutherford suggested, mere ‘‘stamp collecting.’’ They contend that classification is neither derivative of explanation or of hypothesis-making but is necessarily prior and prerequisite to it. Classification comes first and causal explanations are dependent upon it. As such it is an important (but neglected) area of philosophical study. Wilkins and Ebach reject Norwood Russell Hanson’s thesis that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  21
    Cognition as Management of Meaningful Information. Proposal for an Evolutionary Approach (IACAP Aarhus July 2011).Christophe Menant - manuscript
    Humans are cognitive entities. Our ongoing interactions with the environment are threaded with creations and usages of meaningful information. Animal life is also populated with meaningful information related to survival constraints. Information managed by artificial agents can also be considered as having meanings, as derived from the designer. Such perspective brings us to propose an evolutionary approach to cognition based on meaningful information management. We use a systemic tool, the Meaning Generator System (MGS), and apply it consecutively to animals, humans (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  38
    The ‘Intellected Thing’ in Hervaeus Natalis.Hamid Taieb - 2015 - Vivarium 53 (1):26-44.
    This paper analyses the ontological status of the ‘intellected thing’ (res intellecta) in Hervaeus Natalis. For Hervaeus an intellected thing is not a thing in the outer world, but something radically different, namely an internal, mind-dependent entity, something having a peculiar mode of being, ‘esse obiective’. While Hervaeus often says that the act of intellection is directed upon real things, this does not mean that the act is directed upon things existing actually outside the mind. Hervaeus argues that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000