[Logica-l] Vaga Prof Substituto - Logica e Metodol ogia da Ciência

2010-01-28 Por tôpico Daniel Durante
Pessoal, ajudem a divulgar. Temos vaga para professor substituto para as áreas de Lógica e Metodologia da Ciência aqui no Departamento do Filosofia. Exige-se do candidato apenas Graduação em Filosofia. O trabalho é puxado, mas o salário é bom, conta bastante para o currículo e, principalmente,

[Logica-l] Pedido de Artigo

2010-01-28 Por tôpico Daniel Durante
Colegas, Alguém, por acaso, tem uma versão digital do artigo "Existence and Quantification" do Quine? Eu tenho apenas a versão em português que saiu em "Os Pensadores", mas preciso da versão original para fazer citações literais em um artigo em inglês. A referência completa é: Quine, W. V. O "

[Logica-l] O Estranho Caso do Desaparecimento do Sol

2010-03-16 Por tôpico Daniel Durante
Colegas, Estava eu tranquilamente preparando uma aula de teoria do conhecimento, lendo o capítulo 3 do "The Problems of Philosophy" do Russell, quando a seguinte dúvida avassaladora apossou-se de mim. Resolvi compartilha-la com vocês na esperança de que algum colega com mais conhecimento de Fí

[Logica-l] CONCURSO LÓGICA UFRN (Natal-RN)

2010-04-12 Por tôpico Daniel Durante
e disposição para a filosofia. Ajudem-nos a divulgar!!! Saudações, Daniel Durante Pereira Alves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] definição de lógica

2010-08-23 Por tôpico Daniel Durante
Décio K escreveu: >> Tudo isso é vago, com o que certamente concorda. >> Melhor *fazer* lógica e deixar a definição >> para um inspirado poeta. Concorda? >> Eu concordo que, pelo menos, não temos necessidade de nenhuma definição para continuarmos trabalhando. É como poeticamente disse o Fra

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

2010-09-20 Por tôpico Daniel Durante
, Daniel Durante -+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+ LÓGICA E FILOSOFIA DA CIÊNCIA PROGRAMA 1. Cálculo de Predicados de Primeira Ordem Clássico: sistemas formais, semântica e principais metateoremas (consistência, correção, completude, compacidade, Lowenheim-Skolem). 2. Métodos Formais, seus Usos

Re: [Logica-l] Fwd: Colóquio sobre Metaphysical Logic na UFRJ

2011-03-31 Por tôpico Daniel Durante
Já eu sou da opinião que a expressão "metaphysical logic" é um pleonasmo, tanto quanto o seria "rational logic". Afinal de contas, todo mundo sabe que Lógica é Metafísica :) Saudações, Daniel Durante PS: tenho um artigo, no link abaixo, defendendo esta posição sobre

Re: [Logica-l] Fwd: Colóquio sobre Metaphysical Logic na UFRJ

2011-04-01 Por tôpico Daniel Durante
É verdade, Abílio, mas um pouco de exagero é sempre boa propaganda! :) Abraços, Daniel On 31-03-2011 13:32, Abílio wrote: Oi Daniel Eu concordo q logica seja metafisica (tambem) mas nao acho q 'todo mundo sabe que Lógica é Metafísica'. Abraços A. 2011/3/31 Daniel Durante m

Re: [Logica-l] Matemática é Metafísica?

2011-04-01 Por tôpico Daniel Durante
Oi Walter, Minha resposta de 1 linha à sua pergunta é: Se lógica é metafísica, então matemática é ontologia. Explicando só um pouquinho. Um sistema lógico expressaria um conceito específico de existência (metafísica) e a matemática ligada a este sistema lógico expressaria toda a fauna de

Re: [Logica-l] Matemática é Metafísica?

2011-04-01 Por tôpico Daniel Durante
Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/%7Edkrause> "Você não está pensando. Está meramente sendo lógico!" (Bohr para Einstein) Em 01/04/2011,

[Logica-l] Teoremas de Noether

2011-04-15 Por tôpico Daniel Durante
Colegas, Alguém de vocês (mais letrado em física teórica e matemática) conhece algum texto que trate dos teoremas de Noether (relacionando simetrias com leis de conservação) no âmbito da filosofia da ciência, ou seja, que trate das consequências mais filosóficas destes teoremas e que seja leg

Re: [Logica-l] Teoremas de Noether

2011-04-25 Por tôpico Daniel Durante
os 70, a respeito. >> >> Energia e tempo são conjugados canônicos no formalismo de Hamilton, e o >> Hamiltoneano é o gerador das tranformações infinitesimais canônicas do >> tempo. A conexão tempo/energia vem desde o começo da mecânica, e não de

[Logica-l] Off Topic - Acentuacao na logica-l

2011-09-01 Por tôpico Daniel Durante
Colegas, Ja faz alguns meses que nao vejo mais os acentos e outros sinais graficos do portugues nos e-mails da lista. No lugar aparecem interrogacoes. Nao acho que seja problema de configuracao da minha maquina, porque os outros e-mails que recebo chegam corretamente. Outros colegas estao com

Re: [Logica-l] S5 não funciona

2011-10-04 Por tôpico Daniel Durante
Oi Rodrigo, RODRIGO CID: Minha intuição é justamente que tornar coisas quebráveis em inquebráveis é possível. Para mim não faz muito sentido "tornar uma coisa inquebrável". Quando você TORNA uma coisa em ALGO, me parece que há apenas duas possibilidades: (1) Ou você torna a coisa sem mudar

[Logica-l] Slow Science

2011-10-13 Por tôpico Daniel Durante
Colegas, Copiei, abaixo, o manifesto Slow Science, para quem quiser parar um pouquinho :) para dar uma olhada. Eu que, pessoalmente, simplesmente não consigo acelerar ao ritmo considerado adequado pelos padrões avaliatórios atuais, achei interessante este movimento, que venho ao meu modo e na

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-18 Por tôpico Daniel Durante
Acho que uma boa razão para a manutenção da distinção entre consequência sintática e semântica é o tamanho do conjunto de suposições. Uma conclusão que necessita de um conjunto infinito de premissas para ser obtida, a meu ver só pode ser consequência semântica destas premissas, jamais consequên

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-18 Por tôpico Daniel Durante
Oi Fernando, Essas lógicas infinitárias não satisfazem mais o teorema da compacidade, e aí cai por terra a distinção que vc propõe entre consequência sintática e consequência semântica (que, a meu ver, está intimamente ligado a compacidade). Concordo com você que neste caso a minha distinção n

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-18 Por tôpico Daniel Durante
Oi Fernando, Essas lógicas infinitárias não satisfazem mais o teorema da compacidade, e aí cai por terra a distinção que vc propõe entre consequência sintática e consequência semântica (que, a meu ver, está intimamente ligado a compacidade). Concordo com você que neste caso a minha distinção n

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-19 Por tôpico Daniel Durante
Oi João Marcos, Há uma noção de consequência lógica bem conhecida associada a _cada_ sistema formal e a _cada_ formalismo dedutivo, seja ele dedução natural, cálculo de sequentes, axiomáticas hilbertianas, tableaux, o-que-você-quiser. Há ainda uma noção de consequência lógica associada a _cada_

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-19 Por tôpico Daniel Durante
Grande João Marcos, Não sei o que significa "ampliar a sintaxe por regras de inferência". Se você fala em inferência lógica já foi além da mera sintaxe. OK! Reconheço meu uso abusivo da palavra sintaxe aqui :) Então troquêmo-la por "formalismo" ou "manipulação simbólica". O que eu proponho,

Re: [Logica-l] sobre diferentes noções de consequência

2011-10-19 Por tôpico Daniel Durante
Pois é, João Marcos, Vou tentar ser breve, pois tenho uma dissertação para terminar de ler e não tenho nenhum orientador consciencioso, como o Walter, para proibir minhas intervenções nesta lista :) Confesso que não estou bem seguro (já estive mais seguro no passado, mas todas as minhas prop

Re: [Logica-l] particularmente sobre "consequencia sintatica"

2011-10-19 Por tôpico Daniel Durante
Cara Profa. Andrea, Que bom que esta discussão despertou o seu interesse! Na verdade, concordo integralmente com o João: cada relação de consequência define uma lógica; e se a lógica é a mesma, também, claro, é a mesma noção de consequencia que estará em causa, como quer que essa última tenha s

Re: [Logica-l] sobre diferentes noções de consequência

2011-10-20 Por tôpico Daniel Durante
Oi João Marcos, Vou responder seus pontos em uma única mensagem, para simplificar. Aliás, acho que já estamos incomodando nossos colegas da lista com este papo. Podemos continuá-lo no café da livraria aqui na UFRN :) Neste ponto eu tenho uma questão. Aceitar categoricamente os axiomas de um

Re: [Logica-l] sobre diferentes noções de consequência

2011-10-21 Por tôpico Daniel Durante
Oi João Marcos, Fernando, Andrea, Ricardo, Rodrigo,... Acho, João Marcos, que os pontos que defendemos e as diferenças de nossas posições já estão suficientemente claros. Mas já que a Andrea reclamou de irmos conversar no Café da UFRN, também farei alguns quase breves comentários :) De qualque

Re: [Logica-l] sobre diferentes noções de consequência

2011-10-24 Por tôpico Daniel Durante
Oi Rodrigo, Não é um ponto importante na (ótima) discussão de vocês, mas não lembro de ter alertado o Daniel sobre isso: Inicialmente falei de conjunto infinito de premissas, depois fui alertado pelo Rodrigo Freire que este caso pode se reduzir ao de

[Logica-l] "provas", "demonstracoes", "condicoes de veracidade", "valor de verdade"

2011-11-08 Por tôpico Daniel Durante
Eu, um formalista que duvida que as palavras tenham significado além do que pode ser abstraídos de seu uso bem sucedido, não me importo em usar "prova" e "demonstração" como sinônimos. Por outro lado, concordo plenamente que a expressão "condições de veracidade", a qual eu jamais usei, por ign

Re: [Logica-l] "provas" x "demonstrações", em Lógica

2011-11-09 Por tôpico Daniel Durante
Caro João Marcos e colegas, Não preciso repetir que admiro profundamente o seu compromisso com o conhecimento e a sua imensa disposição em defender este compromisso. Só posso me sentir um privilegiado em poder ser um seu interlocutor. Se respondo ao seu e-mail, não é por implicância nem perseg

Re: [Logica-l] "provas" x "demonstrações", em Lógica

2011-11-15 Por tôpico Daniel Durante
Oi Anderson, É exatamente como você descreveu que entendo nossas conclusões. Saudações, Daniel On -10-01--28163 16:59, Anderson de Araújo wrote: Prezadas(os), Após os esclarecimentos adicionais em prol da tradução de "proof" por "prova" e considerando o que foi argumentado em favor da traduçã

Re: [Logica-l] Teoremas de Gödel

2011-12-08 Por tôpico Daniel Durante
Décio e Colegas, Chego com um pouco de atraso no debate, mas não resisti a dar meu pitaco neste tema. Você escreveu: Repito aqui a primeira parte do texto que o Tony mandou anteriormente. Peço que alguém leia atentamente e procure algo que preste: "A metafísica seria uma forma de pensar o m

Re: [Logica-l] algumas traduções de interesse

2011-12-09 Por tôpico Daniel Durante
Muito útil, Rodrigo. Obrigado pelos links. Eu tenho muita dificuldade em achar bons textos em português para usar em disciplinas de graduação. Toda tradução que tivermos é bem vinda. Saudações, Daniel. On -10-01--28163 16:59, rodrigo cid wrote: Pessoal, Aqui vão algumas traduções que eu fiz,

Re: [Logica-l] Logicas e Sistemas Formais

2011-12-17 Por tôpico Daniel Durante
Caro Júlio e colegas, Do meu ponto de vista, a LC é também uma consequência de nossos sistemas cognitivos (nisso estamos de acordo?) mas se for isso então não é nada cultural, e sim algo mais natural, certo? Eu tendo a concordar que deve haver uma lógica tão básica ao ponto de estar ligada

[Logica-l] 1st CfP: Cultures of Mathematics and Logic

2012-04-18 Por tôpico Daniel Durante
Colegas, Repasso a vocês um call for papers que recebi deste INTERESSANTÍSSIMO congresso na China. Saudações, Daniel --- FIRST CALL FOR PAPERS Cultures of Mathematics and Logic 9-12

[Logica-l] Vaga em Lógica na UFPE

2012-04-23 Por tôpico Daniel Durante
Colegas, Segue informação sobre concurso para Prof. de Lógica no Departamento de Filosofia da Federal de Pernambuco (UFPE). Mais informações no link abaixo. Por favor divulguem. Abraço, Daniel -- Boa tarde! Por favor, peço que div

[Logica-l] Concurso - Filosofia Política e Ética - Natal-RN

2012-09-19 Por tôpico Daniel Durante
Colegas, Sei que está fora do interesse direto da lista, mas teremos concurso aqui no Departamento de Filosofia da UFRN para a área de "Filosofia Política e Ética". Toda divulgação é bem vinda. O Edital e demais detalhes estão em: http://www.progesp.ufrn.br/concurso.php?id=86538780 Saudaçõe

Re: [Logica-l] Esclarecendo alguns pontos do "caso particular"

2012-09-21 Por tôpico Daniel Durante
No CLE conheci apenas o programa que concedia o título em "Lógica e Filosofia da Ciência". Após o Anschluss pela Filosofia, no fim da década de 90, o programa deixou de existir (talvez nesta fase de transição uma ou duas pessoas tenham saído de lá com o título de "Doutor em Lógica", sem "e Filo

Re: [Logica-l] Esclarecendo alguns pontos do "caso particular"

2012-09-23 Por tôpico Daniel Durante
Olá, Daniel, desculpe ter entendido mal a sua mensagem: você também não é "Doutor em Lógica", certo? Eu fui, por mais ou menos uma semana! Achei legal :) Sou uma entidade ontológica muito heterodoxa para um Departamento de Filosofia. Já sofri pontas de "racismo" por conta desta origem de En

[Logica-l] Material didático - LIA

2012-10-01 Por tôpico Daniel Durante
Oi Carol, Muito obrigado pelo link. O material parece muito bom!! Vou olhá-lo com bastante atenção. Daniel. Caro prof. Desidério e professores, Parabéns pelo nova edição brasileira! Tenho certeza que será uma boa e bem vinda ferramenta para colegas e professores de filosofia por aqui.Apro

Re: [Logica-l] “Nao há necessidade nenhuma de usar lógica na matemática” (Elon Lages Lima, pesquisador emérito e ex-diretor do IMPA)

2012-10-11 Por tôpico Daniel Durante
Eu tendo a concordar com o que disse o João Marcos. Para mim, lógica matemática é metamatemática. Lembram do Kleene? Estudo dos limites, fundamentos, possibilidades da matemática. Então a matemática já está lá quando a lógica começa. A anterioridade e suposta "necessidade" da lógica para a mat

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Por tôpico Daniel Durante
Oi Carlos, Eu entendo o que você está dizendo e concordo com você. Mas a gente também precisa tomar cuidado com o abuso oposto. Você disse: De uma teoria científica C é derivada uma tecnologia T. Essa tecnologia é muito útil e muitas pessoas apreendem T sem ter ideia de C. Então concluem fa

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Por tôpico Daniel Durante
ordeiro da prática para rejeitar a teoria. O estudante que está com preguiça de pensar uma questão complicada que está sendo colocada e pergunta: "professor, onde eu vou usar isso?". E essas posições são as que batem palmas euforicamente quando alguém fala "não é necessário saber C". C

Re: [Logica-l] Mirando no urubú para acertar o gavião: “Nao há necessidade nenhuma de usar lógica na matemática”

2012-10-21 Por tôpico Daniel Durante
Oi, João Marcos, Contribuindo para o debate e para a sua apresentação na ANPOF, Obrigado por sua contribuição :) Eu não tenho nem vergonha de dizer que estou preparando minha comunicação hoje... Lamentável! Mais cedo ou mais tarde, nossos aparatos tecnológicos vão todos, sim, parar de fun

Re: [Logica-l] Fwd: Teach Yourself Logic: A Guide

2012-11-07 Por tôpico Daniel Durante
Muito bacana, João Marcos. Inclusive para nós mesmo continuarmos estudando! Também achei legal ver o livro do Walter no meio de tão seletas indicações!! Abraços, Daniel. On 07-11-2012 12:00, logica-l-requ...@dimap.ufrn.br wrote: It is depressing. Serious logic is seemingly taught less and les

[Logica-l] Fwd: Prêmio da Academia de Ciências morais e Políticas (Paris, França) para Patricia Kauart Leite

2012-11-08 Por tôpico Daniel Durante
Colegas, Olha só a notícia que chegou da ANPOF. Abraços, Daniel. --- Prezados colegas é com muito prazer que divulgamos que o Prêmio da Académie des Sciences morales et Politiques (sediada em Paris, França) para a obra filosófica de maior sig

Re: [Logica-l] Acreditar em astrologia

2012-11-13 Por tôpico Daniel Durante
Sem dúvida, cada um de nós terá direito [...] a acreditar, digamos, no poder das orações, ou em entidades sobrenaturais. Mas tal atitude_muito provavelmente_ não terá nada a acrescentar aos temas discutidos nesta lista. Será, João Marcos? Há aqueles, entre nós, que acreditam piamente que o

Re: [Logica-l] a matemática e o sobrenatural

2012-11-14 Por tôpico Daniel Durante
Oi, Manuel, A definição mais interessante, menos question-begging de 'sobrenatural' que conheço é a /via negativa/ de David Papineau; o 'sobrenatural' é o irredutivelmente mental, o que é designado através de termos do vocabulário mentalístico que não seja ontologicamente dependente de algo n

[Logica-l] RES: a matemática e o sobrenatural

2012-11-15 Por tôpico Daniel Durante
Oi Arthur, Arthur: Caro Daniel, grato pelo conselho. No entanto, eu vejo Ciência em um sentido bem mais amplo que os métodos das ciências físicas, biológicas e matemáticas (que passo a abreviar por "cfbm"). Existem comunidades de pesquisadores e aplicadores de muitas outras linhas de conheciment

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

2012-11-17 Por tôpico Daniel Durante
Caro Tony, Justamente nesta sexta-feira, em nosso Grupode Estudos de Lógica aqui da UFRN (o GEL), estávamos estudando lógica da crença e pela primeira vez me dei conta que não temos palavradefinida (nem em inglês nem em português) para a noção fraca de crença. Para a maioria das modalidades te

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

2012-11-18 Por tôpico Daniel Durante
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

[Logica-l] Divulgação de Palestra

2012-11-19 Por tôpico Daniel Durante
. 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

2012-11-19 Por tôpico Daniel Durante
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] Paradoxo da Independência Holandesa

2012-11-29 Por tôpico Daniel Durante
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, Dani

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

2012-12-01 Por tôpico Daniel Durante
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 d

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

2012-12-02 Por tôpico Daniel Durante
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 modos de descrever uma situação são igualmente rejeitados. Isto é, o que eles não aceitam é a ideia de que houve um tempo em que a Holanda não er

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

2012-12-02 Por tôpico Daniel Durante
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 Espanh

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

2012-12-03 Por tôpico Daniel Durante
há ex-cônjuge, ainda que você nem queira lembrar-se do nome da pessoa. Em 2 de dezembro de 2012 14:28, Daniel Durante 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 modos de descre

[Logica-l] International Workshop on the Epistemology of Modality: Call for Papers

2012-12-09 Por tôpico Daniel Durante
International Workshop on the Epistemology of Modality University of Lisbon, Faculty of Letters 29-31 August 2013 http://www.epistemologyofmodality.weebly.com Van Inwagen once wrote (in his influential paper ‘Modal epistemology’ from 1998) that “modal epistemology is a subject about which litt

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

2012-12-17 Por tôpico Daniel Durante
*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 App

[Logica-l] Conferência - LanCog Group

2013-03-26 Por tôpico Daniel Durante
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: S

[Logica-l] Salami Science

2013-05-07 Por tôpico Daniel Durante
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] Lógicas modais proposicionais como teorias de 1a ordem clássicas

2013-05-26 Por tôpico Daniel Durante
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

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

2013-05-27 Por tôpico Daniel Durante
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

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

2013-05-28 Por tôpico Daniel Durante
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

2013-05-28 Por tôpico Daniel Durante
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. >

[Logica-l] Ontological Misogyny

2013-06-13 Por tôpico Daniel Durante
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] Ontological Misogyny

2013-06-14 Por tôpico Daniel Durante
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] Traduções e Teoria de Modelos

2013-06-28 Por tôpico Daniel Durante
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

[Logica-l] Oportunidade de PosDoc na UFRN

2013-09-16 Por tôpico Daniel Durante
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] Fwd: Bolsa de Pós-Doutorado na Filosofia UFPR

2013-09-19 Por tôpico Daniel Durante
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] Busca por paper

2013-09-25 Por tôpico Daniel Durante
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

2013-09-25 Por tôpico Daniel Durante
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] Fwd: Concurso Prof. Efetivo Filosofia da Educação/ Epistemologia das ciências]

2013-09-29 Por tôpico Daniel Durante
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

[Logica-l] Mais um artigo

2013-10-01 Por tôpico Daniel Durante
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] Concurso para Professor de Filosofia da Ciência - UFPR

2013-10-09 Por tôpico Daniel Durante
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] Fwd: Concurso professor de filosofia Unicentro Paraná

2013-10-15 Por tôpico Daniel Durante
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] Artigos...

2013-10-29 Por tôpico Daniel Durante
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] Filmes sobre lógica

2013-11-11 Por tôpico Daniel Durante
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

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

2013-11-12 Por tôpico Daniel Durante
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] Tradução de "entailment"

2013-11-19 Por tôpico Daniel Durante
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] Tradução de "entailment"

2013-11-19 Por tôpico Daniel Durante
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: >

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

2013-11-20 Por tôpico Daniel Durante
> 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"

2013-11-20 Por tôpico Daniel Durante
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] Consequencia Significativa

2013-11-20 Por tôpico Daniel Durante
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

[Logica-l] LanCog Workshop on Analiticity - Lisboa

2014-02-05 Por tôpico Daniel Durante
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.

[Logica-l] PhilPapers bibliographies

2014-03-11 Por tôpico Daniel Durante
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] PhilPapers seeking financial support through institutional subscriptions

2014-04-15 Por tôpico Daniel Durante
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] Concurso em Lógica - Depto Filosofia - UFU

2014-04-24 Por tôpico Daniel Durante
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] Seminário de Lógica e Filosofia Formal

2014-05-02 Por tôpico Daniel Durante
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

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

2014-05-05 Por tôpico Daniel Durante
> 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] Ciência Cognitiva na Universidade de Lisboa: Mestrado e Doutoramento

2014-05-06 Por tôpico Daniel Durante
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] Volume da revista Princípios

2016-06-24 Por tôpico Daniel Durante
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] A Falácia de Dallagnol

2016-09-21 Por tôpico Daniel Durante
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] Vaga em Filosofia na UFRN - Área de Metafísica

2016-09-27 Por tôpico Daniel Durante
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] Mestrado e Doutorado em Filosofia na UFRN

2016-10-04 Por tôpico Daniel Durante
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] Divulgação de Livro

2016-10-13 Por tôpico Daniel Durante
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] Vaga Prof. Substituto - Filosofia Geral - UFRN

2016-12-16 Por tôpico Daniel Durante
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] Fwd: CONCURSOS PARA PROF. ADJUNTO NA UFPE

2017-12-14 Por tôpico Daniel Durante
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] Doing Metaphysics in Non-Classical Logic

2018-02-16 Por tôpico Daniel Durante
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] Metafísica Analítica - Novo GT da ANPOF

2018-02-23 Por tôpico Daniel Durante
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

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

2018-10-19 Por tôpico Daniel Durante
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] Semana brasileira em NYC

2018-10-22 Por tôpico Daniel Durante
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

  1   2   >