Logic and Fixed-Domain Reasoning by Taylor, Ralph Gregory;

Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory

Sorozatcím: Trends in Logic; 67;

20% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár EUR 139.09
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

54 328 Ft (51 741 Ft + 5% áfa)
Kedvezmény(ek) 20% (cc. 10 866 Ft off)
Kedvezményes ár 43 462 Ft (41 393 Ft + 5% áfa)
A kedvezmény érvényes eddig: 2026. június 30.

47 809 Ft

Beszerezhetőség

Még nem jelent meg, de rendelhető. A megjelenéstől számított néhány héten belül megérkezik.

A termék adatai:

Kiadó Springer Nature Switzerland
Megjelenés dátuma 2026. július 20.
Kötetek száma 1 pieces, Book

ISBN 9783031981883
Kötéstípus Keménykötés
Terjedelem369 oldal
Méret 235x155 mm
Nyelv angol
Illusztrációk XXXIX, 369 p. 32 illus., 5 illus. in color. Illustrations, black & white

Kategóriák

Általános filozófia művek Logika Általános filozófia művek (karitatív célú kampány) Logika (karitatív célú kampány)

Hosszú leírás:

The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations into paradigmatic, infinitary, quantifier-free languages having rigidly designating constants for all elements of a fixed domain. Each concept fully accommodates both the descriptive (model-theoretic) and deductive (proof-theoretic) tasks of any logic. Chapters 1 through 7 concern first-order logics over fixed domain. Final Chapter 8 takes up second-order logics whereby standard names for each and every boolean-valued function are now introduced. Along the way, substitutional theories of first-, alternatively, second-order relations are presented following Russell. Clarification of classification questions (What is a logical vs. mathematical term? A logical law? A logical operation?) is achieved, for logics over fixed domain, in a manner that may be unattainable in the case of variable-domain logics. The author adopts a nonstandard view according to which the fixed-domain logics of Peirce, Zermelo, and Carnap are no mere stepping stones on the path to variable-domain logics but, rather, constitute an alternative conception having certain clarificatory advantages. Consequently, the book should be of interest to both logicians and philosophers of logic.

Több

Tartalomjegyzék:

Chapter 1: A Paradigmatic Family of First-Order Logics over Fixed Domain.- Chapter 2: Deduction Calculi for First-Order Logics over Fixed Domain.- Chapter 3: A Substitutional Theory of First-Order Relations.- Chapter 4: Invariance under Domain Permutations.- Chapter 5: Infinitary First-Order Quantificational Logics.- Chapter 6: First-Order Logics with Generalized Quantification.- Chapter 7: The Province of Fixed-Domain Reasoning.- Chapter 8: Higher-Order Logics over Fixed Domain.