Obrigado pelo interesse, Walter. Há uma versão destes slides aqui: http://logic-ufrn.weebly.com/joatildeo-marcos.html
[]s, JM On Nov 2, 2016 12:55 AM, "Walter Carnielli" <[email protected]> wrote: > 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 <[email protected]> > 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 <[email protected]> > > 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 [email protected]. > >> Para postar nesse grupo, envie um e-mail para [email protected]. > >> 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 [email protected]. > > Para postar nesse grupo, envie um e-mail para [email protected]. > > 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: [email protected] > 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 [email protected]. > Para postar neste grupo, envie um e-mail para [email protected]. > 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. > -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CAO6j_LiAN%2B-nAaJNO9C%3D1dBPHc%2BpwhdS83tzAZ3mrnyes73P%3DA%40mail.gmail.com.
