>Há uma versão destes slides aqui: http://logic-ufrn.weebly.com/joatildeo-marcos.html
muito legais os slides JM! cade os outros? vao aprecer depois? abs, Valeria 2016-11-01 23:33 GMT-07:00 Joao Marcos <[email protected]>: > 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/di >> map.ufrn.br/group/logica-l/. >> Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CA%2Bob58OpkQT4-fStODKRdMGMS0z >> cfhFZ8j%2B1KdFGN-3NcZgOEw%40mail.gmail.com. >> > -- > 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/CAO6j_LiAN%2B-nAaJNO9C%3D1dBPHc% > 2BpwhdS83tzAZ3mrnyes73P%3DA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiAN%2B-nAaJNO9C%3D1dBPHc%2BpwhdS83tzAZ3mrnyes73P%3DA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ -- 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/CAESt%3DXuw3N_WCpZ%3Dkfbz9pKJZVMFqu3_u5x2%3DjRZ3pRGmFntrA%40mail.gmail.com.
