Switch to: References

Citations of:

Science, Perception and Reality

New York,: Humanities Press (1963)

Add citations

You must login to add citations.
  1. Intentionality, mind and folk psychology.Winand H. Dittrich & Stephen E. G. Lea - 1993 - Behavioral and Brain Sciences 16 (1):39-41.
    The comment addresses central issues of a "theory theory" approach as exemplified in Gopnik' and Goldman's BBS-articles. Gopnik, on the one hand, tries to demonstrate that empirical evidence from developmental psychology supports the view of a "theory theory" in which common sense beliefs are constructed to explain ourselves and others. Focusing the informational processing routes possibly involved we would like to argue that his main thesis (e.g. idea of intentionality as a cognitive construct) lacks support at least for two reasons: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The psychology of folk psychology.Alvin I. Goldman - 1993 - Behavioral and Brain Sciences 16 (1):15-28.
    The central mission of cognitive science is to reveal the real nature of the mind, however familiar or foreign that nature may be to naive preconceptions. The existence of naive conceptions is also important, however. Prescientific thought and language contain concepts of the mental, and these concepts deserve attention from cognitive science. Just as scientific psychology studies folk physics (McCloskey 1983, Hayes 1985), viz., the common understanding (or misunderstanding) of physical phenomena, so it must study folk psychology, the common understanding (...)
    Download  
     
    Export citation  
     
    Bookmark   219 citations  
  • Mental causation for dualists.Paul M. Pietroski - 1994 - Mind and Language 9 (3):336-366.
    The philosophical problem of mental causation concerns a clash between commonsense and scientific views about the causation of human behaviour. On the one hand, commonsense suggests that our actions are caused by our mental states—our thoughts, intentions, beliefs and so on. On the other hand, neuroscience assumes that all bodily movements are caused by neurochemical events. It is implausible to suppose that our actions are causally overdetermined in the same way that the ringing of a bell may be overdetermined by (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Skeptical Appeal: The Source‐Content Bias.John Turri - 2014 - Cognitive Science 38 (5):307-324.
    Radical skepticism is the view that we know nothing or at least next to nothing. Nearly no one actually believes that skepticism is true. Yet it has remained a serious topic of discussion for millennia and it looms large in popular culture. What explains its persistent and widespread appeal? How does the skeptic get us to doubt what we ordinarily take ourselves to know? I present evidence from two experiments that classic skeptical arguments gain potency from an interaction between two (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Experimental, Cross-Cultural, and Classical Indian Epistemology.John Turri - 2017 - Journal of Indian Council of Philosophical Research 34 (3):501-516.
    This paper connects recent findings from experimental epistemology to several major themes in classical Indian epistemology. First, current evidence supports a specific account of the ordinary knowledge concept in contemporary anglophone American culture. According to this account, known as abilism, knowledge is a true representation produced by cognitive ability. I present evidence that abilism closely approximates Nyāya epistemology’s theory of knowledge, especially that found in the Nyāya-sūtra. Second, Americans are more willing to attribute knowledge of positive facts than of negative (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Knowledge Guaranteed.John Turri - 2011 - Noûs 47 (3):602-612.
    What is the relationship between saying ‘I know that Q’ and guaranteeing that Q? John Austin, Roderick Chisholm and Wilfrid Sellars all agreed that there is some important connection, but disagreed over what exactly it was. In this paper I discuss each of their accounts and present a new one of my own. Drawing on speech-act theory and recent research on the epistemic norms of speech acts, I suggest that the relationship is this: by saying ‘I know that Q’, you (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Evidence of factive norms of belief and decision.John Turri - 2015 - Synthese 192 (12):4009-4030.
    According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Review article.[author unknown] - 1994 - Semiotica 99 (1-2):101-234.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The evidence in perception.Ali Hasan - 2024 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge.
    It is commonly thought that we depend fundamentally on the “evidence of the senses” for our empicial beliefs, including and most directly, our beliefs about our local environment, the spatial world around us. The ultimate evidence we have for our perceptual beliefs is provided in some way by perception or perceptual experience. But what is this evidence? There seem to be three main options: external factualism allows that the evidence include facts about the external world; internal factualism takes facts that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Moderate scientism in philosophy.Buckwalter Wesley & John Turri - 2018 - In Jeroen de Ridder, Rik Peels & Rene van Woudenberg (eds.), Scientism: Prospects and Problems. Oxford: Oxford University Press.
    Moderate scientism is the view that empirical science can help answer questions in nonscientific disciplines. In this paper, we evaluate moderate scientism in philosophy. We review several ways that science has contributed to research in epistemology, action theory, ethics, philosophy of language, and philosophy of mind. We also review several ways that science has contributed to our understanding of how philosophers make judgments and decisions. Based on this research, we conclude that the case for moderate philosophical scientism is strong: scientific (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quine's Physicalism.H. G. Callaway & Paul Gochet - 2007 - In H. G. Callaway & Paul Gochet (eds.), Filosofia, Scienza e Bioetica nel dibattito contemperano, Studi internazionali in onore di Evandro Agazzi, pp. 1105-1115.
    In this paper we briefly examine and evaluate Quine’s physicalism. On the supposition, in accordance with Quine’s views, that there can be no change of any sort without a physical change, we argue that this point leaves plenty of room to understand and accept a limited autonomy of the special sciences and of other domains of disciplinary and common-sense inquiry and discourse. The argument depends on distinguishing specific, detailed programs of reduction from the general Quinean strategy of reduction by explication. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Peculiar and Perpetual Tendency: An Asymmetry in Knowledge Attributions for Affirmations and Negations.John Turri - 2022 - Erkenntnis 87 (4):1795-1808.
    From antiquity through the twentieth century, philosophers have hypothesized that, intuitively, it is harder to know negations than to know affirmations. This paper provides direct evidence for that hypothesis. In a series of studies, I found that people naturally view negations as harder to know than affirmations. Participants read simple scenarios and made judgments about truth, probability, belief, and knowledge. Participants were more likely to attribute knowledge of an outcome when framed affirmatively than when framed negatively. Participants did this even (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Believing For a Reason.John Turri - 2011 - Erkenntnis 74 (3):383-397.
    This paper explains what it is to believe something for a reason. My thesis is that you believe something for a reason just in case the reason non-deviantly causes your belief. In the course of arguing for my thesis, I present a new argument that reasons are causes, and offer an informative account of causal non-deviance.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • Knowledge of Our Own Beliefs.Sherrilyn Roush - 2016 - Philosophy and Phenomenological Research 93 (3):45-69.
    There is a widespread view that in order to be rational we must mostly know what we believe. In the probabilistic tradition this is defended by arguments that a person who failed to have this knowledge would be vulnerable to sure loss, or probabilistically incoherent. I argue that even gross failure to know one's own beliefs need not expose one to sure loss, and does not if we follow a generalization of the standard bridge principle between first-order and second-order beliefs. (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Constructed Worlds, Contested Truths.Maria Baghramian - 2011 - In Richard Schantz & Markus Seidel (eds.), The Problem of Relativism in the Sociology of (Scientific) Knowledge. Ontos. pp. 105-130.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ontological Minimalism about Phenomenology.Susanna Schellenberg - 2010 - Philosophy and Phenomenological Research 83 (1):1-40.
    I develop a view of the common factor between subjectively indistinguishable perceptions and hallucinations that avoids analyzing experiences as involving awareness relations to abstract entities, sense-data, or any other peculiar entities. The main thesis is that hallucinating subjects employ concepts (or analogous nonconceptual structures), namely the very same concepts that in a subjectively indistinguishable perception are employed as a consequence of being related to external, mind-independent objects or property-instances. These concepts and nonconceptual structures are identified with modes of presentation types. (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Neo-Confucianism, experimental philosophy and the trouble with intuitive methods.Hagop Sarkissian - 2018 - British Journal for the History of Philosophy 26 (5):812-828.
    ABSTRACTThe proper role of intuitions in philosophy has been debated throughout its history, and especially since the turn of the twenty-first century. The context of this recent debate within analytic philosophy has been the heightened interest in intuitions as data points that need to be accommodated or explained away by philosophical theories. This, in turn, has given rise to a sceptical movement called experimental philosophy, whose advocates seek to understand the nature and reliability of such intuitions. Yet such scepticism of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Subjekt und selbstmodell. Die perspektivität phänomenalen bewußtseins vor dem hintergrund einer naturalistischen theorie mentaler repräsentation.Thomas K. Metzinger - 1999 - In 自我隧道 自我的新哲学 从神经科学到意识伦理学.
    This book contains a representationalist theory of self-consciousness and of the phenomenal first-person perspective. It draws on empirical data from the cognitive and neurosciences.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • On the ‘Indispensable Explanatory Role’ of Mathematics.Juha Saatsi - 2016 - Mind 125 (500):1045-1070.
    The literature on the indispensability argument for mathematical realism often refers to the ‘indispensable explanatory role’ of mathematics. I argue that we should examine the notion of explanatory indispensability from the point of view of specific conceptions of scientific explanation. The reason is that explanatory indispensability in and of itself turns out to be insufficient for justifying the ontological conclusions at stake. To show this I introduce a distinction between different kinds of explanatory roles—some ‘thick’ and ontologically committing, others ‘thin’ (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Sellars, Analyticity, and a Dynamic Picture of Language.Takaaki Matsui - 2024 - Hopos: The Journal of the International Society for the History of Philosophy of Science 14 (1):78-102.
    Even after Willard Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. In this article, I aim to reconstruct (a) his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, (b) its connection to his inferentialist account of meaning, and (c) his response to Quine. While Sellars’s account of the revisability of analytic sentences bears certain similarities to Carnap’s and Grice and Strawson’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Scientific realism with a Humean face.Stathis Psillos - 2011 - In Steven French & Juha Saatsi (eds.), The Continuum Companion to the Philosophy of Science. London: pp. 75-95.
    This paper offers an intellectual history of the scientific realism debate during the twentieth century. The telling of the tale will explain the philosophical significance and the prospects of the scientific realism debate, through the major turns it went through. The emphasis will be on the relations between empiricism and scientific realism and on the swing from metaphysics-hostile to metaphysics-friendly versions of realism.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The serpent's trail: William James, object‐oriented programming, and critical realism.Larry J. Crockett - 2012 - Zygon 47 (2):388-414.
    Pragmatism has played only a small role in the half century and more of the science‐and‐religion dialogue, in part because pragmatism was at a low ebb in the 1950s. Even though Jamesean pragmatism in particular is experiencing a resurgence, owing partly to the work of Rorty and Putnam, it remains inconspicuous in the dialogue. Excepting artificial intelligence and artificial life, computer science also has not played a large role in the dialogue. Recent research into the foundations of object‐oriented programming, however, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Morton White’s philosophy of culture: Holistic pragmatism and interdisciplinary inquiry.Sami Pihlström - 2011 - Human Affairs 21 (2):140-156.
    This paper explicates and defends Morton White’s holistic pragmatism, the view that descriptive and normative statements form a “seamless web” which must be tested as a “unified whole”. This position, originally formulated as a methodological and epistemic principle, can be extended into a more general philosophy of culture, as White himself has shown in his book, A Philosophy of Culture (2002). On the basis of holistic pragmatism, the paper also offers a pragmatist conception of metaphilosophy and defends the need for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Science, philosophy, and interpretation.Daniel C. Dennett - 1988 - Behavioral and Brain Sciences 11 (3):535.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Precis of the intentional stance.Daniel C. Dennett - 1988 - Behavioral and Brain Sciences 11 (3):495-505.
    The intentional stance is the strategy of prediction and explanation that attributes beliefs, desires, and other states to systems and predicts future behavior from what it would be rational for an agent to do, given those beliefs and desires. Any system whose performance can be thus predicted and explained is an intentional system, whatever its innards. The strategy of treating parts of the world as intentional systems is the foundation of but is also exploited in artificial intelligence and cognitive science (...)
    Download  
     
    Export citation  
     
    Bookmark   92 citations  
  • Heterophenomenology reconsidered.Daniel C. Dennett - 2007 - Phenomenology and the Cognitive Sciences 6 (1-2):247-270.
    Descartes’ Method of Radical Doubt was not radical enough. –A. Marcel (2003, 181) In short, heterophenomenology is nothing new; it is nothing other than the method that has been used by psychophysicists, cognitive psychologists, clinical neuropsychologists, and just about everybody who has ever purported to study human consciousness in a serious, scientific way. –D. Dennett (2003, 22).
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • An ecological approach to disjunctivism.Eros Moreira de Carvalho - 2021 - Synthese 198 (Radical Views on Cognition):285–306.
    In this paper I claim that perceptual discriminatory skills rely on a suitable type of environment as an enabling condition for their exercise. This is because of the constitutive connection between environment and perceptual discriminatory skills, inasmuch as such connection is construed from an ecological approach. The exercise of a discriminatory skill yields knowledge of affordances of objects, properties, or events in the surrounding environment. This is practical knowledge in the first-person perspective. An organism learns to perceive an object by (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is musical intuition? Tonal theory as cognitive science.Mark DeBellis - 1999 - Philosophical Psychology 12 (4):471 – 501.
    Lerdahl and Jackendoff's Generative Theory of Tonal Music (GTTM) is an important contribution to cognitive science. Jackendoff claims it is a computationalist theory and that the mental representations it postulates are unconscious. Thus GTTM looks to be a kind of cognitive science remote from the folk-psychological. I argue that this picture of GTTM is mistaken: GTTM is at least as much music analysis as cognitive science. Jackendoff's metatheory fails to explain how a listener can tell that a structural description corresponds (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Thagard's Principle 7 and Simpson's paradox.Robyn M. Dawes - 1989 - Behavioral and Brain Sciences 12 (3):472-473.
    Download  
     
    Export citation  
     
    Bookmark  
  • Intentionality.David M. Rosenthal - 1986 - Midwest Studies in Philosophy 10 (1):151-184.
    At the level of our platitudinous background knowledge about things, speech is the expression of thought. And understanding what such expressing involves is central to understanding the relation between thinking and speaking. Part of what it is for a speech act to express a mental state is that the speech act accurately captures the mental state and can convey to others what mental state it is. And for this to occur, the speech act at least must have propositional content that (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Concept individuation, possession conditions, and propositional attitudes.Wayne A. Davis - 2005 - Noûs 39 (1):140-66.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A Traveller's Guide to Putnam's “Narrow Path”. [REVIEW]David Davies - 1996 - Dialogue 35 (1):117-146.
    It is now over 15 years since Hilary Putnam first urged that we take the “narrow path” of internal realism as a way of navigating between “the swamps of metaphysics and the quicksands of cultural relativism and historicism” (1983, p. 226). In the opening lines of the Preface toRealism with a Human Face, a collection of Putnam's recent papers edited by James Conant, Putnam reaffirms his allegiance to this narrow path, unmoved by Realist murmurings from the swamps and laconic Rortian (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The notional world of D. C. Dennett.Arthur C. Danto - 1988 - Behavioral and Brain Sciences 11 (3):509.
    Download  
     
    Export citation  
     
    Bookmark  
  • The anthropology of folk psychology.Steven Daniel - 1993 - Behavioral and Brain Sciences 16 (1):38-39.
    Download  
     
    Export citation  
     
    Bookmark  
  • A heuristic science‐based naturalism as a partner for theological reflections on the natural world.Paolo D'Ambrosio - 2015 - Zygon 50 (4):962-981.
    After a few general observations on scientific activity, the author briefly comments on different versions of naturalism. Subsequently, he suggests that the birth of evolutionary biology and its successive developments may show how the natural world comes to be differently conceived as scientific advancements are accomplished. Then the main thesis is outlined by introducing the principles of a heuristic science-based naturalism not conclusively defining the real and the knowable. From the epistemological perspective, heuristic naturalism is meant to be framed in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • How directly do we know our minds?Maria Czyzewska & Pawel Lewicki - 1993 - Behavioral and Brain Sciences 16 (1):37-38.
    Download  
     
    Export citation  
     
    Bookmark  
  • Dennett's realisation theory of the relation between folk and scientific psychology.Adrian Cussins - 1988 - Behavioral and Brain Sciences 11 (3):508.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Rumble in the Bundle.Benjamin L. Curtis - 2012 - Noûs 48 (2):298-313.
    In 1952, two well-known characters called ‘A’ and ‘B’ met for the first time to argue about the Identity of Indiscernibles (Black, 1952). A argued that the principle is true, and B that it is false. By all accounts A took a bit of a beating and came out worst-off. Forty-three years later John O’Leary-Hawthorne offered a response on behalf of A that looked as if it would work so long as A was willing to accept the universal-bundle theory of (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • g as bridge model.Devin Sanchez Curry - 2021 - Philosophy of Science 88 (5):1067-1078.
    Psychometric g—a statistical factor capturing intercorrelations between scores on different IQ tests—is of theoretical interest despite being a low-fidelity model of both folk psychological intelligence and its cognitive/neural underpinnings. Psychometric g idealizes away from those aspects of cognitive/neural mechanisms that are not explanatory of the relevant variety of folk psychological intelligence, and it idealizes away from those varieties of folk psychological intelligence that are not generated by the relevant cognitive/neural substrate. In this manner, g constitutes a high-fidelity bridge model of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Exemplification as molecular function.Javier Cumpa - 2014 - Philosophical Studies 170 (2):335-342.
    Since the publication of Universals and Scientific Realism (Armstrong 1978a, b) until Sketch for a Systematic Metaphysics (Armstrong 2010), via Universals: An Opinionated Introduction (Armstrong 1989), a World of States of Affairs (Armstrong 1997), and Truth and Truthmakers (Armstrong 2004), David Armstrong has developed one of the most influential theories of instantiation in contemporary analytic metaphysics (see, for example, Lewis, in Aust J Phil 61(4), 343–377, 1983; Baxter in Aust J Phil, 79, 449–464, 2001; Forrest, in Aust J Phil, 83, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • How to explain oppression: Criteria of adequacy for normative explanatory theories.Ann E. Cudd - 2005 - Philosophy of the Social Sciences 35 (1):20-49.
    This article discusses explanatory theories of normative concepts and argues for a set of criteria of adequacy by which such theories may be evaluated. The criteria offered fall into four categories: ontological, theoretical, pragmatic, and moral. After defending the criteria and discussing their relative weighting, this article uses them to prune the set of available explanatory theories of oppression. Functionalist theories, including Hegelian recognition theory and Foucauldian social theory, are rejected, as are psychoanalytic theory and social dominance theory. Finally, the (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Jackson on perception.M. J. Cresswell - 1980 - Theoria 46 (2-3):123-147.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Can Eddington's 'two' tables be identical?James W. Cornman - 1974 - Australasian Journal of Philosophy 52 (1):22 – 38.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Between Causes and Reasons: Sellars, Hegel (and Lewis) on “Sensation”.Luca Corti - 2019 - International Journal of Philosophical Studies 27 (3):422-447.
    This paper explores Sellars’ and Hegel’s treatment of ‘sensation’ – a notion that plays a central role in the reflections of both authors but which has garnered little scholarly attention. To disentangle the issues surrounding the notion and elaborate its role, function, and fate in their thought, I begin with a methodological question: what kind of philosophical argument leads Sellars and Hegel to introduce the concept of ‘sensation’ into their systems? Distinguishing between their two argumentative approaches, I maintain that Hegel (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Anomaly and folk psychology.John M. Connolly - 1993 - Inquiry: An Interdisciplinary Journal of Philosophy 36 ( 1-2):179 – 198.
    Download  
     
    Export citation  
     
    Bookmark  
  • Two problems for the explanatory coherence theory of acceptability.L. Jonathan Cohen - 1989 - Behavioral and Brain Sciences 12 (3):471-471.
    Download  
     
    Export citation  
     
    Bookmark  
  • Perception and computation.Jonathan Cohen - 2010 - Philosophical Issues 20 (1):96-124.
    Students of perception have long puzzled over a range of cases in which perception seems to tell us distinct, and in some sense conflicting, things about the world. In the cases at issue, the perceptual system is capable of responding to a single stimulus — say, as manifested in the ways in which subjects sort that stimulus — in different ways. This paper is about these puzzling cases, and about how they should be characterized and accounted for within a general (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Conceptualism, Realism, and Intensional Logic.Nino B. Cocchiarella - 1989 - Topoi 8 (1):15-34.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Perception naturalised: relocation and the sensible qualities.Paul Coates - 2017 - Synthese 198 (Suppl 3):809-829.
    This paper offers a partial defence of a Sellarsian-inspired form of scientific realism. It defends the relocation strategy that Sellars adopts in his project of reconciling the manifest and scientific images. It concentrates on defending the causal analysis of perception that is essential to his treatment of sensible qualities. One fundamental metaphysical issue in perception theory concerns the nature of the perceptual relation; it is argued that a philosophical exploration of this issue is continuous with the scientific investigation of perceptual (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level.Nicolas Clerbout, Ansten Klev, Zoe McConaughey & Shahid Rahman - 2018 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations