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

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.

[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

[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

[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

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,

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

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

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

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,

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

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

[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

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

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

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

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.

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

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,

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

[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

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

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

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

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

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

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

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

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

[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

[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

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

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

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

[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: [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,

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

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

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,

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

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

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

[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

[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

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

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

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

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

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

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

[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] Tradução de entailment

), Cresswell., etc. Em 19 de novembro de 2013 21:33, Diogo Dias diogo.bispo.d...@gmail.comescreveu: Talvez ajude também colocar entailment entre parênteses, para manter a referência original e evitar conusões desnecessárias. Em 19/11/2013, às 21:08, Daniel Durante dura...@ufrnet.br

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

que o tema da sinonímia definicional, no qual não toquei no parágrafo acima, foi explorado por Lopez-Escobar e Miraglia em uma edição inteira da Dissertationes Mathematicae, dentro da tradição de Lesniewski-Tarski. JM 2013/11/20 Daniel Durante dura...@ufrnet.br: Colegas, A questão que

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 foi

[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

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

de Filosofia - (UFRN) http://danieldurante.weebly.com Em 19/11/2013, à(s) 19:57, Rodrigo Podiacki podia...@gmail.com 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 dura...@ufrnet.br escreveu

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)

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

[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 egiu...@bol.com.br Assunto: Concurso

[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 eduardosoba...@gmail.com Assunto: Concurso para Professor de Filosofia da Ciência -

[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

[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 eduardosoba...@gmail.com Assunto: [Fwd:

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

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 dura...@ufrnet.br 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] 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 eduardosoba...@gmail.com Assunto: Bolsa de Pós-Doutorado na

[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

Re: [Logica-l] Ontological Misogyny

13 de junho de 2013 19:04, Daniel Durante dura...@ufrnet.br 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ência e quantificação sobre mulheres

[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

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

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. Valeria 2013/5/28 Daniel Durante dura...@ufrnet.br Colegas, Em primeiro lugar, há

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

[Logica-l] Salami Science

Para pensarmos um pouco. Saudações, Daniel. +++ Darwin e a prática da 'Salami Science' 27 de abril de 2013 FERNANDO REINACH - O Estado de S.Paulo Em 1985, ouvi pela primeira vez no Laboratório de Biologia Molecular a expressão Salami Science. Um de nós estava com uma pilha

[Logica-l] Conferência - LanCog Group

Centro de Filosofia da Universidade de Lisboa LanCog Group (Language, Mind and Cognition Research Group) http://www.lancog.com/ Project Online Companion PTDC/FIL-FIL/121209/2010 Instituto Filosófico de Pedro Hispano, Departamento de Filosofia da UL SEMINAR SERIES IN ANALYTIC PHILOSOPHY 2012-13:

[Logica-l] Seminário de Filosofia da Lógica (Pádova - Itália)

*Workshop e Seminario di Filosofia della Logica* *Dipartamento di Filosofia Università Degli Studi di Padova * *17 Dicembre 2012* *Sala Giacon - FISPPA* Philosophy of Logic Workshop 10.15-11.15 Maria da Paz N. Medeiros (Universidade Federal do Rio Grande do Norte – UFRN) /Intuitionistic

Re: [Logica-l] Paradoxo da independência da Holanda

-cônjuge, ainda que você nem queira lembrar-se do nome da pessoa. Em 2 de dezembro de 2012 14:28, Daniel Durante dura...@ufrnet.br escreveu: Oi Tony, Veja que os holandeses do problema não discutem a diferença entre colonizar, dominar, invadir, ser província ou estar unido a. Todas esses

Re: [Logica-l] Paradoxo da independência da Holanda

Ok, Tony, Não é o caso Daniel, primeiro historicamente. O Rei de Espanha tinha governadores na Holanda, seus Lugares-tenentes, muito tempo antes e não havia essa liberdade ou auto-determinação dos Holandeses enquanto povo. O correto é que a Holanda foi sim um conjunto de territórios da

Re: [Logica-l] Digest Logica-l, volume 82, assunto 1

Caros David e Tony, Admito que colônia é um conceito forte demais para o caso Alemanha-França na II Guerra, mas como ocorre com praticamente todos os conceitos aplicáveis a fatos/eventos empíricos, as suas fronteiras são nebulosas. Não há critério nítido e inequívoco que separe a situação de

Re: [Logica-l] Paradoxo da Independência Holandesa

Caro Tony, Há uma resposta nada paradoxal à questão que você coloca: os holandeses podem ter lutado para CONTINUAREM livres e independentes da Espanha!! Aliás, não é tão simples assim decidir sobre estes assuntos. A França foi ou não foi colônia da Alemanha na época da II guerra? Abraço,

[Logica-l] Divulgação de Palestra

. Jaimir Conte Departamento de Filosofia Universidade Federal de Santa Catarina 30 de Novembro – 16h00 – Setor de Aulas II – Sala H8 == Atenciosamente, Daniel Durante ___ Logica-l mailing list Logica-l@dimap.ufrn.br

Re: [Logica-l] dito atribuído a Thomas Sankara, 1949-1987, a respeito da descolonização

Arthur, Eu sinceramente recomendo a você a leitura deste maravilhoso e curto ensaio de Bertrand Russell: Mysticism and Logic. Talvez ele te ajude a entender o lugar de cada um de dois de nossos impulsos bastante humanos, porém diversos. Um em direção ao misticismo, e outro à ciência. Ambos

Re: [Logica-l] Nomes para o dual e o contingente do operador de crença

Oi, Tony, Sobre sua proposta: -- Bp, crença, ou seja, p é crido ou acreditado ~B~p, ou bp, credibilidade, ou seja, p é crível ou acreditável; ~B~p ~Bp, credulidade (corresponde à contingência na lógica alética). -- Eu só tenho dúvidas com relação à terceira

  1   2   >