Re: [Logica-l] Grupo = Modelo de ZF ?

2013-05-25 Por tôpico Decio Krause
Eu diria na trave, Samuel. Na verdade, se um grupo é um conjunto, precisamos de ZF. O predicado ao qual você se refere é uma fórmula da linguagem de ZF e as estruturas que o satisfazem são conjuntos de ZF. A pegadinha é que seriam modelos de ZF. Não são: em ZF podemos provar que, dado um

Re: [Logica-l] Grupo = Modelo de ZF ?

2013-05-25 Por tôpico Decio Krause
Sim, mas o que tem L-S com isso? O fato é que uma estrutura de grupo não pode modelar ZF, senão daria o maior angú. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com

Re: [Logica-l] DORA

2013-05-22 Por tôpico Decio Krause
Em nossa área (filosofia), há um discurso de que ela seria um tanto peculiar e que as aferições não deveriam se pautar pela publicação em revistas de excelência (sem entrar no mérito de fatores de impacto), mas que a atividade típica de um filósofo seria a da reflexão e (a nem sempre

Re: [Logica-l] Quantificadores vagos

2013-05-22 Por tôpico Decio Krause
Manuel Eu sei que o Hercules Feitosa (e colegas) tem realizado vários trabalhos com diversos tipos de quantificadores. Talvez ele possa dar informações: Hércules de Araujo Feitosa h...@fc.unesp.br Abraço D Décio Krause Departamento de Filosofia Universidade

Re: [Logica-l] Doria

2013-05-01 Por tôpico Decio Krause
De acordo que é muito complexo Manuel. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 01/05/2013, às

[Logica-l] saber algo

2013-05-01 Por tôpico Decio Krause
cientificas, entre as criaturas mais maravilhosas e belas nascidas do pensamento humano. Abraços Carlos 2013/4/30 Decio Krause deciokra...@gmail.com: Caros Os filósofos da ciência que leio sabem do que falam: Suppes, Mittelsteadt, Dalla Chiara, Butterfield, Saunders, Tian Cao, Toraldo di

Re: [Logica-l] Doria

2013-04-30 Por tôpico Decio Krause
Caros Os filósofos da ciência que leio sabem do que falam: Suppes, Mittelsteadt, Dalla Chiara, Butterfield, Saunders, Tian Cao, Toraldo di Francia, Hughes, Bitbol, French, Putnam, Einstein, Schrödinger, Heisenberg, Ghirardi, Bohr, Isham, etc etc. A escolha é nossa. Os físicos citados por mim

Re: [Logica-l] Doria

2013-04-30 Por tôpico Decio Krause
Interessante, Manuel. Concordo com tudo o que diz. Não sabia do mea culpa do Krauss, que aliás é excelente, apesar de algumas ideias malucas veiculadas, como você chamou a atenção. Obrigado. Já quanto ao bacharelado em ciências (física, química, matemática...que coloco como ciência), me parece

Re: [Logica-l] Filosofia da ciencia

2013-04-30 Por tôpico Decio Krause
Yuri Claro que sim. Veja o livro do Paty: Einstein, filósofo http://www.amazon.com/Einstein-philosophe-philosophique-Philosophie-daujourdhui/dp/2130448534/ref=sr_1_5?s=booksie=UTF8qid=1367348518sr=1-5keywords=michel+paty Lembre que o debate Einstein-Bohr é considerado por muitos como o maior

Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger

2013-04-25 Por tôpico Decio Krause
Marcelo Eu acho isso delicado. Se um cara repete as ideias do paper sem mais nada, claro que é autoplágio. Mas muitas vezes o assunto não é usual e precisa de explicações repetitivas, senão não passa pelos referees. É o meu caso com os quase-conjuntos: não aguento mais falar disso, mas agora

Re: [Logica-l] the death of proofs

2013-04-20 Por tôpico Decio Krause
Tony Deixa eu falar algo, que certamente será complementado por outros. A noção de demonstração, ou de prova, não é absoluta. Posso facilmente dar um exemplo de sistemas formais com as mesmas linguagens, regras de formação, etc. mas que difiram quanto à noção de consequência sintática e que

Re: [Logica-l] Parece que vão mudar...

2013-04-18 Por tôpico Decio Krause
Caros O problema de não se exigir título algum é que haverá muitos candidatos, o que dificulta a formação de bancas, dado o que se exige, e é um trabalho grande, dado que muitos serão eliminados nas provas. Acho que deve sim haver filtros, pois hoje temos doutores aptos em todas as áreas.

Re: [Logica-l] Manifestação do Conselho Superior da Capes sobre a Lei 12772/2012

2013-04-13 Por tôpico Decio Krause
Excelente, Carlos. Creio que todas as sociedades organizadas, e as pessoas individualmente, deveriam apoiar esta solicitação da CAPES, a começar pela Sociedade Brasileira de Lógica, ANPOF, etc. O que acham? Há ainda um agravante, que não consigo saber se está certo: os novos que entrarem perdem

Re: [Logica-l] Cor e/ou Raca no Lattes

2013-04-11 Por tôpico Decio Krause
Concordo plenamente em nos recusarmos a responder a essa barbaridade sobre nossa raça. Mas não haviam chegado à conclusão de que não há raças? Afinal, todos descendemos do mesmo macaquito africano.somos todos afro-descendentes, mesmo os arianos, sejam lá o que sejam eles, ainda que eles

Re: [Logica-l] LOGICA-L 7 anos

2013-03-24 Por tôpico Decio Krause
Parabéns à lista, parabéns aos organizadores, e obrigado, JM. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

2013-03-18 Por tôpico Decio Krause
a lógica aristotélica, à qual eles não acediam totalmente por falta de textos e traduções. Só vale a pena estudar essa lógica clássica moderna mais adiante a partir de um ponto de vista crítico. Em 17 de março de 2013 03:11, Decio Krause deciokra...@gmail.com escreveu: Tony Acho que, no presente

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

2013-03-17 Por tôpico Decio Krause
-- Em 12/03/2013, às 11:53, Marcelo Finger mfin...@ime.usp.br escreveu: 2013/3/12 Decio Krause deciokra...@gmail.com Lembre que Lawvere sugere que se se ensine matemática via categorias. Por que não? Porque não há professore(a)s que saibam a matéria para

Re: [Logica-l] ainda sobre as falacias (respondendo a thread de Decio Krause)

2013-03-12 Por tôpico Decio Krause
Oi, Tony Aquilo que chamamos de lógica clássica nem é bem definido. O que é a LC? A lógica positiva clássica é LC? E o cálculo proposicional? Parece que sim, mas fica vago. Mas e as teorias de tipos clássicas? E as teorias de conjuntos? (grande lógica). E a teoria de categorias? Isso é

Re: [Logica-l] Digest Logica-l, volume 85, assunto 10

2013-03-10 Por tôpico Decio Krause
Pessoal Para fazê-los pensar sobre esta interessante discussão, suponha que eu seja uma pessoa clássica e que elabore um argumento que use Modus Ponens e o Silogismo Disjuntivo (este exemplo me foi sugerido pelo Otávio Bueno, mas dá pra elaborar vários outros por exemplo envolvendo a lógica

Re: [Logica-l] Digest Logica-l, volume 85, assunto 10

2013-03-10 Por tôpico Decio Krause
Luiz Sem saber o que significa ~, tudo isso é vago, como na maior parte dessas discussões filosóficas. É o não intuitivo? O que significa ele? Ou é o 'ñao' clássico? Quem sabe o intuicionista? Ou um paraconsistente? Não dá, assim não dá (pelo menos para mim). Abraço D

[Logica-l] Divulgar por favor: workshop

2013-03-02 Por tôpico Decio Krause
Caros Solicito divulgação do workshop em anexo. Aos interessados, apareçam. Grato, DK Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

[Logica-l] LaTeX

2013-02-27 Por tôpico Decio Krause
LaTeXexperts Uma dúvida para ver se alguém consegue ajudar. Estou usando o formato book class twoside mas tenho que alterar o default do LaTeX que coloca nas páginas pares a numeração e depois, junto ao meio do livro, o título e nas ímpares faz o oposto, mas deixando de novo o título junto ao

Re: [Logica-l] a USP (11) esta na frente de Oxford (29) e Cambirdge (30)

2013-02-01 Por tôpico Decio Krause
O que mostra que esse índice é muito estranho... Mas serve para ajudar a colocar nossa situação. Vocês reclamando? A UFSC está em 2624!!! D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil

Re: [Logica-l] a USP (11) esta na frente de Oxford (29) e Cambirdge (30)

2013-02-01 Por tôpico Decio Krause
saberia explicar os critérios da pesquisa -- talvez você, caro Jean-Yves -- e o porquê de a USP estar tão bem colocada? Eu sou uspiano, portanto suspeito para opinar... Um abraço a todos Julio 2013/2/1 Decio Krause deciokra...@gmail.com O que mostra que esse índice é muito estranho

Re: [Logica-l] top 10 universidades de pesquisa no Brasil

2013-02-01 Por tôpico Decio Krause
Ué, eu havia visto a UFSC em 2624 e agora aparece em 580? Melhoramos assim tão rápido? D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

[Logica-l] Port Royal - Obrigado

2013-01-29 Por tôpico Decio Krause
Pessoal Para ver como a lista funcionarecebi vários links com edições variadas da lógica de Port-Royal. Muito obrigado a todos. Não é para fazer exegese, apenas para dar umas olhadas... Grato. Abraço D Décio Krause Departamento de Filosofia Universidade

Re: [Logica-l] raciocínio vs. contexto social e histórico

2013-01-28 Por tôpico Decio Krause
Citando o JM PS: Retornando a outro assunto recentemente discutido, devo confessar entretanto que desconheço estudos que demonstrem que conhecer a história do teorema auxilie na compreensão da demonstração do teorema. Dito isto, confesso que sou totalmente a favor da erudição, e fico certamente

Re: [Logica-l] Fwd: link para página web com notas de aula

2013-01-28 Por tôpico Decio Krause
Legal, Julio. E não esqueça o livro do Devlin Goodbye Descartes: the end of logic and the search for a new cosmology of the mind, excelente. Ele também acha que devemos partir para outra, como sugere o Manin. A propósito, a frase e a história são as seguintes: em 1974, a AMS juntou um bando de

[Logica-l] Port Royal

2013-01-28 Por tôpico Decio Krause
Pessoal Alguém tem uma cópia da lógica de Port Royal para me enviar? Em qualquer língua que eu possa ler (francês, inglês, espanhol, português, italiano). Obrigado, D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940

Re: [Logica-l] Fwd: link para página web com notas de aula

2013-01-28 Por tôpico Decio Krause
Legal, Rodrigo. Informações precisas. Acrescento mais umas. Sim, você está certo quanto ao quadradinho. Na primeira edição, o par ordenado era primitivo, o que não ocorre nas edições posteriores, inclusive na versão inglesa de 1968. Para ele, fazer matemática significa escrever símbolos no

Re: [Logica-l] logica ciencia do raciocinio correto / incorreto

2013-01-26 Por tôpico Decio Krause
Caro JY Claro que se pode acomodar praticamente tudo dentro de algo vago como ciência do raciocínio. Mas usar isso como definição de lógica me parece algo bem ultrapassado, só isso. Obrigado por seu artigo, que vou usar com meus alunos. Abraço D Décio Krause

Re: [Logica-l] [OFF?] a matemática como a arte de dar conselhos

2012-11-05 Por tôpico Decio Krause
JM Para lembrar: esta é basicamente a posição de Lautman, para quem a mat. é uma atividade real e não meramente tendo a finalidade de obter construções formais (Curry), devendo servir para podermos refletir sobre esse real. Para quem quiser, veja

Re: [Logica-l] [OFF?] a matemática como a arte de dar conselhos

2012-11-05 Por tôpico Decio Krause
Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 05/11/2012, às 11:15, Decio Krause escreveu: JM Para lembrar: esta é basicamente a posição de Lautman, para quem a mat. é uma

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 Decio Krause
João Eu acho mesmo lamentável que coloquem onde colocaram o departamento de lógica do IMPA, e que um cara como o Elon, pela influência que tem, se expresse desse jeito. Mas isso tem longa data. Ademais, sei que ele teria dito que, de teoria de conjuntos, bastaria saber o livro do Halmos (teoria

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 Decio Krause
Os físicos também não precisam saber matemática, e por aí vai. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

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 Decio Krause
, Famadoria escreveu: Já disse. Isso vem do Thom e do Smale. Sent from my iPhone On 11/10/2012, at 12:07, Decio Krause deciokra...@gmail.com wrote: Os físicos também não precisam saber matemática, e por aí vai. Décio Krause Departamento de Filosofia

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 Decio Krause
Arnold inclusive trocou varias msgs comigo qdo tava resolvendo os problemas dele. Arnold não. Sent from my iPhone On 11/10/2012, at 12:36, Decio Krause deciokra...@gmail.com wrote: ...e do Arnold, esqueceu, Doria? Décio Krause Departamento de

Re: [Logica-l] Ceremonia na Academia Brasileira de Filosofia

2012-09-03 Por tôpico Decio Krause
Parabéns, Jean Yves. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 03/09/2012, às 11:10, jean-yves

Re: [Logica-l] Atracao de visitantes do exterior - Ciência sem Fronteiras

2012-08-05 Por tôpico Decio Krause
Grato, Samuel. Muito útil. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 05/08/2012, às

Re: [Logica-l] Atracao de visitantes do exterior - Ciência sem Fronteiras

2012-08-05 Por tôpico Decio Krause
1/10/2012 em cima, mas na sub-rubrica de visitante 'e 1/09/2012. Abracos, Valeria 2012/8/5 Decio Krause deciokra...@gmail.com Grato, Samuel. Muito útil. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040

Re: [Logica-l] Atracao de visitantes do exterior - Ciência sem Fronteiras

2012-08-05 Por tôpico Decio Krause
coisas, ao invés de apenas LAMENTAR... Alguém tem alguma ideia / sugestão / experiência a partilhar? Joao Marcos (*) Não que eu não tenha vários casos *meus* a partilhar, como certamente vocês também terão os seus! Em 05/08/2012, às 15:48, Joao Marcos escreveu: 2012/8/5 Decio Krause

[Logica-l] Paper - Lautman

2012-07-04 Por tôpico Decio Krause
Pessoal Alguém tem o artigo de Albert Lautman New research on the dialectical structure of mathematics? Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com

Re: [Logica-l] Festas dos Logicos no Centro Cultural BrasiLibano em Beirute

2012-06-30 Por tôpico Decio Krause
Parabéns, JY, por mais esta. Abraços D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 30/06/2012, às

[Logica-l] CV PDF

2012-06-16 Por tôpico Decio Krause
Pessoal Alguém sabe como se gera um PDF do Lattes a partir da página do CNPq? Grato D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] problemas na intersecção entre o raciocínio lógico e probabilístico

2012-06-12 Por tôpico Decio Krause
Sim, parabéns, Marcelo. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 12/06/2012, às 10:10, Tony

Re: [Logica-l] Jean van Heijenoort’s Conception of Modern Logic

2012-06-04 Por tôpico Decio Krause
Parabéns pela revista, JY, que está realmente uma beleza em todos os sentidos. Abraço D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Portuwiki

2012-06-02 Por tôpico Decio Krause
Tá no site da VEJA; a wiki tem uma nova responsável no BR e quer parcerias. Não seria hora de um contato? http://veja.abril.com.br/noticia/vida-digital/com-parceria-academica-wikipedia-quer-mais-brasileiros (aqueles que só lêem a Carta Capital podem desconsiderar este email. AhAh) D

Re: [Logica-l] Portuwiki

2012-06-02 Por tôpico Decio Krause
, Joao Marcos escreveu: 2012/6/2 Decio Krause deciokra...@gmail.com: Tá no site da VEJA; a wiki tem uma nova responsável no BR e quer parcerias. Não seria hora de um contato? http://veja.abril.com.br/noticia/vida-digital/com-parceria-academica-wikipedia-quer-mais-brasileiros (aqueles que só lêem

Re: [Logica-l] Functional Completeness

2012-05-24 Por tôpico Decio Krause
Completude, gente. Completude. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Em 24/05/2012, às 10:30,

Re: [Logica-l] o que há de errado com esta sentença?

2012-05-08 Por tôpico Decio Krause
Caro João O que quiz dizer citando essa frase sobre os teoremas de Gödel? Ela está simplesmente errada! D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br

Re: [Logica-l] Referências do Wikipédia

2012-05-08 Por tôpico Decio Krause
Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause We are intrinsically spatial and temporal beings. We can only observe particular entities, handle

Re: [Logica-l] o que há de errado com esta sentença?

2012-05-08 Por tôpico Decio Krause
Ah, entendi. Mas você(s) viu(iram) o livro da Rebecca Goldstein sobre o Gödel? Terrível, e até muito citado. E não é o único. D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause

Re: [Logica-l] Homeopatia é ciência? Se funcionar, precisa ser ciência?

2012-04-09 Por tôpico Decio Krause
estar para ganhar um Nobel ou algo equivalente. Não acham? Abraços homeopáticos, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Lista única não vai funcionar

2012-04-04 Por tôpico Decio Krause
Já votei na proposta 1. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause We are intrinsically spatial

Re: [Logica-l] Wikiversidade: departamento de lógica

2012-04-04 Por tôpico Decio Krause
coisa dessas? Seria sim um bom mecanismo de divulgação, mas depende de QUEM escreve. Não pode ser qualquer um. D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com

Re: [Logica-l] Qualis: um exercicio de democraria na lista de Logica

2012-04-03 Por tôpico Decio Krause
Faço minhas as palavras do Marcelo. Parabéns aos três e obrigado. D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Parabéns à LOGICA-L, ao João e a todos nós que a mantemos em pé

2012-03-27 Por tôpico Decio Krause
Apoiadíssimo. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause We are intrinsically spatial and temporal

Re: [Logica-l] documento para a capes

2012-03-21 Por tôpico Decio Krause
Puxa, mas está mal classificada. B2??? Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause We

Re: [Logica-l] documento para a capes

2012-03-20 Por tôpico Decio Krause
Acho que está bom, mas falta Studia Logica, como já relatado. D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] FW: Lógicos brasileiros refutam as teses neoliberais

2012-02-27 Por tôpico Decio Krause
Medinho? Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause We are intrinsically spatial and temporal beings

Re: [Logica-l] FW: Lógicos brasileiros refutam as teses neoliberais

2012-02-27 Por tôpico Decio Krause
depois me arrependi. É o que penso mesmo. Gostaria que gente assim morresse bem rápido. E isso não me exclui por certo, e não estou nem aí se for o meu caso. D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis

Re: [Logica-l] Error Undoes Faster-Than-Light Neutrino Results: o fenômeno era só um problema mal-contato!

2012-02-23 Por tôpico Decio Krause
disser que entende está mentindo. Abraço D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never

Re: [Logica-l] Escola HFC 2011: o curso do Prof. Michel Ghins disponível na internet

2012-02-03 Por tôpico Decio Krause
Eduardo Excelente iniciativa. Estamos aqui também iniciando a gravação de aulas que serão colocadas online. Acho que trata-se de um instrumento de ensino que não pode ser ignorado. Abraço, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa

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

2011-12-06 Por tôpico Decio Krause
ou Derrida, mas vejo besteira nos textos da nossa colega escritora. Estou errado? Abraço D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

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

2011-12-05 Por tôpico Decio Krause
Marmo Sokal Brigmond têm bons argumentos Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never

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

2011-12-05 Por tôpico Decio Krause
Tony Realmente incrível. Pode dar as referências? É sempre bom ter alguns contra-exemplos na manga. A mulher é realmente incrível!! D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause

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

2011-12-05 Por tôpico Decio Krause
usos da física quântica? Até astrologia quântica há, e me disseram que alguns geógrafos estão falando em geografia quântica...não é isso que se quer quando se fala em levar a ciência às massas? AhAh D. Decio Krause Departamento de Filosofia Universidade Federal de

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

2011-12-05 Por tôpico Decio Krause
, ou o que quer que se chame, é demais... olha o que ela escreveu sobre metafísica, cf a última mensagem do Tony. É charlatanismo puro. Não dá nem pra dizer que é inocência. D Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040

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

2011-12-05 Por tôpico Decio Krause
escreveu, a saber, um monte de bobagens. Ninguém tem nada com isso, você poderia dizer, e ela mesma diz que o blog é dela e ninguém se mete. OK. Mas que é besteira é, ou você não acha? D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina

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

2011-12-05 Por tôpico Decio Krause
AhAh, Manuel essa eu gostei em particular. Como é que eu nunca havia pensado nisso? (OK, quem sou eu para pensar assim tão profundo?): a identidade é uma distintividade em si mesma. Que lindo. Pode me dar a referência? D Decio Krause Departamento de Filosofia

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

2011-12-05 Por tôpico Decio Krause
Veja o que Carnap disse disso. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose among

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

2011-12-05 Por tôpico Decio Krause
É, Heidegger dizia que para filosofar, só em alemão. Você concorda? Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Prova no Direito e na Ciência

2011-11-19 Por tôpico Decio Krause
paraconsistente, daria jeito... Quanto ao seu A -- B, não compete à lógica dizer se A ou B são verdadeiros, mas ao campo de aplicação. Depois, o que entende por verdade? Bom, já me estendi demais nisso. Abraços. D. Decio Krause Departamento de Filosofia Universidade

Re: [Logica-l] Prova científica

2011-11-05 Por tôpico Decio Krause
linguagens. Abraço Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose among

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

2011-11-05 Por tôpico Decio Krause
Patrick Suppes diz mais ou menos o seguinte, precisava ver, mas não agora: uma demonstração tal como o matemático faz, é uma prova (dos lógicos) mas cheia de buracos, ou seja, ele não apresenta os detalhes mais evidentes (supostamente, claro). D. Decio Krause

[Logica-l] Inferência lógica

2011-10-31 Por tôpico Decio Krause
. Premissa 3: O cara morre ou não morre. Conclusão: Nós nos ferramos. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He

Re: [Logica-l] Inferência lógica

2011-10-31 Por tôpico Decio Krause
este início prévio ao horário de almoço?). Se falou sério, deixe de ser besta. D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Inferência lógica

2011-10-31 Por tôpico Decio Krause
paciência para isso. Sofro só de olhar... (ah, são 20h e dei aulas a tarde toda; será que posso voltar a trabalhar agora, fora do horário?) Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-10 Por tôpico Decio Krause
? Teria o mérito de um livro editado por uma casa respeitável? A proposta do Marcelo me parece excelente e poderíamos nos comprometer de fato com ele com uma série, que se faz necessária. No aguardo. Abraços Décio Decio Krause Departamento de Filosofia Universidade

Re: [Logica-l] interpretacao dialectia na wikipedia

2011-10-09 Por tôpico Decio Krause
Legal, Valeria A tradução que deu é a que de fato eu conhecia, e não a minha, que está errada mesmo (eu reproduzi de memória). Obrigado. Abraço Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Decio Krause
Logic as the physics of the arbitrary any object whatever Fica melhor e mais de acordo com o modo como via de regra traduzem a célebre frase de Gonseth. Agora pergunto: o que acham dela? D. Decio Krause Departamento de Filosofia Universidade Federal de Santa

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-06 Por tôpico Decio Krause
seriam de boa qualidade. Não seria melhor pedir que arrumassem isso decentemente? Acham viável? Abraço D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br

Re: [Logica-l] Nelson, etc

2011-10-01 Por tôpico Decio Krause
Doria,o que você quer dizer com isso? Abraço, D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God

Re: [Logica-l] Critério de demarcação

2011-09-17 Por tôpico Decio Krause
Argumentum ad amicis? Legal!! Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose among

Re: [Logica-l] Pseudoscience

2011-09-17 Por tôpico Decio Krause
, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose among indiscernibles (G.W.Leibniz

Re: [Logica-l] Pseudoscience

2011-09-16 Por tôpico Decio Krause
coisas mais interessantes do que tentar interpretar Popper sem conhecer Popper (não acho que qualquer um aqui seja um especialista na sua obra). Que lhes parece? Abraços apaziguadores, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa

Re: [Logica-l] Questão de lógica na prova para professores de SP

2011-09-11 Por tôpico Decio Krause
de agitador!!) e pedindo resposta. Mas mesmo assim, um artigo oficial, da SBL, em jornal E pela web seria fortemente aconselhável. O exemplo do Walter da aula do telecurso ajudaria; quem tem mais exemplos? D. Decio Krause Departamento de Filosofia Universidade

Re: [Logica-l] RES: Questão de lógica na prova para professores de SP

2011-09-09 Por tôpico Decio Krause
Arthur: não é um silogismo *válido*. Não sei se minha mensagem anterior foi, mas eu sugiro que a SBL se pronuncie sobre isso (e outras coisas), e que alguém bem inspirado escreva um artigo, talvez em nome da SBL, para algum jornal. O que acham? D. Decio Krause

[Logica-l] InTech???

2011-08-22 Por tôpico Decio Krause
Pessoal Alguém já ouviu falar da InTech Publishers? A página é www.intechweb.org. Eles entraram em contato convidando para escrever um artigo, mas pode ser fria. Alguém conhece? Grato, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa

[Logica-l] Workshop no Simpósio Principia

2011-08-09 Por tôpico Decio Krause
Cara List@ Seguem informações sobre um workshop que será realizado durante o simpósio Principia (sobre este, ver em http://www.principia.ufsc.br/ Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil

Re: [Logica-l] Premiacao no Concurso de Teses e Dissertações 2011 da SBC

2011-08-03 Por tôpico Decio Krause
Abraços a Marcio e Renata. D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose among

Re: [Logica-l] RES: Físico prova impossibilidade de se viajar no tempo

2011-07-31 Por tôpico Decio Krause
Alvaro Com efeito, seu argumento (via Hawking) é forte. Mas, quem garante que as civilizações do futuro já não foram devidamente instruídas para não se fazerem notar em nosso tempo? Aliás, o que é o tempo? Abraço Décio Decio Krause Departamento de Filosofia

Re: [Logica-l] Tese sobre produti vidade x ética

2011-07-29 Por tôpico Decio Krause
Não entendi uma coisa: essa pesquisa (da tese) é uma tese de *doutorado*? Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause

Re: [Logica-l] Estudante é acusado de baixar mais de 5 mi de artigos acadêmicos (Jstor)

2011-07-20 Por tôpico Decio Krause
Meu deusArthur Você pegaria 1 bilhão de anos (e o resto de nós algumas centenas). Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br

Re: [Logica-l] FW: FAPESP e UNICAMP pagando gente para nos ensinar como publicar e escrever reviews

2011-06-23 Por tôpico Decio Krause
, história, não sei), não sei até que ponto isso seria lícito, pois os corrigidores poderiam sugerir a mudança de enfoque (quem sabe até melhorando). D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC

Re: [Logica-l] A racionalidade paraconsistente para compreender (e prever) o comportamento de partículas quânticas

2011-06-11 Por tôpico Decio Krause
bichos. Obrigado pela dica. Abraço, D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose

Re: [Logica-l] Logic in Rio - Segundo Encontro

2011-06-10 Por tôpico Decio Krause
Não vai tem membro correspondente? D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause He [God] will never choose

Re: [Logica-l] Logic in Rio

2011-06-08 Por tôpico Decio Krause
Maravilhoso Também poderia ser Lógica Maravilhosa, disciplina de encantos mil. Parabéns aos mantenedores. Pretendo entrar nessa quando for aí. Abraços, D. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis

Re: [Logica-l] Livro em homenagem ao Newton

2011-06-07 Por tôpico Decio Krause
Parabéns, Doria, pelo trabalho e pela brilhante colaboração com o mestre. Vocês realmente quebraram a banca! Vou comprar. Abraço, Décio Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause

Re: [Logica-l] A mais curta demonstra??o de que P =/= NP

2011-06-06 Por tôpico Decio Krause
. Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause Você não está pensando. Está meramente sendo lógico! (Bohr para Einstein

  1   2   >