Trends in Logic
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
Trends in Logic
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
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.
Bezorgen: Zodra beschikbaar
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.