logical pluralism (Leipzig, nov 7, 2016)

[Marcos Silva]

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ß!

[Carol Blasio]

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

--
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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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.

[Walter Carnielli]

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

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@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+u...@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@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.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

[Joao Marcos]

Obrigado pelo interesse, Walter.  Há uma versão destes slides aqui:
http://logic-ufrn.weebly.com/joatildeo-marcos.html

[]s, JM

>> um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@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+unsubscribe@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@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.c...@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+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@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.

[Anderson Nakano]

Oi, Marcos, você poderia me enviar os slides, por favor?

[Marcelo Finger]

2016-11-01 19:08 GMT-02:00 Carol Blasio <carol...@gmail.com>:

* João Marcos: "The mystery of duality unraveled: dualizing rules,
operators, and logics"

Oi João, 

Não obstante o lado místico (ou misterioso) da lógica, eu gostaria de saber se v tem algo escrito sobre dualidade em lógica, pois é um tema que sempre me interessou.

[]s

Marcelo

--

 Marcelo Finger
 Departament of Computer Science, IME    
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

[Valeria de Paiva]

>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

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@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+u...@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@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.c...@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+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@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.

--

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+unsubscribe@dimap.ufrn.br.
Para postar nesse grupo, envie um e-mail para logi...@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/CAO6j_LiAN%2B-nAaJNO9C%3D1dBPHc%2BpwhdS83tzAZ3mrnyes73P%3DA%40mail.gmail.com.

--

Valeria de Paiva
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/

[Joao Marcos]

Viva, Marcelo:

> 2016-11-01 19:08 GMT-02:00 Carol Blasio <carol...@gmail.com>:
>>
>> * João Marcos: "The mystery of duality unraveled: dualizing rules,
>> operators, and logics"
>

> Não obstante o lado místico (ou misterioso) da lógica, eu gostaria de saber
> se v tem algo escrito sobre dualidade em lógica, pois é um tema que sempre
> me interessou.

Há alguns anos que trabalho nestas coisas, mas o paper propriamente
dito ainda é work-in-progress! Certamente partilharei assim que
incorporar o feedback recebido em breve e tiver as coisas bem
escritinhas.

Para dar uma ideia da coisa, envio abaixo o resumo da palestra (uma
encarnação anterior foi apresentada no UNILOG 2013 por Sanderson
Molick, contendo resultados variados de toda a década precedente).

* * *

Title:
The mistery of duality unraveled: dualizing rules, operators, and logics

Abstract:

Though one often finds in the literature the concept of "dualization"
employed to describe a certain form of opposition that holds between
*statement-forms*, between logical *operators*, and even between
*logics* themselves, only rarely a formal definition of *duality* is
actually offered by the very authors that embrace the terminology.
Basic as it might seem, proper definitions of duality appear also not
to have been incorporated in logic textbooks and courses beyond the
level of side comments, exercises, or cheap talk. The current
scarcity of basic material available addressing themes of Universal
Logic has also not helped the development of firm grounds for setting
up a theory of logical duality generous enough to cover non-classical
territory.

In the presence of a classical negation, a common syntactic approach
used to produce the dual of a given logical connective is the one we
might call *De Morgan Method*: Exchange each atomic argument by its
negated counterpart, and add also a negation over the whole
expression. Semantically, still on a classical context, this gives
rise to an approach we might call *Inversion Method*: Draw a
truth-table for the formula and exchange 0s and 1s both for the atoms
in the input and for the complex formula in the output. A third
approach we might call *Symmetry Method* proposes to read
systematically from right to left any semantical clause over the set
of valuations and any proof-theoretical statement that is naturally
read from left to right, and vice-versa. The latter approach gets
complicated when the underlying formalism is asymmetric (such as the
case of Gentzen systems for intuitionistic logic), despite the lasting
potential informativeness of the dualization procedure (the notion of
constructive truth of intuitionistic logic, for instance, may dualize
into a notion of constructive falsity, and the *verification*
methodology is dualized into *falsification*, as in [3]).

A straightforward abstract formal definition of duality may be found
in [2]. In the present contribution we show that this definition
encompasses all the above mentioned approaches, and applies equally
well to logics that either extend or diverge from classical logic.
The particular methods applicable to classical logic generalize in a
natural way to modal logics and to many-valued logics, for instance.
We shall illustrate in particular how finite-valued logics are
dualized by taking advantage of their bivalent representations,
following the algorithms surveyed in [1].

References:

[1] Carlos Caleiro and João Marcos. Many-valuedness meets bivalence:
Using logical values in an effective way. Journal of Multiple-Valued
Logic and Soft Computing, 19(5–6):51–70, 2012.

[2] João Marcos. Ineffable inconsistencies. In J.-Y. Béziau, W A
Carnielli, and D Gabbay, editors, Handbook of Paraconsistency, volume
9 of Studies in Logic, pages 301–311. North Holland, Amsterdam, 2007.

[3] Yaroslav Shramko. Dual intuitionistic logic and a variety of
negations: The logic of scientific research. Studia Logica,
80(2–3):347–367, 2005.

* * *

[Joao Marcos]

>>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

* * *

--
http://sequiturquodlibet.googlepages.com/