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
Objects and Modalities
Language: en
Pages: 217
Authors: Tero Tulenheimo
Categories: Philosophy
Type: BOOK - Published: 2017-03-14 - Publisher: Springer

DOWNLOAD EBOOK

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound
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
Jacques Lacan and the Logic of Structure
Language: en
Pages: 185
Authors: Ellie Ragland
Categories: Psychology
Type: BOOK - Published: 2015-06-26 - Publisher: Routledge

DOWNLOAD EBOOK

Lacan postulated that the psyche can be understood by means of certain structures, which control our lives and our desires, and which operate differently at dif
Categorical Logic and Type Theory
Language: en
Pages: 784
Authors: B. Jacobs
Categories: Computers
Type: BOOK - Published: 2001-05-10 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred cat