Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Functions and Generality of Logic PDF full book. Access full book title Functions and Generality of Logic by Hourya Benis-Sinaceur. Download full books in PDF and EPUB format.
Author: Hourya Benis-Sinaceur Publisher: Springer ISBN: 3319171097 Category : Philosophy Languages : en Pages : 145
Book Description
This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind’s and Frege’s actual ways of doing and thinking. The second chapter reflects on Frege’s notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege’s program in the foundations of mathematics, and includes comparisons of Frege’s, Russell’s and Ramsey’s views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter’s main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.
Author: Hourya Benis-Sinaceur Publisher: Springer ISBN: 3319171097 Category : Philosophy Languages : en Pages : 145
Book Description
This book examines three connected aspects of Frege’s logicism: the differences between Dedekind’s and Frege’s interpretation of the term ‘logic’ and related terms and reflects on Frege’s notion of function, comparing its understanding and the role it played in Frege’s and Lagrange’s foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege’s, Ramsey’s and Russell’s view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind’s and Frege’s logicisms. The first chapter explains how, although he shares Frege’s aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind’s and Frege’s actual ways of doing and thinking. The second chapter reflects on Frege’s notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege’s program in the foundations of mathematics, and includes comparisons of Frege’s, Russell’s and Ramsey’s views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter’s main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.
Author: Oskari Kuusela Publisher: Oxford University Press ISBN: 0192565311 Category : Philosophy Languages : en Pages : 312
Book Description
In Wittgenstein on Logic as the Method of Philosophy, Oskari Kuusela examines Wittgenstein's early and late philosophies of logic, situating their philosophical significance in early and middle analytic philosophy with particular reference to Frege, Russell, Carnap, and Strawson. He argues that not only the early but also the later Wittgenstein sought to further develop the logical-philosophical approaches of his contemporaries. Throughout his career Wittgenstein's aim was to resolve problems with and address the limitations of Frege's and Russell's accounts of logic and their logical methodologies so as to achieve the philosophical progress that originally motivated the logical-philosophical approach. By re-examining the roots and development of analytic philosophy, Kuusela seeks to open up covered up paths for the further development of analytic philosophy. Offering a novel interpretation of the philosopher, he explains how Wittgenstein extends logical methodology beyond calculus-based logical methods and how his novel account of the status of logic enables one to do justice to the complexity and richness of language use and thought while retaining rigour and ideals of logic such as simplicity and exactness. In addition, this volume outlines the new kind of non-empiricist naturalism developed in Wittgenstein's later work and explaining how his account of logic can be used to dissolve the long-standing methodological dispute between the ideal and ordinary language schools of analytic philosophy. It is of interest to scholars, researchers, and advance students of philosophy interested in engaging with a number of scholarly debates.
Author: Gabriele M. Mras Publisher: Walter de Gruyter GmbH & Co KG ISBN: 3110657880 Category : Philosophy Languages : en Pages : 559
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.
Author: Peter Hylton Publisher: Oxford University Press ISBN: 0199286353 Category : Language Arts & Disciplines Languages : en Pages : 239
Book Description
The work of Bertrand Russell has a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The essays in this text recapture aspects of Russell's philosophical vision during his most influential period, the two decades following his break with Idealism in 1899.
Author: Gila Sher Publisher: Bradford Books ISBN: 9780262193115 Category : Psychology Languages : en Pages : 178
Book Description
The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic developments. Extracting central philosophical ideas from Tarski's early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic exemplified in numerous recent mathematical and linguistic writings. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her development of the notion of logicality for quantifiers of many variables and her work on branching are of great importance, for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinnings of logic. She proposes a "constructive" definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications.
Author: Mary Geach Publisher: Andrews UK Limited ISBN: 1845408934 Category : Philosophy Languages : en Pages : 334
Book Description
Fourth in the series of volumes containing collections of papers of philosopher G.E.M. Anscombe, tackling various subjects and including a reprint of Anscombe's 'Introduction to Wittgenstein's Tractatus'.
Author: Anjolina G. de Oliveira Publisher: World Scientific ISBN: 9814360961 Category : Computers Languages : en Pages : 299
Book Description
This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an OCyenrichedOCO system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harmony between a functional calculus on the labels and a logical calculus on the formulas, it allows mathematical foundations for systems of logic presentation designed to handle meta-level features at the object-level via a labelling mechanism, such as the D Gabbay's Labelled Deductive Systems. The book truly demonstrates that introducing OCylabelsOCO is useful to understand the proof-calculus itself, and also to clarify its connections with model-theoretic interpretations.
Author: Hourya Benis-Sinaceur
Author: Hourya Benis-Sinaceur
Author: Oskari Kuusela
Author: Gabriele M. Mras
Author: Alexander Bain
Author: Alexander Bain
Author: Alexander Bain
Author: Peter Hylton
Author: Gila Sher
Author: Mary Geach
Author: Anjolina G. de Oliveira