Í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.
Newton Bernardes nasceu em São Paulo. Na Faculdade de Filosofia, Ciências e Letras da Universidade de São Paulo, bacharelou e licenciou-se em física nos anos de 1949-1952. Entre 1952 e 1955 fez vários cursos de especialização na USP sobre: Física Aplicada, Mecânica Quântica, Termodinâmica e Estudos sobre a Teoria do Estado Sólido, este sob a orientação do Professor David Bohm. Em 1955 foi para os Estados Unidos, ali permanecendo durante os anos de 1955 a 1957, onde fez o Curso de Especialização em Física no United States Office of Education do Department of Health, Education and Welfare, em Washington, USA. Ainda nos Estados Unidos na University of Illinois obteve o Master of Science, em 1955-1957 e o título de Doutor em 1959, pela Washington University, Saint Louis. Newton Bernardes foi professor de física do Colégio Estadual de Sorocaba e do Colégio Pan-Americano de São Paulo, foi também instrutor e professor no Instituto Tecnológico de Aeronáutica (ITA) em São José dos Campos, da Universidade de São Paulo (USP) e da Universidade Federal de Minas Gerais (UFMG). O Professor Newton Bernardes chefiou o Grupo de Física dos Sólidos no Institute for Atomic Research of United States Atomic Energy Comission, de 1960 a 1962, trabalhando com os privilégios e exigências do Security Clearance do Governo Americano. Quando retornou ao Brasil, foi convidado pelo professor Mário Schenberg, professor e físico da USP, para continuar a implantação e desenvolvimento do Departamento de Física do Estado Sólido desta Universidade. Na Faculdade de Filosofia, Ciências e Letras da USP, em 1962 foi contratado como professor pelo Departamento de Física, de 1963-1967 foi professor catedrático interino de Mecânica Quântica e Mecânica Estatística e a partir de 1969 tornou-se professor catedrático por concurso na Cadeira de Física da Faculdade de Farmácia e Bioquímica da USP. Durante sua permanência na USP foi ainda professor titular do Instituto de Química e Diretor do Instituto de Física e em 1993 aposentou-se nessa Universidade. A convitedo professor José Ellis RipperFilho foi contratado em 1976 para exercer a função de professor colaborador junto ao Instituto de Física GlebWataghin. Nesse Instituto foi eleito pelos seus pares e exerceu a função de chefe de Departamento de Eletrônica Quântica. Permaneceu na Unicamp como professor até 1982. Período esse que se afastou das suas funções na USP. O nome do professor Newton Bernardes aparece numa relação dos físicos brasileiros mais citados no exterior, publicada pela Folha de S. Paulo em 11 de setembro de 1999. Ele também foi classificado no dicionário American Men of Science, USA, Tenth Edition, A-E, 1960, p.294 e no Directory of Academic Phisicists, p.17, American Institute of Physics, USA, 1959-1960. Em agosto de 1993, foi admitido como Professor Colaborador da Universidade Estadual de Campinas, atuando no Centro de Lógica, Epistemologia e História da Ciência, onde desenvolveu pesquisas sobre fundamentos da Física, da Ciência e do saber racional.
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.
A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE). A SBL é filiada à: International Union of History and Philosophy of Science; Division of Logic, Methodology and Philosophy of Science; International Council of Scientific Unions (ICSU). A SBL tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência. A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.
