DOCSLIB.ORG

6 X 10.Long.P65

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
6 X 10.Long.P65 Cambridge University Press 0521631785 - The Cambridge Companion to Bertrand Russell Edited by Nicholas Griffin Index More information index ABC of Atoms, The (Russell), 9 percepts, 362–3, 367–8, 399, 414, ABC of Relativity, The (Russell), 9 418n, 460, 466–8 Abel, Niels, 184 physics, 362–3, 402, 460 acquaintance, 33, 347, 350–2, 423–4, scepticism, 33 439–40, 441 structuralism, 399, 414, 466–8 and imagination, 347 structural realism, 34 and inference, 342, 422 Analysis of Mind, The (Russell), 317, and introspection, 347, 422–3 362, 420, 424, 448, 464 and knowledge, 342, 344–5, 352, 355, acquaintance, 439, 441, 442–3, 452 384, 421–4, 426–9, 442, 457 behaviourism, 443–4 and linguistic meaning, 345 beliefs, 354, 356, 441, 443 and memory, 347, 424, 434, 442 causality, 442–3 and perception, 422–4 empiricism, 35 and reasoning, 342 foundationalism, 441 and sensation, 347, 422 functionalism, 443 as mental relations, 341, 342, 344, images, 354, 356, 360, 443 345, 350, 356, 384, 422 introspection, 354, 360 dismissal of, 351–2, 356 knowledge, 440–4 objects of, 342, 422, 423–4 language, 35, 442–3 principle of, 22, 26, 29, 226–7, 239n, matter, 357 341–2, 434 memory, 442 with universals, 426–7 negative facts, 382 analysis, 20, 25, 26, 105, 113–14, 125, neutral monism, 332, 353–7, 366, 153–5, 160n, 163, 167–8, 223, 440–4, 452, 460 310–30, 383, 386n, 436, 439 reliabilism, 442–4, 445 See also logical atomism, logical scepticism (five-minute hypothesis), construction 33 “Analysis of Mathematical Reasoning, sensations (“neutral stuff”), 32, 336, An” (Russell), 103, 104, 134 354–5, 356, 357, 360, 440, 465 contradiction of relativity, 98, 101–2 analytic philosophy, 128, 153–68, 329 Analysis of Matter, The (Russell), 9, 317, “Analytic Realism” (Russell), 44 365, 406, 411–2, 418n, 461 anarchism, 488 copunctuality, 411, 414 antinomies in Russell’s idealism, events, 32 of free mobility, 96–7 neutral monism, 332, 356, 367–8, of the point, 96, 97, 103 460 of quantity, 98 541 © Cambridge University Press www.cambridge.org Cambridge University Press 0521631785 - The Cambridge Companion to Bertrand Russell Edited by Nicholas Griffin Index More information 542 index Austin, J.L., 391 theory of transfinite numbers, 54, 70, Authority and the Individual (Russell), 248 15 topology of classes of points, 53, 54 Autobiography (Russell), 57, 74, 79, capitalism, 11, 489 130–1, 135n, 181n, 283 Carnap, Rudolf, 1, 31, 51n, 78, 157, 168, axioms, 390, 451 of choice (multiplicative), 63–4, 71, Carroll, Lewis, 75 184, 193, 413 Cassirer, Ernst, 76 of infinity, 64, 70, 184–5, 192–3, Cauchy, A.L., 51, 53, 58, 59, 64, 184 297–8, 305, 413 causality, 442–3 of internal relations, 123 Chisholm, Roderick, 44 of reducibility, 70, 184–5, 193, 200, Church, Alonzo, 76, 249, 262n, 289, 297 297–305 Chwistek, Leon, 76, 77 Ayer, A.J., 1, 40, 459, 494, 502 Cocchiarella, Nino B., 245, 272n, 278 communism, 8, 11, 16, 17, 493 Barnes, Albert, 13, 14 consciousness, 461–5 Barnes, W.H.F., 502 contradiction of relativity, 98,101–2 behaviourism, 41, 340, 354, 356, 360–1, Couturat, Louis, 56, 57, 64, 96 362, 369, 443–4, 464 Critical Exposition of the Philosophy of changing human nature, 10n Leibniz, A (Russell), 7, 25, 173, 174 linguistic meaning, 35, 36, 345–6 Cuban missile crisis, 16, 17 methodology, 32, 336, 350, 361, 364, 443 Dawes Hicks, G., 30, 399–401, 417n Behmann, Heinrich, 78 Dedekind, Richard, 53, 54, 58, 85, 184, Bentham, Jeremy, 156, 477–8, 479 243, 248 Bergson, Henri, 41 definition of number, 179 Berkeley, George, 333, 432 theory of numbers, 72, 178–80 Berry, G.G., 63 denotingconcepts, 120, 135, 155, 212, Black, Dora, 8–9, 11, 12 214–22, 225, 227, 237n Bloomsbury group, 8 descriptions, theory of, 23–6, 29, 59, 65, Bohr, Niels, 29 66, 125, 135, 151, 153, 187–8, bolshevism, 8, 9, 10, 501 202–35, 239n, 246, 247, 283, 290, Bolzano, Bernard, 184 388, 392, 393, 430–1 Boole, George, 56, 175 See also “On Denoting” Boolos, George, 305, 419n desire-to-desire theory, 495, 502 Bradley, F.H., 86–8, 95, 100, 102, 103, Descartes, Rene,´ 155, 333, 472 108, 155, 163, 236n, 497 Determinism, 363 Broad, Charlie, D. 18, 89, 366, 453 Donnellan, Keith, 231–2 Brouwer, L.E.J., 76 Dubislav, Walter, 78 Burali-Forti, Cesare, 55, 57, 62, 181 Dummett, Michael, 37, 158, 161, 417n Burali-Forti paradox, 62 Burkamp, Wilhelm, 76 Education and the Social Order Burnyeat, Myles, 401 (Russell), 480, 484 Edwards, Paul, 42 Cantor, Georg, 51, 58, 59, 62, 63, 71, 96, Einstein, Albert, 16, 29 184, 190, 248, 286 “Elements of Ethics, The” (Russell), set theory, 53, 54 475, 498 theory of derived classes, 54, 72 emotivism, 476, 478, 494, 499, 501, theory of the principal order-types, 502–3 56, 72 empiricism, 35, 38–41, 55, 333, 449–50 © Cambridge University Press www.cambridge.org Cambridge University Press 0521631785 - The Cambridge Companion to Bertrand Russell Edited by Nicholas Griffin Index More information index 543 error theory, 476, 494, 499–501 Godel,¨ Kurt, 78, 79, 186, 293, 303, 304, Essay on the Foundations of Geometry, 305–6 An (Russell), 4, 55, 88, 89, 90, 103 Goodman, Nelson, 42, 446, 451 extensionality, principle of, 375–7 Grassmann, Hermann G., 54, 56, 184 Greg, W.W., 77 fallibilism, 325 Grelling, Kurt, 69 feminism, 5, 12n Grice, Paul, 230–232 Finch, Edith, 14n Firth, Roderick, 30–1 Haack, Susan, 194 Fodor, Jerry, 440 Hahn, Hans, 78 Fraenkel, W., 51n Hallett, Garth, 35 free logic, 206 Hamilton, William, 184 Freedom and Organization (Russell), 11 Hardy, G.H., 62 Frege, Gottlob, 1, 60–1, 102, 128–68, Has Man a Future? (Russell), 476 185, 243, 288, 313, 375–6, 396, 421, Hausdorff, Felix, 71 430 Hawtrey, Ralph, 66 analysis of number, 72, 139–45, 152–3, Hegel, G.W.F., 88–9, 108, 483 176–8 Heidegger, Martin, 483 analytic philosophy, 153–68 Hilbert, David, 76 ancestral relation, 71, 137 History of Western Philosophy (Russell), arithmetic, 21, 60, 131–2, 152, 176–7, 14, 88, 129, 153, 312, 315n, 482, 194, 241–2 486, 488 definite descriptions, 23, 166–8 Hobbes, Thomas, 480–1, 486–92 definition by abstraction, 143 Holder,¨ Otto, 76 empty names, 166–8 Human Knowledge: Its Scope and equinumerosity, 142–3, 144 Limits (Russell), 14, 312, 317, 323, foundations of mathematics, 128, 328n, 452, 454, 460 176–7 defeasible reasoning, 42 hereditary properties, 136–7 Hume’s principle, 143, 147, 150, 176 Goodman’s riddle, 42, 446–7 logicism, 21, 60, 132, 137, 144–5, 153, inference, 41–42, 318–319, 445–7, 461, 175, 184, 194 469–73 mathematical logic, 19, 60 neutral monism, 332, 356, 365–6 quantification theory, 23, 24, 132–3, postulates of non-demonstrative 175–80 inference, 42–3, 318, 319–20, 326, relational propositions, 132, 133, 135 470–3 Russell paradox, 60, 146–52, 180–2, probability, 319, 365 243, 287, 289–90 reliabilism, 447–8, 471–2 sense/reference distinction, 210, 214, representationalism, 402 236n, 238n scientific knowledge, 318, 319, 324, symbolization, 131–2 365, 446, 466–7, 469 unity of proposition, 162–5 sensations, 399 “The Fundamental Ideas and Axioms of solipsism, 446 Mathematics” (Russell), 20–1, 104–6 Human Society in Ethics and Politics (Russell), 475, 476, 489, 501, 503 Genocchi, Angelo, 54 humanistic amoralism, 501 geometry, 69, 73 Hume, David, 39, 155, 338–9, 462, 475, general metrical, 90–3 503 German Social Democracy (Russell), Hume’s principle, 143, 147, 150, 176 5, 17 Husserl, Edmund, 102, 105, 326 © Cambridge University Press www.cambridge.org Cambridge University Press 0521631785 - The Cambridge Companion to Bertrand Russell Edited by Nicholas Griffin Index More information 544 index Icarus (Russell), 10 logical synthesis, 312 idealism, 85–104, 153, 213–4, 327, realism, 188 462–3, 497–8 structuralism, 396–7, 399 antimony of free mobility, 96–7 “Is Mathematics Purely Linguistic?” antimony of the point, 96, 97 (Russell), 192n antimony of quantity, 98 “Is There an Absolute Good?” (Russell), arithmetic, 97–8 499 Bradley, F.H., 86–7, 88, 100, 103, 108, 236n, 497 James, William, 335, 339, 343–4, 356, conceptual structures, 207–8 439, 443, 460, 461, 462–3 contradiction of relativity, 99–102 Johnsen, B., 42 general metrical geometry, 90–3 Johnson, W.E., 326 Hegel, G.W.F., 89, 108, 236n Jourdain, Philip, 62 immortality, 497 Kant, Immanuel, 89–90, 91, 102–3, Kant, Immanuel, 89–90, 91, 102–3, 108, 108, 236n 122, 241–2, 333, 397–8, 410, 469 McTaggart, J.M.E., 87, 88, 89, 108–9, Keynes, John Maynard, 77 497 Keyser, Cassius J., 64 Moore, G.E., 103–4, 108 Khrushchev, Nikita, 15–16, 17 pluralism, 87–8, 109 knowledge, 33–4, 420–48, 450–73 psychologism, 19–20, 103, 207–8 by acquaintance, 421, 422, 424, 426–7, relations, 88 428, 442, 457 science, 88–90, 93–6, 98–100 by causation, 447–8 Inquiry into Meaning and Truth, An derivative, 421, 427, 430, 457, 458 (Russell), 41, 317, 328n, 404–5, 406, by description, 421, 430–3, 438, 457 461 intuitive, 421, 422, 424, 428–30, 434, behaviourism, 36, 364 458 empiricism, 38 mathematical, 200–1 foundationalism, 445 scientific, 18, 318, 319, 324, 365, 446, hierarchy of languages, 36 466–7, 469 knowledge, 364, 445 “Knowledge by Acquaintance and law of excluded middle, 36–8 Knowledge by Description” logical positivism, 364–5 (Russell), 22n, 44, 237n, 240n, 342, logical truth, 38 455 neutral monism, 332, 364 multiple relation theory of judgment, ordinary language, 364 28n, 453–4 realism versus anti-realism, 37–8 principle of acquaintance, 239n, 342 reference, 35–6 theory of descriptions, 29, 239n reliabilism, 445 Kripke, Saul, 232–5 scepticism, 445, 450 structuralism, 405 labour party, 8, 9, 10, 14 Introduction to Mathematical Leibniz, Gottfried, 7, 18, 173–6, 241, Philosophy (Russell), 131, 138, 313,
Load more

Recommended publications
  • Defeasibility from the Perspective of Informal Logic
    University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 10 May 22nd, 9:00 AM - May 25th, 5:00 PM Defeasibility from the perspective of informal logic Ralph H. Johnson University of Windsor, Centre for Research in Reasoning, Argumentation and Rhetoric Follow this and additional works at: https://scholar.uwindsor.ca/ossaarchive Part of the Philosophy Commons Johnson, Ralph H., "Defeasibility from the perspective of informal logic" (2013). OSSA Conference Archive. 84. https://scholar.uwindsor.ca/ossaarchive/OSSA10/papersandcommentaries/84 This Paper is brought to you for free and open access by the Conferences and Conference Proceedings at Scholarship at UWindsor. It has been accepted for inclusion in OSSA Conference Archive by an authorized conference organizer of Scholarship at UWindsor. For more information, please contact [email protected]. Defeasibility from the perspective of informal logic RALPH H. JOHNSON Centre for Research in Reasoning, Argumentation and Rhetoric University of Windsor 401 Sunset Ave, Windsor, Ontario Canada [email protected] ABSTRACT: The notions of defeasibility and defeasible reasoning have generated a great deal of interest in various research communities. Here I want to focus on their use in logic and argumentation studies. I will approach these topics from the perspective of an informal logician who finds himself struggling with some issues that surround the idea of and the deployment of the concept of defeasibility. My intention is to make those struggles as clear as I can. KEYWORDS: deductive, defeasible, defeasibility, Pollock, undercutting defeater, rebutting defeater, Informal Logic Initiative 1. INTRODUCTION The notions of defeasibility and defeasible reasoning have generated a great deal of interest in various research communities.
    [Show full text]
  • Bootstrapping, Defeasible Reasoning, Anda Priorijustification
    PHILOSOPHICAL PERSPECTIVES Philosophical Perspectives, 24, Epistemology, 2010 BOOTSTRAPPING, DEFEASIBLE REASONING, AND APRIORIJUSTIFICATION Stewart Cohen The University of Arizona What is the relationship between (rationally) justified perceptual belief and (rationally) justified belief in the reliability of perception? A familiar argument has it that this relationship makes perceptual justification impossible. For on the one hand, pre-theoretically it seems reasonable to suppose: (1) We cannot have justified perceptual beliefs without having a prior justified belief that perception is reliable. If we are not justified in believing perception is reliable, then how can we trust its deliverances? On the other hand, it seems reasonable to suppose: (2) We cannot be justified in believing perception is reliable without having prior justified perceptual beliefs. It is a contingent matter whether perception is reliable. So how else could we be justified in believing perception is reliable other than by empirical investigation?1 Combining these two suppositions yields the disastrous result that we need justified perceptual beliefs prior to having justified perceptual beliefs. Unless we are content with a skeptical result, these two suppositions need to be reconsidered. Some theorists have elected to retain (1) and deny (2), by arguing that we have apriorijustification for believing perception is reliable.2 Others have elected to retain (2) and deny (1), allowing that we can have justified perceptual beliefs without having justification for believing perception is reliable.3 Denying (1) yields what I will call “basic justification” or “basic justified beliefs” — justified beliefs that are obtained without prior justification for believing that the processes that produces them are reliable.
    [Show full text]
  • From Logic to Rhetoric: a Contextualized Pedagogy for Fallacies
    Current Issue From the Editors Weblog Editorial Board Editorial Policy Submissions Archives Accessibility Search Composition Forum 32, Fall 2015 From Logic to Rhetoric: A Contextualized Pedagogy for Fallacies Anne-Marie Womack Abstract: This article reenvisions fallacies for composition classrooms by situating them within rhetorical practices. Fallacies are not formal errors in logic but rather persuasive failures in rhetoric. I argue fallacies are directly linked to successful rhetorical strategies and pose the visual organizer of the Venn diagram to demonstrate that claims can achieve both success and failure based on audience and context. For example, strong analogy overlaps false analogy and useful appeal to pathos overlaps manipulative emotional appeal. To advance this argument, I examine recent changes in fallacies theory, critique a-rhetorical textbook approaches, contextualize fallacies within the history and theory of rhetoric, and describe a methodology for rhetorically reclaiming these terms. Today, fallacy instruction in the teaching of written argument largely follows two paths: teachers elevate fallacies as almost mathematical formulas for errors or exclude them because they don’t fit into rhetorical curriculum. Both responses place fallacies outside the realm of rhetorical inquiry. Fallacies, though, are not as clear-cut as the current practice of spotting them might suggest. Instead, they rely on the rhetorical situation. Just as it is an argument to create a fallacy, it is an argument to name a fallacy. This article describes an approach in which students must justify naming claims as successful strategies and/or fallacies, a process that demands writing about contexts and audiences rather than simply linking terms to obviously weak statements.
    [Show full text]
  • Evidence Graphs: Supporting Transparent and FAIR Computation, with Defeasible Reasoning on Data, Methods and Results
    bioRxiv preprint doi: https://doi.org/10.1101/2021.03.29.437561; this version posted March 30, 2021. The copyright holder for this preprint (which was not certified by peer review) is the author/funder, who has granted bioRxiv a license to display the preprint in perpetuity. It is made available under aCC-BY 4.0 International license. Evidence Graphs: Supporting Transparent and FAIR Computation, with Defeasible Reasoning on Data, Methods and Results Sadnan Al Manir1 [0000-0003-4647-3877], Justin Niestroy1 [0000-0002-1103-3882], Maxwell Adam Levinson1 [0000-0003-0384-8499], and Timothy Clark1,2 [0000-0003-4060-7360]* 1 University of Virginia, School of Medicine, Charlottesville VA USA 2 University of Virginia, School of Data Science, Charlottesville VA USA [email protected] *Corresponding author: [email protected] Abstract. Introduction: Transparency of computation is a requirement for assessing the va- lidity of computed results and research claims based upon them; and it is essential for access to, assessment, and reuse of computational components. These com- ponents may be subject to methodological or other challenges over time. While reference to archived software and/or data is increasingly common in publica- tions, a single machine-interpretable, integrative representation of how results were derived, that supports defeasible reasoning, has been absent. Methods: We developed the Evidence Graph Ontology, EVI, in OWL 2, with a set of inference rules, to provide deep representations of supporting and challeng- ing evidence for computations, services, software, data, and results, across arbi- trarily deep networks of computations, in connected or fully distinct processes. EVI integrates FAIR practices on data and software, with important concepts from provenance models, and argumentation theory.
    [Show full text]
  • Discourse Relations and Defeasible Knowledge`
    DISCOURSE RELATIONS AND DEFEASIBLE KNOWLEDGE* Alex Lascarides t Nicholas Asher Human Communication Research Centre Center for Cognitive Science University of Edinburgh University of Texas 2 Buccleuch Place, Edinburgh, EH8 9LW Austin, Texas 78712 Scotland USA alex@uk, ac. ed. cogsc£ asher@sygmund, cgs. utexas, edu Abstract of the event described in a, i.e. fl's event is part of the preparatory phase of a's: 2 This paper presents a formal account of the temporal interpretation of text. The distinct nat- (2) The council built the bridge. The architect ural interpretations of texts with similar syntax drew up the plans. are explained in terms of defeasible rules charac- terising causal laws and Gricean-style pragmatic Explanation(a, fl): For example the event de- maxims. Intuitively compelling patterns of defea,- scribed in clause fl caused the event described in sible entailment that are supported by the logic clause a: in which the theory is expressed are shown to un- derly temporal interpretation. (3) Max fell. John pushed him. Background(a, fl): For example the state de- The Problem scribed in fl is the 'backdrop' or circumstances under which the event in a occurred (so the event and state temporally overlap): The temporal interpretation of text involves an account of how the events described are related (4) Max opened the door. The room was pitch to each other. These relations follow from the dark. discourse relations that are central to temporal import. 1 Some of these are listed below, where Result(a, fl): The event described in a caused the clause a appears in the text before fl: the event or state described in fl: Narration(a,fl): The event described in fl is a consequence of (but not necessarily caused by) (5) Max switched off the light.
    [Show full text]
  • 1 a Tale of Two Interpretations
    Notes 1 A Tale of Two Interpretations 1. As Georges Dicker puts it, “Hume’s influence on contemporary epistemology and metaphysics is second to none ... ” (1998, ix). Note, too, that Hume’s impact extends beyond philosophy. For consider the following passage from Einstein’s letter to Moritz Schlick: Your representations that the theory of rel. [relativity] suggests itself in positivism, yet without requiring it, are also very right. In this also you saw correctly that this line of thought had a great influence on my efforts, and more specifically, E. Mach, and even more so Hume, whose Treatise of Human Nature I had studied avidly and with admiration shortly before discovering the theory of relativity. It is very possible that without these philosophical studies I would not have arrived at the solution (Einstein 1998, 161). 2. For a brief overview of Hume’s connection to naturalized epistemology, see Morris (2008, 472–3). 3. For the sake of convenience, I sometimes refer to the “traditional reading of Hume as a sceptic” as, e.g., “the sceptical reading of Hume” or simply “the sceptical reading”. Moreover, I often refer to those who read Hume as a sceptic as, e.g., “the sceptical interpreters of Hume” or “the sceptical inter- preters”. By the same token, I sometimes refer to those who read Hume as a naturalist as, e.g., “the naturalist interpreters of Hume” or simply “the natu- ralist interpreters”. And the reading that the naturalist interpreters support I refer to as, e.g., “the naturalist reading” or “the naturalist interpretation”. 4. This is not to say, though, that dissenting voices were entirely absent.
    [Show full text]
  • On a Flexible Representation for Defeasible Reasoning Variants
    Session 27: Argumentation AAMAS 2018, July 10-15, 2018, Stockholm, Sweden On a Flexible Representation for Defeasible Reasoning Variants Abdelraouf Hecham Pierre Bisquert Madalina Croitoru University of Montpellier IATE, INRA University of Montpellier Montpellier, France Montpellier, France Montpellier, France [email protected] [email protected] [email protected] ABSTRACT Table 1: Defeasible features supported by tools. We propose Statement Graphs (SG), a new logical formalism for Tool Blocking Propagating Team Defeat No Team Defeat defeasible reasoning based on argumentation. Using a flexible label- ASPIC+ - X - X ing function, SGs can capture the variants of defeasible reasoning DEFT - X - X DeLP - X - X (ambiguity blocking or propagating, with or without team defeat, DR-DEVICE X - X - and circular reasoning). We evaluate our approach with respect Flora-2 X - X - to human reasoning and propose a working first order defeasible reasoning tool that, compared to the state of the art, has richer expressivity at no added computational cost. Such tool could be of great practical use in decision making projects such as H2020 Existing literature has established the link between argumenta- NoAW. tion and defeasible reasoning via grounded semantics [13, 28] and Dialectical Trees [14]. Such approaches only allow for ambiguity KEYWORDS propagation without team defeat [16, 26]. In this paper we propose a new logical formalism called State- Defeasible Reasoning; Defeasible Logics; Existential Rules ment Graph (SGs) that captures all features showed in Table 1 via ACM Reference Format: a flexible labelling function. The SG can be seen as a generalisa- Abdelraouf Hecham, Pierre Bisquert, and Madalina Croitoru. 2018. On a tion of Abstract Dialectical Frameworks (ADF) [8] that enrich ADF Flexible Representation for Defeasible Reasoning Variants.
    [Show full text]
  • Explanations, Belief Revision and Defeasible Reasoning
    Artificial Intelligence 141 (2002) 1–28 www.elsevier.com/locate/artint Explanations, belief revision and defeasible reasoning Marcelo A. Falappa a, Gabriele Kern-Isberner b, Guillermo R. Simari a,∗ a Artificial Intelligence Research and Development Laboratory, Department of Computer Science and Engineering, Universidad Nacional del Sur Av. Alem 1253, (B8000CPB) Bahía Blanca, Argentina b Department of Computer Science, LG Praktische Informatik VIII, FernUniversitaet Hagen, D-58084 Hagen, Germany Received 15 August 1999; received in revised form 18 March 2002 Abstract We present different constructions for nonprioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept of explanation in a deductive way. Second, we define multiple revision operators with respect to sets of sentences (representing explanations), giving representation theorems. Finally, we relate the formulated operators with argumentative systems and default reasoning frameworks. 2002 Elsevier Science B.V. All rights reserved. Keywords: Belief revision; Change theory; Knowledge representation; Explanations; Defeasible reasoning 1. Introduction Belief Revision systems are logical frameworks for modelling the dynamics of knowledge. That is, how we modify our beliefs when we receive new information. The main problem arises when that information is inconsistent with the beliefs that represent our epistemic state. For instance, suppose we believe that a Ferrari coupe is the fastest car and then we found out that some Porsche cars are faster than any Ferrari cars. Surely, we * Corresponding author. E-mail addresses: [email protected] (M.A. Falappa), [email protected] (G. Kern-Isberner), [email protected] (G.R.
    [Show full text]
  • Reasoning Strategies for Diagnostic Probability Estimates in Causal Contexts: Preference for Defeasible Deduction Over Abduction?
    Reasoning strategies for diagnostic probability estimates in causal contexts: Preference for defeasible deduction over abduction? Jean-Louis Stilgenbauer1,2, Jean Baratgin1,3, and Igor Douven4 1 CHArt (P-A-R-I-S), Université Paris 8, EPHE, 4-14 rue Ferrus, 75014 Paris – France, http://paris-reasoning.eu/ 2 Facultés Libres de Philosophie et de Psychologie (IPC), 70 avenue Denfert-Rochereau, 75014 Paris – France [email protected] 3 Institut Jean Nicod (IJN), École Normale Supérieure (ENS), 29 rue d’Ulm, 75005 Paris – France [email protected] 4 Sciences, Normes, Décision (SND), CNRS/Université Paris-Sorbonne, 1 rue Victor Cousin, 75005 Paris – France [email protected] Abstract. Recently, Meder, Mayrhofer, and Waldmann [1,2] have pro- posed a model of causal diagnostic reasoning that predicts an interfer- ence of the predictive probability, Pr(Effect | Cause), in estimating the diagnostic probability, Pr(Cause | Effect), specifically, that the interfer- ence leads to an underestimation bias of the diagnostic probability. The objective of the experiment reported in the present paper was twofold. A first aim was to test the existence of the underestimation bias in in- dividuals. Our results indicate the presence of an underestimation of the diagnostic probability that depends on the value of the predictive probability. Secondly, we investigated whether this bias was related to the type of estimation strategy followed by participants. We tested two main strategies: abductive inference and defeasible deduction. Our re- sults reveal that the underestimation of diagnostic probability is more pronounced under abductive inference than under defeasible deduction. Our data also suggest that defeasible deduction is for individuals the most natural reasoning strategy to estimate Pr(Cause | Effect).
    [Show full text]
  • 1 the Reasoning View and Defeasible Practical Reasoning Samuel Asarnow Macalester College [email protected] Forthcoming In
    The Reasoning View and Defeasible Practical Reasoning Samuel Asarnow Macalester College [email protected] Forthcoming in Philosophy and Phenomenological Research ABSTRACT: According to the Reasoning View about normative reasons, facts about normative reasons for action can be understood in terms of facts about the norms of practical reasoning. I argue that this view is subject to an overlooked class of counterexamples, familiar from debates about Subjectivist theories of normative reasons. Strikingly, the standard strategy Subjectivists have used to respond to this problem cannot be adapted to the Reasoning View. I think there is a solution to this problem, however. I argue that the norms of practical reasoning, like the norms of theoretical reasoning, are characteristically defeasible, in a sense I make precise. Recognizing this property of those norms makes space for a solution to the problem. The resulting view is in a way analogous to familiar defeasibility theories of knowledge, but it avoids a standard objection to that theory. Introduction It is a commonplace to observe that there is a connection between the idea of a normative reason and the idea of good reasoning. As Paul Grice put it, “reasons […] are the stuff of which reasoning is made.”1 Using a consideration as a premise in a piece of reasoning—making an inference on the basis of it—is a paradigmatic way of treating that consideration as a reason. And, very often, when we engage in good reasoning we are responding to the considerations that really are the normative
    [Show full text]
  • Defeasible Inference in Natural Language
    Thinking Like a Skeptic: Defeasible Inference in Natural Language Rachel Rudingeryzx, Vered Shwartzyz, Jena D. Hwangy, Chandra Bhagavatulay, Maxwell Forbesyz, Ronan Le Brasy, Noah A. Smithyz, Yejin Choiyz yAllen Institute for AI zPaul G. Allen School of Computer Science & Engineering, University of Washington xUniversity of Maryland, College Park, MD [email protected] fvereds,jenah,chandrab,maxf,ronanlb,noah,[email protected] Abstract Premise: Two men and a dog are standing among rolling green hills. Defeasible inference is a mode of reasoning in which an inference (X is a bird, therefore X Hypothesis: The men are farmers. flies) may be weakened or overturned in light They are wearing backpacks. The men are facing their granary. of new evidence (X is a penguin). Though One man is using his binoculars. The men are holding pitchforks. long recognized in classical AI and philoso- The men are studying a tour map. The dog is a sheep dog. phy, defeasible inference has not been exten- sively studied in the context of contemporary Figure 1: Examples from the δ-SNLI portion of the data-driven research on natural language infer- δ-NLI dataset. A neutral premise-hypothesis pair from ence and commonsense reasoning. We intro- SNLI is augmented with three update sentences that duce Defeasible NLI (abbreviated δ-NLI), a weaken the hypothesis (left, red) and three update sen- dataset for defeasible inference in natural lan- tences that strengthen it (right, blue). guage. δ-NLI contains extensions to three existing inference datasets covering diverse modes of reasoning: common sense, natural of new evidence, is known as defeasible reasoning language inference, and social norms.
    [Show full text]
  • An Appreciation of John Pollock's Work on the Computational Study Of
    Argument and Computation Vol. 3, No. 1, March 2012, 1–19 An appreciation of John Pollock’s work on the computational study of argument Henry Prakkena* and John Hortyb aDepartment of Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands & Faculty of Law, University of Groningen, Groningen, The Netherlands; bPhilosophy Department, Institute for Advanced Computer Studies and Computer Science Department, University of Maryland, College Park, MD, USA (Received 12 January 2012; final version received 19 January 2012) John Pollock (1940–2009) was an influential American philosopher who made important con- tributions to various fields, including epistemology and cognitive science. In the last 25 years of his life, he also contributed to the computational study of defeasible reasoning and prac- tical cognition in artificial intelligence. He developed one of the first formal systems for argumentation-based inference and he put many issues on the research agenda that are still relevant for the argumentation community today. This paper presents an appreciation of Pol- lock’s work on defeasible reasoning and its relevance for the computational study of argument. In our opinion, Pollock deserves to be remembered as one of the founding fathers of the field of computational argument, while, moreover, his work contains important lessons for current research in this field, reminding us of the richness of its object of study. Keywords: formal models of argumentation; non-monotonic accounts of argument; defeasible reasoning 1. Introduction John Pollock (1940–2009) was an influential American philosopher who made important contri- butions to various fields, including epistemology and cognitive science. In the last 25 years of his life, he also contributed to artificial intelligence (AI), first to the study of defeasible reasoning and then to the study of decision-theoretic planning and practical cognition.
    [Show full text]