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 (67 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
Logics of Worlds
Language: en
Pages: 599
Authors: Alain Badiou
Categories: Philosophy
Type: BOOK - Published: 2019-01-24 - Publisher: Bloomsbury Publishing

DOWNLOAD EBOOK

Logics of Worlds is the sequel to Alain Badiou's masterpiece, Being and Event. Tackling the questions that had been left open by Being and Event, and answering
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 Description Logic Handbook
Language: en
Pages: 576
Authors: Franz Baader
Categories: Computers
Type: BOOK - Published: 2003-01-09 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Description Logics are a family of knowledge representation languages that have been studied extensively in Artificial Intelligence over the last two decades. T
Formal Methods for Open Object-based Distributed Systems
Language: en
Pages: 466
Authors: Howard Bowman
Categories: Computers
Type: BOOK - Published: 2016-01-09 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the leading edge in several related fields, specifically object orientated programming, open distributed systems and formal methods for objec