Ítala Maria Loffredo D’Ottaviano nasceu em São Paulo. Fez graduação e aperfeiçoamento em Música pelo Conservatório Musical Carlos Gomes em Campinas. Graduação e licenciatura em Matemática pela Pontifícia Universidade Católica de Campinas, em 1966. O mestrado em Matemática com a Dissertação: Fechos Caracterizados por Interpretações foi orientado pelo professor Mario Tourasse Teixeira, junto ao Departamento de Matemática, da Universidade Estadual de Campinas, em 1974. E seu doutorado, também na Unicamp, em 1982, no mesmo Departamento de Matemática: Sobre uma Teoria de Modelos Trivalente, com orientação do professor Newton Carneiro Affonso da Costa. Foi membro fundadora do Centro de Lógica, Epistemologia e História da Ciência e Diretora deste Centro de 1986 a 1992. Atualmente é professora titular de Lógica do Departamento de Filosofia do Instituto de Filosofia e Ciências Humanas (IFCH), Unicamp e Diretora do CLE desde 2004. Fez pós-doutoramento na University of Califórnia - Berkeley, Stanford University nos Estados Unidos, 1984-1985 e University of Oxford, Inglaterra, 1988. Na sua trajetória profissional ocupou outros cargos tais como: Presidente da Sociedade Brasileira de Lógica, do Committee on Logic in Latin America – Association for Symbolic Logic e da Comissão de Atividades Interdisciplinares (CAI) do Conselho Universitário da Unicamp; Coordenadora da Coordenadoria de Centros e Núcleos Interdisciplinares de Pesquisa (COCEN) da Unicamp; Secretária de Educação do Município de Campinas; Criadora e Editora da Coleção CLE, coleção de livros publicados pelo Centro de Lógica, Epistemologia e História da Ciência, nas áreas de lógica, epistemologia e história da ciência; Editora do Boletim da Sociedade Brasileira de Lógica; Assessora "ad-hoc" da FAPESP, CNPq, CAPES, FAEP/Unicamp, FAP/DF, FONDICYT/Chile e IVIC/Venezuela, Argentina; Membro do Grupo de Lógica Teórica e Aplicada (GLTA) do CLE/IFCH – Unicamp; Líder dos Grupos de Pesquisa "Auto-Organização" e "Lógica e Epistemologia" do CLE e IFCH/Unicamp, cadastrados no Diretório dos Grupos de Pesquisa no Brasil – CNPq, Plataforma Lattes; "Reviewer" ad Zentralbatt für Mathematik, Mathematical Reviews e Journal of Symbolic Logic. Atua como refererencia de importantes revistas científicas nacionais e do exterior (Ciência e Cultura, Manuscrito, Boletim da Sociedade Paranaense de Matemática, The Journal of Applied Non-Classical Logics e Studia Lógica). É membro do corpo editorial das seguintes publicações: Coleção CLE; The Journal of Applied Non-Classical Logics e Ludus Vitalis - Journal of Philosophy of Life Sciences; Revista Vivência Episteme. Possui inúmeras publicações, dentre as mais relevantes destacam-se: On NCGw: a paraconsistent sequent calculus. Lecture Notes in Pure and Applied Mathematics. Ed. Marcel Dekker, New York, USA, v.228, p.227-240, 2002; Em colaboração com José Eduardo Moura; Conservative Translations. Annals of Pure and Applied Logic, Ed: North Holland, Amsterdam, Holland, v.108, p.205-227, and 2001; Em colaboração com H. A. Feitosa; Natural deduction for paraconsistent logic, Logica Trianguli, v.4, p.3-24, 2000; Em colaboração com Milton A. de Castro; Algebraic Foundations of Many-Valued Reasoning. Ed: Kluwer Acad. Publ., Dorderecht, Holanda, Trends in Logic, v.2, 223p, 2000; Em colaboração com Roberto L.O. Cignoli e Daniele Mundici; Paraconsistent Logics and Translations. Synthese – an International Journal for Epistemology, Methodology and Philosophy of Science, Ed: Kluwer Acad. Publ., Dorderecht, Holanda, v.125, n.12, p.77-95, and 2000; Em colaboração com Hércules A. Feitosa; Translations between Logics. Lecture Notes in Pure and Applied Mathematics, Models, Algebras and Proofs, v.203, p.435-448, 1999; Em colaboração com Jairo J. Silva e Antonio M. Sette. Many-Valued Logics and Translations. The Journal of Applied Non-Classical Logics, Ed: Editions Hermes, Paris, France, v.9, n.1, p.121-140, and 1999; Em colaboração com Hércules A. Feitosa; Definability and Quantifier Elimination for J3-Theories. Studia Logica, Ed: Kluwer Acad. Publ., Dorderecht, Holanda, v.46, n.1, p.37-54, 1987; The Model Extension Theorems for J3-Theories. Lecture Notes in Mathematics, Methods in Mathematical Logic, Ed: Springer & Verlag, Berlin, Alemanha, v.1130, p.157-173, 1985; The Conditional and Paraconsistent Logics. Lecture Notes in Pure and Applied Mathematics, v.94, Mathematical Logic and Formal Systems, New York: Marcel Dekker, p.141-160, 1985. Em colaboração com E.G.K. López-Escobar.
Sérgio Pereira da Silva Porto nasceu em 19 de janeiro de 1926, em Niterói, Rio de Janeiro. Bacharelou-se em química no ano de 1946 e licenciou-se na mesma área no ano seguinte. Em 1954 obteve seu título de PhD na Johns Hopkins University, em Baltimore, com a tese “Infrared Spectrum of Molecular Hydrogen”. Entre 1954 e 1960 Sérgio Porto deu aula de física no Instituto Tecnológico da Aeronáutica (ITA) até começar seus trabalhos com raio laser no Bell Laboratories, em New Jersey nos Estados Unidos no começo de 1960, sendo um dos pioneiros nos estudos do raio na medicina, e ainda lá, junto de seus colegas, um dos primeiros a fazer uso efetivo de lasers para a espectroscopia Raman (quando foi criada a Notação de Porto, uma forma de apontar a configuração de uma experiência que se utiliza do método Raman). Em 1967 deixou o laboratório para dar aulas de física e engenharia elétrica na University of Southern California, onde ficou até 1974, quando voltou para o Brasil e fundou o Departamento de Eletrônica Quântica (DEQ) na UNICAMP. Aqui realizou experiências com laser em cirurgias de oftalmologia, sendo as primeiras em Campinas para o tratamento de glaucoma. Sérgio Porto trabalhou, também, com oftalmologistas do Instituto Penido Burnier onde mais de 1 mil pacientes com retinopatias diabéticas foram tratados, segundo o Jornal do Brasil. Ainda segundo o periódico Sérgio Porto teria orientado 16 teses de doutoramento, apresentado 60 trabalhos científicos e acumulado 133 publicações científicas. Sérgio Porto era conhecido por sua risada e pelo entusiasmo em suas pesquisas e faleceu por um acidente cardíaco em 19 de junho de 1979 enquanto jogava uma partida de futebol no intervalo da 6ª Vavilov Conference on Coherent and non Lineas/optics, em Novisibirsk, na então União Soviética. Sua perda foi lamentada por diversos nomes da ciência brasileira, como César Lattes e Newton Bernardes. Zeferino Vaz, que convidou Sérgio Porto para voltar ao Brasil quando este ainda estava nos Estados Unidos, disse: “quando o convidei para a Unicamp, era chefe do Departamento de Eletrônica Quântica da Universidade de Southern California e participava na NASA na construção do laser que a Apolo 12 deixou na lua” (fala retirada da reportagem do Jornal do Brasil). Sérgio Porto apareceu em 15º lugar na lista O Brasileiro do Século da revista Istoé, junto com nomes como Oswaldo Cruz, Santos Dumont e Paulo Freire.
