Narrow your search

Library

AP (32)

KDG (32)

VUB (27)

Odisee (25)

Thomas More Kempen (25)

Thomas More Mechelen (25)

UCLL (25)

VIVES (25)

KU Leuven (23)

ULB (23)

More...

Resource type

book (38)

digital (32)


Language

English (50)


Year
From To Submit

2023 (50)

Listing 1 - 10 of 50 << page
of 5
>>
Sort by

Digital
Next Generation Arithmetic : 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings
Authors: --- ---
ISBN: 9783031321801 9783031321795 9783031321818 Year: 2023 Publisher: Cham Springer Nature, Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract


Multi
The Priority of Propositions. A Pragmatist Philosophy of Logic
Authors: ---
ISBN: 9783031252297 9783031252280 9783031252303 9783031252310 Year: 2023 Publisher: Cham Springer International Publishing :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This monograph is a defence of the Fregean take on logic. The author argues that Frege´s projects, in logic and philosophy of language, are essentially connected and that the formalist shift produced by the work of Peano, Boole and Schroeder and continued by Hilbert and Tarski is completely alien to Frege's approach in the Begriffsschrift. A central thesis of the book is that judgeable contents, i.e. propositions, are the primary bearers of logical properties, which makes logic embedded in our conceptual system. This approach allows coherent and correct definitions of logical constants, logical consequence, and truth and connects their use to the practices of rational agents in science and everyday life.


Multi
Philosophy of Mathematics in Antiquity and in Modern Times
Authors: ---
ISBN: 9783031273049 9783031273032 9783031273056 9783031273063 Year: 2023 Publisher: Cham Springer International Publishing :Imprint: Birkhäuser

Loading...
Export citation

Choose an application

Bookmark

Abstract

»Philosophy of Mathematics« is understood, in this book, as an effort to clarify such questions that mathematics itself raises but cannot answer with its own methods. These include, for example, questions about the ontological status of mathematical objects (e.g., what is the nature of mathematical objects?) and the epistemological status of mathematical theorems (e.g., from what sources do we draw when we prove mathematical theorems?). The answers given by Plato, Aristotle, Euclid, Descartes, Locke, Leibniz, Kant, Cantor, Frege, Dedekind, Hilbert and others will be studied in detail. This will lead us to deep insights, not only into the history of mathematics, but also into the conception of mathematics as it is commonly held in the present time. The book is a translation from the German, however revised and considerably expanded. Various chapters have been completely rewritten.


Multi
Kurt Gödel: Results on Foundations
Authors: --- ---
ISBN: 9783031378751 9783031378744 9783031378768 9783031378775 Year: 2023 Publisher: Cham Springer Nature Switzerland :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

Kurt Gödel (1906-1978) gained world-wide fame by his incompleteness theorem of 1931. Later, he set as his aim to solve what are known as Hilbert's first and second problems, namely Cantor's continuum hypothesis about the cardinality of real numbers, and secondly the consistency of the theory of real numbers and functions. By 1940, he was halfway through the first problem, in what was his last published result in logic and foundations. His intense attempts thereafter at solving these two problems have remained behind the veil of a forgotten German shorthand he used in all of his writing. Results on Foundations is a set of four shorthand notebooks written in 1940-42 that collect results Gödel considered finished. Its main topic is set theory in which Gödel anticipated several decades of development. Secondly, Gödel completed his 1933 program of establishing the connections between intuitionistic and modal logic, by methods and results that today are at the same time new and 80 years old. The present edition of Gödel's four notebooks encompasses the 368 numbered pages and 126 numbered theorems of the Results on Foundations, together with a list of 74 problems on set theory Gödel prepared in 1946, and a list of an unknown date titled "The grand program of my research in ca. hundred questions.''.


Digital
The Mathematical Representation of Physical Reality
Author:
ISBN: 9783031212543 9783031212536 9783031212550 9783031212567 Year: 2023 Publisher: Cham Springer Nature

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brief history of how mathematics was introduced into physics-despite its "unreasonable effectiveness" as famously pointed out by a distinguished physicist-and the criticisms it received from earlier thinkers. The second part takes a more philosophical approach and is intended to shed some light on that mysterious effectiveness. For this purpose, the author reviews the debate between classical philosophers on the existence of innate ideas that allow us to understand the world and also the philosophically based arguments for and against the use of mathematics in physical sciences. In this context, Schopenhauer's conceptions of causality and matter are very pertinent, and their validity is revisited in light of modern physics. The final question addressed is whether the effectiveness of mathematics can be explained by its "existence" in an independent platonic realm, as Gödel believed. The book aims at readers interested in the history and philosophy of physics. It is accessible to those with only a very basic (not professional) knowledge of physics.


Digital
Concrete Abstractions : Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author:
ISBN: 9783031249341 9783031249334 9783031249358 9783031249365 Year: 2023 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software. The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a "mathematical model checker" by which the validity of all formulas and the correctness of all algorithms can be automatically decided. The RISCAL software is freely available; all formal contents presented in the book are given in the form of specification files by which the reader may interact with the software while studying the corresponding book material.


Book
Kurt Gödel : collected works.
Authors: --- --- --- --- --- et al.
ISBN: 0191003778 9780191003776 9780199689620 0199689628 0191933465 Year: 2023 Publisher: Oxford : Oxford University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The collected works of Kurt Gödel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.


Book
Kurt Gödel : collected works.
Authors: --- --- --- --- --- et al.
ISBN: 019100376X 9780191003769 9780199689613 019968961X 0199689628 9780199689620 0191933457 Year: 2023 Publisher: Oxford : Oxford Univesity Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The collected works of Kurt Gödel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.


Book
The Mathematical Representation of Physical Reality
Authors: ---
ISBN: 9783031212543 Year: 2023 Publisher: Cham Springer Nature Switzerland :Imprint: Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brief history of how mathematics was introduced into physics—despite its "unreasonable effectiveness" as famously pointed out by a distinguished physicist—and the criticisms it received from earlier thinkers. The second part takes a more philosophical approach and is intended to shed some light on that mysterious effectiveness. For this purpose, the author reviews the debate between classical philosophers on the existence of innate ideas that allow us to understand the world and also the philosophically based arguments for and against the use of mathematics in physical sciences. In this context, Schopenhauer’s conceptions of causality and matter are very pertinent, and their validity is revisited in light of modern physics. The final question addressed is whether the effectiveness of mathematics can be explained by its “existence” in an independent platonic realm, as Gödel believed. The book aims at readers interested in the history and philosophy of physics. It is accessible to those with only a very basic (not professional) knowledge of physics.


Book
Modality
Author:
ISBN: 1009008706 1009019198 100900459X 1009001302 Year: 2023 Publisher: Cambridge : Cambridge University Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This volume guides the reader into the topic of modality, with especial emphasis on the most recent debates. The first part is devoted to modality as a general phenomenon, and the second part is focused on metaphysical modality.

Listing 1 - 10 of 50 << page
of 5
>>
Sort by