Re: [Logica-l] Calculadora lógica

sagem deve ser: "O argumento é Válido". On Sunday, July 13, 2025 at 9:53:28 PM UTC-3 Marcelo Finger wrote: > Oi Daniel. > > Fantástico! > > Você poderia disponibilizar também o código? E, se possível, os prompts > que você usou para que a inteligência gerativa gerasse e

[Logica-l] Calculadora lógica

Colegas, Não escrevo uma linha de código desde o milênio passado, mas estava vendo meus alunos sofrerem com as opções disponíveis online de calculadoras lógicas proposicionais. É que pedi, como tarefa, para eles resolverem, via formalização de argumentos, algumas charadas ao estilo dos livros d

Re: [Logica-l] Número especial SAJL Itala 80 anos

Viva, Itala!! Parabéns! Muita saúde e felicidade para você!! Que continue nos ensinando e inspirando por muitos anos mais. Um beijo, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 19 Jul 2024, at 14:58, Itala Maria Loffredo D'Ottaviano > wrote: > > Quer

Re: [Logica-l] Vídeos das mesas-redondas dos Seminários de Orientação extra-Lógica disponíveis

Parabéns, João, Evelyn e Mahan pelo evento. Esses vídeos são instrumentos muito úteis a todo orientador 😉 Obrigado. Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 22 Apr 2024, at 09:09, João Mendes wrote: > > Os vídeos das duas mesas-redondas do SOL (Semi

Re: [Logica-l] Mesa de Filosofia da lógica: Consequência lógica

Fala Samuel, Walter e Henrique, > O estudante é criativo ,mas está enganado: una das leis da Igualdade diz que > "qualquer coisa é igual a si própria", mas não diz que existe algo. É Walter, mas se esta lei da igualdade está na lógica clássica, então tem uma prova de duas linhas do argumento

[Logica-l] Re: ao

Ah! Faltou dizer que uma boa crônica não só ajuda a gente a entender o mundo, como talvez até a melhorá-lo. 🙂 Em terça-feira, 8 de agosto de 2023 às 09:27:07 UTC-3, Daniel Durante escreveu: > Concordo com você, Julio. Os lógicos e o pessoal dos fundamentos não são > legisladores e nem

[Logica-l] Re: ao

; > > Estudar os processos -- Indutivos -- (sim, sim; Indutivos, nao > dedutivos!) que levam a abstracao de estruturas matematicas a partir da > formalizacao de teorias Fisicas (ou em outras ciencias empiricas), e > > > Estudar a melhor forma de construir e oganizar On

[Logica-l] Re: ao

Oi Marcio e colegas, Eu acho, Marcio, que quando Samuel fala que a matemática é ZFC, ele não está querendo dizer isso literalmente, no sentido de que os números são certos conjuntos e que as funções são conjuntos de pares com certas propriedades,... Ele está falando de um jeito menos literal. O

[Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

> "Se mostramos que algo que vale para o > futebol suíço, então estamos mostrando que não existe nas regras algo que > garanta que sua negação fosse válida em todos os tabuleiros" > > - ou seja, mesmo que indiretamente, olhando para as negações,trabalhar aí no > futebol suíço fala sim sobre o j

[Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

Salve Samuel, Obrigado pela paciente resposta, pelas explicações e referências. Você sempre me surpreende com suas respostas de matemático. Claro, o JOGO!! Eu aqui, com minha mentalidade de contabilista, só pensando em tabuleiros e regras e me esquecendo do JOGO. O jogo real, para o qual as reg

[Logica-l] Re: Coletivo Lógica Viva: sobre infinitos, números e provas

Grandes Samuel, Marcos Silva e Colegas, Parabéns pela conversa de bar online, Samuel e Marcos. Ouvir o Samuel é sempre um grande prazer, e ouvi-lo respondendo as perguntas perspicazes do Marcos Silva é muito melhor. Pena que perdi ao vivo. Adorei o papo. Ouvi hoje. Tá aqui o link para que

Re: [Logica-l] Tradução

Já eu traduziria a pergunta do garçom por: “Chope para os três?” E confesso, também, que demorei um pouquinho pra entender; mais, pelo menos, do que meu orgulho gostaria! 🙂 Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 10 Jun 2023, at 14:23, A

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

Oi Marcos, Exigir diploma de filosofia para trabalhar com filosofia é uma medida de > exclusão? > Eu não sei. Eu acho que não. > Alguém com doutorado em Filosofia ser excluído de poder participar em um concurso para professor universitário em um departamento de Filosofia é, sim, política de e

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

>> (E) Ensinar com propriedade -- enquanto pesquisador nestas areas -- >> disciplinas de interesse na instituicao; >> (X) Fazer ou participar -- enquanto pesquisador nestas areas -- de >> Assessorias, >> Consultorias, ou outras formas relevantes de Extensao. >> Sem falsa modestia, acho que nao

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

Oi Cassiano, João Daniel e Colegas, Concordo com tudo o que você disse, Cassiano, só que eu acho que alguém que tem doutorado em filosofia, escolheu dedicar-se à filosofia, e demonstrou alguma competência, já que obteve o título. Qual a razão, então, de privar essa pessoa da possibilidade de de

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

Oi João, É mesmo injustificável tal exigência. Sempre brigo, quando temos concursos, para termos o mínimo de exigência de formação possível. Temos conseguido evitar exigir graduação em filosofia aqui no nosso departamento, mas há sempre muitos votos contrários. Deve ter sido o caso nesse concur

Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN

Salve Cassiano, Vou usar este seu email como texto de minhas aulas 👏🏼👏🏼🙂 Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 29 Nov 2022, at 10:03, Cassiano Terra Rodrigues > wrote: > > Camaradas, após mais ou menos 1 ano e reaberto este tópico, ac

Re: [Logica-l] Lista de mulheres mais buscadas na web brasileira

Parabéns, Valéria. Parabéns Itala, minha professora querida. Daniel. Em terça-feira, 1 de novembro de 2022 às 01:22:40 UTC-3, it...@unicamp.br escreveu: > Muito obrigada, Elaine, Walter e Marcelo! > Uma inspiração compartilhar com vocês minha vida acadêmica. > > João, obrigada também, pela info

Re: [Logica-l] Prêmio CAPES de tese 2022

ote: > > Júbilo! Esperança! > > Vivas a todas e todos, e um abraço apertado pra Evelyn, > > G. > > On Sat, Oct 15, 2022 at 10:36 AM Joao Marcos wrote: > Agora também com o prêmio de melhor tese na ANPOF! Evelyn está de muitos > parabéns. > > JM > &g

Re: [Logica-l] Easychair went commercial

Já é lugar comum, mas é verdade: se o serviço é de graça, é porque o produto é você. Digo isso de um email (gmail) e admito que pago à Google por alguns bytes na nuvem, porque me acostumei a usar o Google photos quando era gratuito. 🙁 Saudações, Daniel. - Departamento de Filosofia - (UFRN)

Re: [Logica-l] Kripke

Notícia triste. Tive o privilégio de ser aluno de Kripke no Graduate Center da CUNY em duas disciplinas em 2018 e 2019, quando fui visitante por lá. Uma sobre filosofia da matemática em que estudamos a influência que a notação matemática tem na sua ontologia, e a outra, mais geral, sobre a iden

[Logica-l] Re: Per Martin-Löf: transcriptions

Que maravilha, Bruno!! Muito obrigado por compartilhar!! Abraços, Daniel. Em terça-feira, 6 de setembro de 2022 às 07:50:35 UTC-3, Cassiano Terra Rodrigues escreveu: > Excepcional material, obrigado, Bruno, por divulgar. > Abraços, > cass. > > > On Monday, September 5, 2022 at 11:33:45 PM UT

Re: [Logica-l] Gerador de tabelas de verdade robusto

/prog/truthtable.html >> >> On Mon, Feb 7, 2022, 16:10 Daniel Durante wrote: >> >>> Colegas, >>> >>> Alguém conhece um gerador de tabelas de verdade, de preferência on-line, >>> simples de usar (com interface gráfica) que seja robusto o suficiente p

[Logica-l] Gerador de tabelas de verdade robusto

Colegas, Alguém conhece um gerador de tabelas de verdade, de preferência on-line, simples de usar (com interface gráfica) que seja robusto o suficiente para gerar tabelas conjuntas para grupos de sentenças com 6 variáveis (64 linhas)? Eu tenho usado, com meus estudantes, o "The Logic Calculato

Re: [Logica-l] Re: o resultado das somas

Parabéns, Elaine. Projeto lindo! Daniel. Em quarta-feira, 5 de janeiro de 2022 às 15:05:20 UTC-3, vivek.nigam escreveu: > Muito legal. > Esse tipo de iniciativa tem um impacto enorme. > Parabéns! > > On Wed 5. Jan 2022 at 10:47, Mauricio Ayala-Rincón wrote: > >> Elaine, >> >> maravilhoso proj

Re: [Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN

> imposição de uma única visão? > > []s > > > Em sex., 10 de dez. de 2021 às 11:42, Daniel Durante > escreveu: > >> Colegas, >> >> Realmente, Eduardo, lendo a descrição do curso que você enviou, e o texto >> do link que consegui abrir, devo reco

[Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN

Colegas, Realmente, Eduardo, lendo a descrição do curso que você enviou, e o texto do link que consegui abrir, devo reconhecer que este curso não parece fazer o que o título da disciplina (medicina, saúde e espiritualidade) e sua ementa sugerem. Não parece haver qualquer pluralismo ali. Perdi

[Logica-l] Re: Meio off-topic: Construção do Reino de Deus na UFRN

Oi Eduardo e colegas, Nunca tinha ouvido falar deste curso. Não consigo ler o artigo do Globo. Tem um paywall. Mas a ementa da disciplina "medicina, saúde e espiritualidade", que o João Marcos postou, me pareceu interessante. Pessoalmente, eu teria real interesse em cursar uma disciplina sobre

Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas?

e divulgação: > > "How AI can be surprisingly dangerous for the philosophy of > mathematics — and of science" > Circumscribere Vol. 27 (2021) > https://revistas.pucsp.br/index.php/circumhc/article/view/55033 > > Agradeço a críticas e comentários !! > > Walter > &

Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas?

Me parece que a ideia é mais ousada do que usar IA para demonstrar teoremas. É usá-la para PROPOR teoremas (conjecturas) e eventualmente demonstrá-las. Aí, sim, a gente entra num terreno maravilhoso e, pelo menos para mim, assustador também. Saudações, Daniel. - Departamento de Filosofia -

[Logica-l] Re: Andrea Loparic

Não tive a sorte de ser seu aluno, mas fui aluno e colega de muitos dos que ela ensinou. E tive a sorte de conhecê-la. Quase todos de nós devemos um pouco do que somos a ela. Meus melhores pensamentos à família e amigos. Daniel. Em segunda-feira, 25 de outubro de 2021 às 10:49:19 UTC-3, gisele

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Se há pessoas que se sentem desconfortáveis com o nome/logo do grupo, e se este desconforto é devido a associações evocadas pelo nome/logo que não têm qualquer relação com o próprio grupo, seus membros e suas atividades, isso me parece um motivo mais do que suficiente para mudar o nome/logo. Te

Re: [Logica-l] Coletivo Logica Viva: Existe apenas uma lógica certa?

Oi Gisele, Só agora que eu consegui ver o vídeo e as mensagens. Semana intensa... Muito bacana, parabéns! Acho que você consegue falar de um modo muito claro e inteligível ao grande público sobre coisas tão profundas que fazem nós aqui da lista (os supostos especialistas) pensarmos e discutirmo

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

so como este. > > []s > > Marcelo > > > Em sex., 28 de mai. de 2021 às 10:26, Daniel Durante > escreveu: > >> Colegas, >> >> Finalmente fechamos uma versão completa do nosso livro didático de >> introdução à lógica, o "Para Todxs: Natal", d

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

Oi Andrea, Você certamente vai encontrar muitos "lapsos" e coisas piores 🙂 Muito obrigado por sua ajuda. A lista de coautores já começou a ficar chic!!! Abraços, Daniel. Em sexta-feira, 28 de maio de 2021 às 14:07:05 UTC-3, aloparic escreveu: > Que projeto legal, Daniel! > Vou ler o texto e, se

Re: [Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

Que bacana, Hermógenes! É muito bom saber que vocês aproveitaram e desenvolveram o projeto. Vamos fazer vários Para Todxs, com muitos sotaques! Esta é a ideia. Sim, acho que seira ótimo juntarmos os diferentes Para Todxs em um único repositório com diversas ramificações. Além disso, as alteraçõ

[Logica-l] Para Todxs: Natal - Procuram-se coautoras e coautores

udantes. Saudações natalenses, dos atuais coautores, Maria da Paz, Ricardo Gentil, Daniel Durante -- 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

Re: [Logica-l] Identidade e validade dedutiva

Obrigado pela indicação, Bruno. Vou olhar sim. Abraço, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 30 Apr 2021, at 13:10, bruno.ramos.mendonca > wrote: > > Oi Daniel: > > O tratamento do conceito de analiticidade com base em lógicas bi-dimensionais

Re: [Logica-l] Identidade e validade dedutiva

Oi Bruno, Sobre seu ponto (1), concordo plenamente com o que você diz. Eu só quis, em minha mensagem, reforçar a ideia de que quando se inclui a identidade na lógica, seu comportamento em entimemas será diferente daquele de quando se considera a identidade um conceito não-lógico. Sobre seu po

Re: [Logica-l] Identidade e validade dedutiva

Oi Bruno, Sua questão é interessante. > Por outro lado, nós poderíamos nos questionar: as próprias normas da lógica > (aquilo que pode ser formalizado com axiomas e regras de transformação em um > sistema dedutivo) são também entinemas dos argumentos onde operam? Há razões > para pensar que nã

Re: [Logica-l] Validade dedutiva

Oi Anderson, > Eu traduzi o editor e corretor de provas por dedução natural deles (do > Open Logic Project), pra usar em aulas em tempos de pandemia... (por > enquanto está hospedado aqui: http://andersonnakano.hyperphp.com/) > Que bacana!! Tem como exportar a prova pronta para um arquivo .pd

Re: [Logica-l] Validade dedutiva

Oi Anderson (e colegas), A questão é muito boa. Eu não vejo grandes problemas com a definição de validade do P. Smith que você citou. "Um argumento é dedutivamente válido se não há situação possível que torna as premissas do argumento verdadeiras e a conclusão falsa". Só precisamos lembrar que

Re: [Logica-l] Vácuo

Viva João, Obrigado por sua mensagem. Muito bacana! Eu tenho dois comentários sobre ela, mas só vou fazer um aqui, porque tenho 60 provas para corrigir... Eu acho que as pessoas de bom senso: - Rejeitariam seu lema [1], porque como (A) é uma falsidade, (A)&(C) também é. E as pessoas de bom se

Re: [Logica-l] Vácuo

no(x) & idade(x)>200) -> idade(x)<100] eu teria dito que ela é verdadeira por falta de contraexemplo. Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 8 Apr 2021, at 16:47, Tiago de Lima wrote: > > Olá, > > Depois do em

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

Muito triste mesmo. Também envio meus melhores pensamentos para Benjamin, Claudio, a família e os amigos. Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 7 Apr 2021, at 18:03, Marcelo Esteban Coniglio wrote: > > Notícia muitissimo triste. Uma perda enorme.

Re: [Logica-l] Vácuo

Oi Prolo, Eu sou ainda mais radical que você. Meus ouvidos doem toda vez que digo, simplesmente, que algo “vacuosly true” é “true". Todos os seres humanos com mais de 200 anos têm três pés? Quem falou? Como é que você sabe disso? 🙂 De todo modo, “vacuamente verdadeiro” ou “verdadeiro por vacuid

Re: [Logica-l] Quantificação objetual ou substitucional?

Oi Henrique, Eu tendo a concordar com a suspeita original de vocês. Me parece que este modo de interpretar os quantificadores por estruturas c-variantes é um caso de interpretação objetual. A única mudança na linguagem é o acréscimo de uma única constante. O resto da “maquinaria” da interpretaç

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

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

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

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

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

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

[Logica-l] Vaga de Lógica na UFRN

Colegas, Peço ajuda na divulgação de concurso público para professor de "Lógica e Filosofia das Ciências" do Departamento de Filosofia da UFRN. Uma vaga. Todas as informações como calendário (ainda não totalmente definido, mas já com as "janelas" de realização das provas), lista de pontos, pre-

Re: [Logica-l] [OFF] Nota de Pesar: falecimento de Fabinho, filho de Carlos Gonzalez

Caro Carlos, Faço minhas as palavras de João Marcos. Nós, lá na Unicamp dos anos 90, tivemos a sorte de tê-lo por perto e aprendemos MUITO com você! Meus melhores pensamentos e muita força! Daniel. - > On 6 Aug 2019, at 09:08, Joao Marcos wrote: > > É com imenso pesar que informo aos col

[Logica-l] Fwd: post in epistemology UNAM

Repasso Informação. Saudações, Daniel. +++ > Tenure-Track Research Job > > The Institute of Philosophical Research of the National Autonomous > University of Mexico (UNAM) is interested in hiring a research fellow > (tenure-track) in the area of specialization of epistemology. > > > > App

[Logica-l] Concurso Lógica - UFPB

Repasso mensagem recebida. Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com + Pzds. Professores, peço encarecidamente que divulguem em suas listas eletrônicas as informações do Concurso Público de Provas e Títulos para Professor efetivo na áre

Re: [Logica-l] Fwd: [logic-bsb] Lançamento do selo "Lógica no Avião"

Parabéns ao pessoal do “Lógica no Avião” pelo selo. Muito importante instrumento de comunicação e divulgação. Parabéns também pelo livro, Rodrigo: Freire, R. Tópicos em Lógica de Primeira Ordem. Brasília: Lógica no Avião, 2019, http://lna.unb.br/assets/Papers/topicos-em-logica-de-primeira-ordem.

Re: [Logica-l] Critério de Identidade na Matemática

Caros Samuel, Rodrigo e João, Muito obrigado pela explicação, Samuel. Acho então que eu estava mais ou menos correto em minha desconfiança. O problema é que eu estou em um período sabático e o “colega” que disse isso foi ninguém menos que Saul Kripke, com quem estou tendo o privilégio d

Re: [Logica-l] Critério de Identidade na Matemática

Caros Rodrigo e João, Obrigado pelas respostas. Obrigado pela demonstração, Rodrigo! Sobre o argumento contra o estruturalismo: > Considere a estrutura com dois indivíduos a e b e a relação binária {(a,b) , > (b,a)}. Os indivíduos a e b desempenham o mesmo papel (de estar na relação > com o o

Re: [Logica-l] Palestra - O Infinito e a Intuição: Analisando Supertarefas e Hipertarefas

Que bacana, Samuel! Vocês vão fazer um vídeo? Adoraria assisti-lo! Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > Em 6 de nov de 2018, à(s) 14:45, Samuel Gomes da Silva > escreveu: > > Caros, > > Aos interessados e que possam estar presentes, vou

Re: [Logica-l] olavismo & Lógica

Oi Marcelo, Acontece que os filósofos e matemáticos se referem a "totalidades" que não são conjuntos. Quando eles dizem, por exemplo, que a sequência dos ordinais não forma um conjunto, eles estão se referindo à sequência toda, à totalidade da sequência. E eles chamam estas coisas de classes pr

[Logica-l] Semana brasileira em NYC

Na semana da ANPOF, brasileiros em alta também em NYC: Alfredo Freire e Otávio Bueno! Saudações, Daniel. ++ Hoje, 22/10, 16h15, no "Logic and Metaphysics Workshop" do Graduate Center da CUNY Title: Ontological Reductions of First Order Models (Alfredo Freire - Unicamp) Abstract: Sinc

Re: [Logica-l] [off-topic?] Livro da área de lógica é finalista no Prêmio Jabuti

Parabéns Evandro e Itala. Mais do que merecida indicação! Abraços, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > Em 17 de out de 2018, à(s) 08:56, Evandro L. Gomes > escreveu: > > Caros/as colegas da lista de Lógica: > > Escrevo para comunicar que nosso li

[Logica-l] Metafísica Analítica - Novo GT da ANPOF

Colegas, Comunico a recente criação do GT de Metafísica Analítica da ANPOF, sob coordenação do Guido Imaguire, e do qual faço parte. link: http://www.anpof.org/portal/index.php/pt-BR/gt-metafisica-analitica Vale notar que de

[Logica-l] Doing Metaphysics in Non-Classical Logic

Divulgo evento, abaixo, do LanCog da Universidade de Lisboa. Priest e Shapiro estarão por lá! Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com + DOING METAPHYSICS IN NON-CLASSICAL LOGIC Lisbon 22–23 February 2018 Organiser: Elia Zardini TOPIC Meta

[Logica-l] Fwd: CONCURSOS PARA PROF. ADJUNTO NA UFPE

Pessoal, 2 vagas de professor na Filosofia da UFPE. Uma delas, a de Metafísica e conhecimento, talvez seja adequada a alguns da lista. A mensagem original tem anexos com programas, que não dá para encaminhar aqui, mas imagino que esteja tudo disponível no site da universidade. Saudações, Danie

[Logica-l] Vaga Prof. Substituto - Filosofia Geral - UFRN

Colegas, Informo que está aberto processo seletivo para professor substituto do Departamento de Filosofia da UFRN, na área Filosofia Geral. As inscrições começaram dia 13/12 e vão apenas até o dia 23/12. O edital e demais informações podem ser encontradas aqui: https://progesp.ufrn.br/concurso

[Logica-l] Divulgação de Livro

Pessoal, Repasso aqui divulgação de livro. Talvez interesse a alguns na lista. Um coveiro narrando episódios da história da matemática. É certamente original e me parece promissor. Além disso, está disponível para download gratuito! Saudações, Daniel + > De: Raquel Anna Sapunaru > Assunt

[Logica-l] Mestrado e Doutorado em Filosofia na UFRN

Pessoal, Abertas inscrições para a Seleção dos cursos de Mestrado e Doutorado em Filosofia, na UFRN, turma de 2017. Todas as informações no link abaixo: https://sigaa.ufrn.br/sigaa/public/processo_seletivo/lista.jsf?aba=p-processo&nivel=S

[Logica-l] Vaga em Filosofia na UFRN - Área de Metafísica

Colegas, Informo que está aberto edital para concurso para professor efetivo do Departamento de Filosofia da UFRN na área de Metafísica. Peço que ajudem a divulgar! Todas as informações estão neste link: http://www.progesp.ufrn.br/concurso.php?id=198658150 Abaixo a lista dos pontos do concurs

[Logica-l] A Falácia de Dallagnol

Pessoal, Esta não é off-topic não. Que me desculpem os puristas. Vejam este interessante artigo que de modo muito simples aponta duas falácias na argumentação de Dallagnol ao apresentar denúncia contra Lula. Vocês podem conferir o artigo todo aqui: http://jornalggn.com.br/noticia/o-argumento-o

[Logica-l] Volume da revista Princípios

Colegas, Saiu hoje um volume de nossa revista aqui da Filosofia da UFRN com alguns artigos que podem ser do interesse de alguns de vocês. Copio abaixo e-mail de divulgação de nosso editor, o Prof. Dax Moraes. Saudações, Daniel. + Caros leitores, Princípios: Revista de Filosofia (UFRN) ac

[Logica-l] Ciência Cognitiva na Universidade de Lisboa: Mestrado e Doutoramento

Encaminho informação. Saudações, Daniel. > Universidade de Lisboa > > Doutoramento e Mestrado em Ciência Cognitiva > > 6ª Edição 2013-14 > > Estão abertas a partir de 26 de Maio de 2013 as candidaturas aos programas de > Ciência Cognitiva da Universidade de Lisboa para o próximo ano lectivo,

Re: [Logica-l] Vocês ja viram essa paródia? :)

> https://www.youtube.com/watch?v=mHD08tI0T30 Ha, ha ha… Genial mesmo! Então, de acordo com esta paródia, devo ser um judeu (lógico) com ingênuas inclinações nazistas (formalistas). Nada como a derrota (prova de Godel) para desconcertar a ingenuidade. Saudações, Daniel. ___

[Logica-l] Seminário de Lógica e Filosofia Formal

Colegas, Na próxima sexta-feira, 09 de maio, ocorre mais uma sessão dos "Seminários de Lógica e Filosofia Formal”, do Departamento de Filosofia da UFRN. Todos estão Convidados. Data e hora: 09 de maio, às 16h Local: Sala A2 - Setor de Aulas II - UFRN - Natal-RN Autor: Prof. Stanley Kreiter B. M

[Logica-l] Concurso em Lógica - Depto Filosofia - UFU

Colegas, Vaga para Lógica no Departamento de Filosofia da Federal de Uberlândia: http://www.editais.ufu.br/node/2091 Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com ___ Logica-l mailing list Logica-l@dimap.

[Logica-l] PhilPapers seeking financial support through institutional subscriptions

Colegas, Repasso a informação sobre o portal PhilPapers (http://philpapers.org) que é o melhor recurso online para pesquisa em filosofia que conheço. Muito útil mesmo. Ele passará a cobrar subscrições de instituições, nos moldes do JSTOR, creio. Talvez valha uma discussão sobre a possibilidade

[Logica-l] PhilPapers bibliographies

Colegas, O pessoal do PhilPapers (David Chalmers et al) montou uma lista de bibliografias para diversas áreas da filosofia, muitas delas de interesse dos membros desta lista. Vale a pena dar uma olhada na notícia que encaminho abaixo e experimentar! Saudações, Daniel. > > The PhilPapers cat

[Logica-l] LanCog Workshop on Analiticity - Lisboa

1st Call for Papers LanCog Workshop on Analyticity 25-26 September 2014, University of Lisbon http://www.lancog.com/lancog-workshop-on-analiticity.html The notion of analyticity has had a prominent role in the work of many philosophers, especially in the first half of the twentieth century.

Re: [Logica-l] Consequencia Significativa

Caríssimo Marcelo, > A correta tradução de "entailment" é "enrabada" e A |= B deve ser lido > como A enraba B. Eu desconfio que era exatamente esta a tradução que a Andrea atribuiu ao Balthazar, "depois de Steinhaegers com Underberg” num boteco de rodoviária em Campinas... mas ela simplesmente f

Re: [Logica-l] Tradução de "entailment"

rado tantas > vezes o Quine... > > Para mais sobre os fascinantes temas da verofuncionalidade e da > extensionalidade, vale a pena conferir o capítulo 3 da bíblia do > Humberstone, "The Connectives". Vale ainda acrescentar que o tema da > sinonímia "definicional&qu

Re: [Logica-l] Tradução de "entailment"

> extensional). > > Ao menos seria este o sentido empregado por Carnap (em M&N), Church (em > LSD), Montague em (IL), Cresswell., etc. > > > Em 19 de novembro de 2013 21:33, Diogo Dias > escreveu: > > > Talvez ajude também colocar "entailment" entre

Re: [Logica-l] Tradução de "entailment"

de Filosofia - (UFRN) http://danieldurante.weebly.com Em 19/11/2013, à(s) 19:57, Rodrigo Podiacki escreveu: > Não sei se ajuda, mas, em Linguística, essa palavra é traduzida como > "acarretamento". > > > Em 19 de novembro de 2013 17:51, Daniel Durante escreveu: >

[Logica-l] Tradução de "entailment"

Colegas, Me lembro de algum tempo atrás termos discutido aqui um glossário de termos lógicos em português. Eu estou às voltas com a tradução do termo “entailment”, e não me lembro se houve alguma sugestão. Meu primeiro impulso é traduzí-lo por “implicação lógica”, em oposição à “implicação mate

Re: [Logica-l] Filmes sobre lógica

Colegas, Muito obrigado por todas as sugestões de filmes e vídeos. Encaminhei o Digest da lista com 18 mensagens para meu colega que fez a pergunta e... tenho a impressão de que a lista vai ganhar um novo membro :) Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante

[Logica-l] Filmes sobre lógica

Colegas, Um colega me fez a seguinte pergunta: > Conheces bons filmes com os quais podemos relacioná-los directamente com a > lógica, deduções, inferências? Eu não conheço, vocês conhecem? Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com

[Logica-l] Artigos...

Colegas, Alguém, por acaso, tem acesso aos seguintes artigos: - Frank Jackson, 'Ontological Commitment and Paraphrase', Philosophy 55, (1980) - Frank Jackson, ‘A Puzzle about Ontological Commitment’, in J. Heil (ed.), Cause, Mind and Reality (Dordrecht: Kluwer, 1989), pp. 191–200, at p. 192. S

[Logica-l] Fwd: Concurso professor de filosofia Unicentro Paraná

Colegas, Repasso mais um anúncio de concurso para professor de Filosofia que pode ser do interesse da alguns. Saudações, Daniel - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com Início da mensagem encaminhada: > De: Ernesto Giusti > Assunto: Concurso professor de filoso

[Logica-l] Concurso para Professor de Filosofia da Ciência - UFPR

Colegas, Vejam abaixo oportunidade de emprego que pode interessar! Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com Início da mensagem encaminhada: > De: Eduardo Barra > Assunto: Concurso para Professor de Filosofia da Ciência - UFPR > Data: 9 de Outu

[Logica-l] Mais um artigo

Colegas, Alguém, por acaso, tem acesso a este artigo do Church? Church, Alonzo. "The need for abstract entities in semantic analysis."Proceedings of the American Academy of Arts and Sciences. Vol. 80. No. 1. American Academy of Arts & Sciences, 1951. Saudações, Daniel. - Departamento de Fi

[Logica-l] Fwd: Concurso Prof. Efetivo Filosofia da Educação/ Epistemologia das ciências]

Colegas, Encaminho Mensagem com informações sobre concurso que pode ser do interesse de alguns de vocês. Abraços, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com Início da mensagem encaminhada: > De: Eduardo Barra > Assunto: [Fwd: [pinaxos] Fwd: Enc: Concurso

Re: [Logica-l] Busca por paper

Agradeço ao Giovanni e ao Ricardo pelo envio do artigo. Realmente a logica-l funciona mesmo!!! Daniel. Em 25/09/2013, às 11:06, Daniel Durante escreveu: > Colegas, > > Preciso do artigo abaixo, que vi que tem no JSTOR, mas não sei porque não > está disponível para download de

[Logica-l] Busca por paper

Colegas, Preciso do artigo abaixo, que vi que tem no JSTOR, mas não sei porque não está disponível para download de minha conta. Alguém por acaso tem? Scheffler, I. Chomsky, N. 1958 "What is Said to Be". Proceedings of the Aristotelian Society. New Series, Vol 59, pp. 71-82. Saudações, Daniel.

[Logica-l] Fwd: Bolsa de Pós-Doutorado na Filosofia UFPR

Colegas, Mais uma oportunidade de pós-doutorado. Agora na UFPR. Vejam a mensagem abaixo. Saudações, Daniel - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com Início da mensagem encaminhada: > De: Eduardo Barra > Assunto: Bolsa de Pós-Doutorado na Filosofia UFPR > Data: 19

[Logica-l] Oportunidade de PosDoc na UFRN

Colegas, principalmente os recém-doutores, Há uma oportunidade de pós doutorado no Departamento de Filosofia da UFRN (em Natal), com bolsa CAPES. O problema é que o deadline é quarta-feira! Para maiores informações liguem: (84)3215-3643 entre 14h e 18h. Saudações, Daniel. - Departamento de

[Logica-l] Traduções e Teoria de Modelos

Aos colegas que entendem de Traduções e Teoria de Modelos, Tenho umas perguntas meio longas. Se alguém tiver paciência, interesse e puder responder, ajudaria bastante. Se não, não tem importância, a amizade continua :) Estou com a seguinte dúvida: sejam L1 e L2 as linguagens (enumeráveis) de doi

Re: [Logica-l] Ontological Misogyny

gt; > > Em 13 de junho de 2013 19:04, Daniel Durante escreveu: > Colegas, > > Algum de vocês conhece um "fragmento" de texto de Alonso Church conhecido > como "Ontological Misogyny", no qual ele apresenta uma paráfrase que elimina > dos discursos toda referê

[Logica-l] Ontological Misogyny

Colegas, Algum de vocês conhece um "fragmento" de texto de Alonso Church conhecido como "Ontological Misogyny", no qual ele apresenta uma paráfrase que elimina dos discursos toda referência e quantificação sobre mulheres, apresentando, assim, um argumento tão forte para a não existência das mul

Re: [Logica-l] Lógicas modais proposicionais como teorias de 1a ordem clássicas

a technical report from the University > of Roskilde, 2003. > • Full paper from above, submitted with new title Intuitionistic Hybrid > Logic to Journal of Applied Logic(JAL). Appeared as JAL 4(2006), 231-- 255, > available online from the publishers on 11th August 2005. >

Re: [Logica-l] Lógicas modais proposicionais como teorias de 1a ordem clássicas

Colegas, Em primeiro lugar, há disponibilidade, online, para acessar a citada "tese do Simpson" e o artigo da Valeria e Torben? Sobre o que disse a Valéria, eu tenho alguns comentários: > 1. isso da' aa nocao de modelo de mundos um papel especial, de definidor dos > sistemas modais, que eu nao

Re: [Logica-l] Lógicas modais proposicionais como teorias de 1a ordem clássicas

Colegas, Muito obrigado MESMO pelas referências, já comecei estudar, e elas certamente me pouparão muito TEMPO :) E também confirmam minha suspeita de que o assunto era mesmo bem desenvolvido. Aproveito, então, e deixo a vocês uma pergunta séria, mas que vou formular em termos lúdicos: suponha

[Logica-l] Lógicas modais proposicionais como teorias de 1a ordem clássicas

Colegas, Tenho uma dúvida boba que certamente vocês podem me ajudar. Lendo algumas coisas básicas sobre lógica temporal, vi que uma maneira de tratar o assunto, que é inclusive expressivamente mais poderosa que a maneira padrão com operadores modais (temporais) é, no lugar disso, regimentar o

  1   2   >