Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Elaine Pimentel]

Viva, João!

Su-per-le-gal o trabalho! Parabéns mesmo!!!

Acho que você acertou o tom: desde os tons pastel dos slides, até o tom
correto do conteúdo, passando pelo tom suave de voz! Muito bacana, depois
você me diz como escrever em cima de pdfs :)

Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução
do forall, e fica aqui também o parabéns pela "menção honrosa" do Prêmio
CAPES de tese para o PPGFIL.

E sim, Lolita rocks!

Abraços,

Elaine.

On Wed, Oct 21, 2020 at 10:37 PM Joao Marcos  wrote:

> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
> Studio e fiquei muito bem impressionado com o resultado.  Ele
> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
> para ouvir os vídeos e editar as legendas...
>
> Fiz o experimento, em particular, com o vídeo sobre "Correção e
> completude para a Lógica de Primeira Ordem Clássica"
> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
> ver.  O problema foi que já encontrei um erro na minha narração: eu
> falo a palavra "universal" ao me referir a um "existencial",
> descrevendo o método de Henkin. :-(:-(:-(
>
> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
> vez a mim mesmo! ;-b
>
> Abraços, Joao Marcos
>
> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>  wrote:
> >
> > Muito legal, parabens pela iniciativa!
> > voces fizeram voice2text dos videos?abs
> > Valeria
> >
> >
> >
> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Introdução Computacional à Lógica Matemática
> >>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >>
> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> >> sabor levemente computacional, cobrindo (presentemente) os temas:
> >> - relações de consequência
> >> - sintaxe lógica proposicional e de primeira ordem
> >> - o formalismo da Dedução Natural
> >> - as estruturas de interpretação (clássicas) de primeira ordem
> >> Faço observar que o material foi criado para cobrir um curso
> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> >> editada.
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Este material foi construído ao longo de dois meses de trabalho
> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> >> de Patrick Terrematte.
> >>
> >> Comentários e sugestões dos colegas que possam impactar eventuais
> >> futuras atualizações desta videopédia são sempre bem-vindos!
> >>
> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> >> Joao Marcos
> >>
> >> --
> >> 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 logica-l+unsubscr...@dimap.ufrn.br.
> >> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://vcvpaiva.github.io/
> > http://www.cs.bham.ac.uk/~vdp/
> >
>
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com
> .
>


-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 3215-3820

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2B

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Joao Marcos]

Obrigado, Elaine!

Bem, com pelo menos dez professores trabalhando em volta da nossa
área, em cinco departamentos diferentes, a UFRN tinha que ser
produtiva!  E, pra completar, há um concurso na área de Lógica e
Filosofia da Ciência acontecendo _esta semana_ no Departamento de
Filosofia, na vaga que era da nossa ex-reitora!

> Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução do 
> forall,
> e fica aqui também o parabéns pela "menção honrosa" do Prêmio CAPES de tese
> para o PPGFIL.

Sim, um orientando de Daniel!

Abraços,
Joao Marcos

On Thu, Oct 22, 2020 at 6:22 AM Elaine Pimentel
 wrote:
>
> Viva, João!
>
> Su-per-le-gal o trabalho! Parabéns mesmo!!!
>
> Acho que você acertou o tom: desde os tons pastel dos slides, até o tom 
> correto do conteúdo, passando pelo tom suave de voz! Muito bacana, depois 
> você me diz como escrever em cima de pdfs :)
>
> Eu já tinha parabenizado o Daniel e Maria da Paz pelo trabalho de tradução do 
> forall, e fica aqui também o parabéns pela "menção honrosa" do Prêmio CAPES 
> de tese para o PPGFIL.
>
> E sim, Lolita rocks!
>
> Abraços,
>
> Elaine.
>
> On Wed, Oct 21, 2020 at 10:37 PM Joao Marcos  wrote:
>>
>> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
>> Studio e fiquei muito bem impressionado com o resultado.  Ele
>> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
>> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
>> para ouvir os vídeos e editar as legendas...
>>
>> Fiz o experimento, em particular, com o vídeo sobre "Correção e
>> completude para a Lógica de Primeira Ordem Clássica"
>> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
>> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
>> ver.  O problema foi que já encontrei um erro na minha narração: eu
>> falo a palavra "universal" ao me referir a um "existencial",
>> descrevendo o método de Henkin. :-(:-(:-(
>>
>> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
>> vez a mim mesmo! ;-b
>>
>> Abraços, Joao Marcos
>>
>> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>>  wrote:
>> >
>> > Muito legal, parabens pela iniciativa!
>> > voces fizeram voice2text dos videos?abs
>> > Valeria
>> >
>> >
>> >
>> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Introdução Computacional à Lógica Matemática
>> >> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>> >>
>> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>> >> sabor levemente computacional, cobrindo (presentemente) os temas:
>> >> - relações de consequência
>> >> - sintaxe lógica proposicional e de primeira ordem
>> >> - o formalismo da Dedução Natural
>> >> - as estruturas de interpretação (clássicas) de primeira ordem
>> >> Faço observar que o material foi criado para cobrir um curso
>> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>> >> editada.
>> >>
>> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> >>
>> >> Este material foi construído ao longo de dois meses de trabalho
>> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>> >> de Patrick Terrematte.
>> >>
>> >> Comentários e sugestões dos colegas que possam impactar eventuais
>> >> futuras atualizações desta videopédia são sempre bem-vindos!
>> >>
>> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> >> comunidade,
>> >> Joao Marcos
>> >>
>> >> --
>> >> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> >> Para ver esta discussão na web, acesse 
>> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com.
>> >
>> >
>> >
>> > --
>> > Valeria de Paiva
>> > http://vcvpaiva.github.io/
>> > http://www.cs.bham.ac.uk/~vdp/
>> >
>>
>>
>> --
>> 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 logica-l+unsubscr...@dimap.ufrn.br.
>> Para ver esta discussão na web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com.
>
>
>
> --
> Elaine.
> -

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

Oi João.

V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as legendas..."

Estou coordenando um grupo que faz exatamente esta tarefa
sistematicamente, em vídeos genéricos do português.  Para quê? para que
possamos ter ferramentas de transcrição cada vez melhores e públicas para o
português, devolver essas e outras ferramentas de processamento de
linguagem natural.

É um trabalho que requer disciplina e muito profissionalismo, que bom que
você seja capaz de apreciar a importância deste trabalho, embora muitas
agências de fomento e outros não tem uma visão tão positiva deste tipo de
atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
de geração e coleta de dados.

[]s



Em qua., 21 de out. de 2020 às 22:37, Joao Marcos 
escreveu:

> Valeria, eu acabei de usar o "captions editor" do próprio YouTube
> Studio e fiquei muito bem impressionado com o resultado.  Ele
> conseguiu "voz-textificar" bastante bem quase tudo o que eu disse, e
> permite-me corrigir o texto com muita facilidade.  Agora, *haja tempo*
> para ouvir os vídeos e editar as legendas...
>
> Fiz o experimento, em particular, com o vídeo sobre "Correção e
> completude para a Lógica de Primeira Ordem Clássica"
> (https://youtu.be/zRZmfBlAiv0), que foi o último que eu gravei nesta
> rodada.  Ficou bom, basta você ligar o "close caption" do YouTube pra
> ver.  O problema foi que já encontrei um erro na minha narração: eu
> falo a palavra "universal" ao me referir a um "existencial",
> descrevendo o método de Henkin. :-(:-(:-(
>
> Vou culpar o referee, neste caso, por ter me feito assistir mais uma
> vez a mim mesmo! ;-b
>
> Abraços, Joao Marcos
>
> On Tue, Oct 20, 2020 at 8:11 PM Valeria de Paiva
>  wrote:
> >
> > Muito legal, parabens pela iniciativa!
> > voces fizeram voice2text dos videos?abs
> > Valeria
> >
> >
> >
> > On Tue, Oct 20, 2020 at 5:41 AM Joao Marcos  wrote:
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Introdução Computacional à Lógica Matemática
> >>
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> >>
> >> Trata-se de uma _videopédia_ que aborda temas básicos ligados à
> >> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
> >> sabor levemente computacional, cobrindo (presentemente) os temas:
> >> - relações de consequência
> >> - sintaxe lógica proposicional e de primeira ordem
> >> - o formalismo da Dedução Natural
> >> - as estruturas de interpretação (clássicas) de primeira ordem
> >> Faço observar que o material foi criado para cobrir um curso
> >> introdutório (formal) correspondente a aproximadamente 30 horas-aula,
> >> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
> >> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
> >> editada.
> >>
> >> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
> >>
> >> Este material foi construído ao longo de dois meses de trabalho
> >> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
> >> de Patrick Terrematte.
> >>
> >> Comentários e sugestões dos colegas que possam impactar eventuais
> >> futuras atualizações desta videopédia são sempre bem-vindos!
> >>
> >> Com votos de que possa haver algo aqui que venha a ser útil à nossa
> comunidade,
> >> Joao Marcos
> >>
> >> --
> >> 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 logica-l+unsubscr...@dimap.ufrn.br.
> >> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjD7Tzgx8ifxPo2D%3D93YEc3gfwx0YjTtaBAL4AXpjMW%3Dg%40mail.gmail.com
> .
> >
> >
> >
> > --
> > Valeria de Paiva
> > http://vcvpaiva.github.io/
> > http://www.cs.bham.ac.uk/~vdp/
> >
>
>
> --
> 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver esta discussão na web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Liu6z66%3DGYk%3D6mE%3D%2B8xKOaJtGJtOJmdoYqxHHb9M3a2%3DA%40mail.gmail.com
> .
>


-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw02hrKynvjQDLg%3DH

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Alexandre Rademaker]

Olá Marcelo,

Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de 
datasets (corpora, recursos léxicos etc) para o processamento do Português. 
Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é a 
falta de colaboração e desnecessária competição que muitas vezes acontecem. Não 
é incomum pesquisadores começarem novos projetos ao invés de colaborar com 
algum em andamento, acontece no Brazil e em todo lugar. Certamente existem 
várias explicações para este comportamento. 

Uma delas é a falta de documentação nos projetos das regras para contribuições, 
quanto se trata de linguagem, certas decisões precisam ser tomadas e aceitas, 
obter consenso para todas as decisões é muito difícil.

Outra é talvez o incentivo à publicações, fácil publicar um artigo dizendo 
’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é ter um 
artigo aceito sobre a colaboração com a manutenção de um recurso já existente.

E ainda existe má fé, infelizmente! :-( Recursos são incorporados em outros sem 
o devido crédito! Algumas até monetizam sem valorizar os desenvolvedores 
iniciais. Google, felizmente, sempre foi honesto em dar crédito à nossa 
openWordnet-PT: https://translate.google.com/intl/en/about/license/

Linguistic resources are very easy to start working on, very hard to improve 
and extremely difficult to maintain.

Ab.,
Alexandre

> On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
> 
> Oi João.
> 
> V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as legendas..."
> 
> Estou coordenando um grupo que faz exatamente esta tarefa sistematicamente, 
> em vídeos genéricos do português.  Para quê? para que possamos ter 
> ferramentas de transcrição cada vez melhores e públicas para o português, 
> devolver essas e outras ferramentas de processamento de linguagem natural.
> 
> É um trabalho que requer disciplina e muito profissionalismo, que bom que 
> você seja capaz de apreciar a importância deste trabalho, embora muitas 
> agências de fomento e outros não tem uma visão tão positiva deste tipo de 
> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho 
> de geração e coleta de dados.
> 
> []s

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FA982AAA-1FFD-4ECF-B236-7388EC0112E8%40gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

Oi Alexandre.

Fantástica a sua colocação: "mas pior ainda é a falta de colaboração e
desnecessária competição que muitas vezes acontecem. "

Por isso mesmo que estamos começando com material já coletado e parcialmente
transcrito nos últimos 50 anos!  Temos ambição de conseguir um córpus de
português falado no Brasil e transcrito que cubra desde 1970 até os dias de
hoje.  Já temos algum material deste período confirmado e estamos tratando
de realizar parcerias que aumentem a quantidade e a qualidade do conteúdo
que será disponibilizado.

"Linguistic resources are very easy to start working on, very hard to
improve and extremely difficult to maintain."  É sua esta frase? Quero
citar com os devidos créditos.

[]s

Marcelo



Em qui., 22 de out. de 2020 às 10:15, Alexandre Rademaker <
aradema...@gmail.com> escreveu:

>
> Olá Marcelo,
>
> Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de
> datasets (corpora, recursos léxicos etc) para o processamento do Português.
> Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é
> a falta de colaboração e desnecessária competição que muitas vezes
> acontecem. Não é incomum pesquisadores começarem novos projetos ao invés de
> colaborar com algum em andamento, acontece no Brazil e em todo lugar.
> Certamente existem várias explicações para este comportamento.
>
> Uma delas é a falta de documentação nos projetos das regras para
> contribuições, quanto se trata de linguagem, certas decisões precisam ser
> tomadas e aceitas, obter consenso para todas as decisões é muito difícil.
>
> Outra é talvez o incentivo à publicações, fácil publicar um artigo dizendo
> ’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é ter um
> artigo aceito sobre a colaboração com a manutenção de um recurso já
> existente.
>
> E ainda existe má fé, infelizmente! :-( Recursos são incorporados em
> outros sem o devido crédito! Algumas até monetizam sem valorizar os
> desenvolvedores iniciais. Google, felizmente, sempre foi honesto em dar
> crédito à nossa openWordnet-PT:
> https://translate.google.com/intl/en/about/license/
>
> Linguistic resources are very easy to start working on, very hard to
> improve and extremely difficult to maintain.
>
> Ab.,
> Alexandre
>
> > On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
> >
> > Oi João.
> >
> > V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as
> legendas..."
> >
> > Estou coordenando um grupo que faz exatamente esta tarefa
> sistematicamente, em vídeos genéricos do português.  Para quê? para que
> possamos ter ferramentas de transcrição cada vez melhores e públicas para o
> português, devolver essas e outras ferramentas de processamento de
> linguagem natural.
> >
> > É um trabalho que requer disciplina e muito profissionalismo, que bom
> que você seja capaz de apreciar a importância deste trabalho, embora muitas
> agências de fomento e outros não tem uma visão tão positiva deste tipo de
> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
> de geração e coleta de dados.
> >
> > []s
>
>

-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw10Xhw7dMe6mCQr5WvM2tqPhYiNyPvbWQKUcRCPVw8GDQ%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Valeria de Paiva]

Oi Marcelo,
a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers
conjuntos, nesses dez anos  de OWN-PT.

mas acho q a primeira vez q a usamos veio com um "as they say", pois devo
ter ouvido em algum encontro nos anos noventa quando eu trabalhava como
postdoc no projeto ACQUILEX da European Community. eles ja' tinham esse
problema naquela altura!

Alias seria legal se voces falassem dos varios wordnets pro Portugues se
resolverem falar mais sobre Knowledge Representation, no novo centro.
Abracos,
Valeria


On Thu, Oct 22, 2020 at 6:44 AM Marcelo Finger  wrote:

>
> Oi Alexandre.
>
> Fantástica a sua colocação: "mas pior ainda é a falta de colaboração e
> desnecessária competição que muitas vezes acontecem. "
>
> Por isso mesmo que estamos começando com material já coletado e
> parcialmente transcrito nos últimos 50 anos!  Temos ambição de conseguir
> um córpus de português falado no Brasil e transcrito que cubra desde 1970
> até os dias de hoje.  Já temos algum material deste período confirmado e
> estamos tratando de realizar parcerias que aumentem a quantidade e a
> qualidade do conteúdo que será disponibilizado.
>
> "Linguistic resources are very easy to start working on, very hard to
> improve and extremely difficult to maintain."  É sua esta frase? Quero
> citar com os devidos créditos.
>
> []s
>
> Marcelo
>
>
>
> Em qui., 22 de out. de 2020 às 10:15, Alexandre Rademaker <
> aradema...@gmail.com> escreveu:
>
>>
>> Olá Marcelo,
>>
>> Verdade! Fazem uns 10 anos que venho trabalhando exatamente na criação de
>> datasets (corpora, recursos léxicos etc) para o processamento do Português.
>> Realmente difícil recebermos apoio e valorização por isso, mas pior ainda é
>> a falta de colaboração e desnecessária competição que muitas vezes
>> acontecem. Não é incomum pesquisadores começarem novos projetos ao invés de
>> colaborar com algum em andamento, acontece no Brazil e em todo lugar.
>> Certamente existem várias explicações para este comportamento.
>>
>> Uma delas é a falta de documentação nos projetos das regras para
>> contribuições, quanto se trata de linguagem, certas decisões precisam ser
>> tomadas e aceitas, obter consenso para todas as decisões é muito difícil.
>>
>> Outra é talvez o incentivo à publicações, fácil publicar um artigo
>> dizendo ’Existe X, X não é bom/suficiente, então fiz Y’. Bem mais difícil é
>> ter um artigo aceito sobre a colaboração com a manutenção de um recurso já
>> existente.
>>
>> E ainda existe má fé, infelizmente! :-( Recursos são incorporados em
>> outros sem o devido crédito! Algumas até monetizam sem valorizar os
>> desenvolvedores iniciais. Google, felizmente, sempre foi honesto em dar
>> crédito à nossa openWordnet-PT:
>> https://translate.google.com/intl/en/about/license/
>>
>> Linguistic resources are very easy to start working on, very hard to
>> improve and extremely difficult to maintain.
>>
>> Ab.,
>> Alexandre
>>
>> > On 22 Oct 2020, at 09:51, Marcelo Finger  wrote:
>> >
>> > Oi João.
>> >
>> > V diz: " Agora, *haja tempo* para ouvir os vídeos e editar as
>> legendas..."
>> >
>> > Estou coordenando um grupo que faz exatamente esta tarefa
>> sistematicamente, em vídeos genéricos do português.  Para quê? para que
>> possamos ter ferramentas de transcrição cada vez melhores e públicas para o
>> português, devolver essas e outras ferramentas de processamento de
>> linguagem natural.
>> >
>> > É um trabalho que requer disciplina e muito profissionalismo, que bom
>> que você seja capaz de apreciar a importância deste trabalho, embora muitas
>> agências de fomento e outros não tem uma visão tão positiva deste tipo de
>> atividade. Sendo assim, ela relutam em apoiar financeiramente este trabalho
>> de geração e coleta de dados.
>> >
>> > []s
>>
>>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>  ORCID: https://orcid.org/-0002-1391-1175
>  ResearcherID: A-4670-2009
>


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://www.cs.bham.ac.uk/~vdp/

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsVGQAx-YcP4c8Tq1Uq8Rr2D5H6A2ZYu2%3DUmQx7XXckuw%40mail.gmail.com.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Alexandre Rademaker]

Também gosto muito desta frase Marcelo! ;-) E como Valeria já disse, a frase 
foi adaptação dela e aparece em 
http://arademaker.github.io/bibliography/acl-ldl-2015.html logo na introdução! 

Ab.,
Alexandre

> On 22 Oct 2020, at 10:56, Valeria de Paiva  wrote:
> 
> Oi Marcelo,
> a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers 
> conjuntos, nesses dez anos  de OWN-PT.
> 
> mas acho q a primeira vez q a usamos veio com um "as they say", pois devo ter 
> ouvido em algum encontro nos anos noventa quando eu trabalhava como postdoc 
> no projeto ACQUILEX da European Community. eles ja' tinham esse problema 
> naquela altura!
> 
> Alias seria legal se voces falassem dos varios wordnets pro Portugues se 
> resolverem falar mais sobre Knowledge Representation, no novo centro.
> Abracos,
> Valeria
> 

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/56DE33C1-E1C5-4EE7-B8D2-ACFB4A8A04C4%40gmail.com.

[Logica-l] [OFF] Palestra em disparidades de genero em citacoes (em NLP e outras areas da ciencia)

[valeria.depaiva]

O pessoal de Sheffield convida. Eu nao conheco o palestrante, mas queria 
lembrar que eles podem fazer esse tipo de pesquisa PORQUE eles teem todos 
(ou quase todos) artigos opensource e abertos pra todos na Antologia deles. 
abs logicos,
Valeria
===

Women+@DCS Seminar Series, University of Sheffield 

Title: Gender Gap in Natural Language Processing Research: Disparities in 
Authorship and Citations 

Invited Speaker: Saif M. Mohammad, National Research Council (Canada)

Date and Time: October 28, 2pm (GMT)

*Online Access link: 
https://eu.bbcollab.com/guest/0bb3c20a99f24543898320e4da1092a4 
*Access
 
link will open 30 minutes prior to the seminar*

Short Bio:

Dr. Saif M. Mohammad 

 
is Senior Research Scientist at the National Research Council Canada (NRC). 
He received his Ph.D. in Computer Science from the University of Toronto. 
Before joining NRC, he was a Research Associate at the Institute of 
Advanced Computer Studies at the University of Maryland, College Park. His 
research interests are in Computational Linguistics and Natural Language 
Processing (NLP), especially Lexical Semantics, Emotions in Language, 
Sentiment Analysis, Computational Creativity, Fairness in NLP, 
Psycholinguistics, and Information Visualization. He has served in various 
capacities at prominent journals and conferences, including: action editor 
for Computational Linguistics, chair of the Canada--UK symposium on Ethics 
in AI, co-chair of SemEval 2017-19 (the largest platform for semantic 
evaluations), workshops co-chair for ACL 2020, co-organizer of WASSA 2017 
and 2018 (a sentiment analysis workshop), and area chair for ACL, NAACL, 
and EMNLP (for sentiment analysis, lexical semantics, and fairness in NLP). 
His word--emotion resources, such as the NRC Emotion Lexicon, are widely 
used for analyzing affect in text. His work has garnered media attention, 
including articles in Time, SlashDot, LiveScience, io9, The Physics arXiv 
Blog, PC World, and Popular Science.

Abstract: 

Disparities in authorship and citations across gender can have substantial 
adverse consequences not just on the disadvantaged genders, but also on the 
field of study as a whole. Measuring gender gaps is a crucial step towards 
addressing them. In this work, we examine female first author percentages 
and the citations to their papers in Natural Language Processing (1965 to 
2019). We determine aggregate-level statistics using existing manually 
curated author--gender lists as well as first names strongly associated 
with a gender. We find that only about 29% of first authors are female and 
only about 25% of last authors are female. Notably, this percentage has not 
improved since the mid 2000s. We also show that, on average, female first 
authors are cited less than male first authors, even when controlling for 
experience and area of research. Finally, we discuss the ethical 
consideration involved in automatic demographic analysis.
- 

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/017d9a87-b987-4a9d-a659-7ae2a8ba6b0en%40dimap.ufrn.br.

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Cassiano Terra Rodrigues]

Daniel, parabéns pela iniciativa e também pelo teu website, q é 
sensacional! 
Nunca consegui ter uma página na web tão boa e organizada, fiquei com 
aquela invejinha boa de querer ser como vc. 
Agradeço tb pela sistematização do método do John Wilson, vou usar com meus 
alunos.
Um abraço,
cass. 


On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com wrote:

> Parabéns, João,
>
> Excelente iniciativa.  A UFRN está mesmo na vanguarda. Parabéns!!!
> Aproveito sua mensagem e faço uma propagandinha aqui também.
> Eu, aqui na filosofia, também estou produzindo um material didático 
> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
> ParaTodxs - Natal).
>
> Videoaulas:
> https://danieldurante.weebly.com/videoaulas_logica.html
>
> Livro:
> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>
> O foco são meus alunos de filosofia, muito pouco alfabetizados 
> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
> será um pouco sonolento para muitos estudantes de outras áreas.
> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. 
> Mas tem funcionado para meus alunos. 
>
> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
> grava assim mesmo!
> Devo acabar a introdução à lógica proposicional na próxima semana e farei 
> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. 
> Só semântica. Sem sistemas de prova.
>
> Comentários, sugestões e principalmente correções, porque certamente há 
> muitos deslizes, também são muito bem-vindos.
>
> Saudações,
> Daniel.
>
>
> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
> escreveu:
>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>
>> Introdução Computacional à Lógica Matemática 
>>
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>  
>>
>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à 
>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com 
>> sabor levemente computacional, cobrindo (presentemente) os temas: 
>> - relações de consequência 
>> - sintaxe lógica proposicional e de primeira ordem 
>> - o formalismo da Dedução Natural 
>> - as estruturas de interpretação (clássicas) de primeira ordem 
>> Faço observar que o material foi criado para cobrir um curso 
>> introdutório (formal) correspondente a aproximadamente 30 horas-aula, 
>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 
>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente 
>> editada. 
>>
>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>
>> Este material foi construído ao longo de dois meses de trabalho 
>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e 
>> de Patrick Terrematte. 
>>
>> Comentários e sugestões dos colegas que possam impactar eventuais 
>> futuras atualizações desta videopédia são sempre bem-vindos! 
>>
>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>> comunidade, 
>> Joao Marcos 
>>
>> -- 
>> 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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f6d595d4-10b9-40f0-a99e-8c0e365de499n%40dimap.ufrn.br.

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

[Marcelo Finger]

👍
Obrigado Alexandre e Valéria!

Em qui., 22 de out. de 2020 às 11:09, Alexandre Rademaker <
aradema...@gmail.com> escreveu:

>
> Também gosto muito desta frase Marcelo! ;-) E como Valeria já disse, a
> frase foi adaptação dela e aparece em
> http://arademaker.github.io/bibliography/acl-ldl-2015.html logo na
> introdução!
>
> Ab.,
> Alexandre
>
> > On 22 Oct 2020, at 10:56, Valeria de Paiva 
> wrote:
> >
> > Oi Marcelo,
> > a frase e' minha, e nos (Alexandre e eu) ja a usamos em varios papers
> conjuntos, nesses dez anos  de OWN-PT.
> >
> > mas acho q a primeira vez q a usamos veio com um "as they say", pois
> devo ter ouvido em algum encontro nos anos noventa quando eu trabalhava
> como postdoc no projeto ACQUILEX da European Community. eles ja' tinham
> esse problema naquela altura!
> >
> > Alias seria legal se voces falassem dos varios wordnets pro Portugues se
> resolverem falar mais sobre Knowledge Representation, no novo centro.
> > Abracos,
> > Valeria
> >
>
>

-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/-0002-1391-1175
 ResearcherID: A-4670-2009

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2hp_40Nu-G%2BJD8YkbjtpENVBdPBg1Ax5oT5kvGBWqL0Q%40mail.gmail.com.

Re: [Logica-l] the greatest mathematician that never lived

[Walter Alexandre Carnielli]

Colegas,

Achei  fantástico o vídeo sobre   "The  greatest mathematician that
never lived" !

 Alguém tem alguma ideia, ou sugestão, sobre como fazer  aquele tipo
de desenhos (cartoons)  memso que fossem bem mais grotescos e
simplificados ,
tipo " personagens com palitos"?

Abs

Walter


Em qui., 22 de out. de 2020 às 00:27, Joao Marcos  escreveu:
>
> E por falar em EXISTÊNCIA e em vídeos, compartilho este TED-Ed com os colegas:
>
> https://youtu.be/0O_boW9YA7I
> - on writing "a consistent logical framework unifying every branch of
> mathematics"
> - on "functions as bridges"
> - "his existence was imaginary, his influence was real"
>
> (Achei curioso notar que os diretores são de um estúdio de animação de
> Goiânia.  Aparentemente curtem Lógica.)
>
> Joao Marcos
>
> --
> 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 ver esta discussão na web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh80yXwVYXeRHbF5yJaabzXQX2u%2BYDpsQ2Acnfv%2BXEF9g%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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc3NAuFSrHAHNMg3QF9q_08Hp_X9bpK5%3D7kDcyAfuqQMA%40mail.gmail.com.

Re: [Logica-l] the greatest mathematician that never lived

[Joao Marcos]

Parece-me que dá para fazer muita coisa assim de maneira bem simples
(e divertida?) na linguagem Scratch, que foi criada pelo MIT e é
voltada para ensinar crianças a programar.

Abraços, Joao Marcos

On Thu, Oct 22, 2020 at 1:09 PM Walter Alexandre Carnielli
 wrote:
>
> Colegas,
>
> Achei  fantástico o vídeo sobre   "The  greatest mathematician that
> never lived" !
>
>  Alguém tem alguma ideia, ou sugestão, sobre como fazer  aquele tipo
> de desenhos (cartoons)  memso que fossem bem mais grotescos e
> simplificados ,
> tipo " personagens com palitos"?
>
> Abs
>
> Walter
>
>
> Em qui., 22 de out. de 2020 às 00:27, Joao Marcos  
> escreveu:
> >
> > E por falar em EXISTÊNCIA e em vídeos, compartilho este TED-Ed com os 
> > colegas:
> >
> > https://youtu.be/0O_boW9YA7I
> > - on writing "a consistent logical framework unifying every branch of
> > mathematics"
> > - on "functions as bridges"
> > - "his existence was imaginary, his influence was real"
> >
> > (Achei curioso notar que os diretores são de um estúdio de animação de
> > Goiânia.  Aparentemente curtem Lógica.)
> >
> > Joao Marcos
> >
> > --
> > 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 ver esta discussão na web, acesse 
> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh80yXwVYXeRHbF5yJaabzXQX2u%2BYDpsQ2Acnfv%2BXEF9g%40mail.gmail.com.



-- 
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lghj%3DxCzT30k2-NTynazNwwcEcBWht201AEv5-t7EorKA%40mail.gmail.com.

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Daniel Durante]

Obrigado, Cassiano!

Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam 
muito a criação e manutenção do site. Eu recomendo. É bem mais fácil que 
atualizar o Lattes!

Sobre o método do Wilson, eu uso principalmente com meus alunos de pós do 
meio-ambiente. Eles não têm formação em filosofia, são cobrados a fazer 
pesquisas interdisciplinares, e seus orientadores, mesmo bem intencionados, 
quase sempre têm mentalidade disciplinar. Então eu os provoco a aplicarem o 
método de Wilson em suas próprias questões de pesquisa para tentar extrair 
daí conceitos que "atravessem" as disciplinas e os levem a fazer pesquisas 
realmente interdisciplinares.

Acho que tem dado certo. Fico orgulhoso quando sou convidado para alguma 
banca e consigo ver alguns resultados das análises de conceitos que eles 
fizeram na minha disciplina em suas teses e dissertações.

Um abraço,
Daniel.

Em quinta-feira, 22 de outubro de 2020 às 11:32:08 UTC-3, Cassiano Terra 
Rodrigues escreveu:

> Daniel, parabéns pela iniciativa e também pelo teu website, q é 
> sensacional! 
> Nunca consegui ter uma página na web tão boa e organizada, fiquei com 
> aquela invejinha boa de querer ser como vc. 
> Agradeço tb pela sistematização do método do John Wilson, vou usar com 
> meus alunos.
> Um abraço,
> cass. 
>
>
> On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com 
> wrote:
>
>> Parabéns, João,
>>
>> Excelente iniciativa.  A UFRN está mesmo na vanguarda. Parabéns!!!
>> Aproveito sua mensagem e faço uma propagandinha aqui também.
>> Eu, aqui na filosofia, também estou produzindo um material didático 
>> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
>> ParaTodxs - Natal).
>>
>> Videoaulas:
>> https://danieldurante.weebly.com/videoaulas_logica.html
>>
>> Livro:
>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>>
>> O foco são meus alunos de filosofia, muito pouco alfabetizados 
>> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
>> será um pouco sonolento para muitos estudantes de outras áreas.
>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. 
>> Mas tem funcionado para meus alunos. 
>>
>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
>> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
>> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
>> grava assim mesmo!
>> Devo acabar a introdução à lógica proposicional na próxima semana e farei 
>> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. 
>> Só semântica. Sem sistemas de prova.
>>
>> Comentários, sugestões e principalmente correções, porque certamente há 
>> muitos deslizes, também são muito bem-vindos.
>>
>> Saudações,
>> Daniel.
>>
>>
>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
>> escreveu:
>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>>
>>> Introdução Computacional à Lógica Matemática 
>>>
>>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>>  
>>>
>>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à 
>>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com 
>>> sabor levemente computacional, cobrindo (presentemente) os temas: 
>>> - relações de consequência 
>>> - sintaxe lógica proposicional e de primeira ordem 
>>> - o formalismo da Dedução Natural 
>>> - as estruturas de interpretação (clássicas) de primeira ordem 
>>> Faço observar que o material foi criado para cobrir um curso 
>>> introdutório (formal) correspondente a aproximadamente 30 horas-aula, 
>>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 
>>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente 
>>> editada. 
>>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>>
>>> Este material foi construído ao longo de dois meses de trabalho 
>>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e 
>>> de Patrick Terrematte. 
>>>
>>> Comentários e sugestões dos colegas que possam impactar eventuais 
>>> futuras atualizações desta videopédia são sempre bem-vindos! 
>>>
>>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>>> comunidade, 
>>> Joao Marcos 
>>>
>>> -- 
>>> 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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/9cc9c8c0-8fb9-4569-a6ea-dd1502faf584n%40dimap.ufrn.br.

[Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Daniel Durante]

Obrigado, Cassiano!

Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam 
muito a criação e manutenção do site. Eu recomendo. É bem mais fácil que 
atualizar o Lattes!

Sobre o método do Wilson, eu uso principalmente com meus alunos de pós do 
meio-ambiente. Eles não têm formação em filosofia, são cobrados a fazer 
pesquisas interdisciplinares, e seus orientadores, mesmo bem intencionados, 
quase sempre têm mentalidade disciplinar. Então eu os provoco a aplicarem o 
método de Wilson em suas próprias questões de pesquisa para tentar extrair 
daí conceitos que "atravessem" as disciplinas e os levem a fazer pesquisas 
realmente interdisciplinares.

Acho que tem dado certo. Fico orgulhoso quando sou convidado para alguma 
banca e consigo ver alguns resultados das análises de conceitos que eles 
fizeram na minha disciplina em suas teses e dissertações.

Um abraço,
Daniel.


Em quinta-feira, 22 de outubro de 2020 às 11:32:08 UTC-3, Cassiano Terra 
Rodrigues escreveu:

> Daniel, parabéns pela iniciativa e também pelo teu website, q é 
> sensacional! 
> Nunca consegui ter uma página na web tão boa e organizada, fiquei com 
> aquela invejinha boa de querer ser como vc. 
> Agradeço tb pela sistematização do método do John Wilson, vou usar com 
> meus alunos.
> Um abraço,
> cass. 
>
>
> On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com 
> wrote:
>
>> Parabéns, João,
>>
>> Excelente iniciativa.  A UFRN está mesmo na vanguarda. Parabéns!!!
>> Aproveito sua mensagem e faço uma propagandinha aqui também.
>> Eu, aqui na filosofia, também estou produzindo um material didático 
>> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
>> ParaTodxs - Natal).
>>
>> Videoaulas:
>> https://danieldurante.weebly.com/videoaulas_logica.html
>>
>> Livro:
>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>>
>> O foco são meus alunos de filosofia, muito pouco alfabetizados 
>> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
>> será um pouco sonolento para muitos estudantes de outras áreas.
>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. 
>> Mas tem funcionado para meus alunos. 
>>
>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
>> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
>> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
>> grava assim mesmo!
>> Devo acabar a introdução à lógica proposicional na próxima semana e farei 
>> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. 
>> Só semântica. Sem sistemas de prova.
>>
>> Comentários, sugestões e principalmente correções, porque certamente há 
>> muitos deslizes, também são muito bem-vindos.
>>
>> Saudações,
>> Daniel.
>>
>>
>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
>> escreveu:
>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>>
>>> Introdução Computacional à Lógica Matemática 
>>>
>>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>>>  
>>>
>>> Trata-se de uma _videopédia_ que aborda temas básicos ligados à 
>>> Lógica Clássica (e um pouco de Lógica Intuicionista, também), com 
>>> sabor levemente computacional, cobrindo (presentemente) os temas: 
>>> - relações de consequência 
>>> - sintaxe lógica proposicional e de primeira ordem 
>>> - o formalismo da Dedução Natural 
>>> - as estruturas de interpretação (clássicas) de primeira ordem 
>>> Faço observar que o material foi criado para cobrir um curso 
>>> introdutório (formal) correspondente a aproximadamente 30 horas-aula, 
>>> e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30 
>>> verbetes, totalizando cerca de 10 horas de gravação cuidadosamente 
>>> editada. 
>>>
>>> * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
>>>
>>> Este material foi construído ao longo de dois meses de trabalho 
>>> intenso, nos quais contei principalmente com a ajuda de Vitor Greati e 
>>> de Patrick Terrematte. 
>>>
>>> Comentários e sugestões dos colegas que possam impactar eventuais 
>>> futuras atualizações desta videopédia são sempre bem-vindos! 
>>>
>>> Com votos de que possa haver algo aqui que venha a ser útil à nossa 
>>> comunidade, 
>>> Joao Marcos 
>>>
>>> -- 
>>> 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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f06628b5-6884-470b-9b09-6aacbebb1fddn%40dimap.ufrn.br.

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Eduardo Ochs]

Daniel, onde tem coisas sobre o Metodo de Wilson?
E' em alguma videoaula especifica?
Eu nunca ouvi falar dele e fiquei curioso...
  [[]], E.

On Thu, 22 Oct 2020 at 16:01, Daniel Durante  wrote:
>
> Obrigado, Cassiano!
>
> Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam muito 
> a criação e manutenção do site. Eu recomendo. É bem mais fácil que atualizar 
> o Lattes!
>
> Sobre o método do Wilson, eu uso principalmente com meus alunos de pós do 
> meio-ambiente. Eles não têm formação em filosofia, são cobrados a fazer 
> pesquisas interdisciplinares, e seus orientadores, mesmo bem intencionados, 
> quase sempre têm mentalidade disciplinar. Então eu os provoco a aplicarem o 
> método de Wilson em suas próprias questões de pesquisa para tentar extrair 
> daí conceitos que "atravessem" as disciplinas e os levem a fazer pesquisas 
> realmente interdisciplinares.
>
> Acho que tem dado certo. Fico orgulhoso quando sou convidado para alguma 
> banca e consigo ver alguns resultados das análises de conceitos que eles 
> fizeram na minha disciplina em suas teses e dissertações.
>
> Um abraço,
> Daniel.
>
> Em quinta-feira, 22 de outubro de 2020 às 11:32:08 UTC-3, Cassiano Terra 
> Rodrigues escreveu:
>>
>> Daniel, parabéns pela iniciativa e também pelo teu website, q é sensacional!
>> Nunca consegui ter uma página na web tão boa e organizada, fiquei com aquela 
>> invejinha boa de querer ser como vc.
>> Agradeço tb pela sistematização do método do John Wilson, vou usar com meus 
>> alunos.
>> Um abraço,
>> cass.
>>
>>
>> On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com wrote:
>>>
>>> Parabéns, João,
>>>
>>> Excelente iniciativa.  A UFRN está mesmo na vanguarda. Parabéns!!!
>>> Aproveito sua mensagem e faço uma propagandinha aqui também.
>>> Eu, aqui na filosofia, também estou produzindo um material didático 
>>> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
>>> ParaTodxs - Natal).
>>>
>>> Videoaulas:
>>> https://danieldurante.weebly.com/videoaulas_logica.html
>>>
>>> Livro:
>>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>>>
>>> O foco são meus alunos de filosofia, muito pouco alfabetizados 
>>> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
>>> será um pouco sonolento para muitos estudantes de outras áreas.
>>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou menos. Mas 
>>> tem funcionado para meus alunos.
>>>
>>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
>>> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
>>> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
>>> grava assim mesmo!
>>> Devo acabar a introdução à lógica proposicional na próxima semana e farei 
>>> algumas aulas introdutórias sobre primeira ordem antes do fim do semestre. 
>>> Só semântica. Sem sistemas de prova.
>>>
>>> Comentários, sugestões e principalmente correções, porque certamente há 
>>> muitos deslizes, também são muito bem-vindos.
>>>
>>> Saudações,
>>> Daniel.
>>>
>>>
>>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
>>> escreveu:

 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

 Introdução Computacional à Lógica Matemática
 http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica

 Trata-se de uma _videopédia_ que aborda temas básicos ligados à
 Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
 sabor levemente computacional, cobrindo (presentemente) os temas:
 - relações de consequência
 - sintaxe lógica proposicional e de primeira ordem
 - o formalismo da Dedução Natural
 - as estruturas de interpretação (clássicas) de primeira ordem
 Faço observar que o material foi criado para cobrir um curso
 introdutório (formal) correspondente a aproximadamente 30 horas-aula,
 e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
 verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
 editada.

 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *

 Este material foi construído ao longo de dois meses de trabalho
 intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
 de Patrick Terrematte.

 Comentários e sugestões dos colegas que possam impactar eventuais
 futuras atualizações desta videopédia são sempre bem-vindos!

 Com votos de que possa haver algo aqui que venha a ser útil à nossa 
 comunidade,
 Joao Marcos

 --
 http://sequiturquodlibet.googlepages.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+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, ac

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Daniel Durante]

Oi Eduardo,

É um artigo meu que está la no site:
"Filosofia Sem Filósofos: análise de conceitos como método e conteúdo para 
o ensino médio"
https://danieldurante.weebly.com/uploads/2/2/9/3/22938190/alves-2013_filosofia_sem_filosofos.pdf

Um abraço,
Daniel.

Em quinta-feira, 22 de outubro de 2020 às 16:14:04 UTC-3, eduardoochs 
escreveu:

> Daniel, onde tem coisas sobre o Metodo de Wilson?
> E' em alguma videoaula especifica?
> Eu nunca ouvi falar dele e fiquei curioso...
> [[]], E.
>
> On Thu, 22 Oct 2020 at 16:01, Daniel Durante  wrote:
> >
> > Obrigado, Cassiano!
> >
> > Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam 
> muito a criação e manutenção do site. Eu recomendo. É bem mais fácil que 
> atualizar o Lattes!
> >
> > Sobre o método do Wilson, eu uso principalmente com meus alunos de pós 
> do meio-ambiente. Eles não têm formação em filosofia, são cobrados a fazer 
> pesquisas interdisciplinares, e seus orientadores, mesmo bem intencionados, 
> quase sempre têm mentalidade disciplinar. Então eu os provoco a aplicarem o 
> método de Wilson em suas próprias questões de pesquisa para tentar extrair 
> daí conceitos que "atravessem" as disciplinas e os levem a fazer pesquisas 
> realmente interdisciplinares.
> >
> > Acho que tem dado certo. Fico orgulhoso quando sou convidado para alguma 
> banca e consigo ver alguns resultados das análises de conceitos que eles 
> fizeram na minha disciplina em suas teses e dissertações.
> >
> > Um abraço,
> > Daniel.
> >
> > Em quinta-feira, 22 de outubro de 2020 às 11:32:08 UTC-3, Cassiano Terra 
> Rodrigues escreveu:
> >>
> >> Daniel, parabéns pela iniciativa e também pelo teu website, q é 
> sensacional!
> >> Nunca consegui ter uma página na web tão boa e organizada, fiquei com 
> aquela invejinha boa de querer ser como vc.
> >> Agradeço tb pela sistematização do método do John Wilson, vou usar com 
> meus alunos.
> >> Um abraço,
> >> cass.
> >>
> >>
> >> On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com 
> wrote:
> >>>
> >>> Parabéns, João,
> >>>
> >>> Excelente iniciativa. A UFRN está mesmo na vanguarda. Parabéns!!!
> >>> Aproveito sua mensagem e faço uma propagandinha aqui também.
> >>> Eu, aqui na filosofia, também estou produzindo um material didático 
> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o 
> ParaTodxs - Natal).
> >>>
> >>> Videoaulas:
> >>> https://danieldurante.weebly.com/videoaulas_logica.html
> >>>
> >>> Livro:
> >>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
> >>>
> >>> O foco são meus alunos de filosofia, muito pouco alfabetizados 
> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso 
> será um pouco sonolento para muitos estudantes de outras áreas.
> >>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou 
> menos. Mas tem funcionado para meus alunos.
> >>>
> >>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos. Meu 
> principal problema é a vizinhança. Moro em casa e aqui perto tem galinha, 
> pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a gente 
> grava assim mesmo!
> >>> Devo acabar a introdução à lógica proposicional na próxima semana e 
> farei algumas aulas introdutórias sobre primeira ordem antes do fim do 
> semestre. Só semântica. Sem sistemas de prova.
> >>>
> >>> Comentários, sugestões e principalmente correções, porque certamente 
> há muitos deslizes, também são muito bem-vindos.
> >>>
> >>> Saudações,
> >>> Daniel.
> >>>
> >>>
> >>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos 
> escreveu:
> 
>  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
> *
> 
>  Introdução Computacional à Lógica Matemática
>  
> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
> 
>  Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>  Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>  sabor levemente computacional, cobrindo (presentemente) os temas:
>  - relações de consequência
>  - sintaxe lógica proposicional e de primeira ordem
>  - o formalismo da Dedução Natural
>  - as estruturas de interpretação (clássicas) de primeira ordem
>  Faço observar que o material foi criado para cobrir um curso
>  introdutório (formal) correspondente a aproximadamente 30 horas-aula,
>  e contém atualmente cerca de 60 vídeos distribuídos em cerca de 30
>  verbetes, totalizando cerca de 10 horas de gravação cuidadosamente
>  editada.
> 
>  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 
> *
> 
>  Este material foi construído ao longo de dois meses de trabalho
>  intenso, nos quais contei principalmente com a ajuda de Vitor Greati e
>  de Patrick Terrematte.
> 
>  Comentários e sugestões dos colegas que possam impactar eventuais
>  futuras atuali

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

[Cassiano Terra Rodrigues]

Pois é, eu sempre dei aula para não filósofos. Na PUC, para praticamente
todos os cursos, mas a maioria na área de humanas mesmo (direito, relações
internacionais, contabilidade, jornalismo etc.). Mesmo assim, a
sistematização de separar as perguntas, lançar hipóteses, definir conceitos
etc. sempre é útil. Usei o livro do Wilson para dar aulas, para os alunos
de filosofia, sobre metodologia de ensino, quando havia a disciplina de
ensino de filosofia.
Agora, no ITA, dando aulas para futuros engenheiros, esse passo
propedêutico é fundamental. O teu artigo vai me ajudar muito!
um abraço a todos,
cass.


Il giorno gio 22 ott 2020 alle ore 16:20 Daniel Durante 
ha scritto:

> Oi Eduardo,
>
> É um artigo meu que está la no site:
> "Filosofia Sem Filósofos: análise de conceitos como método e conteúdo para
> o ensino médio"
>
> https://danieldurante.weebly.com/uploads/2/2/9/3/22938190/alves-2013_filosofia_sem_filosofos.pdf
>
> Um abraço,
> Daniel.
>
> Em quinta-feira, 22 de outubro de 2020 às 16:14:04 UTC-3, eduardoochs
> escreveu:
>
>> Daniel, onde tem coisas sobre o Metodo de Wilson?
>> E' em alguma videoaula especifica?
>> Eu nunca ouvi falar dele e fiquei curioso...
>> [[]], E.
>>
>> On Thu, 22 Oct 2020 at 16:01, Daniel Durante  wrote:
>> >
>> > Obrigado, Cassiano!
>> >
>> > Hoje em dia tem estas ferramentas Wix, Wordpress, Weelby, que facilitam
>> muito a criação e manutenção do site. Eu recomendo. É bem mais fácil que
>> atualizar o Lattes!
>> >
>> > Sobre o método do Wilson, eu uso principalmente com meus alunos de pós
>> do meio-ambiente. Eles não têm formação em filosofia, são cobrados a fazer
>> pesquisas interdisciplinares, e seus orientadores, mesmo bem intencionados,
>> quase sempre têm mentalidade disciplinar. Então eu os provoco a aplicarem o
>> método de Wilson em suas próprias questões de pesquisa para tentar extrair
>> daí conceitos que "atravessem" as disciplinas e os levem a fazer pesquisas
>> realmente interdisciplinares.
>> >
>> > Acho que tem dado certo. Fico orgulhoso quando sou convidado para
>> alguma banca e consigo ver alguns resultados das análises de conceitos que
>> eles fizeram na minha disciplina em suas teses e dissertações.
>> >
>> > Um abraço,
>> > Daniel.
>> >
>> > Em quinta-feira, 22 de outubro de 2020 às 11:32:08 UTC-3, Cassiano
>> Terra Rodrigues escreveu:
>> >>
>> >> Daniel, parabéns pela iniciativa e também pelo teu website, q é
>> sensacional!
>> >> Nunca consegui ter uma página na web tão boa e organizada, fiquei com
>> aquela invejinha boa de querer ser como vc.
>> >> Agradeço tb pela sistematização do método do John Wilson, vou usar com
>> meus alunos.
>> >> Um abraço,
>> >> cass.
>> >>
>> >>
>> >> On Wednesday, October 21, 2020 at 11:19:15 AM UTC-3 dura...@gmail.com
>> wrote:
>> >>>
>> >>> Parabéns, João,
>> >>>
>> >>> Excelente iniciativa. A UFRN está mesmo na vanguarda. Parabéns!!!
>> >>> Aproveito sua mensagem e faço uma propagandinha aqui também.
>> >>> Eu, aqui na filosofia, também estou produzindo um material didático
>> introdutório em lógica, baseado na nossa versão brasileira do Forall_x (o
>> ParaTodxs - Natal).
>> >>>
>> >>> Videoaulas:
>> >>> https://danieldurante.weebly.com/videoaulas_logica.html
>> >>>
>> >>> Livro:
>> >>> https://philpapers.org/go.pl?id=MAGPTN&aid=MAGPTNv1
>> >>>
>> >>> O foco são meus alunos de filosofia, muito pouco alfabetizados
>> matematicamente. É lógica misturada com filosofia da lógica. Então, o curso
>> será um pouco sonolento para muitos estudantes de outras áreas.
>> >>> E eu também não sei ser youtuber. Dou aulas longas de 1h mais ou
>> menos. Mas tem funcionado para meus alunos.
>> >>>
>> >>> De fato, dá MUITO trabalho fazer isso. Mas com o tempo aprendemos.
>> Meu principal problema é a vizinhança. Moro em casa e aqui perto tem
>> galinha, pombos, cachorros, carro do gás, do ovo, do picolé Caicó,... Mas a
>> gente grava assim mesmo!
>> >>> Devo acabar a introdução à lógica proposicional na próxima semana e
>> farei algumas aulas introdutórias sobre primeira ordem antes do fim do
>> semestre. Só semântica. Sem sistemas de prova.
>> >>>
>> >>> Comentários, sugestões e principalmente correções, porque certamente
>> há muitos deslizes, também são muito bem-vindos.
>> >>>
>> >>> Saudações,
>> >>> Daniel.
>> >>>
>> >>>
>> >>> Em terça-feira, 20 de outubro de 2020 às 09:41:18 UTC-3, Joao Marcos
>> escreveu:
>> 
>>  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
>> * *
>> 
>>  Introdução Computacional à Lógica Matemática
>> 
>> http://lolita.dimap.ufrn.br/logicwiki/index.php/Introdu%C3%A7%C3%A3o_Computacional_%C3%A0_L%C3%B3gica_Matem%C3%A1tica
>> 
>>  Trata-se de uma _videopédia_ que aborda temas básicos ligados à
>>  Lógica Clássica (e um pouco de Lógica Intuicionista, também), com
>>  sabor levemente computacional, cobrindo (presentemente) os temas:
>>  - relações de consequência
>>  - sintaxe lógica proposicional e de primeira ordem
>>  - o formalismo da Deduç

[Logica-l] OFF-TOPIC: CHAMADA ESPECIAL DE ARTIGOS

[Cassiano Terra Rodrigues]

Camaradas, 

O professor Hector Benoît, da UNICAMP pede para divultar uma chamada 
especial de artigos para fechar um número da revista do CPA ainda em 2020. 
A quem não sabe, o periódico evoluiu de um boletim q começou a ser 
publicado em 1995 e atualmente se chama Revista de Estudos Filosóficos e 
Históricos da Antiguidade: https://www.cpa.ifch.unicamp.br/revista. 

A Revista é interdisciplinar, não restrita apenas à filosofia. E não é 
necessário ser apenas sobre filosofia ou história antiga. Eu enviei um 
pequeno artigo sobre a leitura que Peirce faz da indução aristotélica.
O email q está no site não está funcionando e o prof. Benoît está recebendo 
os artigos no email pessoal: hben...@uol.com.br.

Saudações, 
cass.

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5ecebb8f-706b-463e-b709-669dbdea13abn%40dimap.ufrn.br.