With this volume of the series Logic, Epistemology, and the Unity of Science edited by S. Rahman et al. a challenging dialogue is being continued. The series' first volume argued that one way to recover the connections between logic, philosophy of sciences, and sciences is to acknowledge the host of alternative logics which are currently being developed. The present volume focuses on four key themes. First of all, several chapters unpack the connection between knowledge and epistemology with particular focus on the notion of knowledge as resulting from interaction. Secondly, new epistemological perspectives on linguistics, the foundations of mathematics and logic, physics, biology and law are a subject of analysis. Thirdly, several chapters are dedicated to a discussion of Constructive Type Theory and more generally of the proof-theoretical notion of meaning.Finally, the book brings together studies on the epistemic role of abduction and argumentation theory, both linked to non-monotonic approaches to the dynamics of knowledge.

Explains the epistemic role of abduction and argumentation in the study of alternative logic Offers new ideas on how to combine Logic, Epistemology, and the Unity of Science Presents new insights on Constructive Type Theory

Autorentext
Juan Redmond is full professor at the University of Valparaíso, Institute oh Philosophy and research fellow at the Conicyt (Chile). He is graduated in Philosophy by the University of Cuyo (Argentina), Master in Literature by the Faculty of Etudes Romanes by the University of Lille 3 (France), with a dissertation untitled Fictions in the work of Jorge Luis Borges: for an artefactual approach and PhD in 2010 in Philosophy, University of Lille 3 (France), with a dissertation on Dialogical logic of fictions. Olga Maria Pombo Martins is graduated in Philosophy by the Faculty of Letters of the University of Lisbon, Master in Modern Philosophy by the Faculty of Social and Human Sciences by the New University of Lisbon, with a dissertation untitled Leibniz and the Problem of a Universal Language, PhD in 1998 in History and Philosophy of Education, University of Lisbon, with a dissertation on Unity of Sciences and disciplinar configuration of Knowledges. At 2009 she presented her Aggregation in History and Philosophy of Science at the Faculty of Sciences of the University of Lisbon (FCUL). She coordinated the scientific projects Encyclopedia and Hypertex (FCT- Sapiens, 1999-2002), Scientific Culture. Conceptual Migrations and Social Contaminations (FCT - Sapiens, 2002-2005) and Image in Science and Art (FCT - PTDC, 2006-2011). Since 2003, she is the coordinator of the research Centre for philosophy of Science of the University of Lisbon (CFCUL). She was the president of the FCUL Department Autonomous unit for History and Philosophy of Sciences from 2007 up until 2012. Angel Nepomuceno is Professor at the University of Sevilla, Departement of Logic and Philosophy of Science. His global research line is the interdisciplinary field Logic, Language and Information, specifically Logic (classical and non-classical), Argumentation Theory, Epistemology and theory of scientific knowledge.

Inhalt
Part 1: The Dynamics of Knowledge I: Proof-Theoretical Approaches and the Interactive Viewpoint.- Chapter 1 Granström, Johan: Perennial Intuitionism.- Chapter 2 Piecha, Thomas and Schroeder-Heister, Peter: Atomic Systems in Proof-Theoretic Semantics: Two Approaches.- Chapter 3 Rahman, Shahid; Jovanovic, Radmila and Clerbout, Nicolas: Knowledge and its Game Theoretical Foundations: The Challenge of the Dialogical Approach to Constructive Type Theory.- Chapter 4 McAdams, Darryl and Sterling, Jonathan: Dependent types for Pragmatics.- Chapter 5 Naibo, Alberto; Petrolo, Mattia and Seiller, Thomas: On the Computational Meaning of Axioms.- Part 2 The Dynamics of Knowledge II: Epistemology, Games, and Dynamic Epistemic logic.- Chapter 6 Pacuit, Eric and Roy Olivier: A Dynamic Analysis of Interactive Rationality.- Chapter 7 Hawke, Peter: Relevant Alternatives in Epistemology and Logic.- Chapter 8 Shi, Chenwei: in Knowledge Based on Reliable Evidence.- Chapter 9 Bakent, Can: Public Announcements and Inconsistencies: For a Paraconsistent Topological Model.- Chapter 10 Rebuschi, Manuel: Knowing Necessary Truths.- Chapter 11 Gómez-Caminero, Emilio and Nepomuceno, Angel: Modified Tableaux For Some Kinds Of Multimodal Logics.- Part 3 Argumentation, Conversation and Meaning in Context.- Chapter 12 Martínez, Silvia: Irony as a visual argument.- Chapter 13 Rothenfluch, Sruthi: Ascribing knowledge to Experts: A Virtue-Contextualist Approach.- Chapter 14 Nzokou, Gildas: Defeasible Argumentation in African Oral Traditions. A Special Case of Dealing with non-Monotonic Inference in a Dialogical Framework.- Chapter 15 Punochá, Vít: Semantics of Assertibility and Deniability.- Chapter 16 Salguero-Lamillar, Francisco J.: The quest for the concept in the XXth century: predicates, functions, categories and argument structure.- Part 4 A critical Interlude.- Chapter 17 Wolenski, Jan: On Leonard Nelson's criticism of Epistemology.- Part 5 Knowledge and Sciences I: Naturalized Logic and Epistemology, Cognition and Abduction.- Chapter 18 Woods, John: Logic Naturalized.- Chapter 19 Soler-Toscano, Fernando: Action Models for the Extended Mind.- Chapter 20 Iranzo, Valeriano: Explanatory Reasoning: a probabilistic interpretation.- Chapter 21 Pietarinen, Ahti and Belluci, Francesco: The Iconic Moment. Towards a Peircean theory of diagrammatic imagination.- Part 6 Knowledge and Sciences II: The Role of Models and the Use of Fictions.- Chapter 22 Huneman, Philippe: Does emergence also belong to the scientific image? Elements of an alternative theoretical framework towards an objective notion of emergence.- Chapter 23 Fernández Moreno, Luis: A Comparison Of The Semantics Of Natural Kind Terms And Artifactual Terms.- Chapter 24 Rivadulla, Andrés: Models, Representation and Incompatibility. A Contribution to the Epistemological Debate on the Philosophy of Physics.- Chapter 25 Sievers, Juliele Maria: Fictions in Legal Science: the Strange Case of the Basic Norm.<p