Re: [Logica-l] Demonstrações matemáticas

Caro Paulo, De modo mais geral, a questão que você colocou é a de saber se uma certa operação pode ser considerada como a operação de sucessor. Na aritmética, obtemos o sucessor de um número somando uma unidade a ele (+1). Se b é o sucessor de a (b=a+1) então não há nenhum outro número entre

[Logica-l] [Fwd: Universidade Federal de Sergipe: Vagas para concurso de Adjunto]

A Universidade Federal de Sergipe abriu seleção pública, no dia 29.10.08, para os seguintes cargos: Professor adjunto (Introdução à Filosofia), Professor adjunto (Filosofia Social), Professor adjunto (Lógica), Professor adjunto (História da Filosofia Moderna). Todos os cargos oferecem 01

[Logica-l] [Fwd: UFBA tem Concurso para Adjunto, DE, em Filosofia Geral]

O Departamento de Filosofia da UFBA está com concurso aberto para a área de Filosofia Geral, categoria Professor Adjunto em Regime de Dedicação Exclusiva. As inscrições estão abertas até 27/11/2008. Os pontos são os seguintes: 1) juízo e experiência estética; 2) lógica e ontologia; 3)

[Logica-l] Workshop Aspectos Lógicos da Nega ção

Dias atrás divulguei aqui o workshop Aspectos Lógicos da Negação com um erro nas datas. O evento ocorrerá nos dias 20 e 21 de abril (segunda e terça) e não 19 e 20 como constava na chamada anterior. Veja abaixo o Call for papers corrigido. Abraços, Daniel Durante

[Logica-l] Vagas Filosofia UFRN

1 (uma) vaga para Professor Adjunto/DE na área de História e Filosofia da Ciência, na ESCOLA DE CIÊNCIAS E TECNOLOGIA da UFRN, Campus Natal/RN. Requisitos: Graduação em cursos das áreas de Ciências Exatas ou em Engenharias ou em Filosofia ou em História e Doutorado nas áreas de Ciências

[Logica-l] Workshop Negação - PROGRAMAÇÃ O

-Verdade e Proposições Negativas 11:00 (Daniel Durante) - O Projeto Simulações Positivas da Negação 14:00 - Sessão de Discussão. RESUMOS *Wagner Sanz - */Contrariedade, Contradição e Negação/ O comportamento lógico da negação nas linguagens naturais aparece de uma forma exacerbadamente complexa

Re: [Logica-l] Concurso para Lógica e Teoria da Comp utação

essa ementa reflete o que nós gostaríamos que o nosso Lógico Ideal soubesse - não necessariamente soubesse muito bem, mas soubesse o suficiente pra se arriscar a fazer o concurso Tudo depende do perfil de professor-pesquisador que vocês estão querendo por aí. Acho que os lógicos se dividem

[Logica-l] [Fwd: Concursos na Federal Rural do Rio de Janeiro: 5 vagas]

Estão abertas as inscrições para os concursos da UFRRJ: Teoria do Conhecimento 1, vaga; Problemas Metafísicos, 1 vaga; Fil. Moderna, 1 vaga; Ética e Filosofia do Direito, 1 vaga; Fil. da Linguagem e Lógica, 1 vaga. Cf. editais 14 e 19 da pag. http://www.ufrrj.br/concursos/?ano=2009

Re: [Logica-l] violacao deliberada de direitos autorais

Colegas, Eu tenho uma opinião bastante heterodoxa sobre direitos autorais. Acho que deveríamos aproveitar a imaterialidade e o trânsito instantâneo da informação digital para acabar com o materialismo (desculpem o trocadilho) que envolve o negócio editorial. Certamente não somos nós (os

[Logica-l] 2 concursos na Federal de Uberlândia

Concurso para professor adjunto (Dedicação Exclusiva) - Universidade Federal de Uberlândia (UFU) Área I: Lógica e Filosofia da Ciência. 1 vaga. Qualificação mínima exigida: Doutorado em Filosofia. Área II: Metodologia do Ensino e Estágio Supervisionado em Filosofia. 1 vaga. Qualificação

[Logica-l] VAGA HISTÓRIA E FILOSOFIA DA CIÊNCI A

Colegas, Vaga para professor Adjunto, dedicação exclusiva, na área de HISTÓRIA E FILOSOFIA DA CIÊNCIA na UFRN. Mais informações em (http://www.prh.ufrn.br/conteudo/concursos/prog_efet025-09.htm) Ajudem a divulgar. Abraço, Daniel ___ Logica-l mailing

[Logica-l] Concurso na PUC-Rio: 1 vaga

O Departamento de Filosofia da PUC-Rio torna pública a abertura de processo seletivo para contratação de Professor Assistente com Doutorado em Filosofia. A seleção será feita para o preenchimento de 1 vaga de Professor Doutor Assistente, 40 horas, em regime de Dedicação Exclusiva, para o início

Re: [Logica-l] Logica do Lego

O Lego é realemente um instrumento incrivel, é possivel construir com legos objetos impossiveis tal que a cascada de Escher: Muito bom!! Só não entendo porque não colocaram água mesmo na cascata Lego! Assim a roda rodaria e poderíamos ter um moto-perpétuo para alimentar nossos

Re: [Logica-l] Tabela de Contradições Proposiciona is

Boa dica, João Marcos. Além de resolver meu problema, me deu um ótimo e simples exercício para passar aos alunos para treinarem provas por indução. Demonstrar este resultado. Saudações, Daniel ___ Logica-l mailing list Logica-l@dimap.ufrn.br

[Logica-l] [Fwd: Vaga Bolsista Prodoc em Filos ofia da Matemática na UFPR:]

Mensagem original Assunto:Vaga Bolsista Prodoc em Filosofia da Matemática na UFPR: Data: Sat, 19 Sep 2009 22:50:09 -0300 De: Boletim Anpof nao-respo...@anpof.org.br Para: dura...@ufrnet.br O Programa de Pós-Graduação em Filosofia da Universidade Federal do

[Logica-l] [Fwd: Vaga para pesquisador CLE - UNICAMP]

Centro da Unicamp busca pesquisadores 12/11/2009 Agência FAPESP – O Centro de Lógica, Epistemologia e História da Ciência da Universidade Estadual de Campinas (Unicamp) recebe inscrições de candidatos a dois processos seletivos para a seleção de pesquisador de nível C. As vagas são para a área

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

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

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] CONCURSO LÓGICA UFRN (Natal-RN)

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

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

, 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

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 o qual eu adoraria receber

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

É 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 dura...@ufrnet.br

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

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?

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, às 15:46, Daniel

Re: [Logica-l] Teoremas de Noether

tempo. A conexão tempo/energia vem desde o começo da mecânica, e não de Emmy Noether. 2011/4/15 Daniel Durante dura...@ufrnet.br mailto:dura...@ufrnet.br Colegas, Alguém de vocês (mais letrado em física teórica e matemática) conhece

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

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

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 a

[Logica-l] Slow Science

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

Re: [Logica-l] particularmente sobre consequencia sintatica

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

Re: [Logica-l] particularmente sobre consequencia sintatica

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

Re: [Logica-l] particularmente sobre consequencia sintatica

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

Re: [Logica-l] particularmente sobre consequencia sintatica

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[Logica-l] Material didático - LIA

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

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

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

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

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. Carlos 2012/10/21 Daniel Durante dura...@ufrnet.br: Oi Carlos, Eu entendo o que você está dizendo e concordo com você. Mas

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

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

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

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

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

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

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

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

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

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 conhecimento

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

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

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

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

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

[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

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

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

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á

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

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

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

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

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

  1   2   >