Judgement and the Epistemic Foundation of Logic


Book Description

This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Löf, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is a settled feature of the landscape. His paper opens the first of four sections that examine, in turn, historical philosophical assessments of judgement and reason; their place in early modern philosophy; the notion of judgement and logical theory in Wolff, Kant and Neo-Kantians like Windelband; their development in the Husserlian phenomenological paradigm; and the work of Bolzano, Russell and Frege. The papers, whose authors include Per Martin-Löf, Göran Sundholm, Michael Della Rocca and Robin Rollinger, represent a finely judged editorial selection highlighting work on philosophers exercised by the question of whether or not an epistemic notion of judgement has a role to play in logic. The volume will be of profound interest to students and academicians for its application of historical developments in philosophy to the solution of vexatious contemporary issues in the foundation of logic. ​







Philosophy of Logic and Mathematics


Book Description

This volume presents different conceptions of logic and mathematics and discuss their philosophical foundations and consequences. This concerns first of all topics of Wittgenstein's ideas on logic and mathematics; questions about the structural complexity of propositions; the more recent debate about Neo-Logicism and Neo-Fregeanism; the comparison and translatability of different logics; the foundations of mathematics: intuitionism, mathematical realism, and formalism. The contributing authors are Matthias Baaz, Francesco Berto, Jean-Yves Beziau, Elena Dragalina-Chernya, Günther Eder, Susan Edwards-McKie, Oliver Feldmann, Juliet Floyd, Norbert Gratzl, Richard Heinrich, Janusz Kaczmarek, Wolfgang Kienzler, Timm Lampert, Itala Maria Loffredo D'Ottaviano, Paolo Mancosu, Matthieu Marion, Felix Mühlhölzer, Charles Parsons, Edi Pavlovic, Christoph Pfisterer, Michael Potter, Richard Raatzsch, Esther Ramharter, Stefan Riegelnik, Gabriel Sandu, Georg Schiemer, Gerhard Schurz, Dana Scott, Stewart Shapiro, Karl Sigmund, William W. Tait, Mark van Atten, Maria van der Schaar, Vladimir Vasyukov, Jan von Plato, Jan Woleński and Richard Zach.




Immanent Reasoning or Equality in Action


Book Description

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). 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 within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.




Past and Present Interactions in Legal Reasoning and Logic


Book Description

This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen ́s Dilemma, the Rhetor ́s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions. The contributions in this work constitute the first results of the ANR-DFG joint research project “JuriLog” (Jurisprudence and Logic), which aims at fostering the cooperation between legal scholars and philosophers. On the one hand, lawyers and legal scholars have an interest in emphasizing the logical character of legal reasoning. In this respect, the present enquiry examines the question of how logic, especially newer forms of dialogical logic, can be made fruitful as a significant area of philosophy for jurisprudence and legal practice. On the other hand, logicians find in legal reasoning a striving towards clear definitions and inference-procedures that is relevant to their discipline. In order to fully understand such reciprocal relationships, it is necessary to bridge the gap between law, logic and philosophy in contemporary academic research. The essays collected in this volume all work towards this common goal. The book is divided in three sections. In the first part, the strong relation between Roman Law and logic is explored with respect to the analysis of disjunctive statements in legal acts. The second part focuses on Leibniz ́s legal theory. The third part, finally, is dedicated to current interactions between law and logic.




Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective


Book Description

The book outlines selected projects conducted under the supervision of the author. Moreover, it discusses significant relations between Interactive Granular Computing (IGrC) and numerous dynamically developing scientific domains worldwide, along with features characteristic of the author’s approach to IGrC. The results presented are a continuation and elaboration of various aspects of Wisdom Technology, initiated and developed in cooperation with Professor Andrzej Skowron. Based on the empirical findings from these projects, the author explores the following areas: (a) understanding the causes of the theory and practice gap problem (TPGP) in complex systems engineering (CSE); (b) generalizing computing models of complex adaptive systems (CAS) (in particular, natural computing models) by constructing an interactive granular computing (IGrC) model of networks of interrelated interacting complex granules (c-granules), belonging to a single agent and/or to a group of agents; (c) developing methodologies based on the IGrC model to minimize the negative consequences of the TPGP. The book introduces approaches to the above issues, using the proposed IGrC model. In particular, the IGrC model refers to the key mechanisms used to control the processes related to the implementation of CSE projects. One of the main aims was to develop a mechanism of IGrC control over computations that model a project’s implementation processes to maximize the chances of its success, while at the same time minimizing the emerging risks. In this regard, the IGrC control is usually performed by means of properly selected and enforced (among project participants) project principles. These principles constitute examples of c-granules, expressed by complex vague concepts (represented by c-granules too). The c-granules evolve with time (in particular, the meaning of the concepts is also subject of change). This methodology is illustrated using project principles applied by the author during the implementation of the POLTAX, AlgoTradix, Merix, and Excavio projects outlined in the book.




Essays on Husserl's Logic and Philosophy of Mathematics


Book Description

Essays on Husserl’s Logic and Philosophy of Mathematics sets out to fill up a lacuna in the present research on Husserl by presenting a precise account of Husserl’s work in the field of logic, of the philosophy of logic and of the philosophy of mathematics. The aim is to provide an in-depth reconstruction and analysis of the discussion between Husserl and his most important interlocutors, and to clarify pivotal ideas of Husserl’s by considering their reception and elaboration by some of his disciples and followers, such as Oskar Becker and Jacob Klein, as well as their influence on some of the most significant logicians and mathematicians of the past century, such as Luitzen E. J. Brouwer, Rudolf Carnap, Kurt Gödel and Hermann Weyl. Most of the papers consider Husserl and another scholar – e.g. Leibniz, Kant, Bolzano, Brentano, Cantor, Frege – and trace out and contextualize lines of influence, points of contact, and points of disagreement. Each essay is written by an expert of the field, and the volume includes contributions both from the analytical tradition and from the phenomenological one.




The Metaphysical Basis of Ethics


Book Description

This book remedies the absence in the history of analytic philosophy of a detailed examination of G. E. Moore’s philosophical views as they developed between 1894 and 1902. This period saw the inauguration of analytic philosophy through the work of Moore and Bertrand Russell. Moore’s early views are examined in detail through unpublished archival material, including surviving letters, diaries, notes of lectures attended, papers for Cambridge societies, and drafts of early work, in order to revise the established view that the origin of analytic philosophy at Cambridge was an abrupt split from F. H. Bradley’s Absolute Idealism. Traditional accounts of this period have highlighted the anti-psychologism of Frege’s logic but have not explored the impact of this movement more broadly. Anti-psychologism was a key feature of the work of Moore’s teachers on the nature of the mind and its objects, in their interpretation of Kant, and in ethics. Moore’s teachers G.F. Stout and James Ward were significant contributors to the late 19th century debates in mental science and the developing new science of psychology. Henry Sidgwick’s criticisms of Kant and Bradley and his leading work in ethics were key influences on Moore. Moore’s Trinity Fellowship Dissertations are essential historical evidence of the development of Moore's new theory of judgment, a theory whose defining role in the origins of analytic philosophy cannot be overstated. Moore’s study of Kant in his dissertations ultimately formed the groundwork for his Principia Ethica (1903), which evolved from ideas that manifested in Moore’s earliest Apostles’ papers, developed through his dissertations, and were refined through his Elements of Ethics lectures (1898-99). This monumental work of early twentieth century ethics is thus shown to be the culmination of Moore’s early philosophical development.




The New Yearbook for Phenomenology and Phenomenological Philosophy


Book Description

Volume XVIII Special Issue: Gian-Carlo Rota and The End of Objectivity, 2019 Aim and Scope: The New Yearbook for Phenomenology and Phenomenological Philosophy provides an annual international forum for phenomenological research in the spirit of Husserl's groundbreaking work and the extension of this work by such figures as Scheler, Heidegger, Sartre, Levinas, Merleau-Ponty and Gadamer. Contributors: Gabriele Baratelli, Stefania Centrone, Giovanna C. Cifoletti, Jean-Marie Coquard, Steven Crowell, Deborah De Rosa, Daniele De Santis, Nicolas de Warren, Agnese Di Riccio, Aurélien Djian, Yuval Dolev, Mirja Hartimo, Burt C. Hopkins, Talia Leven, Ah Hyun Moon, Luis Niel, Fabrizio Palombi, Mario Ariel González Porta, Gian-Carlo Rota, Michael Roubach, Franco Trabattoni and Michele Vagnetti. Submissions: Manuscripts, prepared for blind review, should be submitted to the Editors ([email protected] and [email protected]) electronically via e-mail attachments.




Advances in Proof-Theoretic Semantics


Book Description

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked to provide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.