[Logica-l] OKK Patrick Suppes nasceu 100 anos atrás ...
Patrick Suppes nasceu dia 17 de março de 1922 e faleceu dia 17 de novembro de 2014, com 92 anos. https://en.wikipedia.org/wiki/Patrick_Suppes Ele teve uma vida longa e cheia de atividade até o fim. Trabalhei com ele por dois anos em Stanford de janeiro de 2000 até dezembro de 2002. Escrevemos junto em particular o artigo: “Semantic computation of truth based on associations already learned”, Journal of Applied Logic, 2 (2004), pp.457-467. https://www.sciencedirect.com/science/article/pii/S1570868304000461 Editei junto com o Décio e o Jonas Conceptual Clarifications -Tributes to Patrick Suppes (1922-2014) http://www.jyb-logic.org/pat-suppes-1922-2014 Aqui a meu artigo dedicado a ele, onde eu apresento uma modelização da causalidade com relação binario na logica de primeiro ordem Modeling Causality http://www.jyb-logic.org/CAUSALITY Suppes trabalhou sobre uso do método axiomático em física, organizando um evento em Berkeley com Henkin em Tarski na década 1950 sobre o assunto https://www.amazon.com/Axiomatic-Method-Patrick-Suppes-Alfred/dp/B000MXJS4E/ref=sr_1_8?keywords=axiomatic+method=1636885119=books Este evento foi em particular a preparação a serie evento lançado pouco depois por Tarski, LMPS 1st International Congress, Stanford 1960 Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes and Alfred Tarski, Stanford University Press, Stanford CA 1962, 672 . Pat, como era chamado, era uma pessoa bem agradável, bon vivant, se interessava sobre todos os assuntos e gostava de conversar. Ficamos amigos e encontrei ele depois em vários lugar do mundo em particular em Paris, em Florianópolis onde organizamos com o Décio um evento em homenage a ele e na Suiça onde recebeu o primeiro premio Lauener em 2002 https://lauener-foundation.ch/award.php?seite=2004 Ele tinha uma casa dentro do campus de Stanford e vinha todos os dia no Ventura Hall, onde eu tinha uma sala, depois ele fiz construruir o "Nora Suppes Hall" do lado, Entre muitas coisas que ele fez: o uso do computadores para educação desde da década 1960, trabalho pioneiro Na altura que eu estava em Stanford, ele estava concentrado no Brain's lab (que le criou) e no EPGY - Education Program for Gifted Youth um programa on-line para crianças que ele desenvolveu, mostrando que era possível ensinar matemática, física, música, etc. avançadas para jovens, com eu explico aqui http://www.jyb-logic.org/ALICE O Dória e o Acácio trabalharam também com ele em Standord. O Suppes foi muito amigo do Rolando Chuaqui, com contado aqui Strong Non-Contextual Holism in Quantum Macroscopic States https://www.sa-logic.org/aaccess/SAJL-Acacio-Suppes-Chuaqui.pdf Os dois fizeram junto um trabalho bem interessante mostrando que é possível axiomatizar física clássica na lógica de primeiro ordem, de maneira "universal", i.e. so usando quantificadores universais, sem então aspetos "existentialistas" ! JYB -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCPgC_OdRj7HUgfyhrTZEQeEWfGAb82%3DXLYk7tT9Lu%2Bpw%40mail.gmail.com.
[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)
Prezados, Em parceria com o coletivo Lógicas Brasileiras ( https://logicasbrasileiras.wordpress.com/ ), Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - Carol Blasio* por Diversidade na Lógica. Seguem dados da palestra: ** Título: Dialectica e os Problemas de Kolmogorov-Veloso Palestrante: Valeria de Paiva (Topos Institute) Segunda, 21 de março, 19hs Entrar com o Google Meet meet.google.com/fcy-dxmy-hdd Resumo: Quero aproveitar a oportunidade desse Dia da Carolina Blasio para discutir abstrações de problemas e de raciocínio, assumindo que problemas são sempre o que queremos resolver, quer em matemática, quer em computação ou mesmo na filosofia. Esse trabalho, conjunto com o Prof Samuel Gomes da Silva, é nossa homenagem ao Prof Paulo Veloso, que introduziu nos anos 80 sua Teoria de Problemas. A Teoria de Problemas também é o tema principal do artigo de A. Kolmogorov "Sobre a interpretação da lógica intuicionista", que apesar do título, trata de problemas, e não de lógica. Queremos conectar os problemas de Kolmogorov aos objetos da construção Dialética e mostrar como a Dialética nos dá uma melhor abordagem aos problemas de Kolmogorov, fornecendo os morfismos das categorias que Kolmogorov não possuia em 1932. Então quero tentar convencê-los de que essa coincidência de estruturas algébricas ocorre em vários exemplos matemáticos e pode até apontar para uma boa maneira de pensar sobre multi-sistemas de agentes. Por favor, sintam-se à vontade para repassar este convite a possíveis interessados. Grato, []s Samuel G. da Silva - UFBA * Carolina Blasio da Silva (1984-2017) Carolina Blasio da Silva era uma brilhante lógica brasileira que, infelizmente, morreu em 2017 aos 33 anos de Idade. Ela era Bacharel em Psicologia (2006) e Bacharel em Filosofia (2012), e tinha também um mestrado em Filosofia da Religião pela Universidade de Juiz de Fora. Antes de seu falecimento, ela defendeu sua tese de doutorado na Unicamp e obteve o seu doutoramento em Filosofia (Lógica). -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/2117560919.13354989.1647559309946.JavaMail.zimbra%40ufba.br.
[Logica-l] Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria
Second Call for Applications The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, co-funded by the European Commission, offers *10* full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical Universities in Europe and the largest one in Austria. The Faculty of Informatics of TU Wien is a leading research and teaching institution which consistently ranks among the top 100 computer science faculties in the global Times Higher Education ranking. In the heart of Europe, Vienna has a prominent history in mathematics, computer science, and logic research, and offers one of the highest living standards in the world. The programme provides a 4-year doctoral training for international PhD candidates within an English-language curriculum. The doctoral positions are open to international high-potential early-stage researchers with a strong background in Logical Methods in Computer Science and their applications in areas like Artificial Intelligence, Databases, Verification, Algorithms, Knowledge Representation and Computational Logic. Each PhD candidate will be supervised by at least one of the LogiCS@TUWien professors, see http://www.vcla.at/msca/supervisors/. We are looking for exceptional candidates to allocate twenty positions as a university assistant (Pre-Doc) for 4 years for 40 hours/week. Expected start: June-September 2022. Your tasks: Deepening of scientific knowledge and independent research work on the specific PhD topic Collaboration on current research projects Preparation of scientific publications and a PhD thesis in English Presentation of research results at international conferences and other scientific events Successful completion of important milestones of the program, see http://www.vcla.at/msca/training/ Participation in events organized by the program LogiCS@TUWien Your profile: Completion of a Masters and Bachelor degree or equivalent in computer science, computational logic, discrete mathematics or related disciplines, with outstanding academic performance Previous research experience in the subjects of the specific project is highly desirable, see for details http://www.vcla.at/msca/topics/ Excellent skills in English communication and writing Active readiness for scientific collaboration Team competences and problem-solving skills Positive attitude and contribution to the work environment Striving for continuous personal development We offer: Diverse and exciting research projects on cutting edge topics, see http://www.vcla.at/msca/topics/ Continuing personal and professional education and flexible working hours High-quality supervision by renowned professors Ample possibilities for building an international research network, doing internships, and establishing research collaborations Very competitive salary Administrative support in study and life questions Central location with excellent accessibility (U1/U2/U4 Karlsplatz) in a city regularly ranked first worldwide for life quality TU Wien is committed to increasing female employment in leading scientific positions. Female candidates are explicitly encouraged to apply. Preference will be given when equally qualified. People with special needs are equally encouraged to apply. In case of any questions, please contact the confidant for disabled persons at the university. Entry level salary as a predoctoral researcher is covered by level B1 of the Austrian Collective Agreement for university staff, and receives a minimum of currently EUR 2971,50/month gross (14 times/year) for 40 hours/week. NOTE: Please make sure to state in your motivation letter which research projects (among http://www.vcla.at/msca/topics/) are your 1st, 2nd and 3rd choice. Please check eligibility criteria such as MSCA mobility rule, early-stage researchers and PhD qualification, see http://www.vcla.at/msca/apply. For more detail please check our website http://www.vcla.at/msca/programme/ We look forward to receiving your application until 30.04.2022. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BW7DZ98fVx7MCxTQt4_3JhGMATMSZG7Ns%2Bzb3Y-oQbLAw%40mail.gmail.com.