Vita of Prof Newton C. A. da Costa
WHAT´S NEW ?
NEW BOOK BY NEWTON DA COSTA ET AL.
We proudly anounce the forthcoming book by Newton da Costa, Gregory Chaitin, and
Francisco Dória, published by CRC Press-Taylor and Francis-London-UK and Leiden-The
Netherlands.
"Godel´s Way"-ISBN 978-0-415-69085-0
It will be the landmark on "undecidability" theorems, for general readership.
1. Personal Data:
Full name: Newton Carneiro Affonso da Costa
Date of birth: September 16, 1929
Link to curriculum Lattes of Brazilian government Scientists:
http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4787165A0
2. Graduation
- Civil Engineering, Federal University of Paraná, Brazil, 1952
- Bachelor of Mathematics, Federal University of Paraná, Brazil, 1955
3. Pos-Graduation
- Ph.D. in Mathematics, Federal University of Paraná, Brazil, 1961
4. Teaching and Research Activities
- Full professor of Mathematical Analysis, Federal University of Paraná, Brazil, 1961-1970;
- Full professor of Mathematics, University of São Paulo, Brazil, 1970-1982;
- Full professor of Logic and Theory of Science, Department of Philosophy, University of São Paulo, 1982-1999;
- Visiting professor, researcher or occasional lecturer in several institutions, for example the following: Universities of Campinas (Brazil), Lisbon, Madrid, Paris, Lille, Louvain, Turin, Naples, Munich, Warsaw, California, Stanford, Mexico, Buenos Aires, National of Australia and Chile, and Academies of Sciences of Bulgaria and Poland.
5. Prizes and Distinction
- Member of the Academy of Sciences of the State of São Paulo;
- Member of the Academy of Sciences of Chile;
- Honorary Member of the Institute of Philosophy of Peru;
- Member of the International Institute of Philosophy of Paris;
- Prize "Moinho Santista" in Science (Brazil);
- Prize "Jabuti" in Science (Brazil);
- Doctor Honoris Causa, Federal University of Paraná, Brazil;
- Nicholas Copernicus Medal, University of Torun, Poland;
- Doctor Honoris Causa, University of Tinisoara, Romania.
- Member of the Brazilian Academy of Philosophy
6. Publications
- More than 250 works (notes, papers and books) published in journals like The Comptes Rendus of the Paris Academy of Sciences, Journal of Symbolic Logic, Mathematisches Zeitschrift, Foundation of Physics, Erkentnnis and Philosophy of Science, and in book form. Some of the most important are the following:
1) Calculs propositionnels pour le systèmes formels inconsistants, C.R. Acad. Sc. Paris, 257 (1963), 3790-3793.
2) Calculs de prédicats pour le systèmes formels inconsistants, C.R. Acad. Sc. Paris, 258 (1964), 27-29.
3) Calculs de prédicats avec égalité pour le systèmes formels inconsistants, C.R. Acad. Sc. Paris, 258 (1964), 1111-1113.
4) Calculs de descriptions pour le systèmes formels inconsistants, C.R. Acad. Sc. Paris, 258 (1964), 1366-1368.
5) Sur un système inconsistant de théorie des emsembles, C.R. Acad. Sc. Paris, 258 (1964), 3144-3147.
6) Sur les systèmes formels Ci, Ci=, Di et NFi, C.R. Acad. Sc. Paris, 260 (1965), 5427-5430.
7) On two systems of set theory, Proceedings Nederl. Ak. Van Wetens., Amsterdan, (1965), 95-99.
8) Opérations non monotones dans les treillis, C.R. Acad. Sc. Paris, 263 (1966), 429-432.
9) Filtres et idéaux d’une algèbre Cn, C.R. Acad. Sc. Paris, 264 (1967), 549-552.
10) Two formal systems of set theory, Proceedings Nederl, Ak. Van Wetens., Amsterdan, 70 (1967), 45-51.
11) Un nouveau systéme formel suggére par Dedecker, C.R. Acad. Sc. Paris, 265 (1967), 85-88.
12) On a set theory suggested by Ehresmann and Dedecker, Proceedings Japan Acad. Sc., 45 (1969), 880-888.
13) On the underlying logic of two systems of set theory, Proceedings Nederl. Ak. Van Wetens., Amsterdan, 73 (1970), 1-8.
14) Modèles et universes de Dedecker, C.R. Acad. Sc. Paris, 275 (1972), 483-486.
15) - models and the systems T and T*, Notre Dame Journal of Formal Logic, 14 (1974), 443-454.
16) Remarques sur les calculs Cn, Cn*, Cn=, Dn, C.R. Acad. Sc. Paris, 278 (1974), 819-821.
17) A model-theoretical approach to variable binding term operators, in Mathematical Logic in Latin America, edited by A. I. Arruda, R. Chuaqui e N. C. A. da Costa, North-Holland, 1980, pp. 131-146.
18) The philosophical import of paraconsistent logic, Journal of Non-Classical Logic, 1 (1982), 1-19.
19) On paraconsistent set theory, Logique et Analyse, 115 (1986), 361-371.
20) Pragmatic truth and approximation of truth, The Journal of Symbolic Logic, 51 (1986), 201-221 (with I. Mikenberg e R. Chuaqui).
21) Pragmatic probability, Erkentnnis, 25 (1986), 141-162.
22) An outline of a system of inductive logic, Teoria, 7 (1987), 8-13.
23) Pragmatic probability, logical omniscience and the Popper-Miller argument, Fundamenta Scientiae, 9 (1988), 43-53 (with S. French.).
24) A note on temporal logic, Bull. Sec. Logic Polish Acad. Sc., 18 (1987), 51-56 (with S. French.).
25) Pragmatic truth and the logic of induction, British Journal for the Philosophy of Science, 40 (1989), 333-356 (with S. French.).
26) Logic and pragmatic truth, in Logic, Methodology and Philosophy of Science VII, edited by J. E. Fenstad et alli., Elsevier, 1989, pp. 247-261.
27) Belief, contradiction and the logic of self-desception, American Philosophical Quaterly, 27 (1990), 179-197 (with S. French).
28) A Suppes predicate for general relativity and set-theoretically generic space-time, International Journal of Theoretical Physics, 29 (1990), 935-961 (with F. A. Doria).
29) The paraconsistent logic P2, Zeitschrift f. Math. Logik und Grund d. Math., 37 (1991), 131-148 (with V. S. Subrahmaniam and C. Vago).
30) Undecidability and incompleteness in classical mechanics, International Journal of Theoretical Physics, 30 (1991), 1041-1073 (with F. A. Doria).
31) Classical Physics and Penrose’s Thesis, Foundations of Physics Letters, 4 (1991), 363-373 (with F. A. Doria).
32) On the Existence of very difficult satisfiability problems, Bull. Sect. Logic Univ. of Lodz, 21 (1992), 122-133 (with F. A. Doria).
33) A model-theoretical approach to “natural reasoning”, International Studies in the Philosophy of Science, 7 (1993), 177-190 (with S. French.).
34) Schrödinger logics, Studia Logica, 53 (1994), 533-550 (with D. Krause).
35) Undecidable Hopf bifurcation with undecidable fixed point, International Journal of Theoretical Physics, 33 (1994), 1885-1903 (with F. A. Doria).
36) On Jaskowski’s discussive logic, Studia Logica, 54 (1995), 33-60 (with F. A. Doria).
37) Aspects of paraconsistent logic, Bulletin of IGPL, 3 (1995), 397-614 (with J.-Y. Béziau and O. A. S. Bueno).
38) La teoría del caos y el mercado financiero, Información y Tecnologia, 1 (1995), 63-67. (with N. A. C. da Costa Jr.).
39) Undecidability, incompleteness and Arnold problems, Studia Logica, 55 (1995), 22-32, (with F. A. Doria).
40) Sistemas formais inconsistentes, Editora da UFPR, Curitiba, 1993.
41) Logiques classiques et non classiques, Masson, Paris, 1997.
42) El conocimiento científico, UNAM, México, 2001.
43) Lógica inductiva y probabilidade, Fondo de Cultura, Lima, Perú, 2001.
44) Science and Partial Truth, Oxford, University Press, 2003 (with S. French).
45) Logici clasice si neclasice, Editura technica, Bucarest, 2004.
7. Areas of Research
- Non classical logics, lattice theory; model theory, inductive logic and probability, mathematical physics and the philosophy of science.