[Logica-l] Chamada de participação no I Webinar em Teoria da Computação, Lógica e Matemática Fuzzy

2017-10-10 Por tôpico Claudio Andrés Callejas Olguín 
Antes que tudo desculpem qualquer divulgação duplicada.


Chamada de participação no I Webinar em Teoria da Computação, Lógica e
Matemática Fuzzy

Datas do seminário online e presencial: 29 e 30 de novembro de 2017

Endereço online: https://teclomaf.ufersa.edu.br/iwebinar/

Local presencial: Centro Multidisciplinar Pau dos Ferros – UFERSA



O *Grupo de Pesquisa em Teoria da Computação, Lógica e Matemática Fuzzy
(TeCLoMaF)*, carinhosamente autodenominado *filhos* do grupo LoLITA
(Lógica, Linguagem, Informação, Teoria e Aplicações/UFRN) na UFERSA, vem a
divulgar *o I Webinar em Teoria da Computação, Lógica e Matemática Fuzzy*.


A participação neste evento poderá ser realizada online, através do portal
de webconferências da Rede Nacional de Pesquisas - RNP, ou presencial.
Todas as palestras e minicursos serão transmitidos ao vivo em link que será
divulgado posteriormente e disponibilizados online posteriormente.


Devido ao generoso financiamento da Pró-Reitoria de Extensão e Cultura da
UFERSA o Webinar será de caráter completamente gratuito.


Até onde a equipe organizadora tem conhecimento, o formato online e
presencial deste evento científico é original no contexto das áreas de
Teoria da Computação, Lógica e Matemática Fuzzy. O seu caráter online
permitirá que alunos e pesquisadores de todo o Brasil possam participar sem
ter que se deslocar da sua cidade, evitando gastos de transporte e
hospedagem. Dado que a inscrição é gratuita, o evento torna-se de custo
zero para o participante.


O objetivo do evento é oferecer uma instância tanto para a divulgação de
conhecimento como para a participação por parte do público presencial e
online mediante a realização de perguntas aos palestrantes. O evento
contará com dois minicursos, quatro palestras e uma mesa redonda. Os
tópicos deste webinar são algumas das subáreas pertencentes à Teoria da
Computação, Lógica e Matemática Fuzzy, a saber, lógica fuzzy, lógica
algébrica, complexidade de Kolmogorov, computabilidade e BCI álgebras.


O evento contará com atividades voltadas a um público alvo diversificado,
contemplando atividades do nível de graduação até o nível de pós-graduação.



A programação do evento é a seguinte:


*Quarta-feira 29 de novembro de 2017*

07:30 – 8:00 Credenciamento

08:00 – 09:30 Minicurso 1: Introdução à lógica fuzzy e funções de agregação
- Prof. Dr. Benjamin Bedregal (UFRN)

09:30 – 10:00 Intervalo

10:00 – 11:30 Minicurso 2: Introdução à lógica algébrica - Prof. Dr.
Umberto Rivieccio (UFRN)

11:30 – 14:00 Intervalo para o almoço

14:00 – 15:30 Palestra 1: Uma visita à complexidade de Kolmogorov - Prof.
Msc. Valdigleis Costa (Doutorando/UFRN)

15:30 – 16:00 Intervalo

16:00 – 17:30 Palestra 2: Introdução à computabilidade com uma versão
restrita da linguagem C – Prof. Dr. Claudio Callejas (UFERSA)



*Quinta-feira 30 de novembro de 2017*

08:00 – 09:30 Minicurso 1: Introdução à lógica fuzzy e funções de agregação
- Prof. Dr. Benjamin Bedregal (UFRN)

09:30 – 10:00 Intervalo

10:00 – 11:30 Minicurso 2: Introdução à lógica algébrica - Prof. Dr.
Umberto Rivieccio (UFRN)

11:30 – 14:00 Intervalo para o almoço

14:00 – 15:30 Palestra 3: BCI Álgebra e Algumas Generalizações - Profa.
Msc. Vânia Pinheiro (UFERSA)

15:30 – 16:00 Intervalo

16:00 – 17:30 Palestra 4: Lógica Fuzzy n-Dimensional - Prof. Dr. Ivan
Mezzomo (UFERSA)

17:30 – 19:00 Intervalo

19:00 – 20:30 Mesa Redonda: Problemas em Teoria da Computação, Lógica e
Matemática Fuzzy



*Inscrições*

As inscrições deverão ser feitas até o 24 de novembro de 2017, mediante do
preenchimento do formulário on-line disponibilizado do link:
https://teclomaf.ufersa.edu.br/inscricoes/ e garantirá o acesso presencial
ou o acesso às salas de webconferência.



Maiores informações poderão ser encontradas na página do evento:

https://teclomaf.ufersa.edu.br/iwebinar/


Ou ainda na nossa página do *facebook*:

https://www.facebook.com/webinarpdf/





Desde já contamos com a sua participação no webinar e agradecemos a sua
divulgação.


Atenciosamente,

A equipe organizadora geral:

Prof. Msc. Patrick Cesar Alves Terrematte

Prof. Dr. Claudio Andrés Callejas Olguín

Prof. Msc. Antonio Diego Silva Farias

Profa. Msc. Antônia Jocivania Pinheiro

Prof. Dr. Ivan Mezzomo


Virus-free.
www.avast.com

<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

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

Re: [Logica-l] Lisbon Wittgenstein Group: Seminar with Itala D'Ottaviano

2017-10-10 Por tôpico Joao Marcos 
> I will give special
> emphasis to Wittgenstein’s discussions concerning consistency, the Principle
> of Non-Contradiction and the Ex Falso Sequitur Quodlibet, and their
> relations to contemporary paraconsistency.

A este propósito, aproveito para referenciar um artigo que escrevi há
vinte anos, no primeiro ano do meu mestrado:

(Wittgenstein & Paraconsistência)
Principia: an international journal of epistemology 14 (1), 135-173
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p135/17987

[]s, JM

-- 
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/CAO6j_LgYwW7KcX9eA4_EEKxr-L0%3DyTpv8vyb-fF0uCotM3j9Xw%40mail.gmail.com.

Re: [Logica-l] Lisbon Wittgenstein Group: Seminar with Itala D'Ottaviano

2017-10-10 Por tôpico Canjica 
Esse seminário parece ser muito interessante.

Diego(Canjica)

Em 10 de out de 2017 11:45 AM, "Marcos Silva" 
escreveu:

Para aqueles que estiverem por aquelas bandas.

-- Forwarded message --


Lisbon Wittgenstein Group
Nova Institute of Philosophy (IFILNOVA)
Faculty of Social Sciences and Humanities – Nova University of Lisbon (NOVA
FCSH)

11 October 2017
4-6pm, Room ID 1.05

Seminar with Professor Itala M. Loffredo D’Ottaviano (Centre for Logic,
Epistemology and the History of Science - CLE, State University of Campinas
- UNICAMP):

“Contradiction, consistency and the paraconsistent perspective in the
Western thought”.

Abstract: A logic is paraconsistent if it can be used as the underlying
logic to inconsistent but non-trivial theories, which are called
paraconsistent theories. In paraconsistent theories the Aristotelian
Principle of Non-Contradiction is not valid in general. In this
presentation I will outline a historical analysis, from Heraclitus to
Newton da Costa, on how a paraconsistent perspective was properly
constituted in the Western thought and how principles, rules and logical
systems begin to express distinct concepts of paraconsistency. By analyzing
the historical precedents of paraconsistent logic before the 20th century,
we can identify some unanswered questions: What ideas were proposed and
debated with regard to consistency in that period of the history of formal
logic? Did such ideas influence later logical theories? Was there knowledge
of logical rules and principles which allowed, in some contexts, for
inconsistency to be dealt without trivialization? If such principles were
known, how were these proto-principles stated, and in what way can they be
related to the logical-paraconsistent results and rules known today? I will
give special emphasis to Wittgenstein’s discussions concerning consistency,
the Principle of Non-Contradiction and the Ex Falso Sequitur Quodlibet, and
their relations to contemporary paraconsistency.

For more information about the Lisbon Wittgenstein Group, please visit:
http://www.ifilnova.pt/pages/lisbon-wittgenstein-group
http://www.ifilnova.pt/pages/news


-- 
Nuno Venturinha
Professor Auxiliar
Coordenador do Mestrado em Filosofia
Coordenador do EPLab - Ethics and Political Philosophy Lab
Departamento de Filosofia / IFILNOVA
Faculdade de Ciências Sociais e Humanas - NOVA FCSH
Av. de Berna, 26
 C,
1069-061 Lisboa | Portugal
Tel: + 351 217908300 | Ext.: 1365
E-mail: nventurinha@fcsh.unl.pt

www.fcsh.unl.pt/faculdade-en/docentes/vncs_en?set_language=en
www.ifilnova.pt/pages/nuno-venturinha

FORMAR O FUTURO | SHAPING THE FUTURE

Messages to the list are archived at http://listserv.liv.ac.uk/arch
ives/philos-l.html and at the unofficial mirror site
http://blog.gmane.org/gmane.science.philosophy.region.europe.

-- 
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/CAGZ3pz%2Bx%3DGBK%2B1PQTH5NmFOSS%3DsEj%3DZ1%
2B4AnGBh-sGNqLch_CA%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 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/CABUZhRH7_XzO_g%3Dz%3Dy2vGn2P5SFkEEuB%3DNdiNFSJ5VxCgUtcsw%40mail.gmail.com.

[Logica-l] Lisbon Wittgenstein Group: Seminar with Itala D'Ottaviano

2017-10-10 Por tôpico Marcos Silva 
Para aqueles que estiverem por aquelas bandas.

-- Forwarded message --


Lisbon Wittgenstein Group
Nova Institute of Philosophy (IFILNOVA)
Faculty of Social Sciences and Humanities – Nova University of Lisbon (NOVA
FCSH)

11 October 2017
4-6pm, Room ID 1.05

Seminar with Professor Itala M. Loffredo D’Ottaviano (Centre for Logic,
Epistemology and the History of Science - CLE, State University of Campinas
- UNICAMP):

“Contradiction, consistency and the paraconsistent perspective in the
Western thought”.

Abstract: A logic is paraconsistent if it can be used as the underlying
logic to inconsistent but non-trivial theories, which are called
paraconsistent theories. In paraconsistent theories the Aristotelian
Principle of Non-Contradiction is not valid in general. In this
presentation I will outline a historical analysis, from Heraclitus to
Newton da Costa, on how a paraconsistent perspective was properly
constituted in the Western thought and how principles, rules and logical
systems begin to express distinct concepts of paraconsistency. By analyzing
the historical precedents of paraconsistent logic before the 20th century,
we can identify some unanswered questions: What ideas were proposed and
debated with regard to consistency in that period of the history of formal
logic? Did such ideas influence later logical theories? Was there knowledge
of logical rules and principles which allowed, in some contexts, for
inconsistency to be dealt without trivialization? If such principles were
known, how were these proto-principles stated, and in what way can they be
related to the logical-paraconsistent results and rules known today? I will
give special emphasis to Wittgenstein’s discussions concerning consistency,
the Principle of Non-Contradiction and the Ex Falso Sequitur Quodlibet, and
their relations to contemporary paraconsistency.

For more information about the Lisbon Wittgenstein Group, please visit:
http://www.ifilnova.pt/pages/lisbon-wittgenstein-group
http://www.ifilnova.pt/pages/news


-- 
Nuno Venturinha
Professor Auxiliar
Coordenador do Mestrado em Filosofia
Coordenador do EPLab - Ethics and Political Philosophy Lab
Departamento de Filosofia / IFILNOVA
Faculdade de Ciências Sociais e Humanas - NOVA FCSH
Av. de Berna, 26
 C,
1069-061 Lisboa | Portugal
Tel: + 351 217908300 | Ext.: 1365
E-mail: nventurinha@fcsh.unl.pt

www.fcsh.unl.pt/faculdade-en/docentes/vncs_en?set_language=en
www.ifilnova.pt/pages/nuno-venturinha

FORMAR O FUTURO | SHAPING THE FUTURE

Messages to the list are archived at http://listserv.liv.ac.uk/arch
ives/philos-l.html and at the unofficial mirror site
http://blog.gmane.org/gmane.science.philosophy.region.europe.

-- 
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/CAGZ3pz%2Bx%3DGBK%2B1PQTH5NmFOSS%3DsEj%3DZ1%2B4AnGBh-sGNqLch_CA%40mail.gmail.com.

[Logica-l] DEADLINE EXTENSION: November 15, 2017 "Logic, Probability, and their generalizations", Vichy (France), 16-20 Jun 2018

2017-10-10 Por tôpico Walter Carnielli 
==
Quick info: Where: Vichy, France
When:  June 16 - 20 2018
What: One-page abstract
NEW deadline:   November 15, 2017
=
Dear friends:


Attending to requests and aiming at maximizing  the opportunities for
participation, while offering a comfortable
rescheduling  we are  EXTENDING the deadline and  inviting  you to
submit a paper to the workshop

"Logic, Probability, and their Generalizations"
http://www.uni-log.org/start6.html

that is being. organized as part of the  6th World Congress and
School on Universal Logic
(June 16 - 20 2018, Vichy, France)

Abstracts (one page) should be sent by October 5, 2017 via e-mail to

within the following. (non exclusive)  topics:

Probabilistic generalizations of logic, including non-classical logics
Generalizations of probability measures (as credal calculi and others)
Interpretations of probability,
Philosophy of probability
Probabilistic argumentation and inference, and their generalizations
Questions on foundations of probability, including conditional probabilities
Abstracts (one page) should be sent by October 5, 2017 via e-mail to:
walter.carnie...@gmail.com

Waiting for your contribution,

Walter Carnielli & Juliana Bueno-Soler
 = = = = = = = = = = = = = = = = = = = = = = = =

 Workshop aims:

Logic and Probability have a long partnership, having survived
together as a legacy from Leibniz, Bernoulli, De Morgan, Boole,
Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary
thinkers. According to this tradition, the problem of generalizing
logical consequence relations raises questions that transcends both
logic and probability, as a consequence of modern logical pluralism.
This also leads to a probability pluralism, represented by
non-standard theories of probability (i.e., theories of probability
based on non-classical logics) that open new avenues and pose new
challenges to theory and to applications.

All such tendencies and areas of investigation are naturally
generalized to possibility logics, necessity logics and other credal
calculi that extend probability, considering that belief can be
regarded as generalized probability or as evidence. This workshop
intends to contribute to the state-of-the-art of such research topics,
emphasizing the connections between all such topics.


Keynote Speaker:

David Miller
Dept of Philosophy, University of Warwick, UK


= = = = = = = = = = = = = = = = = = = = = = = = =


-- 
---
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
CV Lattes : http://lattes.cnpq.br/105496835379

-- 
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%2Bob58Pws0F%3DWUCRkVeU2H59dxYCkuy-nXuKDmLgr2CB7GFPaw%40mail.gmail.com.

Re: [Logica-l] OT

2017-10-10 Por tôpico Walter Carnielli 
Parabéns ao casal, sei que foi uma conquista!
W.

Em 10 de out de 2017 06:59, "Famadoria"  escreveu:

> Uma notícia off topic boa: nasceu João Bernardo, filho de Virginia e Greg
> Chaitin.
>
> Sent from my iPhone
>
> --
> 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/EA20A541-7A6C-4CBE-9EC7-
> 355E200AE70A%40gmail.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 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%2Bob58MUxMDcNpixC4N3sW%2BYAq3wW0pH%2BScdpB6RXgMAjANLJQ%40mail.gmail.com.

[Logica-l] OT

2017-10-10 Por tôpico Famadoria 
Uma notícia off topic boa: nasceu João Bernardo, filho de Virginia e Greg 
Chaitin. 

Sent from my iPhone

-- 
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/EA20A541-7A6C-4CBE-9EC7-355E200AE70A%40gmail.com.