Objects, Structures, and Logics

Objects, Structures, and Logics
Author :
Publisher : Springer Nature
Total Pages : 365
Release :
ISBN-10 : 9783030847067
ISBN-13 : 3030847063
Rating : 4/5 (063 Downloads)

Book Synopsis Objects, Structures, and Logics by : Gianluigi Oliveri

Download or read book Objects, Structures, and Logics written by Gianluigi Oliveri and published by Springer Nature. This book was released on 2022-03-08 with total page 365 pages. Available in PDF, EPUB and Kindle. Book excerpt: This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship between logic and metaphysics; and the question of whether mathematics is a science of objects or structures. The discussions offered in the papers involve an in-depth investigation of, among other things, the notions of mathematical truth, proof, and grounding; and, often, a special emphasis is placed on considerations relating to mathematical practice. A distinguishing feature of the book is the multicultural nature of the community that has produced it. Philosophers, logicians, and mathematicians have all contributed high-quality articles which will prove valuable to researchers and students alike.


Objects, Structures, and Logics Related Books

Objects, Structures, and Logics
Language: en
Pages: 365
Authors: Gianluigi Oliveri
Categories: Science
Type: BOOK - Published: 2022-03-08 - Publisher: Springer Nature

DOWNLOAD EBOOK

This edited collection casts light on central issues within contemporary philosophy of mathematics such as the realism/anti-realism dispute; the relationship be
Multi-Structure Logics
Language: en
Pages: 148
Authors: Matt Insall
Categories: Science
Type: BOOK - Published: 2007-08 - Publisher:

DOWNLOAD EBOOK

We describe a theory of multi-structures'', and explore logics and languages that are natural for the study of these mathematical objects. The text is written f
An Introduction to Substructural Logics
Language: en
Pages: 384
Authors: Greg Restall
Categories: Philosophy
Type: BOOK - Published: 2002-09-11 - Publisher: Routledge

DOWNLOAD EBOOK

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently l
The Logic of Information
Language: en
Pages: 263
Authors: Luciano Floridi
Categories: COMPUTERS
Type: BOOK - Published: 2019 - Publisher: Oxford University Press

DOWNLOAD EBOOK

Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He explores how we make, transform, refine, and improve the objec
Logic for Programming, Artificial Intelligence, and Reasoning
Language: en
Pages: 756
Authors: Geoff Sutcliffe
Categories: Computers
Type: BOOK - Published: 2005-11-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005,