In the past thirty years, two fundamental issues have emerged in the philosophy of science.
One concerns the appropriate attitude we should take towards scientific theories--whether …

We describe Richardson's functor from the Diophantine equations and Diophantine
problems into elementary real-valued functions and problems. We then derive a general …

A weird formal system 9 Can we prove the consistency of arithmetic? 10 Chaitin's
incompleteness theorem 11 Berry's Paradox 12 Rice's theorem 13 More work by Gödel: the …

On Jaśkowski's discussive logics Page 1 NEWTON CA DA COSTA Francisco A. Doria
On Jagkowski's Discussive Logics* Abstract. We expose the main ideas, concepts and results …

We have a threefold aim in the present paper: first, we wish to exhibit an unified treatment for
the mathematical structures underlying what one usually calls in a loose way" classical …

The following sections are included: Introduction Axiom systems: mathematics The Gödel
phenomenon in physics and in other mathematized sciences Physics as an archetype for …

We prove that we can explicitly construct the expression for a low-dimensional Hamiltonian
system where proving the existence of a Smale horseshoe is equivalent to proving that …

Newton CA da Costa Francisco Antonio Doria Page 1 Synthese Library Studies in
Epistemology, Logic, Methodology, and Philosophy of Science 441 Newton CA da Costa …

Structures, Suppes Predicates, and Boolean-Valued Models in Physics Page 1 7 Structures,
Suppes Predicates, and Boolean-Valued Models in Physics NCA da Costa and F. A. Doria 1 …

Throughout the last two decades, Newton da Costa and his collaborators have developed
some frameworks to help the interpretation of science. Two of them are particularly …