John F. Post argues that physicalistic materialism is compatible with a number of views often deemed incompatible with it, such as the objectivity of values, the irreducibility of subjective experience, the power of the metaphor, the normativity of meaning, and even theism.

This article outlines what a formal theory of truth should be like, at least at first glance. As not all of the stated constraints can be satisfied at the same time, in view of notorious semantic paradoxes such as the Liar paradox, we consider the maximal consistent combinations of these desiderata and compare their relative advantages and disadvantages.

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing.

A theory of the transfinite Tarskian hierarchy of languages is outlined and compared to a notion of partial truth by Kripke. It is shown that the hierarchy can be embedded into Kripke's minimal fixed point model. From this results on the expressive power of both approaches are obtained.

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how the logical results impinge on the (...) philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

In the last decade, the familiar problem of the regress of reasons has returned to prominent consideration in epistemology. And with the return of the problem, evaluation of the options available for its solution is begun anew. Reason’s regress problem, roughly put, is that if one has good reasons to believe something, one must have good reason to hold those reasons are good. And for those reasons, one must have further reasons to hold they are good, and so a regress (...) of reasons looms. In this new study, Aikin presents a full case for infinitism as a response to the problem of the regress of reasons. Infinitism is the view that one must have a non-terminating chain of reasons in order to be justified. The most defensible form of infinitism, he argues, is that of a mixed theory – that is, epistemic infinitism must be consistent with and integrate other solutions to the regress problem. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism (...) -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

Hannes Leitgeb formulated eight norms for theories of truth in his paper [5]: `What Theories of Truth Should be Like (but Cannot be)'. We shall present in this paper a theory of truth for suitably constructed languages which contain the first-order language of set theory, and prove that it satisfies all those norms.

2. Various philosophical and semantical theories are candidates for axiomatization (but not all, e.g. coherence, pragmatic, fuzzy theories). NB: axiomatizations are not uniquely determined.

Outlines a conceptual argument against the Principle of Sufficient reason. The argument is presented in detail in earlier work, and is based on deductive inferences from PSR's own concept of explanation. The argument shows that not everything can have an explanation of the sort claimed by PSR. So far from being a presupposition of reason itself, as some think, PSR can be refuted by reason, arguing only from PSR's own concept of explanation. Hence PSR cannot be used to argue that (...) there must be some explanation or reason for existence, invisible at least to science, or that because we do not or cannot know the explanation, there must be irreducible mystery about why there is anything at all rather than nothing, including why there was a Big Bang in the first place. (shrink)