>>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?
Não tá tudo pronto ainda! ;-) Disponibilizo desde já, contudo, os slides da palestra de hoje, em seguida ao correspondente abstract. Abraços, JM * * * Title: Can classical reasoning be recovered through the combination of logics? Speaker: Joao Marcos UFRN, Brazil Abstract: We begin by discussing various forms of the so-called collapsing problem, a special case of failure of conservativeness characteristic of certain recipes for the combination of logics, and that turns out to be very sensitive to the proof-theoretical presentation of the logics involved. Such problem, and its diagnosis, will be seen to bear connections with the question about the existence of a unique connective satisfying certain conditions. Focusing on the fibring of logics as our main combinational mechanism and on sublogics of classical logic as our Guinea pigs, we will show by way of motivational examples that while the fibring of two classical conjunctions obviously produces a full collapse, the fibring of the logic of classical conjunction with the logic of classical disjunction cannot be characterized by a finite-valued matrix, even if non-determinism is allowed at the semantic level. Other examples of logics without a non-deterministic finite- valued characterization include the fibring of the logic of classical implication with itself, and the fibring of the logic of classical implication with the logic of classical disjunction. Reinforcing the persisting challenge concerning the understanding of the semantics of our main combinational mechanism, while we will show that the fibring of the logic of classical negation with the logic of classical bottom does have a characteristic 3-valued non-deterministic matrix, we will also show that the fibring of the logic of classical disjunction with the logic of classical negation does not give rise to Classical Logic. As we will see, the latter situation is a particular instance of a much more general result, namely: Classical Logic cannot be obtained as the disjoint fibring of any two of its sublogics. This reports on joint work with Carlos Caleiro and Sérgio Marcelino. Slides: https://dl.dropboxusercontent.com/u/9291912/seminars/MarcosJ/classicalfibring.pdf * * * > 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 -- http://sequiturquodlibet.googlepages.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_LiMonyT0_9S7jLax_z1dpjVxGRX%3DCYMerG%3DFirzvV8ZCQ%40mail.gmail.com.
