Argumentation Theory Vs Formal Logic: the Case of Scientific Argumentation and the 'Logic' of Controversies
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Contextual Epistemic Logic Manuel Rebuschi, Franck Lihoreau
Contextual Epistemic Logic Manuel Rebuschi, Franck Lihoreau To cite this version: Manuel Rebuschi, Franck Lihoreau. Contextual Epistemic Logic. C. Degrémont, L. Keiff & H. Rückert. Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, King’s College Publication, pp.305-335, 2008, Tributes. hal-00133359 HAL Id: hal-00133359 https://hal.archives-ouvertes.fr/hal-00133359 Submitted on 11 Jan 2009 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Contextual Epistemic Logic Manuel Rebuschi Franck Lihoreau L.H.S.P. – Archives H. Poincar´e Instituto de Filosofia da Linguagem Universit´eNancy 2 Universidade Nova de Lisboa [email protected] [email protected] Abstract One of the highlights of recent informal epistemology is its growing theoretical emphasis upon various notions of context. The present paper addresses the connections between knowledge and context within a formal approach. To this end, a “contextual epistemic logic”, CEL, is proposed, which consists of an extension of standard S5 epistemic modal logic with appropriate reduction axioms to deal with an extra contextual operator. We describe the axiomatics and supply both a Kripkean and a dialogical semantics for CEL. -
Implicit Versus Explicit Knowledge in Dialogical Logic Manuel Rebuschi
Implicit versus Explicit Knowledge in Dialogical Logic Manuel Rebuschi To cite this version: Manuel Rebuschi. Implicit versus Explicit Knowledge in Dialogical Logic. Ondrej Majer, Ahti-Veikko Pietarinen and Tero Tulenheimo. Games: Unifying Logic, Language, and Philosophy, Springer, pp.229-246, 2009, 10.1007/978-1-4020-9374-6_10. halshs-00556250 HAL Id: halshs-00556250 https://halshs.archives-ouvertes.fr/halshs-00556250 Submitted on 16 Jan 2011 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Implicit versus Explicit Knowledge in Dialogical Logic Manuel Rebuschi L.P.H.S. – Archives H. Poincar´e Universit´ede Nancy 2 [email protected] [The final version of this paper is published in: O. Majer et al. (eds.), Games: Unifying Logic, Language, and Philosophy, Dordrecht, Springer, 2009, 229-246.] Abstract A dialogical version of (modal) epistemic logic is outlined, with an intuitionistic variant. Another version of dialogical epistemic logic is then provided by means of the S4 mapping of intuitionistic logic. Both systems cast new light on the relationship between intuitionism, modal logic and dialogical games. Introduction Two main approaches to knowledge in logic can be distinguished [1]. The first one is an implicit way of encoding knowledge and consists in an epistemic interpretation of usual logic. -
Arguing Or Reasoning? Argumentation in Rhetorical Context
University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 10 May 22nd, 9:00 AM - May 25th, 5:00 PM Arguing or reasoning? Argumentation in rhetorical context Manfred Kraus University of Tübingen, Philologisches Seminar Follow this and additional works at: https://scholar.uwindsor.ca/ossaarchive Part of the Philosophy Commons Kraus, Manfred, "Arguing or reasoning? Argumentation in rhetorical context" (2013). OSSA Conference Archive. 97. https://scholar.uwindsor.ca/ossaarchive/OSSA10/papersandcommentaries/97 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]. Arguing or reasoning? Argumentation in rhetorical context MANFRED KRAUS Philologisches Seminar University of Tübingen Wilhelmstraße 36 72074 Tübingen Germany [email protected] ABSTRACT: If dialogue is a necessary condition for argument, argumentation in oratory becomes questionable, since rhetoric is not a dialogically structured activity. If special norms apply to the ‘solo’ performances of rhetoric, the orator’s activity may be more appropriately described as reasoning than as arguing. By analyzing in what respect rhetorical texts can be interpreted as dialogue-based and subject to criteria of Informal Logic, the virtues of rhetorical argumentation in contrast to logic and dialectic emerge. KEYWORDS: acceptability, audience, dialectic, dialogue, oratory, reasoning, relevance, rhetoric, solo performance, sufficiency 1. INTRODUCTION Alongside the two main schools of pragma-dialectics and informal logic, in recent years rhetoric has established itself as an independent third approach to argumentation theory. -
Inferential Semantics As Argumentative Dialogues Davide Catta, Luc Pellissier, Christian Retoré
Inferential Semantics as Argumentative Dialogues Davide Catta, Luc Pellissier, Christian Retoré To cite this version: Davide Catta, Luc Pellissier, Christian Retoré. Inferential Semantics as Argumentative Dialogues. DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, 10.1007/978-3-030-53829-3_7. hal-02922646 HAL Id: hal-02922646 https://hal.archives-ouvertes.fr/hal-02922646 Submitted on 26 Aug 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Inferential Semantics as Argumentative Dialogues Davide Catta1, Luc Pellissier2, and Christian Retor´e1 1 LIRMM, Univ Montpellier, CNRS, Montpellier [email protected], [email protected] 2 Partout, INRIA Saclay ^Ile de France [email protected] Abstract. This paper is at the same time a first step towards an \im- plementation" of the inferentialist view of meaning and a first proposal for a logical structure which describes an argumentation. According to inferentialism the meaning of a statement lies in its argumentative use, its justifications, its refutations and more generally its deductive rela- tion to other statements. In this first step we design a simple notion of argumentative dialogue. -
Arguing Ecosystem Values with Paraconsistent Logics
Arguing Ecosystem Values with Paraconsistent Logics Juan Afanador University of Edinburgh November 18, 2019 Abstract The valuation of ecosystem services prompts dialogical settings where non-trivially incon- sistent arguments are often invoked. Here, I propose an approach to the valuation of ecosystem services circumscribed to a logic-based argumentation framework that caters for valid inconsis- tencies. This framework accounts for preference formation processes underpinned by a paracon- sistent model of logical entailment. The value of an ecosystem service is produced in the form of an ordering over competing land-use practices, as per the arguments surviving semantical probing. Keywords: valuation of ecosystem services, abstract argumentation, paraconsistent logics, Dialetheism. 1 Introduction The valuation of ecosystem services deals with distinct and contradictory views on value, a mul- tiplicity that typically reflects opposing or conflicting land-use practices. At times, it is the case that the same people who acknowledge the importance of the benefits derived from a particular ecosystem function, and who are also aware of the connection between the two, undertake actions that contravene the precedence of such knowledge. Furthermore, these decisions are not made in the abstract, but mediated by various forms of sociality involving dialogue —even if only implicitly. This document presents an approach to the valuation of ecosystem services that incorporates the contradictions and inconsistencies inherent in valuation —an approach I term Argumentative arXiv:1911.06367v1 [cs.LO] 14 Nov 2019 Valuation (AV). AV relies on an argumentation framework structured around Dialetheism. AV’s argumentation framework enables the dialogical settings where values substantiate, while its di- aletheic substrate allows for true (truthful) inconsistencies in the values’ antecedents. -
Advice on the Logic of Argument†
Revista del Instituto de Filosofía, Universidad de Valparaíso, Año 1, N° 1. Junio 2013. Pags. 7 – 34 Advice on the Logic of Argument† John Woods Resumen Desde su creación moderna a principios de la década de los 70, la lógica informal ha puesto un especial énfasis en el análisis de las falacias y los esquemas de diálogo argumentativo. Desarrollos simultáneos en los círculos que se ocupan de los actos de comunicación de habla exhiben una concentración en el carácter dialéctico de la discusión. PALABRAS CLAVE: Lógica informal, argumento, diálogos Abstract Since its modern inception in the early 1970s, informal logic has placed a special emphasis on the analysis of fallacies and argumentative dialogue schemes. Concurrent developments in speech communication circles exhibit a like concentration on the dialectical character of argument. KEYWORDS: Informal logic, argument, dialogues “But the old connection [of logic] with philosophy is closest to my heart right now . I hope that logic will have another chance in its mother area.” Johan van Benthem “On [the] traditional view of the subject, the phrase ‘formal logic’ is pleonasm and ‘informal logic’ oxymoron.” John Burgess 1. Background remarks Logic began abstractly, as the theoretical core of a general theory of real-life argument. This was Aristotle’s focus in Topics and On Sophistical Refutations and a † Recibido: abril 2013. Aceptado: mayo 2013. The Abductive Systems Group, Department of Philosophy, University of British Columbia 8 / Revista de Humanidades de Valparaíso, Año 1, N° 1 dominant theme of mediaeval dialectic. In our own day, the intellectual skeins that matter for argument-minded logicians are the formal logics of dialogues and games and on the less technical side of the street informal logic. -
Chu's Construction
Chu's construction: A proof-theoretic approach revisited G. Bellin October 1, 2015 Abstract The paper Chu's construction: A proof-theoretic approach (Bellin 2003) relates the proof-theoretic question about the meaning of Girard's long trips condition for proof nets to research (Hyland and Schalk 2003) on abstract structures with self-duality related to game-semantics, namely, dialectica categories (De Paiva 1991) and Chu's construction (Barr 1979). We consider an informal interpretation inspired by htis result, assuming that the role of player and opponent in a dialogue may involve different illocutionary forces (question / answer, assertion/ doubt). We ask how this relates to other game theoretic or dialogical interpretations. Simple self-duality and the long trip condition. The abstract of (Bellin 2003) says: "The essential interaction between classical and intuitionistic features in the system of linear logic is best described in the language of category theory. Given a symmetric monoidal closed category C with finite products, the category C × Cop can be given the structure of a ∗-autonomous category by a special case of the Chu construction. Girard's trips induce translations of classical MLL− proof net into intuitionistic proof in IMLL− and these translations determine the functor from the free ∗-autonomous op category A on a set of atoms fP1; P2;:::g to C × C , where C is the free monoidal closed category with products and coproducts on 0 0 0 the set of atoms fP1; P1; P2; P2;:::g (a pair P, P in C for each atom P of A)." 1. CMLL: Classical Multiplicative Linear Logic Language of CMLL: A; B := P j P? j 1 j ? j A ⊗ B j A}B in negation normal form: 1? = ?; (A ⊗ B)? = (A?}B?), etc. -
A Systematic Theory of Argumentation: the Pragma-Dialectical Approach
This page intentionally left blank A Systematic Theory of Argumentation The pragma-dialectical approach In A Systematic Theory of Argumentation, two of the leading figures in argumentation theory, Frans H. van Eemeren and Rob Grootendorst, present a view of argumentation as a means of resolving differences of opinion by testing the acceptability of the disputed positions. Their model of a “critical discussion” serves as a theoretical tool for ana- lyzing, evaluating, and producing argumentative discourse. In this approach, pragmatic and dialectical insights are combined by con- ceiving a critical discussion as a methodological exchange of speech acts between two parties. Van Eemeren and Grootendorst develop a method for the recon- struction of argumentative discourse that takes into account all as- pects that are relevant to a critical assessment. They explicate a set of rules for the conduct of a critical discussion and propose a practical code of behavior for discussants who want to resolve their differences in a reasonable way. A Systematic Theory of Argumentation is a major contribution to the study of argumentation and will be of particular value to profession- als and graduate students in speech communication, informal logic, rhetoric, critical thinking, linguistics, and philosophy. Frans H. van Eemeren is Professor of Speech Communication, Argu- mentation Theory, and Rhetoric at the University of Amsterdam. Until his death in 2000, Rob Grootendorst was Professor of Dutch Speech Communication at the University of Amsterdam. To Jet Greebe A Systematic Theory of Argumentation The pragma-dialectical approach FRANS H. VAN EEMEREN University of Amsterdam ROB GROOTENDORST Formerly, University of Amsterdam cambridge university press Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, São Paulo Cambridge University Press The Edinburgh Building, Cambridge cb2 2ru, UK Published in the United States of America by Cambridge University Press, New York www.cambridge.org Information on this title: www.cambridge.org/9780521830751 © Frans H. -
CONSTRUCTIVE TYPE THEORY and the DIALOGICAL Rules for Dialectical Games Presented in the Topics (Θ, 2, 157A 34 and 3 APPROACH to MEANING 8,160B)
Constructive Type Theory 2 The Baltic International Yearbook of 1. INTRODUCTION: KUNO LORENZ AND THE DIALOGICAL TURN Cognition, Logic and Communication Since the time of ancient Greece—where the agora emerged as the first November 2013 Volume 8: Games, Game Theory public space for discussion and decision-making on diverse and serious and Game Semantics matters—and after the crucial influence of the Sophists, of Plato and pages 1-72 DOI: 10.4148/1944-3676.1077 of Aristotle, dialectical reasoning won a place in our understanding of science and the constitution of society that it has kept ever since. SHAHID RAHMAN In a recent paper M. Marion and H. Rückert (forth)—who for Université de Lille, UMR 8163: STL the first time since the early papers by Kuno Lorenz and Jürgen Mit- 2 NICOLAS CLERBOUT tlestrass (1966; 1967) take up the historic roots of the theory of Université de Lille, UMR 8163: STL meaning underlying dialogical logic—show how the notion of quan- tified expressions in Aristotle’s syllogistic was based on some specific CONSTRUCTIVE TYPE THEORY AND THE DIALOGICAL rules for dialectical games presented in the Topics (Θ, 2, 157a 34 and 3 APPROACH TO MEANING 8,160b). However, after Aristotle, the theories of inference and of dialectical reasoning followed different paths and thus the dynamic as- pects of logic were lost. Furthermore, during the years immediately following the failure of the project of logical positivism, the links be- ABSTRACT: In its origins Dialogical logic constituted one part tween science as a body of knowledge and science as a process by of a new movement called the Erlangen School or Erlangen Con- which knowledge is achieved were cut off. -
Revista Inclusiones Issn 0719-4706 Volumen 6 – Número Especial – Octubre/Diciembre 2019
CUERPO DIRECTIVO Dra. Nidia Burgos Universidad Nacional del Sur, Argentina Directores Dr. Juan Guillermo Mansilla Sepúlveda Mg. María Eugenia Campos Universidad Católica de Temuco, Chile Universidad Nacional Autónoma de México, México Dr. Francisco Ganga Contreras Universidad de Los Lagos, Chile Dr. Francisco José Francisco Carrera Universidad de Valladolid, España Subdirectores Mg © Carolina Cabezas Cáceres Mg. Keri González Universidad de Las Américas, Chile Universidad Autónoma de la Ciudad de México, México Dr. Andrea Mutolo Universidad Autónoma de la Ciudad de México, México Dr. Pablo Guadarrama González Universidad Central de Las Villas, Cuba Editor Drdo. Juan Guillermo Estay Sepúlveda Mg. Amelia Herrera Lavanchy Editorial Cuadernos de Sofía, Chile Universidad de La Serena, Chile Editor Científico Mg. Cecilia Jofré Muñoz Dr. Luiz Alberto David Araujo Universidad San Sebastián, Chile Pontificia Universidade Católica de Sao Paulo, Brasil Mg. Mario Lagomarsino Montoya Editor Brasil Universidad Adventista de Chile, Chile Drdo. Maicon Herverton Lino Ferreira da Silva Universidade da Pernambuco, Brasil Dr. Claudio Llanos Reyes Pontificia Universidad Católica de Valparaíso, Chile Editor Ruropa del Este Dr. Alekzandar Ivanov Katrandhiev Dr. Werner Mackenbach Universidad Suroeste "Neofit Rilski", Bulgaria Universidad de Potsdam, Alemania Universidad de Costa Rica, Costa Rica Cuerpo Asistente Mg. Rocío del Pilar Martínez Marín Traductora: Inglés Universidad de Santander, Colombia Lic. Pauline Corthorn Escudero Editorial Cuadernos de Sofía, Chile Ph. D. Natalia Milanesio Universidad de Houston, Estados Unidos Traductora: Portugués Lic. Elaine Cristina Pereira Menegón Dra. Patricia Virginia Moggia Münchmeyer Editorial Cuadernos de Sofía, Chile Pontificia Universidad Católica de Valparaíso, Chile Portada Ph. D. Maritza Montero Sr. Felipe Maximiliano Estay Guerrero Universidad Central de Venezuela, Venezuela Editorial Cuadernos de Sofía, Chile Dra. -
Rhetoric, Dialectic and Logic
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Scholarship at UWindsor University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 10 May 22nd, 9:00 AM - May 25th, 5:00 PM Rhetoric, dialectic and logic: The triad de- compartmentalized Charlotte Jørgensen University of Copenhagan, Department of Media, Cognition, and Communication, Rhetoric Section Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive Part of the Philosophy Commons Charlotte Jørgensen, "Rhetoric, dialectic and logic: The triad de-compartmentalized" (May 22, 2013). OSSA Conference Archive. Paper 80. http://scholar.uwindsor.ca/ossaarchive/OSSA10/papersandcommentaries/80 This Paper is brought to you for free and open access by the Faculty of Arts, Humanities and Social Sciences at Scholarship at UWindsor. It has been accepted for inclusion in OSSA Conference Archive by an authorized administrator of Scholarship at UWindsor. For more information, please contact [email protected]. Rhetoric, dialectic and logic: The triad de-compartmentalized CHARLOTTE JØRGENSEN Department of Media, Cognition, and Communication, Rhetoric Section University of Copenhagen Njalsgade 80, DK-2300 Copenhagen S Denmark [email protected] ABSTRACT: Taking Blair’s recent contribution to the debate about the triad as its starting point, the paper discusses and challenges the effort to reduce the intricate relationship between rhetoric, dialectic, and logic to a single criterion or watertight trichotomy. I argue that such efforts obscure the complexities within the fields, their differences being partly due to disciplinary traditions. They neglect the intermingling properties of the fields as well as the possibilities for theoretical bridging between them. -
Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus Authors: Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh Affiliation: Department of Computer Science, University of Oxford Address: Wolfson Building, Parks Road, Oxford, OX1 3QD Emails: [email protected] Abstract The Distributional Compositional Categorical (DisCoCat) model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consists of a computational procedure for constructing meanings of sentences, given their grammatical structure in terms of compositional type-logic, and given the empirically derived meanings of their words. For the particular case that the meaning of words is modelled within a distributional vector space model, its experimental predictions, derived from real large scale data, have outperformed other em- pirically validated methods that could build vectors for a full sentence. This success can be attributed to a conceptually motivated mathematical underpinning, something which the other methods lack, by integrating qualitative compositional type-logic and quantitative modelling of meaning within a category-theoretic mathematical framework. The type-logic used in the DisCoCat model is Lambek’s pregroup grammar. Pregroup types form a posetal compact closed category, which can be passed, in a functorial manner, on to the compact closed structure of vector spaces, linear maps and tensor product. The diagrammatic versions of the equational reasoning in compact closed categories can be interpreted as the flow of word meanings within sentences. Pregroups simplify Lambek’s previous type-logic, the Lambek calculus. The latter and its extensions have been extensively used to formalise and reason about various linguistic phe- nomena.