An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

We expose the main ideas, concepts and results about Jakowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

Trois sortes de définitions sont présentées et discutées: les définitions nominales, les définitions contextuelles et les définitions amplificatrices. On insiste sur le fait que I’elimination des definitions n’est pas forcement un procede automatique en particulier dans le cas de la logique paraconsistante. Finalement on s’int’resse à la théorie des objets de Meinong et l’on montre comment elle peut êrre considéréecomme une théorie des descripteurs.Three kinds of definitions are presented and discussed: nominal definitions, contextual definitions, amplifying definitions. It is emphasized that (...) the elimination of definitions is not necessarily straightforward in particular in the case of paraconsistent logic. Finally we have a look at Meinong’s theory objects and we show how it can be considered as a theory of descriptors. (shrink)

Schrödinger logics are logical systems in which the principle of identity is not true in general. The intuitive motivation for these logics is both Erwin Schrödinger's thesis (which has been advanced by other authors) that identity lacks sense for elementary particles of modern physics, and the way which physicists deal with this concept; normally, they understandidentity as meaningindistinguishability (agreemment with respect to attributes). Observing that these concepts are equivalent in classical logic and mathematics, which underly the usual physical theories, we (...) present a higher-order logical system in which these concepts are systematically separated. A classical semantics for the system is presented and some philosophical related questions are mentioned. One of the main characteristics of our system is that Leibniz' Principle of the Identity of Indiscernibles cannot be derived. This fact is in accordance with some authors who maintain that quantum mechanics violates this principle. Furthermore, our system may be viewed as a way of making sense some of Schrödinger's logical intuitions about the nature of elementary particles. (shrink)

We conjecture that the existence of some fast-growing functions implies in a simple way the existence of some inaccessible cardinals. This note expands some previous work by the second author.

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field. Our approach was inspired by the work of Whitehead, though our (...) philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

An improvement on Horwich's so-called pseudo-proof of Russell 's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

I discuss some questions of quantum physics, for instance the validity and limitations of the basic language of set theory to deal with problems related to elementary particles. I also present a sketch of a formalization of a “metaphysics of structures”, which might be useful for a kind of “ontic structural realism”, and briefly review the concept of quasi-truth, which underlies my way of understanding scientific theories and the scientific activity.

We discuss the hypothesis that the debate about the interpretation of the orthodox formalism of quantum mechanics might have been misguided right from the start by a biased metaphysical interpretation of the formalism and its inner mathematical relations. In particular, we focus on the orthodox interpretation of the congruence relation, '=', which relates equivalent classes of different mathematical representations of a vector in Hilbert space, in terms of metaphysical identity. We will argue that this seemingly "common sense" interpretation, at the (...) semantic level, has severe difficulties when considering the syntactic level of the theory. (shrink)

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be (...) accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To be is to be the value of a variable a specific language with a given underlying logic Yet my stand differs from Quine’s, because, among other reasons, I accept some first order heterodox logics as genuine alternatives (...) to classical logic I also discuss some questions of non classical logic to substantiate my argument, and suggest that may position complements and extends some ideas advanced by L Apostel. (shrink)

It is usually stated that quantum mechanics presents problems with the identity of particles, the most radical position—supported by E. Schrödinger—asserting that elementary particles are not individuals. But the subject goes deeper, and it is even possible to obtain states with an undefined particle number. In this work we present a set theoretical framework for the description of undefined particle number states in quantum mechanics which provides a precise logical meaning for this notion. This construction goes in the line of (...) solving a problem posed by Y. Manin, namely, to incorporate quantum mechanical notions at the foundations of mathematics. We also show that our system is capable of representing quantum superpositions. (shrink)

We apply the recently elaborated notions of ‘pragmatic truth’ and ‘pragmatic probability’ to the problem of the construction of a logic of inductive inference. It is argued that the system outlined here is able to overcome many of the objections usually levelled against such attempts. We claim, furthermore, that our view captures the essentially cumulative nature of science and allows us to explain why it is indeed reasonable to accept and believe in the conclusions reached by inductive inference.

I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys. Secondly, and equally important, because this congress takes place in the University of Toruń.I am honoured for having lectured here, a most congenial and stimulating place, and could not think of a better place for (...) a conference dedicated to the memory of Stanisław Jaśkowski. In particular, I am delighted for having had a correspondence with him, and although I was deprived of the pleasure of meeting him personally, I was fortunate enough for having collaborated with some of his disciples, such as L. Dubikajtis and T. Kotas. All and all, Toruń in particular and Poland in general are for me a second home, for all the kindness and care everyone has shown to me over several years, since my very first visit to this country. (shrink)

In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP * as their underlying logics are non-trivial.

In this expository paper, we examine some philosophical and technical issues brought by paraconsistency (such as, motivations for developing a paraconsistent logic, the nature of this logic, and its application to set theory). We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.

An improvement on Horwich's so-called "pseudo-proof" of Russell's principle of induction is offered, which, we believe, avoids certain objections to the former. Although strictly independent of our other work in this area, a connection can be made and in the final section we comment on this and certain questions regarding rationality, etc.

On the one hand, non-reflexive logics are logics in which the principle of identity does not hold in general. On the other hand, quantum mechanics has difficulties regarding the interpretation of ‘particles’ and their identity, also known in the literature as ‘the problem of indistinguishable particles’. In this article, we will argue that non-reflexive logics can be a useful tool to account for such quantum indistinguishability. In particular, we will provide a particular non-reflexive logic that can help us to analyze (...) and discuss this problem. From a more general physical perspective, we will also analyze the limits imposed by the orthodox quantum formalism to consider the existence of indistinguishable particles in the first place, and argue that non-reflexive logics can also help us to think beyond the limits of classical identity. (shrink)

This paper develops the first deontic logic in the context of paraconsistent logics.

We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

Provability, Computability and Reflection.

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...) but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it's perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it's not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)