Ola Carol e Marcos, o projeto do Marcos é bem bacana, e eu fico contente de ter contribuido de alguma forma.
Carol, eu gostaria (em PVT se preferir) dos slides de "Breaking the Proof Code - Einführung in die Maschinengestütztes Beweisen" Abs Walter Em 1 de novembro de 2016 19:08, Carol Blasio <carolbla...@gmail.com> escreveu: > Caro Marcos e lista, > > Parabéns e obrigada pela divulgação! > (Por favor me mande os slides.) > > Aproveito também para divulgar algumas palestras minhas e de João Marcos > para quem estiver pelas bandas da Vestfália e de Francoforte. > > - 03.11.2016 > * João Marcos: "Can classical reasoning be recovered through the > combination of logics?" > Research Colloquium “Logic and Epistemology” > room GABF 04/358 17:00-18:00 > Ruhr-Universität Bochum > > - 10.11.2016 > * João Marcos: "The mystery of duality unraveled: dualizing rules, > operators, and logics" > * Carolina Blasio, "When the Square meets the Cross: Towards a > generalized notion of entailment" > room GABF 04/358 16:00-18:00 > Ruhr-Universität Bochum > > - 15.11.2016 > ** João Marcos & Carolina Blasio: "Do not be afraid of the Unknown - > Logical consequence explicated in terms of cognitive attitudes" > Raum IG 2.501, Institut für Philosophie 18:00-20:00 > Philosophisches Kolloquium > Goethe Universität Frankfurt > > - 23.11.2016 > * João Marcos: "Breaking the Proof Code - Einführung in die > Maschinengestütztes Beweisen" > (Auditorium and exact time yet to be announced) > Philosophisches Kolloquium > Ruhr-Universität Bochum > > Também disponibilizamos os slides para os interessados! > > Abraços, > > Carol > > > > > Em 1 de novembro de 2016 21:25, Marcos Silva <marcossilv...@gmail.com> > escreveu: >> >> Caros, para aqueles que estiverem por aquelas bandas da saxônia. >> >> >> http://www.sozphil.uni-leipzig.de/cm/philosophie/veran/games-rules-and-agreements-to-understand-logical-pluralism/ >> >> ++++ >> >> Eu tenho os slides da apresentação para aqueles interessados em me ajudar >> com um par de observações críticas legais para eu desenvolver melhor alguns >> pontos. >> >> basta me escrever em privado. >> >> ++++ >> >> Sou muito grato pelas conversas seminais com Walter Carnielli, Abílio >> Rodrigues, Diogo Dias, Luiz Carlos Pereria, JY Beziau e João Marcos, nos >> últimos dois anos, sobre este tópico do pluralismo lógico (fora e dentro >> desta lista). >> >> Abraços, >> Marcos >> >> -- >> Marcos Silva >> https://sites.google.com/site/marcossilvarj/ >> Philosophie macht Spaß! >> >> -- >> Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> Acesse esse grupo em >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzKEJR%2B1VWJOm1HAcPxi7AVjtxpvHgRR8D%2BCNXoO2kj-7w%40mail.gmail.com. > > > > > -- > Carolina Blasio > PhD student in Philosophy > State University of Campinas (Unicamp) > "Most if not all choices in life are not binary" > M. Dunn, 2010. Too much of a good thing. > > -- > Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD335O4HbQCVxxb5wNadeeNFY-B_w0OfhfjiiR2NnRrg7F1c5w%40mail.gmail.com. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58OpkQT4-fStODKRdMGMS0zcfhFZ8j%2B1KdFGN-3NcZgOEw%40mail.gmail.com.
