[META] Só lógica formal stricto sensu? Ou + epistemologia? Ou + ...

29 views
Skip to first unread message

Carlos Gonzalez

unread,
Dec 21, 2016, 1:40:41 PM12/21/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA, Carlos G González, Carlos González
Prezados colegas

Na tradição da lista, assim com na SBL e nos EBL, "lógica" era entendida num sentido amplo que incluía epistemologia, filosofia e história de ciência, filosofia da lógica e da matemática, etc.

Segundo o meu ponto de vista, isso não é nenhum capricho, arbitrariedade nem extravagância, se pensarmos, por exemplo, que o Organon aristotélico contém os Segundos Analíticos que é um tratado sobre a ciência. Poderia citar também o que era dialéctica para os estoicos, Lógica Menor e Maior dos escolásticos, etc. A Lógica de Port Royal, o Novum Organon e até o Discurso do Método.

Sintetizando, para mim nesta lista tem cabimento questões relativas à:

1) Todas os tipos, espécies e sub-espécies de lógica, formal, matemática, dialéctica, álgebra da lógica, teoria de modelos, teoria de conjuntos, categorias, recursão, etc.

2) Filosofia da lógica e da matemática. Ou de sistemas formais em geral.

3) Epistemologia, filosofia da ciência, gnoseologia e teoria do conhecimento.

4) História da ciência, da lógica e da matemática.

5) Problemas computacionais relacionadas à lógica e a sistemas e linguagens formais. Complexidade, etc. Inteligência artificial, clustering, pattern recongnition, etc.

[Talvez mais tópicos]

Para mim o post do Dória é relevante e pertinente porque excede a questão propriamente física pela sua importância epistemológica e na história da ciência.

Carlos

Márlon Henrique Teixeira

unread,
Dec 21, 2016, 2:00:53 PM12/21/16
to logi...@dimap.ufrn.br
Caberia ainda um tópico sobre "Cognição matemática". Acerca de como ciências cognitivas entendem que a mente/cérebro cria conceitos abstratos, tais como os empregados pelos lógicos. 


--
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/CAGJaJ%2B-j%3DSfbKaLWaE%3Dz5wXH8WbTT6And-NV9D6XiBLv%2BpxHfw%40mail.gmail.com.

Francisco Antonio Doria

unread,
Dec 21, 2016, 2:04:45 PM12/21/16
to logi...@dimap.ufrn.br
Certo. Muito interessante. Aliás, como vão suas pesquisas na área? Vc podia postar um resumo?

2016-12-21 17:00 GMT-02:00 Márlon Henrique Teixeira <marlonhe...@gmail.com>:
Caberia ainda um tópico sobre "Cognição matemática". Acerca de como ciências cognitivas entendem que a mente/cérebro cria conceitos abstratos, tais como os empregados pelos lógicos. 

Em 21 de dezembro de 2016 16:40, Carlos Gonzalez <gonz...@gmail.com> escreveu:
Prezados colegas

Na tradição da lista, assim com na SBL e nos EBL, "lógica" era entendida num sentido amplo que incluía epistemologia, filosofia e história de ciência, filosofia da lógica e da matemática, etc.

Segundo o meu ponto de vista, isso não é nenhum capricho, arbitrariedade nem extravagância, se pensarmos, por exemplo, que o Organon aristotélico contém os Segundos Analíticos que é um tratado sobre a ciência. Poderia citar também o que era dialéctica para os estoicos, Lógica Menor e Maior dos escolásticos, etc. A Lógica de Port Royal, o Novum Organon e até o Discurso do Método.

Sintetizando, para mim nesta lista tem cabimento questões relativas à:

1) Todas os tipos, espécies e sub-espécies de lógica, formal, matemática, dialéctica, álgebra da lógica, teoria de modelos, teoria de conjuntos, categorias, recursão, etc.

2) Filosofia da lógica e da matemática. Ou de sistemas formais em geral.

3) Epistemologia, filosofia da ciência, gnoseologia e teoria do conhecimento.

4) História da ciência, da lógica e da matemática.

5) Problemas computacionais relacionadas à lógica e a sistemas e linguagens formais. Complexidade, etc. Inteligência artificial, clustering, pattern recongnition, etc.

[Talvez mais tópicos]

Para mim o post do Dória é relevante e pertinente porque excede a questão propriamente física pela sua importância epistemológica e na história da ciência.

Carlos

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

--
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/CABcc%2B%3DkM4WxT%2BuY0FXUU9TJvq3bcpQYBd5y%2B4bCH61K0vwbZTA%40mail.gmail.com.



--
fad

ahhata alati, awienta Wilushati

Márlon Henrique Teixeira

unread,
Dec 21, 2016, 2:19:07 PM12/21/16
to logi...@dimap.ufrn.br
Obrigado pelo interesse, professor Dória.

No útlimo ano estive pesquisando como pós-doutorando em um projeto sobre cognição de pessoas cegas congênitas - mais precisamente ecolocalização. Ecolocalização consiste, basicamente, no processo de construção de um mapa espacial para navegação baseado na informação auditiva provida pelo entorno. 
Meu interesse em especial nesse projeto, era melhorar minhas abilidades em modelagem experimental e também ter uma ideia de como seria a representação do entorno de pessoas com deficiência visual - haja visto que nossa concepção de real é tiranicamente influenciada pelo sistema visual.

Também formamos um grupo interdisciplinar na UFSC, juntamente com pesquisadores da Física, Matemática, Eng. Química sobre neurociências - muito estimulados pelas discussões que surgiram na defesa de minha tese. 
No momento temos uma rede neural e estamos tralhando no problema de decodificação - criar um modelo formal através do qual possamos estabelecer uma relação entre o output da rede e o input (é uma rede com várias camadas, desde a retina até o córtex V1).

Temos um grupo de pesquisa em Machine Learning também, liderado pelo professor Vladmir Pestov. O maior objetivo é aumentar o leque de ferramentas para o trato de problemas. 

Nesse momento, meu projeto filosófico está em stand-by, por assim dizer. Parece-me a hora de melhorar meu entendimento sobre questões que têm implicação direta ou indireta com temas tratados em minha tese. 

Foi um bom ano.

Abraços

Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABcc%2B%3DkM4WxT%2BuY0FXUU9TJvq3bcpQYBd5y%2B4bCH61K0vwbZTA%40mail.gmail.com.



--
fad

ahhata alati, awienta Wilushati

--
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/CA%2BuR7BJ2Di6CDvOQNCyviBQqyhN-LTaHWfqY53N%3D6jnZQOVtxA%40mail.gmail.com.

Famadoria

unread,
Dec 21, 2016, 2:24:59 PM12/21/16
to logi...@dimap.ufrn.br
Obrigado!!!

Sent from my iPhone

josé carlos cifuentes

unread,
Dec 21, 2016, 2:27:09 PM12/21/16
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Um dos grandes físicos do século XX, Niels Bohr, sabia (ou intuía) mais de lógica que muitos de nós, mas de uma lógica ainda por ser elucidada e que vem da ciência, especialmente da física. Isso se reflete na seguinte frase dele: "O oposto de uma verdade é uma falsidade, mas o oposto de uma verdade profunda pode muito bem ser outra verdade profunda" (algo a ver com algum tipo de paraconsistência?).
Ele também dize o seguinte a um outro físico: "Não, não, você não está pensando, você está sendo apenas lógico".
Cifuentes


--
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/CABcc%2B%3DkOvQRRpMfQV-OvwxSOtARQJd2qir%2B-GrZdFo61UrWS0w%40mail.gmail.com.

Reply all
Reply to author
Forward
0 new messages