Re: [Logica-l] PeerLibrary
Valéria Muito legal o site. Cadastrei-me e coloquei lá umas coisas para ver. Fácil de usar e bem feito. Parabéns aos seus amigos. Espero que vingue. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 09/05/2014, à(s) 10:08, Valeria de Paiva valeria.depa...@gmail.com escreveu: Car@s, Um amigo de um amigo esta' lancando um novo tipo de software, parecido com Academia ou ResearchGate, mas com potencial pra ser melhor pra gente organizar o conhecimento de uma area, que nem logica matematica, por exemplo. Vai abaixo a propaganda deles, com video, pra quem quiser dar uma olhada... Eu gostaria de ouvir criticas e sugestoes e sei que eles tambem. A minhar maior critica no momento 'e a que fiz pro academia e eles implementaram: a gente nao deve precisar de upload a producao cientifica da gente, o que esta' disponivel na rede atraves de outros providers, que nem GoogleScholar e MSAcademicSearch. essa parte, eles precisam conseguir importar eles mesmos. A gente so' devia ter que upload coisas novas e que queiramos trabalhar de novo, de uma forma colaborativa. Mas eles estao comecando, de repente essa feature veem ai abs, Valeria == We are proud to announce the public launch of PeerLibrary, your favorite facilitator for the global conversation on academic literature. Development is far from finished, but many basic features we envisioned are already available: https://peerlibrary.org/ Import PDFs of publications you are really interested in, and see how they appear for discussion with others. You can highlight and annotate them privately, publicly, and in a group. And all this you can easily share with anybody on the Internet by just sharing an URL. Try it out and give us feedback. We need your support now in helping us understand what are we doing right and what we are doing wrong. All the development is open and is happening here: https://github.com/peerlibrary/peerlibrary Also, check out the video we made about PeerLibrary: https://vimeo.com/93085636 Share it around! == -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] PhilPapers seeking financial support through institutional subscriptions
Eu concordo. A minha instituição certamente não assinará e perderemos isso, que é bacana. A CAPES poderia fazer isso… D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 16/04/2014, à(s) 16:19, Walter Alexandre Carnielli walter.carnie...@gmail.com escreveu: Caro Daniel, Eu concordo inteiramente. So não sei como convencer a CAPES sobre isso. Mas talvez vc pudesse abrir um abaixo-assinado no Avaaz, por exemplo. Abs Walter Enviada do meu iPad Em 15/04/2014, às 13:47, Daniel Durante durant...@gmail.com escreveu: 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 de a CAPES incluir o portal entre os seus serviços, via Portal de Periódicos!! Seria uma pena se perdêssemos acesso a este recurso tão útil. Saudações, Daniel. Início da mensagem encaminhada: De: David Chalmers chalm...@philpapers.org Assunto: PhilPapers seeking financial support through institutional subscriptions Data: 14 de Abril de 2014 às 22:50:14 GMT-3 Para: durant...@gmail.com Dear Daniel, We are writing to let you know that PhilPapers is moving to a subscription model whereby institutions pay to subscribe to PhilPapers. We are also requesting your support in asking your institution to subscribe. PhilPapers will remain a noncommercial enterprise administered by the nonprofit PhilPapers Foundation as a service to the philosophical community. In five years, PhilPapers has grown into a major service central to many of the activities of the profession. Thanks to the hundreds of editors and thousands of volunteers that contribute to PhilPapers, our index has grown to over 1,000,000 items organized in nearly 5,000 bibliographies. A pet project has turned into the best and most widely used bibliographical resource in the field. Many changes have taken place at PhilPapers. Chief among these changes, David Bourget, the architect of PhilPapers, now has a tenure-track appointment with teaching, research, and service duties in addition to PhilPapers. We need technical staff that can assume many of David's roles, from server maintenance and administrative support to application programming and user interface design. A whole team is needed for PhilPapers to thrive and develop to its full potential. It is important to make the transition to a team-supported project to ensure PhilPapers' sustainability in the long run. Sustaining PhilPapers will require significant financial support. We have considered many different models, including asking for donations and requiring subscriptions. After much consultation, it has become clear to us that the best way forward is a model involving annual subscriptions for large institutions. Starting June 1, 2014, we ask large institutions (especially universities) to pay an annual subscription fee for their users to have full access to PhilPapers. Full details about the subscription model, including institutional criteria and fees, can be found on this page. Users accessing PhilPapers from computers at non-subscribing institutions will have their access limited in various ways. In the initial stages, these limitations will take the form of banners and data throttling, so that users at these institutions can still use PhilPapers, albeit under non-ideal conditions. In the longer term, stronger access limitations may be imposed. Individuals using PhilPapers from non-institutional locations (e.g. from home) will continue to have free access to PhilPapers, as will PhilPapers editors who are signed in using their account. The PhilPapers Open Access Archive, PhilJobs, and PhilEvents will remain open access. We believe that this model provides the right balance of open access and financial support. One reason why the subscription model is appropriate is that PhilPapers replaces indexes sold by commercial vendors that require subscriptions. We believe that PhilPapers is the best bibliographic service available in philosophy. It is more complete and more usable than the alternatives, and even on the subscription model it remains much cheaper. If you think that PhilPapers is worth supporting, please consider suggesting that your library purchase a subscription to PhilPapers. You can find details on how to contact your university librarian here. Your support is important in ensuring a viable future for PhilPapers. See this page for more information on subscriptions: http://philpapers.org/subscriptions/ David Bourget and David Chalmers Co-Directors, PhilPapers ___ Logica-l
[Logica-l] Concurso Lógica UnB
Vaga no FIL-UnB na área de Lógica: --- EDITAL http://dgp.unb.br/concursos/docente-2014/category/8883-148 QUADRO DOS OBJETOS DE AVALIAÇÃO 1) Métodos de prova: dedução natural, sequentes e tableaux 2) Completude da lógica proposicional (clássica) 3) Completude da lógica de primeira ordem (clássica) 4) Completude das lógicas modais normais 5) A lógica discussiva e os sistemas paraconsistentes de Newton da Costa 6) Semânticas para a lógica intuicionista 7) Lógicas polivalentes 8) Lógica abstrata: consequência lógica Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Verbete Wikipedia
Eu topo, Andrea. Você sabe como fazer? E mandamos tb pro jornalista mencionado pelo Doria. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/03/2014, às 09:19, Andrea Loparic alopa...@gmail.com escreveu: Sugiro que façamos um abaixo assinado denunciando o verbete como uma aberração, um texto escrito por impostores que, além de muito ignorantes, devem ser no máximo bineuroniais.. E que, depois de assinar com todos os nossos títulos e qualificações, enviemos para os responsáveis, com cópia para CNPq, CAPES, Ministérios, Reitorias de Universidades, Sociedades Científicas, etc.. Em 31 de março de 2014 09:10, Famadoria famado...@gmail.com escreveu: Já disse que a wiki brazuca não tem jeito. Quem manda nela é um jornalista chamado Jo Lorib. O formato wiki não funciona no Brasil. Sent from my iPhone On 31/03/2014, at 00:14, Décio Krause deciokra...@gmail.com wrote: Pessoal Vocês já viram o verbete lógica da wiki em português? Não faço a ideia se quem escreveu isso, mas seria muito adequado retirá-lo. Está horrível, com toneladas de erros conceituais básicos... http://pt.wikipedia.org/wiki/Lógica -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Verbete Wikipedia
Pessoal Vocês já viram o verbete lógica da wiki em português? Não faço a ideia se quem escreveu isso, mas seria muito adequado retirá-lo. Está horrível, com toneladas de erros conceituais básicos... http://pt.wikipedia.org/wiki/Lógica -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Verbete Wikipedia
Pois é. Agora, se nós da comunidade (tem favela de lógica?), que supostamente somos os especialistas não conseguimos tirar um verbete desses, então para que serve essa coisa? Alguém sabe com que se fala? D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/03/2014, às 00:51, Carlos Gonzalez gonza...@gmail.com escreveu: Eu acho que deveria ser apagado imediatamente. Carlos On Mon, Mar 31, 2014 at 12:32 AM, Jaison Schinaider jaiso...@gmail.com wrote: Realmente, Tá tão ruim, que não tem conserto... Parece-me que teria que escrever tudo de novo, do zero... Abraços, 2014-03-31 0:14 GMT-03:00 Décio Krause deciokra...@gmail.com: Pessoal Vocês já viram o verbete lógica da wiki em português? Não faço a ideia se quem escreveu isso, mas seria muito adequado retirá-lo. Está horrível, com toneladas de erros conceituais básicos... http://pt.wikipedia.org/wiki/Lógica -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Verbete Wikipedia
Jaison E que tal está? Lógica Matemática é o uso da lógica formal para estudar o raciocínio matemático-- ou, como propõe Alonzo Church16 , 'lógica tratada pelo método matemático'. Ele não entendeu o que o Church falou. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/03/2014, às 01:11, Jaison Schinaider jaiso...@gmail.com escreveu: Penso que não tem como apagar o verbete diretamente, apenas é possível melhorá-lo ou arrumá-lo (pelo menos, não achei na página um link onde o verbete possa ser apagado completamente.). Inclusive, no início do texto diz que Esta página ou secção foi marcada para revisão, devido a inconsistências e/ou dados de confiabilidade duvidosa (desde julho de 2011)., então me parece que a única solução possível é abrir o verbete, apagar o texto, e escrever novamente... Dentre todas as pérolas, gostei desta: A Lógica Formal lida com a relação entre conceitos e fornece um meio de compor provas de declarações Acho que não entendi... :)) Abraços, Jaison Em 31 de março de 2014 00:57, Décio Krause deciokra...@gmail.com escreveu: Pois é. Agora, se nós da comunidade (tem favela de lógica?), que supostamente somos os especialistas não conseguimos tirar um verbete desses, então para que serve essa coisa? Alguém sabe com que se fala? D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/03/2014, às 00:51, Carlos Gonzalez gonza...@gmail.com escreveu: Eu acho que deveria ser apagado imediatamente. Carlos On Mon, Mar 31, 2014 at 12:32 AM, Jaison Schinaider jaiso...@gmail.com wrote: Realmente, Tá tão ruim, que não tem conserto... Parece-me que teria que escrever tudo de novo, do zero... Abraços, 2014-03-31 0:14 GMT-03:00 Décio Krause deciokra...@gmail.com: Pessoal Vocês já viram o verbete lógica da wiki em português? Não faço a ideia se quem escreveu isso, mas seria muito adequado retirá-lo. Está horrível, com toneladas de erros conceituais básicos... http://pt.wikipedia.org/wiki/Lógica -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] The Relativity and Universality of Logic
Parabéns, JY. Suas contribuições ao campo são de fato muito relevantes, Um abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 23/03/2014, à(s) 12:01, jean-yves beziau beziau...@gmail.com escreveu: Acabou de ser publicado na Synthese meu artigo The Relativity and Universality of Logic http://link.springer.com/article/10.1007/s11229-014-0419-0 Este artigo e relacionada a uma palestra que apresentei em 2012 em Budapest convidado para participar do congresso comemorando os 70 anos do Istvan Németi http://www.renyi.hu/conferences/nemeti70/index.html aqui algumas fotos do evento https://plus.google.com/photos/101585084097816999360/albums/5789950721172732561 Neste artigo eu explico em particular como e porque estou usando a expressao *universal logic* e faz algumas analises criticas de expressoes tais que *logical pluralism*, non-classical logics , *cognitives sciences, Vam ai alguns extratos: The semantic network of *universal* does not include only the *universe*, but also *university*, *universal gravitation*, *universal quantifier*, *universal declaration of human right*, *universal salvation*. This is a very powerful word, having religious, political, physical and logical dimensions, that should be used carefully Logical pluralism promotes plurality rather than unity. It is in the line with putting an “s” everywhere; physics, mathematics, religions, logics. The non-classical logicians are in fact most of the time roaming around the house of classical logic, this is their reference point. Some want to burn the old house and build a brand new one. Others want to improve it, extending it with many operators: modalities, branching quantifiers, etc. Some guys just construct their own little house close by. Cognitive science is maybe the highest tentative of interdisciplinarity and at least it succeeded in unifying around an idea, a word. But behind the word there is a lot of confusion/heterogeneity. The Relativity and Universality of Logic 1. Two questions and a double meaning 2. The logical relativity of logic 2.1. Two extreme positions 2.2. Science in transformation 2.3. Logic in transformation 3. The road to Logica Universalis 3.1. Universal logic vs Universal Logic 3.2. Universal algebra and Universal logic 3.3. Mathesis Universalis and Logica Universalis 4. Three roads to nowhere? 4.1. The fashion of logical pluralism 4.2. The heresy of non-classical logics 4.3. The mayonnaise of cognitive science ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: Blogs de divulgação científica e filosófica, no ar!
Pessoal Divulgo dois blogs muito interessantes criados pela minha aluna Caroline Murr. Vale a pena divulgá-los, principalmente para quem gosta de filosofia e de mecânica quântica. Abraços Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Olá a todos, Gostaria de divulgar que um novo blog está no ar: Na medida incerta. Este será sobre Filosofia, Ciência e Ficção Científca, tudo junto e misturado. O primeiro texto, uma introdução ao tema, já foi postado. Também há referências, links, e vídeos interessantes. Para quem se interessa pelos temas, ou dá aulas, ou quer matar o tempo matutando sobre as coisas. Acho que vai ser divertido. O blog sobre Schrödinger também tem novidades: áudios de palestras de Schrödinger, novas enquetes e vários textos que já foram postados este ano, para quem ainda não viu: Filosofia de Schrödinger, A querela com a Escola de Copenhague e muito mais. Os posts são publicados mais ou menos a cada duas semanas, pois demandam bastante pesquisa e preparo dos textos. Como vocês sabem, o intuito dos blogs é divulgação para o mais amplo público; então, se puderem, peço a gentileza de divulgar para alunos de graduação, de ensino médio, alunos de EJA e todas as pessoas curiosas e interessadas em saber mais ao seu redor. Também comentem e votem! O retorno de vocês é muito importante para a continuidade desses pontos de compartilhamento de conhecimentos! Aí vão os endereços: http://namedidaincerta.blogspot.com.br/ http://halloschroddy.blogspot.com.br/ Obrigada a todos e boa leitura! Caroline Murr. Doutoranda do Programa de Pós-Graduação em Filosofia da UFSC. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Discussão
Caro Marcio Como mencionou uma mensagem minha, digo algo. Se quiser, podemos falar sobre algum tema para seu estudo. A observação é quanto ao uso da palavra isomorfismo que você menciona. Em sentido preciso, é algo que pode haver entre estruturas matemáticas, e só entre elas tem um sentido preciso. Todo outro uso deve ser entendido com parcimônia, como quando os filósofos falam em isomorfismo com o real. Isso é muito vago e não pode ser tomado literalmente. Continuo com minha opinião sobre a Epistemologia Genética, hoje bastante démodé. Difícil falar em ensino hoje sem levar em conta coisas como a neurociência. Sabe-se razoavelmente bem como o cérebro aprende, e ainda ficamos lendo textos do século XVIII? Mas já pensou os pedagogos terem que estudar mais isso? Melhor deixar como está e continuar recitando a mesma cartilha, hoje atualizada com muita ideologia social. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 21/02/2014, às 11:38, Márcio Palmares marciopalma...@gmail.com escreveu: Prezados colegas, Resgatei essa mensagem antiga do Prof. Decio Krause porque estou intrigado com um problema: 1º) De fato, é pouco provável que os estudantes de pedagogia possam compreender o significado do programa da epistemologia genética, pois não possuem nenhum preparo em lógica ou em álgebra (mesmo nos níveis mais elementares dessas disciplinas); 2º) O isomorfismo parcial que Piaget acreditava ter observado entre os processos de adaptação biológica (há uma certa formalização para eles) e os processos de evolução das estruturas que ele julgava ter observado na evolução da inteligência humana (isso parece apenas psicologismo, mas há também uma certa formalização para isso) seriam a justificativa para a construção dessa teoria do conhecimento (epistemologia genética, o termo vem de gênese, nada a ver com genética no sentido de hereditariedade) em que os conhecimentos humanos são definidos como órgãos superiores de regulação das trocas funcionais do organismo com o meio exterior. (Nota: estou citando tudo de memória, posso ter cometido erros. Mas essa tese está exposta no livro Biologia e Conhecimento.) No início, Piaget foi severamente criticado por E. W. Beth, que julgava que seus trabalhos eram apenas psicologismo. Posteriormente, Beth passou a colaborar no Centro Internacional de Epistemologia Genética de Genebra, e os dois escreveram um livro muito interessante, chamado Epistemologia da Matemática e Psicologia. Portanto, ao menos uma autoridade da área de Fundamentos julgou que essa pesquisa era relevante. Pergunto: do ponto de vista algébrico, será que realmente faz sentido, ou melhor, será que realmente é possível provar esse isomorfismo? Alguém por acaso já checou isso, ou será que Piaget usou essa expressão como mera analogia, isto é, sem que ela realmente estivesse sendo usada no sentido matemático do termo? Agradeço se alguém puder liquidar essa dúvida. Abraço a todos, Márcio (estudante de licenciatura em matemática da UFPR procurando um resultado interessante para seu trabalho de conclusão de curso...) Em 25 de janeiro de 2010 22:45, Decio Krause deciokra...@gmail.com escreveu: Pessoal O problama da matemática e de seu ensino passa pelos seus *métodos*, que devem ser considerados. Eu lembro de um frase do Charlie Brown para a Peppermint, no Peanuts, que obviamente ia mal na escola (anos 50, 60): How can you do new maths with an old mathematical mind? Isso indica outra coisa do que a evidente dificuldade com a mudança de estratégia que houve da velha para a nova matemática (não estou defendendo nem uma, nem outra): é preciso preparar as mentes primeiro, entrar em transe. Como alguém já disse, hoje há shoppings, vídeos, etc., que são muito mais atraentes do que matemática. O que deveria haver são palestras motivadoras, e há muita gente competente para motivar gente nova, não tipo professores de cursinho, mas tipo os livros de divulgação do Ian Stewart. A matemática é difícil, como qualquer coisa que se faça a sério. Ou acham fácil tocar violino ou piano? Ou correr 100m em olimpíadas? Ou jogar no Corinthians? Ou ser um bom cozinheiro? Ou um bom policial? Ou organizar uma casa (família)? Mais facil ser relaxado, fazer as coisas mais ou menos, ensinar (mal) matemática, ou algo que se assemelhe ao tema, principalmente em nossas escolas (todas) onde não há supervisão decente e não pode haver por questões ideológicas. O argumento do Carlos de que dizer que a matemática é difícil atrapalha seu estudo didático begs the question. Se é difícil, é difícil, ponto. O problema é que a sociedade aceita que as pessoas podem não passar (reprovar) na *prova* de
Re: [Logica-l] Gendered Conferences
Não, ele não foi mulherengo, mas simplesmente idiota. O que mostra que todos podemos ser às vezes. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 13/02/2014, às 10:48, Marcos Silva marcossilv...@gmail.com escreveu: Caros, devo confessar que meu primeiro pensamento depois de ler o email do Chalmers foi (infelizmente): mas que cara mulherengo! Talvez pela formulacao direta e infeliz dele no lapidar nao participo de evento onde nao há mulheres. Mas depois lendo com calma vi que tinha interpretado mal e que ele tinha feito de fato um ponto importante. Já havia, naquela altura, convidado mais de 10 pesquisadores. Chalmers foi o unico que me chamou a atencao ao fato escandaloso de só ter pensado em pesquisadores homens. Eu o respondi pedindo uma lista de nomes de pesquisadoras. Me respondeu prontamente. A lista me impressionou pela qualidade (bons artigos que desconhecia), internacionalidade (nao havia nenhuma australiana, mas também nenhuma fora dos EUA ou Europa), e diversidade temática (vagueza, qualia, estados disposicionais etc.) Medidas afirmativas sao sempre muito polemicas, sobretudo se nos concentrarmos em razoes possíveis. Podemos, até com incentivos bem intencionados, acabar gerando mais problemas e mais distorcoes. Mas quanto a este gendered conferences, certamente vou prestar mais atencao neste implicit bias daqui por diante. Podem ser inconscientes, mas vale traze-los à luz da reflexao, porque muito desencaminhadores. Pensar um pouco no que e quem a gente está lendo pode ser bastante revelador. Afinal é romantico pensar que pesquisa seja independente e neutra em relacao à sociedade onde estamos inseridos. É claro que pode refletir (e até estimular) algumas injusticas históricas. Aqui nossas responsabilidades enquanto pesquisadores é ainda mais evidente. Chalmers cumpriu seu papel neste sentido, na minha opiniao. abraco, Marcos 2014-02-12 21:47 GMT-03:00 Joao Marcos botoc...@gmail.com: Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para mim. Chalmers certamente chamou a atenção para uma questão muito importante sobre a qual refletir. Acho que você deveria responder à mensagem dele agradecendo por ter levantado a lebre e pedindo gentilmente a ele que sugerisse, para ajudar, uma lista de nomes cujas denotações tenham o gênero certo e que trabalhem sobre o tópico em questão. Andei pensando sobre a lista de autores dos papers que li nos últimos dois meses, e fiz uma busca nas bibliografias citadas nestes mesmos papers. Descobri (em muitos casos, apenas após alguma investigação) que os autores são predominantemente do sexo masculino. São também predominantemente judeus. Mas no mais das vezes não faço ideia quantos seriam deficientes, ou negros, ou membros de outros grupos sub-representados. Curiosamente, eu não tinha tido pensado em nada disso até agora. Quero imaginar, de todo modo, que uma tal descoberta tardia não teria afetado minha opinião sobre o conteúdo destes mesmos papers. C. Dutilh-Novaes organizou uma lista de mulheres em lógica (não necessariamente da área de Filosofia). Não é muito longa --- 74 nomes, no dia de hoje, mesmo após quase dois anos em que foi lançada: http://loriweb.org/women-in-philosophy-of-logic-and-philosophical-logic/ Novos nomes são sempre bem-vindos. JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] South American Journal of Logic - SAJL
Dear JY, dearq Marcelo Very good indeed. Congratulations for the journal, specially, to my specific interest, for the interplay with physics. Best, Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 13/02/2014, às 13:25, jean-yves beziau beziau...@gmail.com escreveu: Dear Colleagues We are pleased to announce the launching of the South American Journal of Logic - SAJL Free on-line access and also print version. ISBN numbers will be available soon SAJL will promote logic in all its aspects: philosophical, mathematical, computational, historical and also the relation of logic with physics, law, psychology and psychoanalysis, linguistics and semiotics We will publish peer reviewed high quality papers. There will be special issues with guest editors, the first one being a special issue dedicated to Carlos Alchourron edited by Eduardo Fermé and David Makinson. To start we will publish two issues per-year. For 2014 there will be a current issue and the special issue Alchourrón Submissions are welcome, papers should be sent to: sub...@sa-logic.org Jean-Yves Beziau and Marcelo Coniglio Editors-in-Chief South American Journal of Logic http://www.sa-logic.org/ Easy, Simple and Quick! ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Gendered Conferences
Chalmers foi um grosso. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 11/02/2014, à(s) 20:01, Marcelo Finger mfin...@ime.usp.br escreveu: Oi Marcos. Achei um tantinho arrogante a forma utilizada pelo David Chalmers para ressaltar o seu implicit bias. Sobre esses, acredito que: 1) Os tais de implicit bias são inevitáveis; 2) São parte do funcionamento inconciente do cérebro humano 3) Devem ser combatidos com a parte consciente da mente Dito isto, certamente há formas mais simpáticas de recusar o convite E lamentar a falta de mulheres na platéia. []s 2014-02-11 14:09 GMT-02:00 Marcos Silva marcossilv...@gmail.com: Olá, meus caros, achei importante compartilhar esta experiencia, porque sei que nesta lista de emails há muitos outros jovens pesquisadores que gostam de organizar e promover eventos academicos. Já estou organizando uma segunda edicao em Fortaleza, para marco de 2015, de um evento que comecou em 2013 sobre Filosofia da Logica e da Matemática a partir de uma rubrica on colors and numbers. Será uma continuacao, mas por querer concentrar a segunda edicao do evento em questoes filosoficas contemporaneas a respeito do estatuto de cores, pensei claro em ter alguém falando dos Qualia. Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para mim. A crítica dele de nao querer participar de um evento apresentando razao tao radical entre mulheres e homens, me fez repensar os participantes, a estrutura do meu evento e meu implicit bias. Só havia pensado de fato em pesquisadores-homens (para minha surpresa e decepcao). Com um pouco de pesquisa, achei este site com pontos muito bons sobre o tema de radical gendered conferences. Nao concordo com algumas visoes e argumentos, mas acho a iniciativa muito iluminadora. http://feministphilosophers.wordpress.com/2011/03/26/how-to-avoid-a-gendered-conference/ abraco, Marcos Silva ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Lines of Thought
Puxa, deve ser interessante. Parabéns ao autor. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/01/2014, às 11:05, Joao Marcos botoc...@gmail.com escreveu: Para aqueles interessados em filosofia analítica, divulgo um livro recente de um colega da UFRN: Lines of Thought: Rethinking Philosophical Assumptions Claudio Costa Cambridge Scholars Publishing 2014 http://textosdefilosofiacontemporanea.blogspot.com.br/2014/01/advertisement-for-book-lines-of-thought_28.html JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Lines of Publishers: Cambridge Scholars Publishing vs Cambridge University Press
Bom, acho que todo bom livro tem resenhas boas. Esperemos para ver. Em todo caso, independentemente de onde foi publicado, trata de temas interessantes e merece análise. Que tal, epistemólogos? D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/01/2014, às 15:16, jean-yves beziau beziau...@gmail.com escreveu: So gostaria de apontar para quem nao sabe que a Cambridge Scholars Publishing (CSP) nao tem nada ver com a Cambridge University Press Tudo mundo pode facilemente publicar la A CSP esta caçando autores - fazendo circular muitos e-mails - dizendo que é facil e rapido publcar la. Esta estrategio de usar/abusar de nome conhecido por deformacao e transposicao é no mundo dos negocios muito conhecido e fica no limite da legalidade. Para aqueles interessados em filosofia analítica, divulgo um livro recente de um colega da UFRN: Lines of Thought: Rethinking Philosophical Assumptions Claudio Costa Cambridge Scholars Publishing 2014http://textosdefilosofiacontemporanea.blogspot.com.br/2014/01/advertisement-for-book-lines-of-thought_28.html JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] CNPq- transparencia- Produtividade em Pesquisa - PQ
Adolfo Ele ganhou a bolsa em filosofia? D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 29/01/2014, às 13:29, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Um colega meu de UTFPR, da área de Administração, que teve sua bolsa rejeitada comparou o currículo lattes dele com o currículo de todos os contemplados com bolsas PQ na área. No processo seguinte, enviou como projeto comparar as publciações dos diferentes pesquisadores da área. Vejam em http://lattes.cnpq.br/4974122990012680 O projeto é: O professor de pós-graduação da área de Administração, Contabilidade e Turismo e a produtividade em pesquisa: aprendendo com os bolsistas de produtividade em pesquisa (CNPq - PQ 2011 309653/2011-8) Descrição: À medida que uma comunidade acadêmica amadurece, é importante que reflita sobre seus objetivos e sobre os meios de atingi-los, garantindo melhor alinhamento dos esforços dos seus membros e a eficiência dos resultados alcançados. Uma discussão importante, nesse sentido, é sobre a produtividade do pesquisador, ou seja, sobre o que se espera dele e sobre a competência com que se incumbe do atingimento dessas expectativas. O CNPq, a Capes e outros órgãos de fomento possuem métricas a partir das quais avaliam o desempenho de pesquisadores e das instituições em que atuam. Em função disso, decidem sobre o apoio financeiro e reconhecimento da qualidade dos programas de pós-graduação. O objetivo do presente projeto de pesquisa é mapear as atividades científicas realizadas pelos professores de programas de pós-graduação da área de Administração, Contabilidade e Turismo a partir dos dados disponíveis na Plataforma Lattes, de modo que se possa avaliar sua produtividade e discutir estratégias para o aprimoramento do seu desempenho, comparativamente ao grupo de referência formado pelos bolsistas de produtividade em pesquisa (PQ). Para isso, serão coletados dados dos 1143 professores que atuaram em programas de pós-graduação e tiveram seus dados incluídos no Coleta Capes no triênio 2007-2009, dividindo-os em dois grupos: bolsistas e não-bolsistas. Como as bolsas PQ do CNPq são atribuídas a pesquisadores que se destaquem entre seus pares a diferenciação entre os dois grupos ajudará a esclarecer os atributos que distinguem os pesquisadores agraciados com essas bolsas dos demais, a partir da perspectiva das agências de fomento. Acredita-se que os resultados do estudo possam contribuir para que se avance na discussão sobre produtividade na pós-graduação no Brasil, proporcionando aos pesquisadores em geral meios de comparação do seu desempenho com os que fazem parte do grupo de referência, o que pode ajudá-los a definir estratégias para vir a compor o grupo dos bolsistas PQ no futuro. Resultado: bolsa PQ concedida! []s Adolfo -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] pesquisadores 1A do CNPq - filosofia
Achei a pesquisa do Alexandre meio estranha... De valem esses números todos? Se tivéssemos uma Harvard no BR possivelmente ela concentraria 100% das bolsas de pesquisa, e qual seria o problema? Mérito, ponto. Só falta virem com cotas também para isso. Gostaria de ver opiniões. Que tal interpretar esses dados, Alexandre? Abraço Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/01/2014, às 17:46, Vivek Nigam vivek.ni...@gmail.com escreveu: Caros colegas, Um colega da UFPB, Alexandre Duarte, programou alguns bots para extrair informações interessantes sobre os pesquisadores PQ. Ele postou alguns dados no seu blog: 1) Sobre PQ http://alexandre.ci.ufpb.br/bolsas-produtividade/ 2) Sobre Universal: http://alexandre.ci.ufpb.br/edital-universal/ Eu achei bem interessante os dados. Abraços, Vivek - Vivek Nigam Computer Science Department Federal University of Paraíba http://www.nigam.info/ 2014-01-30 Rodrigo Oliveira rodrigo@hotmail.com: Não tenho tempo de verificar outros nomes agora, mas é possível encontrar alguns sim. Claudio Gonçalves Almeida possui mestrado em Filosofia pela Universidade de São Paulo (1988) e doutorado em Filosofia pela McMaster University (1992), com estágio de pós-doutoramento na Rutgers University (1998 e 2007) e na New York University (1998). Atualmente, é Professor Titular do Programa de Pós-Graduação em Filosofia da Pontifícia Universidade Católica do Rio Grande do Sul. Tem experiência na área de Filosofia, com ênfase em Epistemologia, atuando principalmente nos seguintes temas: teorias da racionalidade, teorias do conhecimento, ceticismo e paradoxos epistêmicos. É colaborador convidado do fórum Certain Doubts (Baylor University), participante convidado da Rutgers Epistemology Conference (Rutgers University) e da Bled Epistemology Conference (Eslovênia), e parecerista das editoras Routledge, Palgrave-Macmillan, Cambridge University Press, Continuum Books e Broadview Press e dos periódicos Acta Analytica, Australasian Journal of Philosophy, Journal of Philosophical Research, Philosophical Studies, Philosophy and Phenomenological Research, The Southern Journal of Philosophy e Theoria (Suécia). Artigos seus foram publicados em periódicos e obras coletivas das editoras Cambridge University Press, Oxford University Press, Springer, e Wiley-Blackwell. É co-organizador de número especial do periódico Synthese (editora Springer). Sítio pessoal: phi-claudio.org (Texto informado pelo autor) Lattes: http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=P36256 Date: Thu, 30 Jan 2014 16:36:26 +0100 From: beziau...@gmail.com To: logica-l@dimap.ufrn.br Subject: [Logica-l] pesquisadores 1A do CNPq - filosofia Me parece que os unicos filosofos brasileiros (bolsistas CNPq 1ABCD, 2 ou nao bolsistas) que tem projecao internacional sao pessoas ligadas a logica. Se alguem tem um contre-exemplo seria um prazer conhecer esse(a) filsoloso(a). e incluir ele(a) no filme que estou fazendo junto com a Catherine sobre os mas importantes filosofos vivos do planeta Vem ai um extrato sobre filosofos franceses http://www.youtube.com/watch?v=ajyUaWfOVbs Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] O quanto nós devemos deixar os losers se ferrarem... / The Lives of Animals
Eduardo, eu me preocupo sim. Pode acreditar nisso, e não vou querer simplesmente passar pelo CA de filosofia. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/01/2014, às 03:50, Eduardo Ochs eduardoo...@gmail.com escreveu: Pra mim uma questão subjacente à de mérito = produtividade e à das cotas é a seguinte: o quanto nós devemos deixar os losers se ferrarem só por eles serem losers? Vou me dar a liberdade de fazer uma citação grande, abaixo, de um livro absolutamente genial - The Lives of Animals, do J.M. Coetzee; não tenho a tradução dele para Português (A vida dos animais - Companhia das Letras) online, mas tem um PDF do original aqui: http://tannerlectures.utah.edu/_documents/a-to-z/c/Coetzee99.pdf Deixa eu dar uma explicação. Toda vez que a gente discute meritocracia, critérios de mérito acadêmico, cotas, etc, a gente indiretamente está discutindo também esquerda, direita, política (tanto micro quanto macro), etc - que são coisas com uma carga emocional fortíssima... espero que a gente desta vez tenha a maturidade de usar a discussão mais pra cada um explicitar a sua posição e entender a dos outros do que pra cair na histeria e nos ataques ad-hominem... Por outro lado, eu SEI que nós - membros da lista, como um todo - não temos maturidade pra isto; eu sei que apesar das minhas boas intenções daqui a pouco este thread vai ter 200 mensagens, muitas super agressivas, como o thread sobre homeopatia, várias pessoas vão estar espumando de ódio de outras, vamos ter mais algumas mensagens pedindo que o moderador da lista (!!!) tome providências, e meia dúzia de pessoas vão se desinscrever da lista... mas uma coisa que eu aprendi este ano é que isto é inevitável, e não é problema meu. Mas voltando à citação que eu vou pôr abaixo. Um dos grandes temas do A vida dos animais é que não dá mais pra gente fingir que fechar os olhos pro sofrimento dos losers é algo que só os monstros fazem - todo mundo faz isto, em maior ou menor grau - e tá na hora da gente fazer algo melhor com relação a genocídios do que ficar histéricos num momento, e depois esquecer deles. (Lembrem que a minha motivação original pra postar isto era: o quanto a gente deve pleitear para coleguinhas losers? E: se a gente estivesse na posição do Décio, será que a gente conseguiria ter alguma empatia pelos coleguinhas losers? Bom, lá vai...) Between 1942 and 1945 several million people were put to death in the concentration camps of the Third Reich: at Treblinka alone more than a million and a half, perhaps as many as three million. These are numbers that numb the mind. We have only one death of our own: we can comprehend the deaths of others only one at a time: in the abstract we may be able to count to a million, but we cannot count to a million deaths. The people who lived in the countryside around Treblinka -- Poles, for the most part -- said that they did not know what was going on in the camp; said that, while in a general way they might have guessed what was going on, they did not know for sure; said that, while in a sense they might have known, in another sense they did not know, could not afford to know, for their own sake. The people around Treblinka were not exceptional. There were camps all over the Reich, nearly six thousand in Poland alone, untold thousands in Germany proper. Few Germans lived more than a few kilometres from a camp of some kind. Not every camp was a death camp, a camp dedicated to the production of death, but horrors went on in all of them, more horrors by far than one could afford to know, for one's own sake. It is not because they waged an expansionist war, and lost it, that Germans of a particular generation are still regarded as standing a little outside humanity, as having to do or be something special before they can be readmitted to the human fold. They lost their humanity, in our eyes, because of a certain willed ignorance on their part. Under the circumstances of Hitler's kind of war, ignorance may have been a useful survival mechanism, but that is an excuse which, with admirable moral rigor, we refuse to accept. In Germany, we say, a certain line was crossed which took people beyond the ordinary murderousness and cruelty of warfare into a state that we can only call sin. The signing of the articles of capitulation and the payment of reparations did not put an end to that state of sin. On the contrary, we said, a sickness of the soul continued to mark that generation. It marked those citizens of the Reich who had committed evil actions, but also those who, for whatever reason, were in ignorance of those actions. It thus marked, for practical
Re: [Logica-l] CNPq - Resultado do julgamento - [307134/2013-0] - Produtividade em Pesquisa - PQ - 2013
Caro JM, caros da lista, colegas do CA Um esclarecimento se faz necessário com respeito à mensagem enviada pelo JM acerca da decisão do CNPq sobre seu pedido de bolsa de pesquisa. O Comitê (CA) recomendou vários projetos que não foram contemplados, segundo eles, por falta de dinheiro. Segundo eles, seriam necessárias novas bolsas; em Outubro, pedimos que criassem mais cinco pelo menos, mas nada ocorreu. Novas bolsas são necessárias não somente para que novos pesquisadores entrem no sistema mas também para que pesquisadores 2 possam progredir para 1. De cada bolsa 1, pode-se criar duas bolsas 2. Estamos analisando criteriosamente os pesquisadores 1 (independentemente de seu renome) para ver se eles realmente cumprem os ditames que estão nas “condições” propostas pelo CNPq para pesquisadores (cada nível tem condições a serem cumpridas). É fácil ver que muitos não cumprem, e deveriam ser desclassificados ou rebaixados. Isso pode ser feito quando do pedido de novas bolsas por parte deles, e na minha opinião isso DEVE ser feito. Se um PQ 1 descer para 2 ou for eliminado, abre-se uma nova vaga. Mas é preciso um pouco de paciência; não se consegue mexer com tudo de uma só vez. Recomendo que não desistam, continuem insistindo, enviando novamente projetos cada vez melhores e voltados para a Filosofia; lembrem que a área é Filosofia, e não, por exemplo, Matemática ou Ciência da Computação. Assim, insistam nas relações de seu trabalho com questões filosóficas, e centrem fogo em publicações em revistas de Filosofia. Na hierarquização, um trabalho em revista filosófica é priorizado em relação a um trabalho em revista de outra área de mesmo mérito. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 24/01/2014, à(s) 23:03, Joao Marcos botoc...@gmail.com escreveu: Olá, amigos, reparti com vocês meu insucesso no comitê CC nos 3 últimos anos, alguns me sugeriram tentar no comitê FI. Fi-lo. Eis o resultado: idêntico insucesso. É a vida. Abraços, João Marcos Nome: Joao Marcos de Almeida Processo: 307134/2013-0 Modalidade: Produtividade em Pesquisa - PQ - 2013 Prezado(a) Senhor(a), Comunicamos que, de acordo com o estabelecido nas normas do CNPq para a modalidade de bolsa acima, sua proposta foi analisada pelo Comitê de Filosofia e teve o seu mérito reconhecido. No entanto, na análise comparativa com as demais propostas, o seu pedido não alcançou classificação que permitisse o atendimento. O CNPq permanece à disposição de V.Sa. para novas solicitações em outras oportunidades. Atenciosamente, Guilherme Sales Soares de Azevedo Melo Diretor de Engenharias, Ciências Exatas e Humanas e Sociais ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] CNPq - Resultado do julgamento - [307134/2013-0] - Produtividade em Pesquisa - PQ - 2013
Estou de total acordo com a mensagem do Walter. Isso precisa ficar MUITO claro. Vamos ver como fazer isso. Abraços Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 28/01/2014, à(s) 18:15, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Walter, Nós do grupo bolsapesq temos pedido isto e outras coisas faz tempo. Sem sucesso, por enquanto. Adolfo Em 28/01/2014 12:51, Walter Carnielli walter.carnie...@gmail.com escreveu: Caros, acho que paciêncai já tivemos e temos tido, e muita. A única maneira de o argumento No entanto, na análise comparativa com as demais propostas, o seu pedido não alcançou classificação que permitisse o atendimento é publicar a lista de todos os candidatos, ou pelo menos dos que alcançaram classificação e de seus projetos vencedores. Onde está a cumprimento por parte do CNPq da Lei de Acesso à Informação? http://www.planalto.gov.br/ccivil_03/_ato2011-2014/2011/lei/l12527.htm Abs, Walter Em 25 de janeiro de 2014 12:31, Décio Krause deciokra...@gmail.com escreveu: Caro JM, caros da lista, colegas do CA Um esclarecimento se faz necessário com respeito à mensagem enviada pelo JM acerca da decisão do CNPq sobre seu pedido de bolsa de pesquisa. O Comitê (CA) recomendou vários projetos que não foram contemplados, segundo eles, por falta de dinheiro. Segundo eles, seriam necessárias novas bolsas; em Outubro, pedimos que criassem mais cinco pelo menos, mas nada ocorreu. Novas bolsas são necessárias não somente para que novos pesquisadores entrem no sistema mas também para que pesquisadores 2 possam progredir para 1. De cada bolsa 1, pode-se criar duas bolsas 2. Estamos analisando criteriosamente os pesquisadores 1 (independentemente de seu renome) para ver se eles realmente cumprem os ditames que estão nas “condições” propostas pelo CNPq para pesquisadores (cada nível tem condições a serem cumpridas). É fácil ver que muitos não cumprem, e deveriam ser desclassificados ou rebaixados. Isso pode ser feito quando do pedido de novas bolsas por parte deles, e na minha opinião isso DEVE ser feito. Se um PQ 1 descer para 2 ou for eliminado, abre-se uma nova vaga. Mas é preciso um pouco de paciência; não se consegue mexer com tudo de uma só vez. Recomendo que não desistam, continuem insistindo, enviando novamente projetos cada vez melhores e voltados para a Filosofia; lembrem que a área é Filosofia, e não, por exemplo, Matemática ou Ciência da Computação. Assim, insistam nas relações de seu trabalho com questões filosóficas, e centrem fogo em publicações em revistas de Filosofia. Na hierarquização, um trabalho em revista filosófica é priorizado em relação a um trabalho em revista de outra área de mesmo mérito. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 24/01/2014, à(s) 23:03, Joao Marcos botoc...@gmail.com escreveu: Olá, amigos, reparti com vocês meu insucesso no comitê CC nos 3 últimos anos, alguns me sugeriram tentar no comitê FI. Fi-lo. Eis o resultado: idêntico insucesso. É a vida. Abraços, João Marcos Nome: Joao Marcos de Almeida Processo: 307134/2013-0 Modalidade: Produtividade em Pesquisa - PQ - 2013 Prezado(a) Senhor(a), Comunicamos que, de acordo com o estabelecido nas normas do CNPq para a modalidade de bolsa acima, sua proposta foi analisada pelo Comitê de Filosofia e teve o seu mérito reconhecido. No entanto, na análise comparativa com as demais propostas, o seu pedido não alcançou classificação que permitisse o atendimento. O CNPq permanece à disposição de V.Sa. para novas solicitações em outras oportunidades. Atenciosamente, Guilherme Sales Soares de Azevedo Melo Diretor de Engenharias, Ciências Exatas e Humanas e Sociais ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Uma questao estrategica
É, Walter. É isso mesmo. Caça níqueis. Mas a idéia de uma revista Paraconsistency pode ser interessante. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 15/01/2014, às 22:38, Walter Carnielli walter.carnie...@gmail.com escreveu: Caros, agradeço às ponderações do Marcos Silva, João Marcos, Chico Miraglia, Itala, Júlio, Finger, Décio e Tony Marmo. Concordo plenamente com o Chico Miraglia, no sentido em que não há vazio político (pois se houvesse, ele seria preenchido em velocidade superliminar...) e discordo do João Marcos quando vê isso como teoria da conspiração. Como eu disse a ele, infelizmente não se trata nem de teoria, é a pratica da conspiração. E concordo também com o Marcos Silva, quando alerta para o perigo da perpetuação do discurso desencaminhador do tipo a 'escola latina' nao tem 'estofo filosófico'. É o mesmo discurso da relevância filosófica, travestido. Contudo, a resposta da minha primeira indagação à De Gruyter veio ontem: quem pagaria pelo open access model? Seria o mesmo valor absurdo de 1.700 Euros por artigo das outras revistas da editora? A resposta: não, seriam apenas 750 Euros por artigo, cobrados a partir do terceiro ano da revista. Acho isso totalmente inaceitável: não se trata de open access nenhum, mas apenas da mudança de quem paga o pato. Eles concordariam até com meus argumentos sobre abrir o escopo da revista para Paraconsistency em geral, dado que isso não prejudica o business. O pior de tudo, porém, foi que me ofereceram participação nos efeitos comerciais, ou seja, eu (ou quem quer que seja o editor) vai lucrar com o dinheiro público. A ciência que se ... exploda. Não posso aceitar. Abraços, Walter Em 15 de janeiro de 2014 08:06, Francisco Miraglia mirag...@math.univ-paris-diderot.fr escreveu: Caro Walter, Penso que voce deveria aceitar a indicação por razões científicas e de política científica (não há vazio político). Como voce próprio menciona, já passou do tempo para que não apenas um grupo de pessoas receba crédito, quando há muito trabalho em outros lugares, o Brasil em particular, na área da paraconsistência. Quanto ao fato de que o título da publicação é pretensioso, devemos lembrar a política de reconstrução da matemática polonêsa após a guerra, com a fundação de jornais que possuiam a abertura para a prospecção e o desenvolvimento de áreas muito novas. É fácil encomendar trabalho para os outros; porém os argumentos acima, assim como outros que foram apresentados por todos os colegas queme antecederam, justificam a encomenda. Um grande abraço, Chico Miraglia PS :Como trabalho em áreas muito clássicas, não concordo com os todos os argumentos do Júlio. Mas este não é nem o lugar, nem o momento para este debate, interessante em si mesmo. On Monday, January 13, 2014 19:03 CET, Julio Stern jmst...@hotmail.com wrote: Walter: Concordo com a Itala! Aceite a proposta! Acho que as areas mais interessantes da Matematica, Logica ou Sciencia em geral, sao exatamente aquelas que nao estao maduras o suficiente. Eh neste ponto que o trabalho mais importante acontece! Quando as areas ja estao plenamente desenvolvidas, a maioria dos trabalhos apresentados desenvolvem minucias irrelevantes... A banda ja passou...Mais ainda, creio que este convite eh um reconhecimento nao apenas a voce (que tem todo o merito do mundo), mas a decadas de trabalho da mais alta qualidade sendo desenvolvido no Brasil. Acho que este eh mais um ponto que voce deve levar em consideracao, antes de ter ataques de modestitis reverberantisFinalmente, acho otimo o titulo da revista: Paraconsistent Mathematics - que aponta para um escopo geral e abrangente, ainda que restrito aas ciencias formais. Abraco, ---JulioDate: Mon, 13 Jan 2014 15:27:52 -0200 From: it...@cle.unicamp.br To: walter.carnie...@gmail.com CC: logica-l@dimap.ufrn.br Subject: Re: [Logica-l] Uma questã erstretégica Walter: Penso que você deve aceitar, sim. Concordo que, de fato, a área de Paraconsistent Mathematics está ainda insipiente, Entretanto, até pela própria edição dessa nova publicação, poderá receber um bom impulso. Acho muito bom que o editor seja você! itala Caros Colegas, estudantes e participantes interessados nos temas da Lista: recebi hoje um convite da editora De Gruyter para atuar como editor-chefe de uma nova publicação dedicada à Paraconsistent Mathematics; segundo eles, o novo journal is about to be published in Open Access model. Tenho profundas dúvidas, e acho prudente e conveniente discutir aqui esta questão, esperando ter resposta dos
Re: [Logica-l] Perdao a Turing
João Concordo inteiramente com o Walter. Você deveria estender o seu comentário para um artigo em uma revista de divulgação como Galileu (?) ou Sci. Am. BR ou um jornal mesmo, como a Folha. Bacana. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 26/12/2013, às 10:42, Walter Carnielli walter.carnie...@gmail.com escreveu: Caro João, caramba, voce deveria escrever para jornais! Onde você aprendeu tudo isso?? Pelo que vimos: a graça, se dada em tempo, teria servido a Turing para extinguir a pena, mas dada extemporaneamente não serviu para nada. A pena ele já cumpriu (só interrompida pelo singelo fato de que morreu, aparentemente vítima do serviço secreto de Sua Majestade), e a culpa permanece. Não sabia disso, apesar de ter assinado a e-petição. Mas duvido que mesmo o Barry Cooper saiba da distinção entre pardon, grace e mercy... Feliz ano novo, Walter Em 26 de dezembro de 2013 01:35, Joao Marcos botoc...@gmail.com escreveu: Há um problema de tradução aí. O perdão real concedido pela chamada royal prerogative of mercy não exime o criminoso de culpa, nem sequer reconhece falta no processo que o condenou. No Brasil o termo jurídico para isso é graça, que pode ser concedida apenas pelo Chefe de Estado (ver artigos 734-742 do Código Penal: Da Graça do Indulto, e da Anistia --- nenhum dos três termos, contudo, deve ser confundido com o uso coloquial de perdão). A Rainha E2 não pediu desculpas a Turing, mas simplesmente agraciou-o. Concedida na hora certa (isto é, antes do cumprimento da condenação), a graça teria lhe servido para extinguir a pena, como um dia serviu ao pirata Barbanegra, agraciado pela Coroa Britânica e algum tempo depois morto pela Marinha Estadunidense --- que, afinal, não devia satisfações a um rei saxão. Com efeito, Turing está agora na companhia seleta de vários dos condenados que fundaram a Austrália, do 1o Marquês do Maranhão (Lord Cochrane, grande heroi da Independência Peruana, condecorado por D. Pedro I), mais um par de piratas, alguns blasfemos ou apóstatas, uns tantos assassinos, um oficial nazista condecorado, o judeu criador da sub-metralhadora mais popular do mundo, e diversas pessoas dos partidos políticos errados: http://en.wikipedia.org/wiki/Category:Recipients_of_British_royal_pardons Sim, há também na brevíssima lista um economista, John Law --- uma clemência difícil de explicar, neste caso. Concedida post-mortem, a graça é figura jurídica tão útil quanto a própria Rainha da Inglaterra. A graça exime a responsabilidade do cidadão pelo delito que ele de fato cometeu, e com isso extingue a punibilidade. No Brasil, o indulto é a forma de graça concedida pela Presidência da República a uma coletividade, e também pressupõe a condenação. É popular também o indulto natalino oferecido amplamente pelo papa aos seus seguidores nesta época do ano. Por fim, a anistia (em Portugal, amnistia), ou mesmo o perdão, podem ser concedidas pela autoridade legisladora a qualquer momento do processo, e tem por efeito o esquecimento da infração penal. Note-se assim que a anistia tem caráter de generalidade e diz respeito ao fato que causa a punição: ao extinguir o próprio crime, ela por consequência beneficia o réu. Já o perdão é concedido pelo magistrado em circunstâncias excepcionais, como quando as consequências da infração atingiram ao próprio agente de forma tão grave que a pena se torna desnecessária (por exemplo, quando o pai perde um filho por tê-lo deixado fechado dentro do carro). Em inglês jurídico, indulto com mais frequência se diz pardon do que mercy, e às vezes tem o efeito adicional de perdão (daquele que consiste na remissão total dos pecados) --- com isso só confundindo mais as coisas para todos nós, pobres mortais. * * * Quem tiver interesse histórico no assunto pode ler mais sobre o decreto-lei vitoriano que criminalizou a homossexualidade masculina (An Act to make further provision for the Protection of Women and Girls, the suppression of brothels, and other purposes): http://en.wikipedia.org/wiki/Criminal_Law_Amendment_Act_1885 * * * Uma boa pergunta seria: a Câmara dos Lordes ou o Parlamento Britânico terão oficialmente concedido anistia ao crime de gross indecency, pelo qual foram condenados Alan Turing, Oscar Wilde, e outros tantos cujos nomes a história esqueceu? Bem, quem quiser acompanhar em particular o processo (ainda em andamento!) de perdão estatutário a Alan Turing pelo Parlamento, pode fazê-lo por RSS ou email: http://services.parliament.uk/bills/2013-14/alanturingstatutorypardon.html Este é certamente um serviço público interessante para os 37.404 assinantes da e-petição que deu partida ao processo (http
Re: [Logica-l] Paraconsistent Logics Applications
Sim, mas a comunidade filosófica acha que a filosofia tem procedimentos próprios de avaliação, com o que não concordo. Todos os filósofos bons que conheço publicam em boas revistas, além obviamente de livros por editora consagradas, mas aqui muita gente acha que basta publicar livros em português, que não recebem resenhas críticas, pois não é nosso hábito. Qualquer crítica é levada para o lado pessoal. Ademais, o português não é lido nem em Buenos Aires. Textos em português devem ser dirigidos para alunos, não para expressar teses filosóficas, pois não serão lidos por quem deveriam. Temos ainda um longo caminho, com gente colocando pedras na frente. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 18/12/2013, às 23:58, Joao Marcos botoc...@gmail.com escreveu: PS: Infelizmente, a preocupação da CAPES e do CNPq com *impacto* é quase nula. Só importa mesmo a ^quantidade^ de papers publicados nos lugares certos. O teu PS está mudando. Já se olham sim os veículos. Queiramos ou nâo, os índices de impacto virão. Inch'allah! De todo modo, *produzir* é condição ^necessária^ para ser citado. Torçamos para que com o inchaço da produção irrelevante brasileira, cresça junto também a produção de relevo. JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Paraconsistent Logics Applications
Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, fabricação de cerveja, engenharia elétrica, medicina, etc? No artigo em anexo há alguma referência, mas a coisa está rolando desde então. Basicamente, são aplicações das lógicas anotadas, e são bem interessantes. Procure por Kazumi Nakamatsu. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 18/12/2013, à(s) 20:09, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Questão no Quora: http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful Gostei desta resposta, de Robert J. Kolkerhttp://www.quora.com/Robert-J-Kolker Meaningful yes. I have not seen a slam bang useful application of a truly paraconsistent logic. Perhaps you can provide some examples. Eu continuo procurando... Claro, só estou interessado em aplicações concretas em Computação. Se alguém souber de algo, me avise. == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paraconsistent Logics Applications
Adolfo Bom, eu não sei o que quer dizer “aplicação real”, mas entendo seu ponto. O que eles fazem, no meu entender, é encontrar um modo alternativo de “fuzzificar” algo. Isso é o que parece interessar. Mas veja que o fato das pessoas não usarem ou não entenderem não implica que a coisa não seja boa. Seria preciso que alguém se debruçasse sobre o que fizeram e analisasse realmente as vantagens. Mas sabemos que isso é difícil, pois cada um fica ocupado com seus botões…paciência. Mas eu não descartaria o trabalho deles em princípio. Abraço D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 18/12/2013, à(s) 20:36, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Décio, Como já disse em outros emails, estou procurando aplicações reais (isto é, que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em Computação. Não encontrei nenhuma até hoje. Quero muito encontrar. Quanto ao Kazumi (http://www.informatik.uni-trier.de/~ley/pers/hd/n/Nakamatsu:Kazumi), procurei por ele no ISI. O artigo mais citado dele tem 17 citações. A maioria absoluta são auto-citações. Os que não são auto-citações não são citados. Enfim, tudo indica desinteresse por parte de quem aplica. []s Adolfo 2013/12/18 Décio Krause deciokra...@gmail.com Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, fabricação de cerveja, engenharia elétrica, medicina, etc? No artigo em anexo há alguma referência, mas a coisa está rolando desde então. Basicamente, são aplicações das lógicas anotadas, e são bem interessantes. Procure por Kazumi Nakamatsu. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 18/12/2013, à(s) 20:09, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Questão no Quora: http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful Gostei desta resposta, de Robert J. Kolkerhttp://www.quora.com/Robert-J-Kolker Meaningful yes. I have not seen a slam bang useful application of a truly paraconsistent logic. Perhaps you can provide some examples. Eu continuo procurando... Claro, só estou interessado em aplicações concretas em Computação. Se alguém souber de algo, me avise. == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Paraconsistent Logics Applications
Adolfo E porque você tem que esperar que alguém te aponte a utilidade das LP? Por que não descobre isso sozinho, ou as enterra de vez? Abç D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 18/12/2013, às 20:46, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Não descarto trabalho nenhum. A utilidade deles pode ser descoberta no futuro. Minha preocupação é que cedo ou tarde (e imagino que será bem cedo) nós e nossos programas seremos julgados por CAPES e CNPq baseado na quantidade de citações a nossos trabalhos (se é que já não somos). Portanto tenho interesse em saber qual o real interesse em lógicas paraconsistentes, para o caso de voltar a trabalhar com elas. 2013/12/18 Décio Krause deciokra...@gmail.com Adolfo Bom, eu não sei o que quer dizer “aplicação real”, mas entendo seu ponto. O que eles fazem, no meu entender, é encontrar um modo alternativo de “fuzzificar” algo. Isso é o que parece interessar. Mas veja que o fato das pessoas não usarem ou não entenderem não implica que a coisa não seja boa. Seria preciso que alguém se debruçasse sobre o que fizeram e analisasse realmente as vantagens. Mas sabemos que isso é difícil, pois cada um fica ocupado com seus botões…paciência. Mas eu não descartaria o trabalho deles em princípio. Abraço D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 18/12/2013, à(s) 20:36, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Décio, Como já disse em outros emails, estou procurando aplicações reais (isto é, que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em Computação. Não encontrei nenhuma até hoje. Quero muito encontrar. Quanto ao Kazumi (http://www.informatik.uni-trier.de/~ley/pers/hd/n/Nakamatsu:Kazumi), procurei por ele no ISI. O artigo mais citado dele tem 17 citações. A maioria absoluta são auto-citações. Os que não são auto-citações não são citados. Enfim, tudo indica desinteresse por parte de quem aplica. []s Adolfo 2013/12/18 Décio Krause deciokra...@gmail.com Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, fabricação de cerveja, engenharia elétrica, medicina, etc? No artigo em anexo há alguma referência, mas a coisa está rolando desde então. Basicamente, são aplicações das lógicas anotadas, e são bem interessantes. Procure por Kazumi Nakamatsu. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 18/12/2013, à(s) 20:09, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Questão no Quora: http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful Gostei desta resposta, de Robert J. Kolkerhttp://www.quora.com/Robert-J-Kolker Meaningful yes. I have not seen a slam bang useful application of a truly paraconsistent logic. Perhaps you can provide some examples. Eu continuo procurando... Claro, só estou interessado em aplicações concretas em Computação. Se alguém souber de algo, me avise. == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
Re: [Logica-l] Paraconsistent Logics Applications
JM O teu PS está mudando. Já se olham sim os veículos. Queiramos ou nâo, os índices de impacto virão. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 18/12/2013, às 23:37, Joao Marcos botoc...@gmail.com escreveu: Costumo dizer que se o Newton da Costa (o mais citado lógico brasileiro) tivesse interesse no *concreto*, ele teria permanecido como Engenheiro Civil. E eu também. JM PS: Infelizmente, a preocupação da CAPES e do CNPq com *impacto* é quase nula. Só importa mesmo a ^quantidade^ de papers publicados nos lugares certos. 2013/12/18 Adolfo Neto ado...@dainf.ct.utfpr.edu.br: Não descarto trabalho nenhum. A utilidade deles pode ser descoberta no futuro. Minha preocupação é que cedo ou tarde (e imagino que será bem cedo) nós e nossos programas seremos julgados por CAPES e CNPq baseado na quantidade de citações a nossos trabalhos (se é que já não somos). Portanto tenho interesse em saber qual o real interesse em lógicas paraconsistentes, para o caso de voltar a trabalhar com elas. 2013/12/18 Décio Krause deciokra...@gmail.com Adolfo Bom, eu não sei o que quer dizer “aplicação real”, mas entendo seu ponto. O que eles fazem, no meu entender, é encontrar um modo alternativo de “fuzzificar” algo. Isso é o que parece interessar. Mas veja que o fato das pessoas não usarem ou não entenderem não implica que a coisa não seja boa. Seria preciso que alguém se debruçasse sobre o que fizeram e analisasse realmente as vantagens. Mas sabemos que isso é difícil, pois cada um fica ocupado com seus botões…paciência. Mas eu não descartaria o trabalho deles em princípio. Abraço D *Décio Krause* *Departamento de Filosofia* *Universidade Federal de Santa Catarina* *www.cfh.ufsc.br/~dkrause http://www.cfh.ufsc.br/~dkrause* Em 18/12/2013, à(s) 20:36, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Décio, Como já disse em outros emails, estou procurando aplicações reais (isto é, que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em Computação. Não encontrei nenhuma até hoje. Quero muito encontrar. Quanto ao Kazumi ( http://www.informatik.uni-trier.de/~ley/pers/hd/n/Nakamatsu:Kazumi), procurei por ele no ISI. O artigo mais citado dele tem 17 citações. A maioria absoluta são auto-citações. Os que não são auto-citações não são citados. Enfim, tudo indica desinteresse por parte de quem aplica. []s Adolfo 2013/12/18 Décio Krause deciokra...@gmail.com Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, fabricação de cerveja, engenharia elétrica, medicina, etc? No artigo em anexo há alguma referência, mas a coisa está rolando desde então. Basicamente, são aplicações das lógicas anotadas, e são bem interessantes. Procure por Kazumi Nakamatsu. Abraço Décio *Décio Krause* *Departamento de Filosofia* *Universidade Federal de Santa Catarina* *www.cfh.ufsc.br/~dkrause http://www.cfh.ufsc.br/~dkrause* Em 18/12/2013, à(s) 20:09, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Questão no Quora: http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful Gostei desta resposta, de Robert J. Kolker http://www.quora.com/Robert-J-Kolker Meaningful yes. I have not seen a slam bang useful application of a truly paraconsistent logic. Perhaps you can provide some examples. Eu continuo procurando... Claro, só estou interessado em aplicações concretas em Computação. Se alguém souber de algo, me avise. == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less
[Logica-l] Meu deus...
Pessoal Vejam o que há no verbete em português da Wikipedia Lógica, e isso é só um detalhe...há outras pérolas... Lógica paraconsistente: É uma forma de lógica onde não existe o princípio da contradição. Nesse tipo de lógica, tanto as orações afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicações desse tipo de lógica é o estudo da semântica, especialmente em se tratando dos paradoxos. Um exemplo: fulano é cego, mas vê. Pelo princípio da lógica clássica, o indivíduo que vê, um não-cego, não pode ser cego. Na lógica paraconsistente, ele pode ser cego para ver algumas coisas, e não-cego para ver outras coisas. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Interessante Peter Higgs no Guardian
Pois é, Mario, mas são poucos os Higgs, Gödels, Wittgensteins e outros. E ele tem razão em que não passaria em um concurso em uma federal e, se passasse, seria Auxiliar 1. A maioria pensa que é como eles, e ao menos se porta como se fossem, mas não são. Assim, nos resta o critério da produção. Infelizmente, não conhecemos critério melhor. Aproveitando: Acho que estamos, no Brasil, saindo da quantidade para a qualidade. Melhor menos, mas mais bem colocado. No entanto, ao menos em filosofia, o povo ainda insiste em ser lido apenas em seu quarteirão, publicando prioritariamente em português, que não é lido nem em Buenos Aires…e com isso nossa filosofia não alcança reconhecimento a não ser internamente. E ser o melhor lógico de seu quarteirão via de regra não significa nada (faço a qualificação porque tenho um problema com relação a isso: Newton Costa mora a 500 metros de minha casa! Eu não consigo ser o melhor lógico nem de meu quarteirão!! AhAh). Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 09/12/2013, à(s) 14:07, Mario Benevides ma...@cos.ufrj.br escreveu: http://www.theguardian.com/science/2013/dec/06/peter-higgs-boson-academic-system -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] uma questão de terminologia
Arthur
Creio que não aja um nome para isso, exceto se for em um contexto bem
determinado. Seu conjunto é simplesmente a união de outros, por exemplo, da
função formada pelos pares com o unitąrio do 7.
Abraço
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 05/12/2013, às 11:07, Arthur Buchsbaum arthu...@gmail.com escreveu:
Caros colegas:
Como denominar uma classe que não necessariamente é relação (isto é, a
mesma pode ter um elemento que não é par ordenado), mas cuja coleção de
seus pares ordenados é uma função?
Por exemplo, considere R = {5,3,7,9,3,2,5}. Considerando que 7 não é
par ordenado, então R não é uma relação, mas o subconjunto
{5,3,9,3,2,5} de R é uma função.
Tenho denominado em aulas classes como R de funcionais, mas talvez esta
não seja a terminologia mais indicada, visto que algo funcional em
matemática seria, se não me engano, uma função cujos argumentos são também
funções.
Att.,
Arthur Buchsbaum
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Notae Philosophicae Scientiae Formalis
Parabéns, Frank. Bem bacana o volume. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 06/12/2013, à(s) 18:41, FRANK THOMAS SAUTTER ftsaut...@ufsm.br escreveu: Aos colegas informo que o novo número da revista Notae Philosophicae Scientiae Formalis já está disponível no endereço http://gcfcf.com.br/pt/npsf/ O número inclui as contribuições de Enrique Alonso, Ignacio Angelelli, Eduardo Barrio, Manuel Correia, Oscar Esquisabel, Eduardo Giovaninni, Gisele Secco e Michel Serfati. A contribuição de Oscar Esquisabel é uma tradução comentada de uma avaliação de Leibniz relativa a um projeto de pesquisa para a construção de uma linguagem universal, submetido ao Rei da Prússia para a obtenção de recursos financeiros. Bastante instrutivo! Instruções sobre submissão de trabalho podem ser encontradas na página. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] artigo sobre sistemas de valorações
Pessoal eu também perguntei se alguém tem acesso ao artigo em Journal of Applied Non-Classical Logics Volume 22, Issue 1-2, 2012, pp.105-124. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 04/12/2013, à(s) 18:14, Joao Marcos botoc...@gmail.com escreveu: PessoALL: Será que algum dos colegas poderia me conseguir uma cópia do paper seguinte? M. D. Ryan and M. R. Sadler. Valuation systems and consequence relations. In S. Abramsky, D. Gabbay, and T. Maibaum, editors, Handbook of Logic in Computer Science, volume 1. Oxford University Press, 1992. Desde já agradecido, Joao Marcos -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Pedido de um artigo
Caros Tenho um paper com Jonas Arenhart, conforme abaixo, e preciso de uma cópia na forma publicada. Mas na UFSC não temos acesso à revista. Alguém tem acesso a ela e pode por favor me enviar uma cópia? Agradeço mil vezes. Abraços Décio Journal of Applied Non-Classical Logics Volume 22, Issue 1-2, 2012, pages 105-124 Special Issue: SPECIAL ISSUE 1: Uses of Non-Classical Logic: Foundational Issues; SPECIAL ISSUE 2: Formal A discussion on quantum non-individuality DOI:10.1080/11663081.2012.682447 Décio Krausea* Jonas R. Becker Arenhartb Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] consequencia significativa
Quer dizer então que em A |= B podemos dizer que a é hetero? -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/11/2013, às 22:28, Marcelo Finger mfin...@ime.usp.br escreveu: OI Andrea Eu sabia que esta sabedoria não teria escapado aos mais argutos pensadores da lógica ... Agora, sim, sabemos o que esta argucia toda acarreta. []s Marcelo 2013/11/20 Andrea Loparic alopa...@gmail.com: Marcelo, essa era a famosa tradução do Balthazar, apregoada depois das várias doses de Underberg co m Steinhager, nas reuniões do Kampinas Kreiss no bar da Rodoviária, dos tempos heroicos da fundação do CLE - 1976. P enraba Q, mas Q não enraba P: quem enraba nãoP é só nãoQ... etc... Andrea Em 20 de novembro de 2013 20:45, Marcelo Finger mfin...@ime.usp.br escreveu: Caros. Eu estava esperando alguém ter a iniciativa de manifestar o pensamento que jaz subjacente a esta discussão sobre a correta tradução de um termo técnico, mas como ninguém teve a coragem, não posso deixar esta ocasião passar. A correta tradução de entailment é enrabada e A |= B deve ser lido como A enraba B. Serei grande sucesso entre os alunos doravante :-) []s Marcelo PS: Esta discussão acarreta na escolha pela melhor tradução ser aquela que está auto-referenciada neste postscriptum. 2013/11/20 Walter Carnielli walter.carnie...@gmail.com: Olá Júlio, sim, talvez voce tenha razao, mas dessumor é fantástico: é uma espécie de contrário ao ato de assumir! Usarei doravante :-) Abs Walter Em 19 de novembro de 2013 23:51, Julio Stern jmst...@hotmail.com escreveu: Walter: Creio que, em latim, Illatus eh o participio passado de Inferre Assim, em Portugues, deveriamos considerar Ilacao como o a forma substantiva de Inferir, sinonimo de Inferencia. Por esta razao, talvez seja uma ma ideia introduzir qualquer distincao semantica entre Ilacao e Inferencia. ---Julio Stern Date: Tue, 19 Nov 2013 23:38:05 -0200 From: walter.carnie...@gmail.com To: beziau...@gmail.com CC: logica-l@dimap.ufrn.br Subject: Re: [Logica-l] consequencia significativa De fato, ilação é um substantivo, mas é defectivo (não existe o verbo correspondente). Outra bela opção é dessumir, que conforme o Dicionário Houaiss no presente do indicativo se conjuga como “dessumo, dessumes, dessume, dessumimos, dessumem”. Pode -se traduzir então A entails B como A dessume B, e entailment como dessunção. Walter Em 19 de novembro de 2013 23:23, jean-yves beziau beziau...@gmail.com escreveu: Bonita essa palavra ilacao ! mas como conjugar? Talvez se pode usar a expressao consequencia significativa para traduzir entailment no sentido de Anderson e Belnap ja que a ideia deles e levar em conta o sentindo. Neste caso podemos dizer que a proposicao JM gosta de queijo minas nao é uma consequencia significativa das proposicoes JM sabe tudo de logica e JM nao sabe alguma coisa de logica JYB ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman
Re: [Logica-l] Palestras de Richard Feynman (com legendas em Português)
Eu acho isso muito bom, mas (lá vou eu levar bomba de novo...) creio que nada de filosofia ou ciència escrito ou dito em inglês deveria ser traduzido. O melhor seria fazer com que nossos alunos lessem e se possível escrevessem em inglês (e espanhol), pelo menos. Sugiro que leiam a entrevista com o matemático Cesar Camacho nas páginas amarelas da VEJA desta semana. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 14/11/2013, às 09:49, psdias2 psdi...@yahoo.com.br escreveu: A quem possa interessar: O dono do canal novoiluminismo, no Youtube, está traduzindo para o português algumas palestras de Richard Feynman. Por enquanto, só há duas traduzidas, mas acho que ele vai chegar a traduzir 7 palestras: 1/7) A Lei da Gravitação: http://www.youtube.com/watch?v=_ZTA6KCNtAs 2/7) A Relação entre a Matemática e a Física: http://www.youtube.com/watch?v=GlFf5sfWsIs Paulo ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: Oferta Beca Doctoral
Alguém pode se interessar -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Início da mensagem encaminhada De: Pablo Lorenzano pablo.lorenz...@gmail.com Data: 13 de novembro de 2013 21:33:47 BRST Para: undisclosed-recipients:; Assunto: Enc.: Oferta Beca Doctoral Se solicita la mayor difusión de este mensaje (a través de las instituciones y sociedades a las que pertenecen o, directamente, a las personas que consideren pudieran estar interesadas) (la información también se encuentra disponible en: http://www.foncyt.mincyt.gov.ar/bolsa_becas/index.php?prov_search=6area_search=apellido_search=titulo_search=keywords=buscar=Buscar#pag_link; para mayor información, consultar http://www.agencia.mincyt.gob.ar/frontend/agencia/post/712 y/o escribir a: pablo.lorenz...@gmail.com).: RESULTADOS DE LA BUSQUEDA Tipo de Beca: Inicial Área: Ciencias Humanas Investigador Responsable: Pablo Julio Lorenzano Título del Proyecto: La filosofía general de la ciencia y las filosofías especiales de la ciencia a la luz de la problemática de las leyes y las teor Código del Proyecto: PICT-2012-2662 Institución Beneficiaria: Universidad Nacional de Quilmes Tema: Análisis de las relaciones entre la filosofía general de la ciencia y las filosofías especiales de la ciencia a la luz de la problemática de las leyes y las teorías científicas. Descripción Tema Beca: Examinar las relaciones entre la filosofía general de la ciencia y las filosofías especiales de la ciencia a la luz de la problemática de las leyes y las teorías científicas; revisar el alcance de las propuestas realizadas en el ámbito de la filosofía general de la ciencia, en especial las efectuadas sobre las leyes y las teorías, en el área de las ciencias físicas, biológicas o sociales; llevar a cabo una elucidación y análisis del concepto de ley científica, y de la función que cumplen en la ciencia, según posiciones metacientíficas de relevancia contemporánea; realizar una elucidación y análisis del concepto de teoría científica, y de la función que cumplen en la ciencia, según posiciones metacientíficas de relevancia contemporánea; analizar las vinculaciones entre los conceptos de ley y de teoría, y mostrar la fertilidad que posee dic Requisitos del Becario: Graduado en Filosofía/Graduado en alguna ciencia empírica. Formación en filosofía de la ciencia (epistemología). Lugar de Ejecución de la Beca: Roque Sáenz Peña 352 - BERNAL [... OESTE] Características de la Beca: Inicio: 01/12/2013 Duración: 3 años Estipendio Mensual: $7069 Cierre del Concurso: 27/11/2013 Contacto: (Enviar C.V. y teléfono para contactar) Email: pablo.lorenz...@gmail.com Teléfono: 01149614392 Dirección Postal: Roque Sáenz Peña 352Localidad: BERNAL [... OESTE] Muy atte., -- Prof. Dr. Pablo Lorenzano Universidad Nacional de Quilmes (UNQ)/ Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) http://plorenzano.wordpress.com/ METATHEORIA: Editor | Editor-in-Chief http://metatheoria.com.ar ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Fwd: Concurso UFJF: Edital
Divulgando a pedido, a quem interessar possa. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Início da mensagem encaminhada: De: Marco Ruffino ruffinoma...@gmail.com Assunto: Encaminhada: Concurso UFJF: Edital Data: 12 de novembro de 2013 10:05:48 BRST Para: Walter Carnielli walter.carnie...@gmail.com, Roderick Batchelor roderick_batche...@hotmail.com, Pedro Santos pedrom...@gmail.com, Abilio Rodrigues Filho abilio.rodrig...@gmail.com, Breno Hax breno...@gmail.com, Décio Krause deciokra...@gmail.com, André Leclerc alecl...@terra.com.br, André Porto andre.porto@gmail.com, Andrea Faggion andreafagg...@gmail.com, epsan...@fafich.ufmg.br, FRANK THOMAS SAUTTER ftsaut...@ufsm.br, Abel Lassalle Casanave abel.lassa...@gmail.com, JOAO MIGUEL BISCAIA VALADAS Branquinho jbranqui...@campus.ul.pt, manuel garcía-carpintero mgcarpint...@gmail.com, Nelson Gomes nelson.gomes...@gmail.com, Desidério Murcho desiderio.mur...@gmail.com, Guido Imaguire guido_imagu...@yahoo.com, Dirk Greimann greim...@dirk-greimann.de, edelcio edel...@pucsp.br, Túlio Roberto Xavier de Aguiar taguiar.b...@gmail.com, Pedro Galvão p.m.gal...@gmail.com, adrianasg adrian...@netcabo.pt Caros amigos, peço que ajudem a divulgar a abertura de concurso para professor na Federal de Juiz de Fora (edital abaixo); eles querem alguém que faça lógica e filosofia analítica, com vistas à abertura de uma pós. Abraços, Marco -- Forwarded message -- From: Gustavo Castañon gustavocasta...@hotmail.com Date: 2013/11/12 Subject: Concurso UFJF: Edital To: Marco Ruffino ruffinoma...@gmail.com, Marco Ruffino marco.ruff...@pq.cnpq.br Fala Ruffino! O Edital do concurso já foi lançado, e as inscrições estão abertas. http://www.ufjf.br/concurso/files/2013/11/Edital-31-Concursos-n%C2%B0-150-a-177-CR-04-JF-definitivo.pdf Por favor, você poderia divulgá-lo na UNICAMP? Obrigado mais uma vez por participar de novo de nossa seleção. Abraço, Gustavo. PS: Como sabe os pontos ficaram da seguinte forma e já são públicos: Lógica: Teoria dos Conjuntos Teoria de Modelos Lógica Proposicional, completude e compacidade Sistemas de lógica modal Dedução natural Analítica: Teorias do significado Teorias da verdade Descrições definidas e designação rígida Semântica e pragmática da linguagem Necessidade e mundos possíveis ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Filmes sobre lógica
O nome da rosa? Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 11/11/2013, à(s) 11:59, Daniel Durante dura...@ufrnet.br escreveu: Colegas, Um colega me fez a seguinte pergunta: Conheces bons filmes com os quais podemos relacioná-los directamente com a lógica, deduções, inferências? Eu não conheço, vocês conhecem? Saudações, Daniel. - Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Vicky, Cristina, Barcelona
Que lógica que nada -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 11/11/2013, às 21:22, sam...@ufba.br escreveu: Olás, Uma sugestão de filme com alguma lógica é o Vicky, Cristina, Barcelona (pausa para risos). A personagem da Scarlet Johansson diz que não sabe o que quer, mas sabe perfeitamente o que não quer. De modo que com certeza ela deve seguir alguma lógica não clássica (pausa para um sorriso sem graça). ... Se não funcionar o filme em sala de aula, pelo menos tem a Scarlet Johansson ! Atés, []s Samuel Universidade Federal da Bahia - http://www.portal.ufba.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Novo reitor da PUC/PR
Pessoal Conheci o novo reitor da PUC/PR quando trabalhei com ele na pró-reitoria de pesquisa e PG da UFPR nos anos 90. É excelente, alguém que realmente entende o papel da universidade e sabe o que tem que ser feito. Parabéns ao pessoal da PUC. Têm um reitor com R maiúsculo. Espero que ele consiga fazer o que pretende, e vejam os cursos em inglês. Isso é, como devem saber, é comum em vários países que não têm o inglês como língua nativa, mas que entendem que ela se tornou o esperanto do momento. Nas federais, pelo contràrio, daqui a pouco vamos ter que dar aulas em bolivarianez, que de marxismo já estamos até o pescoço. Nas federais, em boa parte das atividades, andamos para trás. Aqui na UFSC queriam trazer o Cesare battisti co l conferencista. Ainda bem que não comseguiram. Desejo sucesso ao Waldemiro. D http://www.gazetadopovo.com.br/vidaecidadania/conteudo.phtml?tl=1id=1422976tit=Apos-16-anos-PUCPR-troca-de-reitor -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 03/11/2013, às 18:21, Joao Marcos botoc...@gmail.com escreveu: 13th Trends in Logic (Studia Logica sponsored conference) Łódź, Poland July 2−July 5, 2014 Full papers submission deadline: 15 March 2014 Gentzen's and Jaśkowski's heritage: 80 years of Natural Deduction and Sequent Calculi http://www.filozof.uni.lodz.pl/trends/ In 1934 Gentzen and Jaśkowski independently published their groundbreaking works on Natural Deduction. Since then many outstanding scholars have developed their ideas in many directions. Systems originally introduced by Gentzen and Jaśkowski became the fundament of modern proof theory, as well as the basic tool in teaching logic. This edition of Trends in Logic is devoted to widely conceived heritage of both inventors of Natural Deduction. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Nota de profundo pesar
Puxa...partilho da tristeza de todos. Excelente pessoa, divertido, e excelente professor. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/11/2013, às 19:01, Marcos Alves marcosal...@cle.unicamp.br escreveu: Pessoal, notícia muito triste. Tive a felicidade de ter sido aluno do prof. Elias. Deixará saudades! abço, Marcos. Muito triste com a notícia que acabo de ler. Elias foi um grande amigo. Homem simples, generoso, afetivo, sempre do lado do bem. Fico com muita saudade. Andréa Em 5 de novembro de 2013 17:30, Walter Carnielli walter.carnie...@gmail.com escreveu: Caros colegas, trago aqui a triste notícia do falecimento do Prof. Elias Humberto Alves, ex-professor do Departamento de Filosofia da Unicamp, membro do CLE e lógico da velha guarda, com décadas de trabalho em lógica paraconsistente e várias outras áreas. Elias faleceu hoje, terça-feira, 05 de novembro, e o corpo foi velado no Cemitério da Saudade, das 6 às 12 horas em Campinas. Em seguida, o corpo foi trasladado ao Cemitério da Vila Alpina, em São Paulo, onde seria cremado. Saudades de todos, que foram seus amigos, colaboradores e estudantes! Walter -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l =^M Marcos Alves Centro de Lógica, Epistemologia e História da Ciência - CLE Universidade Estadual de Campinas - UNICAMP http://www.cle.unicamp.br = ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Fwd: Palestra do Prof. Jean-Yves Beziau no CLE (15 de outubro, 11:00)
Adolfo Há muitas aplicações feitas por pesquisadores japoneses que usam lógica paraconsistente anotada em robótica, sistemas especialistas, fabricação de cerveja (ôba), em medicina, tráfego, etc. Procure por annotated paraconsistent logic. Anos atrás, o Mamede fez uma tese na França sobre aplicações em tráfego aéreo, se não me engano. Pelo que sei, ele está na UnB agora. Se quiser algo em física, tenho alguma coisa com o conceito de complementaridade e com a presença de contradições em vários níveis na elaboração de uma teoria científica. Há um artigo meu com Newton e Otávio Bueno no Handbook of Philosophical Logic que você baixa no libgen.info. Chama-se Paraconsistent logic and paraconsistency, e nele há indicações (até 2006) dos trabalhos da japonezada mencionados acima, dentre outras coisas. Uma moça de Itajubá fez uma tese de Dr em engenharia que usou as l.p. anotadas em engenharia, lidando com energia. Eu precisaria resgatar tudo isso. Se quiser detalhes, me escreva que eu procuro. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 12/10/2013, às 18:48, Famadoria famado...@gmail.com escreveu: Já vi aplicações em sistemas especialistas feitas acho que pelo Nakamatsu. Sent from my iPhone On 12/10/2013, at 10:32, Adolfo Neto ado...@dainf.ct.utfpr.edu.br wrote: Quando ele veio aqui (2008) eu perguntei. Tudo que ele falou que procurei e encontrei não estava sendo aplicado na vida real. Não estou dizendo que o princípio da paraconsistência não seja aplicado, mas alguma lógica paraconsistente em si. Encontrei, por exemplo: - robôs com paraconsistencia http://dl.acm.org/citation.cfm?id=1565916 - ontologias com paraconsistência http://www.igi-global.com/article/ontology-merging-reasoning-using-paraconsistent/72339 - programação em lógica paraconsistente http://www.sciencedirect.com/science/article/pii/0304397589901266 http://www.sciencedirect.com/science/article/pii/S0888613X06001307 - bancos de dados paraconsistentes http://link.springer.com/chapter/10.1007%2F3-540-44399-1_42 Mas, como disse, nada disso sendo usado em uma aplicação real. 2013/10/12 Famadoria famado...@gmail.com Pergunta ao Newton. P.e. em sistemas especialistas. Sent from my iPhone On 11/10/2013, at 22:23, Adolfo Neto ado...@dainf.ct.utfpr.edu.br wrote: Olá. Eu já perguntei isso aqui na lista anos atrás. Estou perguntando de novo porque pode ter pessoas novas e porque podem ter aparecido respostas novas. A pergunta é: Alguém sabe de alguma aplicação concreta (isto é, num sistema computacional/físico) de lógica paraconsistente que esteja sendo realmente usado (isto é, que não seja apenas o fruto de um projeto de pesquisa)? Adolfo 2013/10/11 Umberto Rivieccio umberto.riviec...@unige.it Hi Joao (and Brazilian logicians), I have recently been working on modal paraconsistent logics as well, here is a preprint that might be of interest for you: http://www.cs.bham.ac.uk/%7Erivieccu/pub/kri.pdf We are going to submit a longer journal version soon. All comments welcome. Tudo de bom, Umberto Tenho pena de não poder estar presente... De todo modo, sobre o tema das lógicas paraconsistentes modais, envio abaixo o link para um paper no qual axiomatizamos (em cálculo de sequentes) a lógica modal minimal (e algumas de suas extensões) com conjunção, disjunção, e duas negações paranormais (uma notavelmente paraconsistente e outra paracompleta) acompanhadas de seus respectivos conectivos de restauração: Negative modalities, consistency and determinedness (to appear in ENTCS) http://goo.gl/b59x1C Os resultados fazem parte da dissertação de mestrado de Adriano Dodó, a ser defendida no fim deste mês. JM 2013/10/11 Walter Carnielli walter.carnie...@gmail.com: Caros colegas e estudantes: Convido a todos para a palestra do colega Professor Jean-Yves Beziau do Departamento de Filosofia da UFRJ na terça-feira, 15 de outubro, aas 11:00, na Sala de Seminários do CLE: TITULO: Logpica Paraconsistente de A a Z. Att., Walter Carnielli -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
[Logica-l] Um artigo
Pessoal Alguém sabe se dá para resgatar de alguma base de dados um artigo de The Monist de 1936? Se souberem, é o seguinte: Oliver Reiser, Modern Science and Non-Aristotelian Logic. The Monist 4 (2), 1936, 299-317. Grato. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Contribuições de alunos do CIn-UFPE à Wikipédia (em português), 2013.1
Puxa, Ruy, que beleza. Parabéns. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 28/09/2013, às 21:14, Ruy de Queiroz r...@cin.ufpe.br escreveu: Seguem os endereços de verbetes da Wikipédia para os quais contribuíram os alunos do CIn-UFPE em 2013.1: * * *Lógica* https://pt.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://pt.wikipedia.org/wiki/Isomorfismo https://pt.wikipedia.org/wiki/Paradoxos_da_Implica%C3%A7%C3%A3o_Material https://pt.wikipedia.org/wiki/Teorema_do_ideal_primo_booleano https://pt.wikipedia.org/wiki/Anatoly_Maltsev https://pt.wikipedia.org/wiki/M%C3%A9todo_Efetivo https://pt.wikipedia.org/wiki/Teoria_da_argumenta%C3%A7%C3%A3o https://pt.wikipedia.org/wiki/Atomismo_l%C3%B3gico https://pt.wikipedia.org/wiki/Teorema_de_compacidade_de_Barwise https://pt.wikipedia.org/wiki/Morfismo_(teoria_das_categorias) https://pt.wikipedia.org/wiki/%C3%81lgebra_Booleana_(estrutura) http://pt.wikipedia.org/wiki/Ernst_Mally https://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_do_Bicondicional https://pt.wikipedia.org/wiki/Elimina%C3%A7%C3%A3o_da_disjun%C3%A7%C3%A3o https://pt.wikipedia.org/wiki/Jon_Barwise https://pt.wikipedia.org/wiki/Peter_Geach https://pt.wikipedia.org/wiki/L%C3%B3gica_filos%C3%B3fica https://pt.wikipedia.org/wiki/Sem%C3%A2ntica_formal(l%C3%B3gica) https://pt.wikipedia.org/wiki/Teorema_de_L%C3%B6b https://pt.wikipedia.org/wiki/Martin_Hugo_L%C3%B6b https://pt.wikipedia.org/wiki/Operador_Modal https://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Tradu%C3%A7%C3%A3o/L%C3%B3gica_din%C3%A2mica(l%C3%B3gica_modal) https://pt.wikipedia.org/wiki/F%C3%B3rmula_at%C3%B4mica https://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_(l%C3%B3gica) https://pt.wikipedia.org/wiki/Teoria_da_Infer%C3%AAncia_Indutiva_de_Solomonoff http://pt.wikipedia.org/wiki/Aritm%C3%A9tica_de_Robinson https://pt.wikipedia.org/wiki/Augustus_De_Morgan https://pt.wikipedia.org/wiki/Helena_Rasiowa https://pt.wikipedia.org/wiki/Dov_Gabbayhttps://en.wikipedia.org/wiki/Dov_Gabbay https://pt.wikipedia.org/wiki/Hartley_Rogers,_Jr.https://en.wikipedia.org/wiki/Hartley_Rogers,_Jr. https://pt.wikipedia.org/wiki/Prova_autom%C3%A1tica_de_teoremas https://pt.wikipedia.org/wiki/Paradoxo_da_loteria https://pt.wikipedia.org/wiki/Vari%C3%A1vel_proposicional_(matem%C3%A1tica) http://pt.wikipedia.org/w/index.php?http://pt.wikipedia.org/w/index.php?title=Paradoxo_de_Skolemoldid=36982523 title=Paradoxo_de_Skolemoldid=36982523http://pt.wikipedia.org/w/index.php?title=Paradoxo_de_Skolemoldid=36982523 https://pt.wikipedia.org/wiki/Logica_temporal http://pt.wikipedia.org/wiki/Paradoxo_do_elevador http://pt.wikipedia.org/wiki/Geometria_de_zariski https://pt.wikipedia.org/wiki/Calculus_Ratiocinator https://pt.wikipedia.org/wiki/As_Leis_do_Pensamento https://pt.wikipedia.org/wiki/Problema_de_Fun%C3%A7%C3%A3o https://pt.wikipedia.org/wiki/Introdu%C3%A7%C3%A3o_Bicondicional https://pt.wikipedia.org/wiki/Impredicatividade https://pt.wikipedia.org/wiki/Teoria_das_Descri%C3%A7%C3%B5es http://pt.wikipedia.org/wiki/Estrutura_de_Herbrand http://pt.wikipedia.org/wiki/John_Etchemendy http://pt.wikipedia.org/wiki/Interpreta%C3%A7%C3%A3o_de_herbrand https://pt.wikipedia.org/wiki/Lotfi_Asker_Zadeh https://pt.wikipedia.org/wiki/Mozi http://en.wikipedia.org/wiki/Kripke_semantics https://pt.wikipedia.org/wiki/Sem%C3%A2nticas_de_Kripke https://pt.wikipedia.org/wiki/Teorema_de_Goodstein https://pt.wikipedia.org/wiki/Objeto_formal *Teoria da Computação* https://pt.wikipedia.org/wiki/Quinto_problema_de_Hilbert http://pt.wikipedia.org/wiki/Formalismo_de_Backus-Naur_Extendido http://pt.wikipedia.org/wiki/Linguagem_formal https://pt.wikipedia.org/wiki/Semi_aut%C3%B4mato https://pt.wikipedia.org/wiki/Simbolo_%28Formal%29 https://pt.wikipedia.org/wiki/Produ%C3%A7%C3%A3o_%28ci%C3%AAncia_da_computa%C3%A7%C3%A3o%29 https://pt.wikipedia.org/wiki/Turing_Switch https://pt.wikipedia.org/wiki/M%C3%A1quina_de_Turing_alternada https://pt.wikipedia.org/wiki/O_de_Kleene https://pt.wikipedia.org/wiki/Grandes_ordinais_cont%C3%A1veis https://pt.wikipedia.org/wiki/Espa%C3%A7o_compacto http://pt.wikipedia.org/wiki/Aut%C3%B4matos_finitos_determin%C3%ADsticos https://pt.wikipedia.org/wiki/Aut%C3%B4mato_Probabil%C3%ADstico https://pt.wikipedia.org/wiki/Prova_assistida_por_Computador https://pt.wikipedia.org/wiki/O_Problema_do_Final_Feliz https://pt.wikipedia.org/wiki/Jogo_da_vida https://pt.wikipedia.org/wiki/John_Conway https://pt.wikipedia.org/wiki/Teoria_combinat%C3%B3ria_dos_jogos https://pt.wikipedia.org/wiki/Teste_de_Turing https://pt.wikipedia.org/wiki/Computadores_e_Intelig%C3%AAncia http://pt.wikipedia.org/wiki/Equa%C3%A7%C3%A3o_diofantina http://pt.wikipedia.org/wiki/Aut%C3%B4mato https://pt.wikipedia.org/wiki/Hierarquia_aritm%C3%A9tica https://pt.wikipedia.org/wiki/NC_
Re: [Logica-l] wikipedia / identitade
Não sei quem iniciou o verbete sobre o princípio da identidade, mas dá a impressão de que Aristóteles formulou-o como A=A, o que é falso. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 28/09/2013, às 22:08, jean-yves beziau beziau...@gmail.com escreveu: Excelente Ruy a Wikipedia é uma coisa muito boa acho interessante alunos trabalhar nela ainda tem muitas coisas para melhorar por exempo a entrada sobre o principio da identitade http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_identidade Um abraço Jean-Yves ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] (sem assunto)
Caro Alexandre Bacana sua proposta. Mas será melhor esperar ver o que o nosso povo vai achar, em especial o pessoal da SBL. Em todo caso, fica o registro de sua boa vontade e disposição. Obrigado. Abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 23/09/2013, às 04:44, Alexandre Rademaker aradema...@gmail.com escreveu: Se for de interesse da maioria e os artigos a serem disponibilizados forem livres para tal e nenhum copyright ou licença for violada, podemos usar a Biblioteca Digital da FGV. Posso fazer contato com a Biblioteca da FGV e criar uma coleção específica para estes artigos. Acho que não será complicado dado que participei da criação da Biblioteca Digital da FGV. http://bibliotecadigital.fgv.br/dspace Alexandre Rademaker Sent from my iPhone On 22/09/2013, at 23:17, Décio Krause deciokra...@gmail.com wrote: OI, Valéria Obrigado. O problema para mim é que não sou bom nessas coisas de sites. Seria bacana se alguém mais jovem e disposto assumisse isso. Eu ajudo com o que puder, claro. Isso poderia ser associado à SBL. Podemos ver o que a diretoria acha. Ei, pessoal da SBL, o que acham de um site dos artigos básicos de nossa história da lógica? Abraços Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 21/09/2013, às 13:28, Valeria de Paiva valeria.depa...@gmail.com escreveu: que excelente ideia Decio! eu acho que seria super legal e facil a beca colocar os trabalhos mais tradicionais de logicos brasileiros na rede. a gente faz um sitiozinho bobo em tres minutos e vai adicionando os trabalhos que os logicos quiserem deixar. com um pouco de sorte o google acaba botando tudo no Scholar. (Alias tb seria bem legal se todo mundo que le essa lista fizesse o seu profile no Scholar, eu nao morro de amores pelo google nao, mas e' um fato que quem publica na rede 'e mais lido do que quem so publica no papel e quem publica quer ser lido, nao e?...) tb seria bem legal se a gente tivesse um citeseer nacional, mas como mesmo o americano esta' com algumas dificuldades, acho que so' se alguem resolvesse fazer um projeto serio... abs, Valeria 2013/9/20 Décio Krause deciokra...@gmail.com Ou, Andrea Certamente ele deve ter. Vou falar com ele e colocar na rede. Aliás, seria bacana ter os trabalhos dele, com você inclusive, disponíveis. Sabe se é possível disponibilizar isso? Grande beijo. Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 18:22, Andrea Loparic alopa...@gmail.com escreveu: Acho que deve ter no CLE. E o próprio Newton não tem, Decio? Ele costuma colecionar essas coisas muito cuidadosamente. Abs Andrea Em 20 de setembro de 2013 16:30, Abílio abilio.rodrig...@gmail.com escreveu: Prezados Tb gostaria de uma copia Abracos Em 20/09/2013 17:51, Décio Krause deciokra...@gmail.com escreveu: Se alguém achar, gostaria de uma cópia. Grato, Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 12:35, Diogo Dias diogo.bispo.d...@gmail.com escreveu: Olá a tod@s. Alguém tem o seguinte artigo, ou sabe onde encontrá-lo? A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp. 83-89. Agradeço muito a ajuda! Abraços, Diogo Dias. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l
Re: [Logica-l] (sem assunto)
OI, Valéria Obrigado. O problema para mim é que não sou bom nessas coisas de sites. Seria bacana se alguém mais jovem e disposto assumisse isso. Eu ajudo com o que puder, claro. Isso poderia ser associado à SBL. Podemos ver o que a diretoria acha. Ei, pessoal da SBL, o que acham de um site dos artigos básicos de nossa história da lógica? Abraços Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 21/09/2013, às 13:28, Valeria de Paiva valeria.depa...@gmail.com escreveu: que excelente ideia Decio! eu acho que seria super legal e facil a beca colocar os trabalhos mais tradicionais de logicos brasileiros na rede. a gente faz um sitiozinho bobo em tres minutos e vai adicionando os trabalhos que os logicos quiserem deixar. com um pouco de sorte o google acaba botando tudo no Scholar. (Alias tb seria bem legal se todo mundo que le essa lista fizesse o seu profile no Scholar, eu nao morro de amores pelo google nao, mas e' um fato que quem publica na rede 'e mais lido do que quem so publica no papel e quem publica quer ser lido, nao e?...) tb seria bem legal se a gente tivesse um citeseer nacional, mas como mesmo o americano esta' com algumas dificuldades, acho que so' se alguem resolvesse fazer um projeto serio... abs, Valeria 2013/9/20 Décio Krause deciokra...@gmail.com Ou, Andrea Certamente ele deve ter. Vou falar com ele e colocar na rede. Aliás, seria bacana ter os trabalhos dele, com você inclusive, disponíveis. Sabe se é possível disponibilizar isso? Grande beijo. Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 18:22, Andrea Loparic alopa...@gmail.com escreveu: Acho que deve ter no CLE. E o próprio Newton não tem, Decio? Ele costuma colecionar essas coisas muito cuidadosamente. Abs Andrea Em 20 de setembro de 2013 16:30, Abílio abilio.rodrig...@gmail.com escreveu: Prezados Tb gostaria de uma copia Abracos Em 20/09/2013 17:51, Décio Krause deciokra...@gmail.com escreveu: Se alguém achar, gostaria de uma cópia. Grato, Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 12:35, Diogo Dias diogo.bispo.d...@gmail.com escreveu: Olá a tod@s. Alguém tem o seguinte artigo, ou sabe onde encontrá-lo? A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp. 83-89. Agradeço muito a ajuda! Abraços, Diogo Dias. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Valeria de Paiva http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] (sem assunto)
Se alguém achar, gostaria de uma cópia. Grato, Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 12:35, Diogo Dias diogo.bispo.d...@gmail.com escreveu: Olá a tod@s. Alguém tem o seguinte artigo, ou sabe onde encontrá-lo? A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp. 83-89. Agradeço muito a ajuda! Abraços, Diogo Dias. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] (sem assunto)
Ou, Andrea Certamente ele deve ter. Vou falar com ele e colocar na rede. Aliás, seria bacana ter os trabalhos dele, com você inclusive, disponíveis. Sabe se é possível disponibilizar isso? Grande beijo. Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 18:22, Andrea Loparic alopa...@gmail.com escreveu: Acho que deve ter no CLE. E o próprio Newton não tem, Decio? Ele costuma colecionar essas coisas muito cuidadosamente. Abs Andrea Em 20 de setembro de 2013 16:30, Abílio abilio.rodrig...@gmail.com escreveu: Prezados Tb gostaria de uma copia Abracos Em 20/09/2013 17:51, Décio Krause deciokra...@gmail.com escreveu: Se alguém achar, gostaria de uma cópia. Grato, Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 20/09/2013, às 12:35, Diogo Dias diogo.bispo.d...@gmail.com escreveu: Olá a tod@s. Alguém tem o seguinte artigo, ou sabe onde encontrá-lo? A.I. Arruda, e N.C.A.da Costa, O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemática de Sao Paulo, vol. 18, fasc. 1 et 2 (1968), pp. 83-89. Agradeço muito a ajuda! Abraços, Diogo Dias. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Recebido
Esta lista funciona mesmo!! De pronto, recebi duas cópias. Agradeço a Viviane e ao Bruno. Muito gentis. Forte abraço Décio Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Um artigo
Pessoal Alguém tem o artigo abaixo para me mandar uma cópia? Agradeço mil vezes, pois estou longe da universidade. D Journal of Philosophical Logic January 1979, Volume 8, Issue 1, pp 479-504 The modal logic of quantum logic Peter Mittelstaedt Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Lei 4699/2012
Pessoal Acabo de enviar uma mensagem ao Senador Paulo Paim sobre a lei acima que destina somente aos portadores de diploma em história o direito de lecionar e de escrever (!) sobre história. A mensagem está abaixo, e creio que todos deveriam escrever, lotar a caixa dele com mensagens contra esse absurdo. Espero que se sensibilizem. Muitas andorinhas fazem o verão. Na página dele, há um link fale com o Paim. Abraços D Prezado Senador Venho manifestar minha grande preocupação com o projeto de le 4699/2012 que acaba atribuindo apenas aos portadores de diploma de historiador o direito de lecionar e mesmo de publicar textos sobre história. Lembro ao Sr que os egressos de um curso de história não adquirem formação, nesses cursos, em tópicos para os quais se exige grande especialidade. Cito dois deles, que são de minha área de atuação: história da lógica e história da matemática. De nada adianta um historiador repetir em classe um livro de, digamos, história da lógica, sem entender o conteúdo, para o que necessitaria de anos de estudo desse assunto exclusivo. Assim, rogo ao Sr que aplique o mínimo bom senso e rejeite a proposta no formato em que ela está redigida, e que não se submeta ao lobby dos historiadores da ANPUH. Cordialmente, Décio Krause Professor da UFSC, ex-Professor Titular da UFPR Pesquisador do CNPq -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Livro básico para Sequentes e dedução natural
Lemmon? Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 28/08/2013, às 10:03, victor leandro fernandez vlfer...@yahoo.com escreveu: Prezados: solicito me indiquem algum livro básico, com o qual apresentar sequentes e dedução natural a alunos de Matemática da graduação. Portanto, seria bom que o livro, mesmo sendo básico, possua um formalismo mínimo. E também (se for possível), que apresente algumas meta-demonstrações. De momento, estou usando Logic for Computer Science, de S. Reeves and M. Clarke, mas acho ele informal demais. Agradeço cualquer dica de vcs! Obrigado. Víctor Fernández ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Scimago Logic Journal Ranking: 1.JLC 2.LU 3.SL
Parabéns,JY. Mérito seu. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 27/08/2013, às 12:36, jean-yves beziau beziau...@gmail.com escreveu: Acabou de ser publicado o ranking SJR da Scimago dos jornais levando em conta o ano 2012 Logica Universalis esta agora na segundo posicao atras do Journal of Logic and Computation (para o qual estou tambem trabalhando). SJR - Logic Journal Ranking - 2012 (01) 1.327 Journal of Logic and Computation (02) 1.245 Logica Universalis (03) 1.140 Studia Logica (04) 1.079 Journal of Applied Logic (05) 1.082 Journal of Symbolic Logic (06) 1.002 Annals of Pure and Applied Logic (07) 0.954 Journal of Philosophical Logic (08) 0.932 Logic Journal of the IGPL (09) 0.715 Review of Symbolic Logic (10) 0.681 Journal of Mathematical Logic (11) 0.647 Algebra and Logic (12) 0.637 Bulletin of Symbolic Logic (13) 0.612 Journal of Logic, Language and Information (14) 0.518 Notre Dame Journal of Formal Logic (15) 0.502 Mathematical Logic Quarterly (16) 0.420 Archives for mathematical logic (17) 0.282 Journal of Applied Non-Classical Logics (18) 0.222 History and Philosophy of Logic (19) 0.215 Logique et Analyse (20) 0.213 Logic and Logical Philosophy (21) 0.180 Reports on Mathematical Logic Comparando com os jornais de filosofia, Logica Universalis (1.245) esta logo atras do Journal of Philosophy (1.246) e na frente de Mind (1.075) Logica Universalis tem tambem excelentes resultados com impacto fator de 2, 3, 4 anos Um sinal muito bom ja que em 2012 entramos numa segunda fase passando de 2 numeros por ano a 4 numeros (agora estamos publicando 500 paginas por ano). Vem ai por exemplo a curva de impacto factor de 3 anos que mostra como LU passou na frente de jornais tradicionais de logica tais que: Journal of Symbolic Logic, Archive for mathematical logic e Studia Logica http://www.scimagojr.com/compare.php?j1=Logica+Universalisj2=Journal+of+Symbolic+Logicj3=Archive+for+Mathematical+Logicj4=Studia+Logicaun=journalsinj=8 Nosso jornal ja publicou artigos de logicos muito famosos (Hintikka, van Benthem, Cresswell, Gabbay, etc.), assim que do celebro matematico Pierre Cartier, mas nossos resultados sao devidos tambem a bons artigos de pessoas menos conhecidas De fato ate hoje os dois artigos publicados em LU que tiveram mais successos foram A Global Glance on Categories in Logic Peter Arndt, Rodrigo de Alvarenga Freire, Odilon Otavio Luciano, Hugo Luiz Mariano http://link.springer.com/article/10.1007/s11787-006-0002-7 The Method of Scientific Discovery in Peirce’s Philosophy: Deduction, Induction, and Abduction Cassiano Terra Rodrigues http://link.springer.com/article/10.1007/s11787-011-0026-5 No momento um artigo que esta fazendo bastante successo em Logica Universalis e tambem de um jovem pouco conhecido A Shared Framework for Consequence Operations and Abstract Model Theory Christian Wallmann http://link.springer.com/article/10.1007/s11787-012-0069-2 ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?
Puxa, Adolfo, será que você consegue me mostrar o que essa moça pensa sobre o universo? Deve ser interessante. Quem sabe ela tenha um modelo novo….. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 14/08/2013, às 21:31, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Profa. Suzana esteve hoje em Brasília. Não só ela. http://www.suzanaherculanohouzel.com/ Adolfo Neto Em 12/08/2013 15:22, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Olá, Só pra concluir, os comentários de vocês me convenceram que existem muitas facetas deste projeto e algumas (talvez a maioria) podem não ser boas. Vou esperar a repercussão da visita da professora ao Congresso pra ver o que acontece e reconsiderar minha participação na mobilização :) Sobre não-bolsistas, 90% ou mais dos alunos de mestrado do meu programa são não-bolsistas e ainda por cima trabalham. Somente 3 tem bolsas. Sobre alunos lerem, Décio, sim alguns lêem independentemente do formato de aula do professor. Adolfo 2013/8/5 Décio Krause deciokra...@gmail.com Adolfo Já que comecei, continuo. Você escreveu ao Walter: É como ser paternalista com alunos, dar aula com powerpoints superexplicado e não estimular o aluno a ler. Ora, dar uma aula com um powerpoint superexplicado impede o aluno de ler? Só se for um idiota. O que uma coisa tem a ver com outra? Na época pré power point, a minha época, as super explicações eram feitas no quadro, por professores competentes. Só mudou a técnica. Hoje, um mediano prepara uma boa aula com esse recurso e se passa por um bom professor. Mas isso não impede o aluno de ler, independentemente do professor. Bom, chega por hoje. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 23:03, Walter Carnielli walter.carnie...@gmail.com escreveu: Caro Adolfo, respeito seus pontos de vista, e os da neurocientista de plantão também (se bem que eu não compreenda porque alguem precisaria tanto de neurocientistas para tê-los de plantão, ou em alerta permanente...) A questão é complexa, e se cansar do debate é a atitude menos (neuro)cientifica que se poderia ter. Mas a você que é calmo, razoável e comedido e nao tem nada de neuro, eu ousaria perguntar: por qual razão um bolsista seria visto como cientista de profissão, e um estudante sem bolsa não? E um estudante de graduação, porque já não entraria no vestibular registrado no Ministério do Trabalho? O ponto é esse: profissional é quem consegue uma posição! É como poeta: não precisa de deproma, precisa de reconhecimento que não se adquire através da Consolidaçao das Leis do Trabalho. Mas sei que você não se cansa facil :-) Abs Walter Em 5 de agosto de 2013 22:48, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Mas, Walter, a ideia é essa mesmo. Os maiores prejudicados (se se considerar que receber bolsa é um prejuízo) são os bolsistas. Se eles não quiserem lutar por isso, porque eu e ela ficaremos lutando? É como ser paternalista com alunos, dar aula com powerpoints superexplicados e não estimular o aluno a ler. 2013/8/5 Walter Carnielli walter.carnie...@gmail.com Oi Décio. temo que seja pior que isso-- alguém acendeu o rojão e não conseguiu segurar... abs Walter Em 5 de agosto de 2013 21:57, Décio Krause deciokra...@gmail.com escreveu: Walter Acho que você pegou um ponto importante. Ela está fazendo média. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 19:00, Walter Carnielli walter.carnie...@gmail.com escreveu: Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já apontei, tem mais esta, de apelo ao medo: vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, ... É esse tipo de atitude pouco academica que se pretende profissionalizar Abs Walter Em 5 de agosto de 2013 12:12, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: A profa, Suzana acabou de postar esta mensagem no Facebook: https://www.facebook.com/suzana.herculanohouzel/posts
Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?
Walter Acho que você pegou um ponto importante. Ela está fazendo média. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 19:00, Walter Carnielli walter.carnie...@gmail.com escreveu: Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já apontei, tem mais esta, de apelo ao medo: vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, ... É esse tipo de atitude pouco academica que se pretende profissionalizar Abs Walter Em 5 de agosto de 2013 12:12, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: A profa, Suzana acabou de postar esta mensagem no Facebook: https://www.facebook.com/suzana.herculanohouzel/posts/367137916748671 Suzana Herculano-Houzelhttps://www.facebook.com/suzana.herculanohouzel?hc_location=stream A todos os que gentilmente me convidaram para um sem-fim de palestras: não estou aceitando nenhum convite para falar sobre a regulamentação, nenhunzinho, em lugar nenhum. A primeira razão é que tudo o que eu queria dizer a respeito está no vídeo no youtube. A segunda é que a minoria que prefere viver de bolsa tem elementos extremamente vocais, obtusos e cansativos, e está se tornando uma questão de saude física e mental para mim parar de falar sobre o assunto. Eu levantei a bandeira, e vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, e sobre como é simples evitá-la e arrumar tudo. O resto é com os alunos, e eu não sou representante deles, nem quero ser. Opositores, parabéns, vocês conseguiram me deixar de saco cheio. Favoráveis à regulamentação, não se preocupem: a bandeira está levantada, é um direito de vocês, e de um jeito ou de outro, seja via congresso ou via denúncia ao Ministério Público do Trabalho, vocês podem conseguir o que querem. Minha parte está (quase) feita. Agora é com vocês. 2013/8/2 Marcelo Finger mfin...@ime.usp.br Oi JM. Tava pensando mais no empreendedorismo qdo me referi a Telavive. Os pontos que v levanta não são só estranhos aos telavivianos, mas ao mundo todo. []s Marcelo 2013/8/2 Joao Marcos botoc...@gmail.com: Acho que a gente tem o direito de copiar que a gente quiser, seja da onde for. Se experiências positivas em Tel Avive são mais próximas de nossa realidade do que o MIT, então vamos ver como os telavivianos fazem! Bem, aqui em Telavive a realidade não parece muito próxima da brasileira... Em conversa com colegas da TAU ontem, percebi que eles estranharam, entre outras coisas: (1) o fato de que o Brasil passou a entender recentemente que as horas-aula de 50min deveriam durar realmente uma hora, quando no resto do mundo o mais usual é 45min; (2) o fato de que no Brasil damos aula durante 15 a 18 semanas, quando no mundo lá fora os semestres não costumam ser mais longos do que 14 semanas; (3) o fato de que nas universidades brasileiras se leva tão a sério a presença do aluno na sala de aula; (4) etc; (5) o fato de que no Brasil ainda é razoavelmente raro que um aluno de pós-graduação bolsista tenha que dar aulas com regularidade para justificar os fundos que recebe. JM -- http://sequiturquodlibet.googlepages.com/ -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859
Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?
Touché! -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 19:24, Francisco Antonio Doria famado...@gmail.com escreveu: Piti de estrela... 2013/8/5 Walter Carnielli walter.carnie...@gmail.com Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já apontei, tem mais esta, de apelo ao medo: vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, ... É esse tipo de atitude pouco academica que se pretende profissionalizar Abs Walter Em 5 de agosto de 2013 12:12, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: A profa, Suzana acabou de postar esta mensagem no Facebook: https://www.facebook.com/suzana.herculanohouzel/posts/367137916748671 Suzana Herculano-Houzel https://www.facebook.com/suzana.herculanohouzel?hc_location=stream A todos os que gentilmente me convidaram para um sem-fim de palestras: não estou aceitando nenhum convite para falar sobre a regulamentação, nenhunzinho, em lugar nenhum. A primeira razão é que tudo o que eu queria dizer a respeito está no vídeo no youtube. A segunda é que a minoria que prefere viver de bolsa tem elementos extremamente vocais, obtusos e cansativos, e está se tornando uma questão de saude física e mental para mim parar de falar sobre o assunto. Eu levantei a bandeira, e vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, e sobre como é simples evitá-la e arrumar tudo. O resto é com os alunos, e eu não sou representante deles, nem quero ser. Opositores, parabéns, vocês conseguiram me deixar de saco cheio. Favoráveis à regulamentação, não se preocupem: a bandeira está levantada, é um direito de vocês, e de um jeito ou de outro, seja via congresso ou via denúncia ao Ministério Público do Trabalho, vocês podem conseguir o que querem. Minha parte está (quase) feita. Agora é com vocês. 2013/8/2 Marcelo Finger mfin...@ime.usp.br Oi JM. Tava pensando mais no empreendedorismo qdo me referi a Telavive. Os pontos que v levanta não são só estranhos aos telavivianos, mas ao mundo todo. []s Marcelo 2013/8/2 Joao Marcos botoc...@gmail.com: Acho que a gente tem o direito de copiar que a gente quiser, seja da onde for. Se experiências positivas em Tel Avive são mais próximas de nossa realidade do que o MIT, então vamos ver como os telavivianos fazem! Bem, aqui em Telavive a realidade não parece muito próxima da brasileira... Em conversa com colegas da TAU ontem, percebi que eles estranharam, entre outras coisas: (1) o fato de que o Brasil passou a entender recentemente que as horas-aula de 50min deveriam durar realmente uma hora, quando no resto do mundo o mais usual é 45min; (2) o fato de que no Brasil damos aula durante 15 a 18 semanas, quando no mundo lá fora os semestres não costumam ser mais longos do que 14 semanas; (3) o fato de que nas universidades brasileiras se leva tão a sério a presença do aluno na sala de aula; (4) etc; (5) o fato de que no Brasil ainda é razoavelmente raro que um aluno de pós-graduação bolsista tenha que dar aulas com regularidade para justificar os fundos que recebe. JM -- http://sequiturquodlibet.googlepages.com/ -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Q: Why is this email three sentences or less? A: http://three.sentenc.es ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas
Re: [Logica-l] Profissao de cientista? Nao inclui serviços de argumentação?
Adolfo Bem, acho que uma pessoa de mais de trinta anos (ela tem?) que tem feceboock é algo problemática... Mas isso é opinião pessoal. O que acho é que ela de arvora em levar para a Câmara, com se lá houvesse 1% de inteligência, coisas importantes como essa sem discutir adequadamente com quem deveria, a saber, sua comunidade. Saúdo iniciativas, como certamente você e muitos dos nossos, mas ela está, me parece (posso estar errado, claro) se adiantando um pouco. Ter espaço nesses veículos que você menciona pode massagear o ego, e ela está de parabéns por isso (deus meu, que linguagem mais futebolística). Mas academicamente não significa nada. Não quero com isso dizer que a moça não seja brilhante. Ela é, e merece nossa admiração. Mas deveria antes se acercar em considerar as opiniões que a questionam seriamente, e deixar de dar bola para o facebook. Isso a desgastaria menos e ela poderia realmente contribuir para dar diretrizes a uma questão importante. Acho que vários de nós aqui colocamos questões, que não precisamos repetir, que deveriam ser consideradas antes de qualquer encaminhamento. Por isso acho que ela está se adiantando, querendo marcar um gol. Torço para que consiga, mas antes vai ter que passar pela defesa... Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 22:45, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Décio, O que você quer dizer com fazendo média? Eu entendo fazer média por querer aparecer. Se for isso, permita-me discordar. Se tem algum professor que não precisa de motivo para aparecer aqui no Brasil é ela. Coluna na Folha, seção no Fantástico. Ela não precisa. Quem tem mais espaço na mídia do que ela? Nicolelis? Talvez. Marcelo Gleiser? Quem sabe. Mas os dois trabalham fora do Brasil... Ela levantou este ponto porque está precisando contratar alguém e não consegue. Sim, tem uma origem um pouco egoísta e ela deixa isso claro no vídeo. Quanto a dar piti, pode ser, ela deve estar de saco cheio. Vocês precisam ver o bando de idiotas que aparecem no Facebook dela para criticá-la (não sobre este assunto). Claro, ela escolheu ter facebook. Mas é que parte da missão dela é fazer divulgação científica. Aí quando ela fala sobre Evoução aparecem 300 cristãos xingando ela. Adolfo 2013/8/5 Décio Krause deciokra...@gmail.com Walter Acho que você pegou um ponto importante. Ela está fazendo média. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 05/08/2013, às 19:00, Walter Carnielli walter.carnie...@gmail.com escreveu: Colegas, muito estranha a reação dessa professora. Me parece uma atitude prepotente e pouco racional abandonar o debate, que ela mesma levantou, porque a deixaram de saco cheio (!). Alem das falácia que já apontei, tem mais esta, de apelo ao medo: vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, ... É esse tipo de atitude pouco academica que se pretende profissionalizar Abs Walter Em 5 de agosto de 2013 12:12, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: A profa, Suzana acabou de postar esta mensagem no Facebook: https://www.facebook.com/suzana.herculanohouzel/posts/367137916748671 Suzana Herculano-Houzelhttps://www.facebook.com/suzana.herculanohouzel?hc_location=stream A todos os que gentilmente me convidaram para um sem-fim de palestras: não estou aceitando nenhum convite para falar sobre a regulamentação, nenhunzinho, em lugar nenhum. A primeira razão é que tudo o que eu queria dizer a respeito está no vídeo no youtube. A segunda é que a minoria que prefere viver de bolsa tem elementos extremamente vocais, obtusos e cansativos, e está se tornando uma questão de saude física e mental para mim parar de falar sobre o assunto. Eu levantei a bandeira, e vou terminar de fazer minha parte indo ao Congresso semana que vem alertar os deputados e senadores sobre a bomba-relógio que eles têm em mãos, caso os alunos resolvam fazer uma denúncia no ministério público, e sobre como é simples evitá-la e arrumar tudo. O resto é com os alunos, e eu não sou representante deles, nem quero ser. Opositores, parabéns, vocês conseguiram me deixar de saco cheio. Favoráveis à regulamentação, não se preocupem: a bandeira está levantada, é um direito de vocês, e de um jeito ou de outro, seja via congresso ou via denúncia ao Ministério
[Logica-l] Ainda os historiadores
Pessoal A pedido do Prof. Roberto Martins, divulgo mais uma importante informação de como o diploma de historiador já está sendo requisitado na Paraíba. Vejam e julguem, e divulguem e sejam contra. (se quiserem, claro, mas não consigo supor que alguém vá apoiar isso!) Abraços D Muitos grupos e associações ainda acreditam no discurso da ANPUH de que o Projeto de Lei 4699/2012 não proíbe nada. Agora, tenho uma PROVA de que a ANPUH já está utilizando o Projeto de Lei 4699/2012 para restringir a possibilidade de publicação de trabalhos em uma das suas revistas. http://profissao-historiador.blogspot.com.br/2013/08/somente-diplomados-em-historia-poderao.html Peço sua colaboração para divulgar isso, por favor. Espero que isso ajude a vencer algumas resistências que ainda existem por parte dos que acreditam no discurso da ANPUH. Coloquei também no blog outras duas postagens, uma a respeito da importância de tirar o projeto de lei do regime de urgência e retornar à CCJC para permitir uma Audiência Pública; e o outro denunciando a farsa montada pela ANPUH com o deputado Pedro Uczai (uma suposta audiência pública em Florianópolis). Abraços, Roberto Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Profissao de cientista?
Caro Adolfo De total acordo. Por isso expressei meu ceticismo quanto à proposta da moça. Agradeço os esclarecimentos, mas certamente haverá quem não concorde... Abraços D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/07/2013, às 19:17, Carlos Gonzalez gonza...@gmail.com escreveu: Prezado Décio, Acho justificada a tua suspeita e concordo com que devemos aprofundar a discussão. Mas sobre ciência e pesquisa e não sobre o que fala a neurocientista Eu não assisti o vídeo, e só li alguma coisa do que ela escreveu no site. A minha conclusão é que trata-se somente de politicagem. Primeiro que neurocientista não é nada, pois ainda não temos a menor ideia de como funciona o cérebro, por mais que façam propaganda dos continhos de fadas dos neurotransmissores, que serotonina por aqui, que dopamina por lá e glutamato no caldinho, no molinho, no salgadinho e em todo lado. O psicólogos não estudam o cérebro porque no estado atual do desenvolvimento do conhecimento, eles *não devem* estudar o cérebro, porque não tem sentido nem prático nem teórico com relação à psicologia atual. Ela fala que as bolsas estão muito baixas. Se o problema é só isso, então as bolsas tem de subir, ou teremos um cientista profissional (sic) mal pago. Usar que uma bolsa de graduação está em R$ 400,00 para ganhar o auditório e e enfiar qualquer non sequitur, é politicagem. Que a carreira para ser professor universitário seja muito sacrificada, por si só, não implica grande coisa. A carreira de santo talvez seja mais sacrificada, mas não podemos inferir que a santidade deve ser facilitada. Não que tem de facilitar a coisa para virar título de pesquisador, mas tem de incentivar pesquisa de qualidade. Numa profissão o são poucos fundamentado no muitos querem ser é mediocridade: muitos querem encostar em alguma burocracia --pública ou privada-- para vagabundear. Eu penso que a pesquisa brasileira é pouca com relação ao desenvolvimento intelectual e tecnológico que seria beneficioso para a sociedade brasileira. Adolfo: O objetivo é que alunos de mestrado e doutorado recebam salário e não bolsa. Segundo ela, assim os alunos poderiam ser mais cobrados. Não acho. Que sentido tem dizer que se receber R$ 2.000,00 de bolsa não é cobrado, mas se receber R$ 2.000,00 de salário vai ser cobrado? É só falar do valor baixo das bolsas para enfiar, falaciosamente, todas essas ideias medíocres e burocráticas. Vou explicar, para aqueles que não tem tido a lamentável experiência, com funcionam os palestrantes profissionais. Essas faculdades, digamos IESs, não aprofundam na matemática, nas teorias nem nos conceitos porque defendem a mediocridade e a preguiça mental. Então falam que preparam para mercado de trabalho https://www.google.com.br/?gws_rd=cr#sclient=psy-abq=o+mercado+de+trabalho++faculdade+site:.br o que muitas vezes é mentira, pois eu já trabalhei em curso da área de computação com 60% dos egressos não conseguindo trabalho na área. Então essas IES contratam palestrantes profissionais para enganar aos alunos de que o papelão que vão receber quando se formar vai servir de alguma coisa, que não reconhecer os profissionais (= portadores de deproma) é um injustiça, etc., etc. Também palestras insofríveis para professores para que enganem aos alunos e os divertam em sala de aula, pois um palestrante que eu ouvi dizia que os professores deviam ser Sílvio Santos da sala de aula. Dentro de toda essa podridão é natural que se defenda o máximo de burocracia, mediocridade e se veja a exigência de esforço pessoal (Selbstüberwindung) como uma injustiça. Eu penso que esse é o fundamento da reserva de mercado da profissão de cientista (= portadores de deproma, outra vez). Carlos 2013/7/30 Décio Krause deciokra...@gmail.com: Adolfo Concordo plenamente com sua (e do Álvaro) análise, e foi o que me chamou a atenção até onde vi o vídeo (é meio chato, na verdade). Mas tá na cara o que ela quer. O problema é opinarmos sobre o assunto. O que acham? Eu vejo isso com reservas. Contratação de alguém como cientista é algo que já existe em muitas empresas, principalmente fora daqui. Mas essas empresas vão buscar no mercado quem lhes convém. Não entendo como ela gerenciaria isso, e quem viu tudo talvez possa esclarecer (não tenho essa paciência no momento): um catálogo de cientistasdisponíveis? E quem estaria pagando o salário deles enquanto não forem contratados? O governo? Estariam pendurados onde? Abraços D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 30/07/2013, às 10:25, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu
Re: [Logica-l] Profissao de cientista?
Adolfo Mas veja que os órgãos que cita, como o INMETRO, a Petrobrás e outros, contratam quem eles quiserem, geralmente visando a competência desejada. Pela proposta, *qualquer um* que for bolsista vira pesquisador, o que acho problemático. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 01/08/2013, às 12:02, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Décio/Marcelo, Já existem bolsistas contratados pela CLT. Até mesmo de IC. A Petrobrás faz isso aqui na UTFPR (e deve fazer em outros lugares também). Por que? Para evitar problemas na Justiça do Trabalho. Contrata por CLT e depois demite, como se faz com qualquer funcionário CLT. No caso de bolsistas de mestrado, eles teriam que ser contratados por alguma Fundação. Por que não CAPES, CNPq e Fundações Estaduais? Já são elas mesmo que pagam as bolsas... Em casos de verbas vindas de outras fontes, aí teria que ser pelas Fundações das Universidades. Que são caixas-pretas. A ideia do projeto, no meu entendimento (que pode estar errado), é forçar que todos os atuais bolsistas sejam contratados pela CLT. Quanto ao cargo de Pesquisador, já existe em vários órgãos (por exemplo, INMETRO). Poderíamos ter concurso para Pesquisadores não-professores em nossas Universidades Federais. Mas acho esse um problema menor. Quanto às perguntas do Marcelo, aqui vão as respostas pelo que entendi do que li: 1) quais seriam os requisitos para tal?? Curso superior em qualquer área. Atenção: isto é para ser contratado como cientista, não para ser Cientista. 2) Quem vai emitir tal certificado de cientista? Óbvio a partir da resposta a 1. 3) Iremos pagar uma taxa anual? Não. Alguém aqui paga taxa anual para ser professor? Eu não pago. 4) O que acontecerá se for descoberto que um não-cientista está praticando ciência em seu quintal? será chamado de charlatão? Se ele estiver matando cachorrinhos, cadeia! :) Obviamente a questão é irrelevante para o projeto em questão. 5) E se ele fizer uma descoberta científica de grande importância? será considerada inválida? Também irrelevante. Adolfo Neto Em 01/08/2013 01:45, Décio Krause deciokra...@gmail.com escreveu: Bem dito, Marcelo. Boas questões. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/07/2013, às 23:58, Marcelo Siqueira marcelojose.sique...@gmail.com escreveu: Adolfo e demais colegas, A questão não é só em relação aos bolsistas. Na entrevista que a Suzana deu ao Roda Viva da Tv Cultura e na palestra disponível no you tube, ela discute a necessidade de profissionalização baseando-se em outras situações, como, por exemplo, a falta de cientistas (e não professores-cientistas) nos quadros das instituições de ensino. Diferente da profa. Suzana, por quem tenho respeito e admiração, não acho que olhar o exemplo de países com mais tradição e contribuições à ciência seja complexo de vira-lata. Portanto, vale a pena vermos como instituições do primeiro mundo lidam com essa questão. Eu sou contra essa iniciativa por vários motivos. Diversos problemas relatados por ela são de natureza cultural e podem ser encontrados em muitas empresas públicas ou privadas. Se por um lado, não se pode ser exigida uma maior produtividade, por outro ele pode alegar que só trabalha 8hs/dia e não trabalha no fim de semana... e aí? Acho que outro ponto interessante seria discutir, antes de qualquer coisa, o que é cientista (de verdade) e quais os desdobramentos dessa definição. Ser doutor não é garantia (na minha opinião) de que alguém seja cientista. Há muitos doutores por aí que sequer sabem o que é o método científico. Outras perguntas: quais seriam os requisitos para tal?? Quem vai emitir tal certificado de cientista? Iremos pagar uma taxa anual? O que acontecerá se for descoberto que um não-cientista está praticando ciência em seu quintal? será chamado de charlatão? E se ele fizer uma descoberta científica de grande importância? será considerada inválida? Abraços Marcelo José Siqueira === Instituto Federal de Educação, Ciências e Tecnologia da Paraíba Campus Campina Grande === Touch a scientist and you touch a child. R.Bradbury Em 31 de julho de 2013 20:36, Décio Krause deciokra...@gmail.com escreveu: Bom, dou mais um palpite. Adolfo, como vai selecionar esses novos assalariados? Simplesmente porque entram numa pós-graduação? E os encargos trabalhistas? Como seriam classificados? Uma nova categoria de trabalhadores
Re: [Logica-l] Notae Philosophicae
Caros todos Parabéns pela revista e pela escolha dos artigos. Abraços D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 31/07/2013, às 13:21, Marcos Silva marcossilvar...@gmail.com escreveu: Divulgacao: Novo numero da revista do Grupo Conesul de Filosofia das Ciencias Formais. http://gcfcf.com.br/pt/revistas/npsf-vol-2n-1/ Há mais de uma década este grupo se encontra anualmente em Santa Maria, RS, para discutir tópicos relevantes para a filosofia da matemática e da lógica. A nova revista vem complementar o já consolidado espaco de discussao sobre Ciencias Formais. Em tempo, está aberta chamada para novo número. abraco, Marcos ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Profissao de cientista?
Bom, dou mais um palpite. Adolfo, como vai selecionar esses novos assalariados? Simplesmente porque entram numa pós-graduação? E os encargos trabalhistas? Como seriam classificados? Uma nova categoria de trabalhadores vinculados a que órgão? Digamos que seja às instituições em que trabalham: e as entradas na justiça solicitando incorporação ao quadro que podem haver depois de um ano se não me engano, exceto se a lei mudar (meio difícil) --veja o motivo pelo qual os professores substitutos não podem ser recontratados por mais de duas vezes. Creio que não tem jeito mesmo. Ser bolsista é de fato uma M, como diz você, mas é uma fase da vida que quem vai para essa atividade tem que cumprir. O que não tenho visto são bolsistas daqui do sul meterem a cara em concursos que estão havendo até para mestres (e.g., no Maranhão). Muitos poderiam estar de fato empregados hoje, ou amanhã, mas é muito mais fácil continuar ganhando uma bolsa até não sei quando, e quando a água bater no traseiro eles se mexem e tentam alguma outra coisa…é sempre assim, sempre foi assim, e sempre será assim. Acho que a proposta da moça vai trazer uma acomodação ainda maior, e com o risco de toda a problemática da incorporação. Você menciona a UFTPR, onde lecionei no departamento de matemática (ensino superior) por 13 anos (antigo CEFET/PR). Aí há um dos melhores departamentos de pessoal que conheço, extremamente eficiente. Dá uma conversada lá e pergunte o que aconteceria, com a lei vigente, se os bolsistas passassem a ser assalariados…virariam funcionários. Exceto, como eu disse, se a lei mudar. E você acredita que a lei pode mudar para algo sensato com esses políticos que temos por aí? Vai dar M. Abraço D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 31/07/2013, às 20:19, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Gente, a crítica de vocês está certa (não se deve regular a atividade de cientista), mas o alvo é errado. Vocês tem bolsistas de mestrado, não tem? Eu não tenho, mas sou responsável por pagar 2 bolsas de mestrado de um projeto que coordeno (se bem que uma das bolsas é para uma moça que é co-orientada por mim). O que um bolsista de mestrado recebe? Bolsa!! O que um bolsista de mestrado vai passar a receber após a profissão de cientista ser regulamentada? Salário!! Ok, fim das diferenças. O resto fica tudo na mesma (ok, estou exagerando um pouco). Porque isso é bom? Porque é um m%$%$ ser bolsista. Não tem INSS, não tem 13o., a bolsa atrasa (as bolsas que eu pago atrasam horrores - fico com vergonha de tanta trapalhada que acontece na burocracia dos órgãos públicos). Vai mudar se for Salário? Tem que mudar. Acho que vai mudar sim. Eu nunca recebi salário atrasado desde que comecei a trabalhar na UTFPR. Vai custar mais para os órgãos que pagam bolsas? Vai sim. Quem vai receber mais? O governo, via impostos. Não sei se vai fazer diferença. Pode ser que faça (a profa. Suzana alerta que no início pode haver uma redução da quantidade de bolsas). O valor da bolsa pode diminuir com os descontos? Pode sim. Não é a intenção, mas pode acontecer. Uma das vantagens é que você vai poder continuar a pagar um salário aquele seu mestrando/doutorando que acabou de concluir o curso pois o valor não vai estar vinculado à conclusão do curso, mas sim ao trabalho de pesquisa que ele executa. []s Adolfo On 7/30/13, Famadoria famado...@gmail.com wrote: Concordo tb. Sent from my iPhone On 30/07/2013, at 23:00, Décio Krause deciokra...@gmail.com wrote: Boa, Julio. Concordo. Não se pode dar um título a quem quer que seja assim sem mais nem menos. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/07/2013, às 22:35, Julio Stern jmst...@hotmail.com escreveu: Minha proposta de regulamentacao: Artigo 1: Clausula Petrea: Cientista eh uma profissao estritamente NAO regulamentavel. Artigo 2: Qualquer cientista que atente contra uma clausula petrea desta regulamentacao tera serus direitos profissionais imediatamente cassados de forma definitiva. Artigo 3: Revogadas as disposicoes em contrario. ---Julio Stern, de Montevideo, Uruguay Date: Sun, 28 Jul 2013 11:11:44 -0300 From: walter.carnie...@gmail.com To: marcelojose.sique...@gmail.com CC: botoc...@gmail.com; logica-l@dimap.ufrn.br Subject: [Logica-l] Profissao de cientista? É mais uma manobra rasteira com intenção de proteger mercado para incompetentes. Imagine o que sería a ciência se se exigisse canudo de Arquimedes, Torricelli, Darwin... A única profissão que deveria exigir deproma (!) seria a de deputado e senador
Re: [Logica-l] Profissao de cientista?
Bem dito, Marcelo. Boas questões. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 31/07/2013, às 23:58, Marcelo Siqueira marcelojose.sique...@gmail.com escreveu: Adolfo e demais colegas, A questão não é só em relação aos bolsistas. Na entrevista que a Suzana deu ao Roda Viva da Tv Cultura e na palestra disponível no you tube, ela discute a necessidade de profissionalização baseando-se em outras situações, como, por exemplo, a falta de cientistas (e não professores-cientistas) nos quadros das instituições de ensino. Diferente da profa. Suzana, por quem tenho respeito e admiração, não acho que olhar o exemplo de países com mais tradição e contribuições à ciência seja complexo de vira-lata. Portanto, vale a pena vermos como instituições do primeiro mundo lidam com essa questão. Eu sou contra essa iniciativa por vários motivos. Diversos problemas relatados por ela são de natureza cultural e podem ser encontrados em muitas empresas públicas ou privadas. Se por um lado, não se pode ser exigida uma maior produtividade, por outro ele pode alegar que só trabalha 8hs/dia e não trabalha no fim de semana... e aí? Acho que outro ponto interessante seria discutir, antes de qualquer coisa, o que é cientista (de verdade) e quais os desdobramentos dessa definição. Ser doutor não é garantia (na minha opinião) de que alguém seja cientista. Há muitos doutores por aí que sequer sabem o que é o método científico. Outras perguntas: quais seriam os requisitos para tal?? Quem vai emitir tal certificado de cientista? Iremos pagar uma taxa anual? O que acontecerá se for descoberto que um não-cientista está praticando ciência em seu quintal? será chamado de charlatão? E se ele fizer uma descoberta científica de grande importância? será considerada inválida? Abraços Marcelo José Siqueira === Instituto Federal de Educação, Ciências e Tecnologia da Paraíba Campus Campina Grande === Touch a scientist and you touch a child. R.Bradbury Em 31 de julho de 2013 20:36, Décio Krause deciokra...@gmail.com escreveu: Bom, dou mais um palpite. Adolfo, como vai selecionar esses novos assalariados? Simplesmente porque entram numa pós-graduação? E os encargos trabalhistas? Como seriam classificados? Uma nova categoria de trabalhadores vinculados a que órgão? Digamos que seja às instituições em que trabalham: e as entradas na justiça solicitando incorporação ao quadro que podem haver depois de um ano se não me engano, exceto se a lei mudar (meio difícil) --veja o motivo pelo qual os professores substitutos não podem ser recontratados por mais de duas vezes. Creio que não tem jeito mesmo. Ser bolsista é de fato uma M, como diz você, mas é uma fase da vida que quem vai para essa atividade tem que cumprir. O que não tenho visto são bolsistas daqui do sul meterem a cara em concursos que estão havendo até para mestres (e.g., no Maranhão). Muitos poderiam estar de fato empregados hoje, ou amanhã, mas é muito mais fácil continuar ganhando uma bolsa até não sei quando, e quando a água bater no traseiro eles se mexem e tentam alguma outra coisa…é sempre assim, sempre foi assim, e sempre será assim. Acho que a proposta da moça vai trazer uma acomodação ainda maior, e com o risco de toda a problemática da incorporação. Você menciona a UFTPR, onde lecionei no departamento de matemática (ensino superior) por 13 anos (antigo CEFET/PR). Aí há um dos melhores departamentos de pessoal que conheço, extremamente eficiente. Dá uma conversada lá e pergunte o que aconteceria, com a lei vigente, se os bolsistas passassem a ser assalariados…virariam funcionários. Exceto, como eu disse, se a lei mudar. E você acredita que a lei pode mudar para algo sensato com esses políticos que temos por aí? Vai dar M. Abraço D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 31/07/2013, às 20:19, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Gente, a crítica de vocês está certa (não se deve regular a atividade de cientista), mas o alvo é errado. Vocês tem bolsistas de mestrado, não tem? Eu não tenho, mas sou responsável por pagar 2 bolsas de mestrado de um projeto que coordeno (se bem que uma das bolsas é para uma moça que é co-orientada por mim). O que um bolsista de mestrado recebe? Bolsa!! O que um bolsista de mestrado vai passar a receber após a profissão de cientista ser regulamentada? Salário!! Ok, fim das diferenças. O resto fica tudo na mesma (ok, estou exagerando um pouco
Re: [Logica-l] Profissao de cientista?
Adolfo Concordo plenamente com sua (e do Álvaro) análise, e foi o que me chamou a atenção até onde vi o vídeo (é meio chato, na verdade). Mas tá na cara o que ela quer. O problema é opinarmos sobre o assunto. O que acham? Eu vejo isso com reservas. Contratação de alguém como cientista é algo que já existe em muitas empresas, principalmente fora daqui. Mas essas empresas vão buscar no mercado quem lhes convém. Não entendo como ela gerenciaria isso, e quem viu tudo talvez possa esclarecer (não tenho essa paciência no momento): um catálogo de cientistasdisponíveis? E quem estaria pagando o salário deles enquanto não forem contratados? O governo? Estariam pendurados onde? Abraços D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 30/07/2013, às 10:25, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Vocês não entenderam nada. O único que chegou perto de entender foi o Alvaro. Assistam isso: http://www.youtube.com/watch?v=SzgxxLCRo-E E/ou leiam: http://www.suzanaherculanohouzel.com/journal/2012/9/27/voce-quer-mesmo-ser-cientista.html http://www.suzanaherculanohouzel.com/journal/2012/10/15/voce-quer-mesmo-ser-cientista-parte-2-uma-proposta-pratica.html Não tem nada a ver com reserva de mercado. O objetivo é que alunos de mestrado e doutorado recebam salário e não bolsa. Segundo ela, assim os alunos poderiam ser mais cobrados. Não tem nada a ver com exigência de diploma de doutorado (seria necessário só um diploma superior) para ser cientista. Hoje em dia existe algum cientista no brasil sem diploma superior? 2013/7/29 alv...@lunabay.com.br Pelo que entendi, de uma entrevista da Suzana e de algumas leituras rápidas, uma das intenções dela é desvincular a atividade de pesquisador/cientista da profissão de professor universitário, especialmente nas universidades públicas. Afinal, em poucos casos no Brasil o pesquisador pode atuar sem ter prestado concurso para professor e sem ter uma carga semanal de aulas. Não estou me posicionando a favor, até mesmo porque gosto de lecionar, mas acho que é isso que ela pensa. Abraços, Alvaro Augusto On Sun, 28 Jul 2013 11:11:44 -0300, Walter Carnielli wrote: É mais uma manobra rasteira com intenção de proteger mercado para incompetentes. Imagine o que sería a ciência se se exigisse canudo de Arquimedes, Torricelli, Darwin... A única profissão que deveria exigir deproma (!) seria a de deputado e senador, para dizerem menos besteiras . Walter Em 27/07/2013 20:16, Marcelo Siqueira escreveu: Aproveitando o assunto, gostaria de saber a opinião dos srs. a respeito da regulamentação da profissão cientista proposta pela neurocientista Suzane Herculane. Seria isso tb uma tentativa de reserva de mercado? Essa não deveria ser uma atividade livre, no sentido de que cada um poderia praticá-la (cientistas amadores x cientistas profissionais)? http://www.suzanaherculanohouzel.com/journal/2013/6/17/profissionalizaco-do-cientista-o-que-e-e-o-que-no-e.html [7] Abs. Marcel lde;o, Ciências e Tecnologia da Paraíba Campus Campina Grande === Touch a scientist and you touch a child. R.Bradbury 2013/7/27 Joao Marcos agora que todas as profissões e atividades serão bem regulamentadinhas no Brasil, vai ficar mais fácil, por exemplo, juntarmos as corporações para declarar greve: http:// lities.files.wordpress.com/2007/12/new_yorker_cartoon_1000.jpg cheers, brLogica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [2] ___ Logica-l mailing list Logica-l@dimap.ufrn.br [3] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [4] ___ Logica-l mailing list Logica-l@dimap.ufrn.br [5] imap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Links: -- [1] mailto:botoc...@gmail.com [2] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [3] mailto:Logica-l@dimap.ufrn.br [4] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [5] mailto:Logica-l@dimap.ufrn.br [6] mailto:marcelojose.sique...@gmail.com [7] http://www.suzanaherculanohouzel.com/journal/2013/6/17/profissionalizaco-do-cientista-o-que-e-e-o-que-no-e.html ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- == Adolfo Neto Assistant Professor - Federal University of Technology, Paraná Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Twitter: http://twitter.com/adolfont Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
Re: [Logica-l] Profissao de cientista?
Boa, Julio. Concordo. Não se pode dar um título a quem quer que seja assim sem mais nem menos. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/07/2013, às 22:35, Julio Stern jmst...@hotmail.com escreveu: Minha proposta de regulamentacao: Artigo 1: Clausula Petrea: Cientista eh uma profissao estritamente NAO regulamentavel. Artigo 2: Qualquer cientista que atente contra uma clausula petrea desta regulamentacao tera serus direitos profissionais imediatamente cassados de forma definitiva. Artigo 3: Revogadas as disposicoes em contrario. ---Julio Stern, de Montevideo, Uruguay Date: Sun, 28 Jul 2013 11:11:44 -0300 From: walter.carnie...@gmail.com To: marcelojose.sique...@gmail.com CC: botoc...@gmail.com; logica-l@dimap.ufrn.br Subject: [Logica-l] Profissao de cientista? É mais uma manobra rasteira com intenção de proteger mercado para incompetentes. Imagine o que sería a ciência se se exigisse canudo de Arquimedes, Torricelli, Darwin... A única profissão que deveria exigir deproma (!) seria a de deputado e senador, para dizerem menos besteiras . Walter Em 27/07/2013 20:16, Marcelo Siqueira marcelojose.sique...@gmail.com escreveu: Aproveitando o assunto, gostaria de saber a opinião dos srs. a respeito da regulamentação da profissão cientista proposta pela neurocientista Suzane Herculane. Seria isso tb uma tentativa de reserva de mercado? Essa não deveria ser uma atividade livre, no sentido de que cada um poderia praticá-la (cientistas amadores x cientistas profissionais)? http://www.suzanaherculanohouzel.com/journal/2013/6/17/profissionalizaco-do-cientista-o-que-e-e-o-que-no-e.html Abs. Marcelo José Siqueira === Instituto Federal de Educação, Ciências e Tecnologia da Paraíba Campus Campina Grande === Touch a scientist and you touch a child. R.Bradbury 2013/7/27 Joao Marcos botoc...@gmail.com agora que todas as profissões e atividades serão bem regulamentadinhas no Brasil, vai ficar mais fácil, por exemplo, juntarmos as corporações para declarar greve: http://manwithoutqualities.files.wordpress.com/2007/12/new_yorker_cartoon_1000.jpg cheers, jm ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Historiadores
Pessoal Peço sua licença para divulgar aqui uma carta enviada pelo prof Roberto Martins à diretoria da ANPOF que procura apoio (e esclarece pontos) para impedir a proposta, tramitando no congresso, de fazer com que apenas historiadores possam dar aulas de tudo o que se relacione com história (da lógica, da matemática, da biologia, da computação, de tudo --- vejam os argumentos e esclarecimentos dele). Isso é simplesmente ridículo, como se percebe. A pedido dele, estou divulgando a carta e pedindo sua opinião e apoio para divulgá-la entre os seus para que as associações, pessoas individualmente, etc. manifestem-se a respeito. Eu mesmo já mandei email para o deputado proponente tentando fazer a minha parte. Acho que todos devemos fazer isso, para que ele receba muitas mensagens de protesto. Segue a carta: == É ótimo que a ANPOF tenha divulgado a atual discussão a respeito do Projeto de Lei sobre a profissão do historiador (PL 4699/2012). É relevante informar que essa proposta de legislação tem sido criticada por muitas entidades, como a Sociedade Brasileira para o Progresso da Ciência (SBPC) e a Academia Brasileira de Ciências (ABC): http://www.jornaldaciencia.org.br/Detalhe.jsp?id=88100 É excelente, também, que a Diretoria da ANPOF não tenha apresentado uma posição fechada, mas flexível diante de novas informações, e tenha se colocado à disposição para o debate de seus encaminhamentos e posturas. Isso é o que se espera de uma boa Associação. Dito isso, gostaria de apresentar, com todo respeito, uma interpretação diferente da que a ANPUH tem divulgado a respeito do referido Projeto de Lei, e que foi aceita pela diretoria da ANPOF. Há certa confusão sobre a interpretação do Projeto de Lei sobre a profissão do historiador, principalmente porque sua parte central, que determina as prerrogativas dos historiadores, utiliza no seu Artigo 4 o termo jurídico atribuições. Pessoas sem familiaridade com o contexto jurídico podem pensar que o projeto de lei apenas diz o que os historiadores PODEM fazer. Porém, em uma Lei, atribuições são DIREITOS EXCLUSIVOS. Vou, por isso, apresentar a parte central do projeto de lei utilizando a paráfrase do seu relator na Câmara dos Deputados, que foi o deputado Roberto Policarpo Fagundes (e que foi favorável à sua aprovação, ou seja, não estava criticando a proposta): http://www.camara.gov.br/proposicoesWeb/prop_mostrarintegra?codteor=1090037filename=Parecer-CTASP-17-05-2013 O texto do Projeto não oferece um conceito de Historiador, mas restringe o exercício da atividade aos graduados em curso superior e aos portadores de diploma de mestrado ou doutorado em História e atribui-lhes, privativamente, o magistério da disciplina de História nos estabelecimentos de ensino fundamental, médio e superior; a organização de informações para publicações, exposições e eventos sobre temas de História; o planejamento, a organização, a implantação e a direção de serviços de pesquisa histórica; o assessoramento, a organização, a implantação e a direção de serviços de documentação e informação histórica e o assessoramento voltado à avaliação e à seleção de documentos, para fins de preservação, bem como a elaboração de pareceres, relatórios, planos, projetos, laudos e trabalhos sobre temas históricos. Esse é o entendimento jurídico do projeto de lei. Notem bem as expressões: RESTRINGE O EXERCÍCIO DA ATIVIDADE, ATRIBUI-LHES PRIVATIVAMENTE. Está muito claro que o projeto de lei é restritivo, sim, não abrindo qualquer brecha para que pessoas sem diploma em história se dediquem ao ensino de história, à organização de publicações e eventos, elaboração de projetos e trabalhos sobre temas históricos. Qualquer tema histórico. Não é prevista qualquer exceção, ao contrário do que os defensores do projeto afirmam. Lembremo-nos de que, se o projeto de lei for aprovado, não será a ANPUH e sim um juiz quem irá interpretar a Lei e sua aplicação. E o juiz interpreta aquilo que está no texto da Lei, e não aquilo que era a intenção de quem a defendeu. História da Filosofia é um tema histórico? Sem dúvida nenhuma. Então, ela está incluída nas prerrogativas exclusivas do historiador (aquele que possui diploma em História). Convido quem tiver interesse em se aprofundar neste tema a visitar este blog: http://profissao-historiador.blogspot.com.br/ Nele vocês encontrarão uma análise detalhada de todo o projeto de lei, bem como um grande número de documentos que criticam o projeto (incluindo depoimentos de importantes historiadores). Vamos tratar esse assunto com seriedade e profundidade, colegas da Filosofia. Cordialmente, Roberto de Andrade Martins (doutor em Filosofia) Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br
[Logica-l] Historiadores, cont.
Pessoal Há um site onde o Prof. Roberto tem mantido informações sobre o caso: http://profissao-historiador.blogspot.com.br Não vi a SBL lá. Creio que nossa sociedade deveria entrar na jogada… Abraços D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] SEP - Jul 2013
Legal, JM. A SEP está mesmo cada vez melhor. Obrigado. D Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 03/07/2013, às 13:54, Joao Marcos botoc...@gmail.com escreveu: * * * Some interesting new Stanford Encyclopedia of Philosophy entries: Analogy and analogical reasoning Paul Bartha http://plato.stanford.edu/entries/reasoning-analogy/ Confirmation Vincenzo Crupi http://plato.stanford.edu/entries/confirmation/ Leibniz's Exoteric Philosophy http://plato.stanford.edu/entries/leibniz-exoteric/ John Whipple Location and Mereology Cody Gilmore http://plato.stanford.edu/entries/location-mereology/ Zermelo's Axiomatization of Set Theory Michael Hallett http://plato.stanford.edu/entries/zermelo-set-theory/ * * * Some interesting recently revised entries: Descriptions Peter Ludlow http://plato.stanford.edu/entries/descriptions/ First-order model theory Thomas Scanlon http://plato.stanford.edu/entries/modeltheory-fo/ Galileo Galilei Peter Machamer http://plato.stanford.edu/entries/galileo/ The Meaning of Life Thaddeus Metz http://plato.stanford.edu/entries/life-meaning/ Self-Reference Thomas Bolander http://plato.stanford.edu/entries/self-reference/ The St. Petersburg Paradox Robert Martin http://plato.stanford.edu/entries/paradox-stpetersburg/ * * * JM ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Grupo = Modelo de ZF ?
Carlos Suas observações me parecem acertadas, mas o que provoquei não foi isso. Só que me parece adequado lembrar que os modelos de permutação de Fraenkel-Mostowski funcionam para provas de independência em teorias com átomos. A partir do link fornecido pelo JM, que fala do sentido em que uma teoria de conjuntos pode servir de fundamento para a matemática, eu simplesmente propus se explicar porque um grupo é um conjunto se podemos supor que na base de seus axiomas estão os de ZF e assim uma estrutura que modele os postulados de grupo deveriam igualmente modelar os de ZF, o que daria um banzé de cuia (JM, gostou dessa?). Na verdade, como você observa, nunca podemos saber em que modelo de ZF estamos, nem mesmo provar que ZF tem modelo standard. Isso é ainda mais fascinante, pois somos enganados e enganamos a nós mesmos o tempo todo...daria um filme. Assim, tomar ZF ou qualquer outra teoria de conjuntos como fundamento é algo delicado. Aliás, de que matemática estamos falando? Abraços D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 25/05/2013, às 15:15, Carlos Gonzalez gonza...@gmail.com escreveu: Não estou compreendendo muito bem qual é o direcionamento que estão querendo dar a esta discussão. Em primeiro lugar, já que nomearam L-S, entram em pauta as questões de relativização, pois se não considerarmos essas questões a coisa passa de confusa para contraditória. Eu gosto da linguagem metafórica na qual é comum falar de relativização. Uma pessoa pode viver num modelo de ZFC que tem grandes cardinais: inaccessíveis, mensuráveis, compactos, etc., e ele tem o maior orgulho dos seus grandes cardinais. Mas ele está enganado, pois vive num modelo enumerável, de modo que o que ele vê como grandes cardinais são, vistos desde fora, conjuntos enumeráveis. Analogamente, uma pessoa poderia viver num modelo de ZFC que é um grupo, sem poder saber nunca desde dentro do modelo, que ele é um grupo. Para piorar a coisa, foram inventados um monte de truques lógicos para evitar o sistema provar a sua própria consistência, contradizendo o Teorema de Gödel. Consequentemente, como não pode demonstrar um ZFC a existência de um conjunto que seja modelo de ZFC, então recorre a coisas como classes próprias virtuais, fundadas em relativização de quantificadores, etc., etc., etc. Assim, é pensado intuitivamente como um modelo, mas não é um modelo na demonstração formal, no sentido estrito de modelo. Por exemplo, nos Boolean Valued Models de ZFC, uma álgebra de Boole é o modelo, intuitivamente falando, mas nunca é demonstrado formalmente e no sentido estrito que existe uma tal álgebra. Na minha primeira prova de consistência em teoria de conjuntos, usei uma técnica denominada modelos de permutação, modelos baseados em grupos de permutações: as permutações de um grupo específico, permutam todo o universo do modelo da teoria de conjuntos, falando intuitivamente. É uma técnica antiga, inventada por Fraenkel nos 1920's, melhorada por Mostowski e que está explicada muito bem no livro de Felgner nas LNM. Alguma das provas originais de Cohen com forcing usa esse sentido intuitivo de permutação para provar a independência do Axioma da Escolha. Quando começa a definir determinados grupos, pode encontrar surpresas. Por exemplo, parece que quase ninguém esperava que os grupos reticulados ocultassem uma aritmética, de modo que podem ser aplicados resultados de Gödel. Não sou a pessoa certa para falar de grupos especiais (no sentido técnico das palavras, os grupos usados por Miraglia e Dickmann), mas é um outro uso de grupos com ferramentas da teoria de modelos. Em síntese: não vejo nada de estranho uma pessoa morar num modelo de ZFC e que alguém prove que desde fora esse modelo particular é um grupo. O que de dentro do modelo é pensado como uma relação de pertinência primitiva (indefinida), de fora é uma relação definida na base das operações do grupo. Nem me parece uma coisa muito divertida para demonstrar. Carlos 2013/5/25 sam...@ufba.br: Olás, Sim, creio que um upward LS resolve também. Mas o grupo das palavras nas kappa letras é mais palpável para os matemáticos mainstream, que nem sabem de LS, para baixo ou para cima... Como eu vivo entre matemáticos mainstream, acabo de me acostumando com esses exemplos. Outra coisa engracada pra se discutir é que boa parte dos resultados de consistência que se faz por aí (por forcing ou submodelos elementares ou combinacoes de coisas assim) sao feitos com CONJUNTOS que sao modelos de ZF - claaro que na verdade sao modelos de um fragmento conveniente dele, no caso, etc. A idéia é que se um teorema tivesse contra-exemplo, esse caso particular estaria contido num fragmento de ZF. Portanto, se
Re: [Logica-l] Grupo = Modelo de ZF ?
Tem razão Samuel. O discurso usual é falaz, mas se fossemos ser absolutamente precisos (é possível isso?) teríamos que elaborar um discurso muito chato. Abusos de linguagem são permitidos, claro. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 25/05/2013, às 13:58, sam...@ufba.br escreveu: Olás, Sim, creio que um upward LS resolve também. Mas o grupo das palavras nas kappa letras é mais palpável para os matemáticos mainstream, que nem sabem de LS, para baixo ou para cima... Como eu vivo entre matemáticos mainstream, acabo de me acostumando com esses exemplos. Outra coisa engracada pra se discutir é que boa parte dos resultados de consistência que se faz por aí (por forcing ou submodelos elementares ou combinacoes de coisas assim) sao feitos com CONJUNTOS que sao modelos de ZF - claaro que na verdade sao modelos de um fragmento conveniente dele, no caso, etc. A idéia é que se um teorema tivesse contra-exemplo, esse caso particular estaria contido num fragmento de ZF. Portanto, se mostramos que um dado teorema é sempre verdadeiro em fragmentos convenientes de ZF, ou de ZFC, estamos provando sua consistência, por impedir a existência dos tais contra-exemplos. Atés, []s Samuel Quoting Joao Marcos botoc...@gmail.com: (Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a se pensar, claro) Queria acrescentar que eu acho que não é um candidato. Eu só achei que o argumento da cardinalidade formulado antes não era convincente, pois os modelos de ZF afinal não precisam ser grandes... E, claro, você tem razão em dizer que existem grupos para cada cardinalidade (Löwenheim-Skolem na forma *ascendente* poderia ser invocado, neste caso, mesmo se não conhecêssemos os exemplos que você sugeriu?). Abraços, JM -- http://sequiturquodlibet.googlepages.com/ Universidade Federal da Bahia - http://www.portal.ufba.br ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Grupo = Modelo de ZF ?
Mas que tal se usássemos ZF de segunda ordem? L-S não poderia ser invocado... Como se vê, o tema é legal e sutil. Abraços Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 25/05/2013, às 13:26, Joao Marcos botoc...@gmail.com escreveu: (Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a se pensar, claro) Queria acrescentar que eu acho que não é um candidato. Eu só achei que o argumento da cardinalidade formulado antes não era convincente, pois os modelos de ZF afinal não precisam ser grandes... E, claro, você tem razão em dizer que existem grupos para cada cardinalidade (Löwenheim-Skolem na forma *ascendente* poderia ser invocado, neste caso, mesmo se não conhecêssemos os exemplos que você sugeriu?). Abraços, JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Voltando à discussao cor/raça no Lattes...
Caros Eu vejo algo mais embaixo nessa questão das raças no Lattes: cotas para bolsas de pesquisa, por exemplo. Não se pode confiar nessa gente. Eles não dão ponto sem nó. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 25/05/2013, às 07:24, Manuel Doria manueldo...@gmail.com escreveu: Não sei o que seria um argumento não-lógico. Um bom argumento, mesmo que seja um argumento sociológico, deve obedecer a certas exigências de racionalidade que descrevemos formalmente. Entretanto, eu sustento que em geral, devemos dar dois passos atrás perante qualquer proferimento por parte de sociólogos brasileiros a respeito da realidade social. Seria esperado que um sociólogo, enquanto alegado cientista social, tivesse um engajamento com a dinâmica de sociedades e fenômenos que emergem à partir da interação de vários agentes de forma análoga à de um meteorologista com fenômenos atmosféricos. Mas quase sempre por aqui, não é o caso. E a razão não é da ordem da complexidade dos fenômenos; é ideológica. A maioria do que se produz em nome da sociologia no Brasil não é ciência, é uma atividade mais próxima da crítica literária; a elaboração de narrativas internamente coerentes, psicologicamente satisfatórias que angariam significado a processos sociais e históricos. Não estão interessados em adequação empírica, elaboração de testes cruciais e fogem de métodos quantitativos. O ramo mais científico da sociologia, o funcionalismo - que há mais de um século procura consiliência com o resto do conhecimento científico - é ridicularizado na academia brasileira como positivismo (um palavrão comum). A conflação de normatividade com descrição na sociologia chega a ser pior do que o que ocorre em economia e ciência política. Teoria de conflito marxista, feminismo, teoria crítica, pós-estruturalismo, construtivismo social, pós-modernismo e tantos outros ramos de teorias sociológicas são programas de pesquisa degenerados, no sentido de Lakatos. Não é ciência. Quando alguém como o matemático John Casti se preza a compreender como emergem fenômenos sociais usando ferramentas computacionais como multi-agent modeling, é capaz de muitos sociólogos de nossa academia empregarem algum *ad hominem* para descaracterizar o uso desse tipo de metodologia e até mesmo acusá-lo de estar apenas servindo de instrumento dos interesses da burguesia. Um forte abraço. 2013/5/25 Juan Carlos Agudelo Agudelo juca.agud...@gmail.com Minha intensão ao enviar o texto foi pôr a disposição de nós, os lógicos, argumentos não lógicos, mas socioLÓGICOS, de um debate sobre uma politica social. Talvez nossos raciocínios lógicos não conseguem dar conta das realidades sociais, e nossas opiniões sobre as problemáticas sociais são tao fracas quanto as opiniões dos sociólogos a respeito da lógica. Acho que ler, e tentar entender, os argumentos das pessoas que trabalham na área sempre traz benefícios. Mas claro, se pode discordar. O problema é que as pessoas que escreveram o texto não vão poder defender seus argumentos, pois nem estão sabendo que eu enviei essa mensagem (minhas desculpas com elas, mesmo que elas também não fiquem sabendo). A respeito da afirmação do JM: As antropólogas uspianas autoras do texto circulado abaixo (que obviamente não leram Roberto DaMatta) parecem acreditar que a inclusão do item em questão no Lattes ajudariam a mitigar a realidade de uma sociedade brasileira altamente racializada em suas práticas cotidianas e inclusive no que tange o acesso ao ensino superior e à pesquisa científica no que tange o acesso ao ensino superior e à pesquisa científica. Acho que esta bem claro no texto delas, que esses dados são só um instrumento que pode ser útil para avaliar e ciar políticas que mitiguem esses problemas. É claro que elas não acreditam que só a inclusão do item em questão vai mitigar esses problemas, é por isso que observam que ...é preciso indagar como esse tipo de informação será efetivamente aproveitado. Enfim, é de interesse da comunidade tomar a “novidade” não como resultado, mas como parte de um processo, cabendo a nós, pesquisadores, o papel de interpelar a Instituição sobre os usos desses dados. []s JC 2013/5/24 Joao Marcos botoc...@gmail.com Entendo que a minha *opinião* sobre o assunto é irrelevante. Faço então apenas uma breve análise lógico-informal do texto enviado, com um par de comentários adicionais. Favor ignorar se o tópico simplesmente não for do interesse. Até a promulgação da Constituição de 1988, no Basil, era obrigatória a inclusão da *cor* na Certidão de Nascimento. (É claro que quase todo mundo era declarado como branco.) De lá para cá os cartórios passaram a omitir sistematicamente a informação
Re: [Logica-l] Qualis do Kant
Julio Inserção internacional não significa necessariamente IR pessoalmente. Mas seus escritos eram conhecidos fora de Königsberg, pois não? Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 23/05/2013, às 09:23, Julio Stern jmst...@hotmail.com escreveu: Se nao me engano, Kant nunca saiu de Koenigsberg. Assim, sua Insercao Internacional era pessima. Nada de bolsa de pesquisa para o Immanuael! ---Julio Stern Date: Thu, 23 May 2013 00:47:51 +0200 From: beziau...@gmail.com To: logica-l@dimap.ufrn.br Subject: [Logica-l] Qualis do Kant Bom lembrar que no prefacio da segunda edicao da Crítica da razão pura Kant falou que a logica era um ciencia acabada. Isso mostra que ele era um filosofo muito fraco, levar mais de 10 anos para falar tal bobagem certamente nao merece bolsa de pesquisa. Ser especialisto de Kant tambem nao. JYB *** Aylton: O período compreendido entre 1770 e 1781 é conhecido pelos estudiosos de Kant como a década do silêncio, no qual ele não publicou nada. Pelos critérios da CAPES, ele seria considerado improdutivo e descredenciado da pós-graduação. Mas, em 1781, ele publica a _Crítica da razão pura_, que todos reconhecemos como uma das maiores obras da filosofia de todos os tempos, contudo, com este trabalho, ele ainda continuaria descredenciado, pelo menos até que a comissão avaliasse o Qualis que este livro receberia. Saudações a todos ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Qualis do Kant
Manuel Que tal acrescentar à lista a pérola quando Lula fala o mundo se ilumina? De uma filósofa bem conhecida (como musa do PT). Desculpe, João Marcos, mas não resisti... D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 23/05/2013, às 09:35, Manuel Doria manueldo...@gmail.com escreveu: A quantidade de besteiras que os grandes filósofos já proferiram causa de fato um grande desconforto (minha favorita é a consideração de Hegel sobre o ímã ser essencialmente uma contradição). Filósofos são falíveis mas o que prejudica é a pretensão, consciente ou culturalmente esperada, de que o que filósofos proferem são resultado de raciocínio calculadamente articulado. Filósofos podem (e falam) muita besteira. Não me recordo quem disse que a diferença é que institucionalmente, quando filósofos falam besteiras é capaz de ampliarem ainda mais seu séquito de seguidores enquanto que quando cientistas e matemáticos cometem uma gafe institucionalmente considerada fatal em uma demonstração ou protocolo experimental, isso pode custar sua carreira e reputação. Exemplos de pérolas das grandes mentes de nossa civilização: http://www.slideshare.net/kendrawilsonnv/philosophical-misadventures Um forte abraço. 2013/5/23 Manuel Doria manueldo...@gmail.com E a maior parte de sua docência e publicações foi em antropologia, não filosofia. Entretanto, não acho adequado menosprezar as contribuições fundamentais do ilustre de Königsberg que perduram até hoje (como as inspirações kantianas implícitas na célebre distinção de data e phenomena na filosofia da ciência contemporânea por parte de James Borgen e James Woodward). Há também bons historiadores da filosofia de Kant com importante projeção. 2013/5/23 Julio Stern jmst...@hotmail.com Se nao me engano, Kant nunca saiu de Koenigsberg. Assim, sua Insercao Internacional era pessima. Nada de bolsa de pesquisa para o Immanuael! ---Julio Stern Date: Thu, 23 May 2013 00:47:51 +0200 From: beziau...@gmail.com To: logica-l@dimap.ufrn.br Subject: [Logica-l] Qualis do Kant Bom lembrar que no prefacio da segunda edicao da Crítica da razão pura Kant falou que a logica era um ciencia acabada. Isso mostra que ele era um filosofo muito fraco, levar mais de 10 anos para falar tal bobagem certamente nao merece bolsa de pesquisa. Ser especialisto de Kant tambem nao. JYB *** Aylton: O período compreendido entre 1770 e 1781 é conhecido pelos estudiosos de Kant como a década do silêncio, no qual ele não publicou nada. Pelos critérios da CAPES, ele seria considerado improdutivo e descredenciado da pós-graduação. Mas, em 1781, ele publica a _Crítica da razão pura_, que todos reconhecemos como uma das maiores obras da filosofia de todos os tempos, contudo, com este trabalho, ele ainda continuaria descredenciado, pelo menos até que a comissão avaliasse o Qualis que este livro receberia. Saudações a todos ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] EBL 2014 discussao aberta
Caramba, Pedro, essa ideia da Amazonia parece bacana. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 23/05/2013, às 12:56, Pedro H. Zambrano phzambra...@gmail.com escreveu: Caros colegas: Concordo com o Julio e a idéia do João, os locais para este tipo de encontros deveriam ser concordados com anterioridade e deveria depender do apóio de uma organização tipo SBL -realmente eu acreditava que a organização dependia diretamente da SBL, mas pelo comentário do João entendo que não acontece assim-, e tendo em conta locais que tenham a infraestrutura para este tipo de encontros (hotéis, transporte desde cidades tipo o Rio ou SP -pensando em possíveis participantes internacionais-, as salas para o encontro, etc.) ... acho que vocês poderiam pensar em organizar desse jeito os próximos EBL. Por exemplo, em Letícia na Amazônia Colombiana perto da fronteira Colombiana-Brasileira, seria muito bacana para um encontro, no meio do mato ... tem hotéis e tem um campus bacana da Universidade Nacional da Colombia, mas tem o problema que não tem estrada desde Bogotá até Letícia e a gente tem que chegar de avião, e tem poucos vôos diarios desde as cidades grandes Colombianas até Letícia. Para um encontro pequeno acho que daria, mas não dá para um encontro tipo CCM ou algum encontro similar ao EBL. Novamente, mil desculpas pelos meu comentários, não sou Brasileiro nem moro no Brasil, mas mantenho contato com vários lógicos Brasileiros e também participei de vários EBL dos que eu gostaria de continuar participando, além que gostaria de acrescentar os (tímidos ainda) contatos entre a comunidade lógica da Colômbia e do Brasil. Acho bacana a idéia do Jean-Yves de perguntar ao pessoal lógico Brasileiro sobre o local para o EBL no sentido de ser uma decisão democrática e acho ótima a idéia de organizar o EBL em cidades diferentes em todo o Brasil, mas acho que isso deveria depender mais se tem interesse do pessoal desses locais se eles querem organizar o EBL e propor a sua candidatura, né? Acho que assim acontece com o Congresso Colombiano de Matemática (obviamente, os possíveis organizadores propõem a candidatura e em uma reunião geral da Sociedade Colombiana de Matemática se discute sobre o local do próximo evento, mas acho que isso deveria provir desde os mesmos possíveis organizadores, não do pessoal em geral, pois depende desses negócios de infraestrutura e de conseguir dinheiro para o evento e do apóio das Universidades e institutos desses locais). E acho que desse mesmo jeito acontece com o SLALM (o Walter, o Marcelo Coniglio ou a Itala poderiam me corregir se estou errado). Acho que pelo menos o pessoal de Petrópolis tem interesse de organizar o encontro, além da discussão sobre se o EBL deveria repetir local. Abraço, Pedro. 2013/5/23 Julio Stern jmst...@hotmail.com Caros: Vou comentar uma ideia do Joao Marcos que me parece muito razoavel, e que corresponde a maneira como a qual muitas sociedades cientificas (inclusive algumas que ja presidi) organizam suas conferencias. Ao fianal de cada EBL, deveriamos eleger a nova diretoria da SBL, cuja maior tarefa seria organizar o proximo EBL. Claro esta que a diretoria eleita sera constituida primordialmente de cientistas do Estado onde sera organizado o proximo evento.Isto ja estabelece alguns criterios pragmaticos para as possiveis candidaturas: (1) O Estado que se propoem a sediar o evento deve ter uma comunidade cientifica atuante de peso suficiente para requisitar os recursos e ser levada a serio. (2) Os mais destacados membros da referida comunidade, e seus (ex) estudantes, se dispoem aa trabalheira insana que organizar uma coisa destas requer. (3) Cabe aos organizadores escolher o local exato, dentro do Estado, que vai sediar o evento. Esta forma de organizar as coisas tem, entre outras, as seguintes vantagens. (a) O merito de organizar o evento eh melhor reconhecido, de uma forma que pode ser objetivamente avaliada e recompensada quando, por exemplo, se julga a bolsa de produtividade dos envolvidos.(b) Permite a necessaria flexibilidade para negociar com hoteis e outros provedores de servico condicoes adequadas de preco e qualidade. Aqui em Sao Paulo, por exemplo, nao esta facil encontrar hoteis de boa qualidade (nada de luxo desnecessario, apenas boas salas de conferencia, e bons servicos de apoio) que se disponham a prestar servicos dentro da tabela de diarias pagas pela FAPESP, e fazer tudo dentro das normas (por vezes incompativeis) da FAPESP, CAPES e CNPq. Ficar palpitando de alegre onde eh que eu gostaria de fazer turismo eh algo que (no meu particular entender) nao cabe dentro deste escopo de discussao. ---Julio
Re: [Logica-l] DORA
Aylton Ninguém aqui em nosso meio é um Kant e os critérios vigentes à época não eram os atuais. Estou colocando o problema para reflexão. Quisera que saísse por aí uma Crítica de vez em quando, mas não sai, como sabe. Por isso, sua observação não se aplica. Senão, teremos que dar bolsas a todos na esperança de que um dia publiquem uma Crítica...não dá. As pessoas têm que mostrar ao que vieram, principalmente se participam de uma boa universidade que tem uma PG que quer crescer, etc. Sabe-se quais são os requisitos para isso, e quem não colabora deve ser questionado a respeito. Mas esta é minha opinião, claro. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 22/05/2013, às 11:20, barbi...@cfh.ufsc.br escreveu: Prezado prof. Decio Krause Envio uma questão para reflexão: O período compreendido entre 1770 e 1781 é conhecido pelos estudiosos de Kant como a década do silêncio, no qual ele não publicou nada. Pelos critérios da CAPES, ele seria considerado improdutivo e descredenciado da pós-graduação. Mas, em 1781, ele publica a Crítica da razão pura, que todos reconhecemos como uma das maiores obras da filosofia de todos os tempos, contudo, com este trabalho, ele ainda continuaria descredenciado, pelo menos até que a comissão avaliasse o Qualis que este livro receberia. Saudações a todos Aylton Em 22.05.2013 10:59, Decio Krause escreveu: 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 consequência) produção de um livro, geralmente em português, publicado muitas vezes pelo próprio autor. Gostaria de saber o que acham disso. Eu não concordo, pois penso que os critérios são exatamente os mesmos para todas as áreas, já que há revistas e mais revistas de todas as qualidades, e quem trabalha pode muito bem publicar com certa regularidade. Em particular, constato que nossos filósofos (em geral, pois há excelentes exceções) quase não publicam, muitos sendo considerados suficientemente bons (por default) para se darem ao trabalho de enviar um artigo para uma revista conceituada (já pensaram se vier uma crítica a essa eminência?). À parte questões como as postas nesta discussão (DORA e outras coisas), que creio são relevantes e que os critérios precisam ser mesmo repensados, não acho que podemos fugir do óbvio, ou seja, que um pesquisador deve procurar divulgar as suas ideias para fora de seu quintal ou núcleo de conforto, dando a cara ao tapa. Quem não faz isso regularmente pode ser chamado de pesquisador ou pior, manter uma bolsa do CNPq? Aproveito a discussão presente para cutucar o seguinte aspecto da questão, que nos diz respeito diretamente. O que qualificaria um pesquisador 1, 2 do CNPq por exemplo como tal? Os critérios atualmente utilizados precisam ser repensados? Devemos manter os que lá estão, muitas vezes em altas posições, mesmo que sem uma produção regular aceitável, somente porque um dia foram bons tendo em vista a turma nova que está competindo internacionalmente e que está com poucas chances de competir aqui por uma bolsa? Os critérios vigentes vão até 2014 (logo, ano que vem podem ser alterados), e podem ser vistos em http://www.cnpq.br/web/guest/criterios-de-julgamento;jsessionid=D19365589EFB92023A743D767BCA3F54?p_p_id=101_INSTANCE_18Nxp_p_lifecycle=0p_p_state=normalp_p_mode=viewp_p_col_id=column-3p_p_col_pos=2p_p_col_count=3_101_INSTANCE_18Nx_delta=10_101_INSTANCE_18Nx_keywords=_101_INSTANCE_18Nx_advancedSearch=false_101_INSTANCE_18Nx_andOperator=truecur=5# 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 22/05/2013, às 09:37, Mario Benevides escreveu: http://am.ascb.org/dora/ -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] DORA
Hebeche Um polêmico solitário recitando dentro de uma caverna para ninguém ouvir é de pouca valia para qualquer universidade. Nada contra trabalhar isolado, mas há que se mostrar o produto de seu trabalho nos veículos usuais. Hoje ninguém mais fica isolado e de repente sai gritando Eureka. Mesmo em filosofia discute-se, debate-se, publica-se como em qualquer área. Para mim é errado dizer que o filósofo é um ser diferente dos demais pesquisadores. Ms repito: estou dando minha opinião e rebatendo aquelas que acho não se adaptam ao momento de hoje, onde precisamos transparência. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 22/05/2013, às 12:00, hebe...@terra.com.br escreveu: Olá Décio, mais uma vez te felicito por levares a sério esse assunto, mas você já deve ter lido T. Kuhn. A instituições de pesquisa reproduzem a ciência normal, mas prefiro continuar um polêmico solitário. Aliás, acho que na nossa área o CNPq prima pela medicridade e falta de criatividade. Saudações, Hebeche. On Qua 22/05/13 10:59 , Decio Krause deciokra...@gmail.com sent: 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 consequência) produção de um livro, geralmente em português, publicado muitas vezes pelo próprio autor. Gostaria de saber o que acham disso. Eu não concordo, pois penso que os critérios são exatamente os mesmos para todas as áreas, já que há revistas e mais revistas de todas as qualidades, e quem trabalha pode muito bem publicar com certa regularidade. Em particular, constato que nossos filósofos (em geral, pois há excelentes exceções) quase não publicam, muitos sendo considerados suficientemente bons (por default) para se darem ao trabalho de enviar um artigo para uma revista conceituada (já pensaram se vier uma crítica a essa eminência?). À parte questões como as postas nesta discussão (DORA e outras coisas), que creio são relevantes e que os critérios precisam ser mesmo repensados, não acho que podemos fugir do óbvio, ou seja, que um pesquisador deve procurar divulgar as suas ideias para fora de seu quintal ou núcleo de conforto, dando a cara ao tapa. Quem não faz isso regularmente pode ser chamado de pesquisador ou pior, manter uma bolsa do CNPq? Aproveito a discussão presente para cutucar o seguinte aspecto da questão, que nos diz respeito diretamente. O que qualificaria um pesquisador 1, 2 do CNPq por exemplo como tal? Os critérios atualmente utilizados precisam ser repensados? Devemos manter os que lá estão, muitas vezes em altas posições, mesmo que sem uma produção regular aceitável, somente porque um dia foram bons tendo em vista a turma nova que está competindo internacionalmente e que está com poucas chances de competir aqui por uma bolsa? Os critérios vigentes vão até 2014 (logo, ano que vem podem ser alterados), e podem ser vistos em http://www.cnpq.br/web/guest/criterios-de-julgamento;jsessionid=D19365589EFB92023A743D767BCA3F54?p_p_id=101_INSTANCE_18Nxp_p_lifecycle=0p_p_state=normalp_p_mode=viewp_p_col_id=column-3p_p_col_pos=2p_p_col_count=3_101_INSTANCE_18Nx_delta=10_101_INSTANCE_18Nx_keywords=_101_INSTANCE_18Nx_advancedSearch=false_101_INSTANCE_18Nx_andOperator=truecur=5# 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 22/05/2013, às 09:37, Mario Benevides escreveu: http://am.ascb.org/dora/ -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] DORA
Hebeche Continuando...o CNPq mudou bastante. Há ainda dinossauros lá, mas creio que, em nossa área, ninguém mais entra sem uma produção condizente. Meu objetivo é que ninguém continue lá sem a mesma coisa e de forma continuada. É hora de você tentar, se acha razoável. Será julgado com isenção. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 22/05/2013, às 12:00, hebe...@terra.com.br escreveu: Olá Décio, mais uma vez te felicito por levares a sério esse assunto, mas você já deve ter lido T. Kuhn. A instituições de pesquisa reproduzem a ciência normal, mas prefiro continuar um polêmico solitário. Aliás, acho que na nossa área o CNPq prima pela medicridade e falta de criatividade. Saudações, Hebeche. On Qua 22/05/13 10:59 , Decio Krause deciokra...@gmail.com sent: 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 consequência) produção de um livro, geralmente em português, publicado muitas vezes pelo próprio autor. Gostaria de saber o que acham disso. Eu não concordo, pois penso que os critérios são exatamente os mesmos para todas as áreas, já que há revistas e mais revistas de todas as qualidades, e quem trabalha pode muito bem publicar com certa regularidade. Em particular, constato que nossos filósofos (em geral, pois há excelentes exceções) quase não publicam, muitos sendo considerados suficientemente bons (por default) para se darem ao trabalho de enviar um artigo para uma revista conceituada (já pensaram se vier uma crítica a essa eminência?). À parte questões como as postas nesta discussão (DORA e outras coisas), que creio são relevantes e que os critérios precisam ser mesmo repensados, não acho que podemos fugir do óbvio, ou seja, que um pesquisador deve procurar divulgar as suas ideias para fora de seu quintal ou núcleo de conforto, dando a cara ao tapa. Quem não faz isso regularmente pode ser chamado de pesquisador ou pior, manter uma bolsa do CNPq? Aproveito a discussão presente para cutucar o seguinte aspecto da questão, que nos diz respeito diretamente. O que qualificaria um pesquisador 1, 2 do CNPq por exemplo como tal? Os critérios atualmente utilizados precisam ser repensados? Devemos manter os que lá estão, muitas vezes em altas posições, mesmo que sem uma produção regular aceitável, somente porque um dia foram bons tendo em vista a turma nova que está competindo internacionalmente e que está com poucas chances de competir aqui por uma bolsa? Os critérios vigentes vão até 2014 (logo, ano que vem podem ser alterados), e podem ser vistos em http://www.cnpq.br/web/guest/criterios-de-julgamento;jsessionid=D19365589EFB92023A743D767BCA3F54?p_p_id=101_INSTANCE_18Nxp_p_lifecycle=0p_p_state=normalp_p_mode=viewp_p_col_id=column-3p_p_col_pos=2p_p_col_count=3_101_INSTANCE_18Nx_delta=10_101_INSTANCE_18Nx_keywords=_101_INSTANCE_18Nx_advancedSearch=false_101_INSTANCE_18Nx_andOperator=truecur=5# 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 22/05/2013, às 09:37, Mario Benevides escreveu: http://am.ascb.org/dora/ -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] DORA
João Não estou fazendo uma crítica ao CA-FI, mas aos critérios atuais, que me parecem podem melhorar de modo a aprimorarmos a qualificação dos pesquisadores. Eles precisam ser constantemente reavaliados, e isso deve ser algo normal. Eu concordo que um pesquisador 1A ou 1B deveria ter produção internacional. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 22/05/2013, às 15:27, Joao Marcos botoc...@gmail.com escreveu: Bem, não há motivo, em princípio, para que a avaliação na área de Filosofia use exatamente os mesmos critérios de outras áreas. Parece bonito, por exemplo, dizer no critério vigente que considerar-se-á sobretudo a qualidade, aferida por sua repercussão no meio acadêmico, constituindo-se em referência para a área, desde que se clarifique como esta referência é medida (no nosso quintal tupiniquim, ou no quintal global?). Mas é certamente muito particular para a área de Filosofia que todos os níveis de produtividade considerem apenas inserção nacional --- inserção internacional fica reservada para os níveis 1A e 1B. Por fim, o Qualis da Filosofia, que privilegia tradicionalmente revistas nacionais que ninguém lê, é certamente uma piada de mau gosto. Certamente que o item produção regular só pode ser realmente aferido se o filósofo der um basta no seu período de silêncio e exibir um pouco do seu brilhantismo (para inglês ver?). Você teria outras críticas específicas aos critérios do CA-FI, Décio? JM 2013/5/22 Decio Krause deciokra...@gmail.com: 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 consequência) produção de um livro, geralmente em português, publicado muitas vezes pelo próprio autor. Gostaria de saber o que acham disso. Eu não concordo, pois penso que os critérios são exatamente os mesmos para todas as áreas, já que há revistas e mais revistas de todas as qualidades, e quem trabalha pode muito bem publicar com certa regularidade. Em particular, constato que nossos filósofos (em geral, pois há excelentes exceções) quase não publicam, muitos sendo considerados suficientemente bons (por default) para se darem ao trabalho de enviar um artigo para uma revista conceituada (já pensaram se vier uma crítica a essa eminência?). À parte questões como as postas nesta discussão (DORA e outras coisas), que creio são relevantes e que os critérios precisam ser mesmo repensados, não acho que podemos fugir do óbvio, ou seja, que um pesquisador deve procurar divulgar as suas ideias para fora de seu quintal ou núcleo de conforto, dando a cara ao tapa. Quem não faz isso regularmente pode ser chamado de pesquisador ou pior, manter uma bolsa do CNPq? Aproveito a discussão presente para cutucar o seguinte aspecto da questão, que nos diz respeito diretamente. O que qualificaria um pesquisador 1, 2 do CNPq por exemplo como tal? Os critérios atualmente utilizados precisam ser repensados? Devemos manter os que lá estão, muitas vezes em altas posições, mesmo que sem uma produção regular aceitável, somente porque um dia foram bons tendo em vista a turma nova que está competindo internacionalmente e que está com poucas chances de competir aqui por uma bolsa? Os critérios vigentes vão até 2014 (logo, ano que vem podem ser alterados), e podem ser vistos em http://www.cnpq.br/web/guest/criterios-de-julgamento;jsessionid=D19365589EFB92023A743D767BCA3F54?p_p_id=101_INSTANCE_18Nxp_p_lifecycle=0p_p_state=normalp_p_mode=viewp_p_col_id=column-3p_p_col_pos=2p_p_col_count=3_101_INSTANCE_18Nx_delta=10_101_INSTANCE_18Nx_keywords=_101_INSTANCE_18Nx_advancedSearch=false_101_INSTANCE_18Nx_andOperator=truecur=5# Abraços, D -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] DORA
Bom...como falam as telefonistas, estaremos tentando... -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 22/05/2013, às 18:56, Joao Marcos botoc...@gmail.com escreveu: Não estou fazendo uma crítica ao CA-FI, mas aos critérios atuais, que me parecem podem melhorar de modo a aprimorarmos a qualificação dos pesquisadores. Uai, mas não são vocês lá no CA quem definem os critérios? Você pessoalmente teria alguma sugestão adicional de aprimoramento a propor, além da excelente e necessária competitividade a nível internacional? A discussão que você levanta me parece *muito* importante! Eles precisam ser constantemente reavaliados, e isso deve ser algo normal. Eu concordo que um pesquisador 1A ou 1B deveria ter produção internacional. APENAS estes? * * * Concordo com o que você escreveu, Décio, sobre os pesquisadores brasileiros serem considerados suficientemente bons (por default). Aqui na lista a gente vê que isso é mesmo uma atitude comum no nosso país. Não obstante, contudo, a maior parte da nossa produção ainda é Filosofia (e Ciência) de fundo de quintal, sem verdadeiro impacto. Bom trabalho! JM Em 22/05/2013, às 15:27, Joao Marcos botoc...@gmail.com escreveu: Bem, não há motivo, em princípio, para que a avaliação na área de Filosofia use exatamente os mesmos critérios de outras áreas. Parece bonito, por exemplo, dizer no critério vigente que considerar-se-á sobretudo a qualidade, aferida por sua repercussão no meio acadêmico, constituindo-se em referência para a área, desde que se clarifique como esta referência é medida (no nosso quintal tupiniquim, ou no quintal global?). Mas é certamente muito particular para a área de Filosofia que todos os níveis de produtividade considerem apenas inserção nacional --- inserção internacional fica reservada para os níveis 1A e 1B. Por fim, o Qualis da Filosofia, que privilegia tradicionalmente revistas nacionais que ninguém lê, é certamente uma piada de mau gosto. Certamente que o item produção regular só pode ser realmente aferido se o filósofo der um basta no seu período de silêncio e exibir um pouco do seu brilhantismo (para inglês ver?). Você teria outras críticas específicas aos critérios do CA-FI, Décio? JM 2013/5/22 Decio Krause deciokra...@gmail.com: 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 consequência) produção de um livro, geralmente em português, publicado muitas vezes pelo próprio autor. Gostaria de saber o que acham disso. Eu não concordo, pois penso que os critérios são exatamente os mesmos para todas as áreas, já que há revistas e mais revistas de todas as qualidades, e quem trabalha pode muito bem publicar com certa regularidade. Em particular, constato que nossos filósofos (em geral, pois há excelentes exceções) quase não publicam, muitos sendo considerados suficientemente bons (por default) para se darem ao trabalho de enviar um artigo para uma revista conceituada (já pensaram se vier uma crítica a essa eminência?). À parte questões como as postas nesta discussão (DORA e outras coisas), que creio são relevantes e que os critérios precisam ser mesmo repensados, não acho que podemos fugir do óbvio, ou seja, que um pesquisador deve procurar divulgar as suas ideias para fora de seu quintal ou núcleo de conforto, dando a cara ao tapa. Quem não faz isso regularmente pode ser chamado de pesquisador ou pior, manter uma bolsa do CNPq? Aproveito a discussão presente para cutucar o seguinte aspecto da questão, que nos diz respeito diretamente. O que qualificaria um pesquisador 1, 2 do CNPq por exemplo como tal? Os critérios atualmente utilizados precisam ser repensados? Devemos manter os que lá estão, muitas vezes em altas posições, mesmo que sem uma produção regular aceitável, somente porque um dia foram bons tendo em vista a turma nova que está competindo internacionalmente e que está com poucas chances de competir aqui por uma bolsa? Os critérios vigentes vão até 2014 (logo, ano que vem podem ser alterados), e podem ser vistos em http://www.cnpq.br/web/guest/criterios-de-julgamento;jsessionid=D19365589EFB92023A743D767BCA3F54?p_p_id=101_INSTANCE_18Nxp_p_lifecycle=0p_p_state=normalp_p_mode=viewp_p_col_id=column-3p_p_col_pos=2p_p_col_count=3_101_INSTANCE_18Nx_delta=10_101_INSTANCE_18Nx_keywords=_101_INSTANCE_18Nx_advancedSearch=false_101_INSTANCE_18Nx_andOperator=truecur=5# Abraços, D -- http://sequiturquodlibet.googlepages.com/ -- http://sequiturquodlibet.googlepages.com
Re: [Logica-l] Memórias de um matematiqueiro
Alvaro Acho que todos deveriam ver este vídeo. Incrível. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 14/05/2013, às 10:18, Alvaro Augusto (L) alv...@lunabay.com.br escreveu: Em seu livro Memórias de um matematiqueiro, o professor Carlos Pereira de Novaes defende a existência de um tipodiferenciado de matemática: http://www.youtube.com/watch?v=jmW8Uek3JjE Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler é igual a um. Comentei sobre isso em http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html Abraços, Alvaro Augusto ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Memórias de um matematiqueiro
Na mecânica quântica idem. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 14/05/2013, às 22:49, Alvaro Augusto (L) alv...@lunabay.com.br escreveu: Em engenharia elétrica a vida seria um pouquinho mais fácil se pi fosse igual a 3.125, mas seria muito, muitíssimo mais difícil se os números complexos não existissem. [ ]s Alvaro Augusto Em 14/05/2013 12:09, Manuel Doria escreveu: Lembrei-me da demonstração do valor correto de Pi ser exatamente 3.125: http://www.correctpi.com Mais matemáticos revolucionários em: http://www.crank.net/maths.html Abraços. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Memórias de um matematiqueiro
Basta uma álgebra trivial... -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 14/05/2013, às 22:09, Joao Marcos botoc...@gmail.com escreveu: 2013/5/14 Alvaro Augusto (L) alv...@lunabay.com.br: Em seu livro Memórias de um matematiqueiro, o professor Carlos Pereira de Novaes defende a existência de um tipodiferenciado de matemática: http://www.youtube.com/watch?v=jmW8Uek3JjE Muito bom. Todos temos que comprar este livro. :-b Esse é o mesmo engenheiro que diz ter demonstrado que o número de Euler é igual a um. Comentei sobre isso em http://alvaroaugusto.blogspot.com.br/2007/02/esses-engenheiros-fantsticos-e-suas.html O pior é o cara se dizer professor de Cálculo Numérico há mais de 30 anos, e não ter entendido ainda aprendido a trabalhar com erros de truncamento. Como está provado, com uma álgebra mais abrangente tudo se resolve. JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] jornada de filosofia da física, usp, dia 14/maio - auditório Gleb Wataghin/inst. Física
Excelente, Ricardo. Que bom ver uma atividade como esta. Pena não poder participar... Boa jornada. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 03/05/2013, às 23:55, Ricardo Mendes Grande ricardomgra...@bol.com.br escreveu: Prezados colegas, no dia 14 ocorrerá uma jornada da filosofia da física na USP, na qual haverá algumas palestras, dentre elas A primazia da geometria na física do espaço-tempo com o professor Amit Hagar. Aos interessados, estarei à disposição para enviar a grade de palestras, tão logo eu a tenha. Só posso adiantar essa palestra e a minha: aspectos filosóficos do efeito Aharonov-Bohm: o debate Bohm-De Witt a respeito da importância de potenciais e campos em mecânica quântica'. abraço, R. Der Hölle Rache kocht in meinem Herzen, Tod und Verzweiflung flammet um mich her! fühlt nicht durch dich Sarastro Todesschmerzen, so bist du meine Tochter nimmermehr. Verstoßen sei auf ewig, verlassen sei auf ewig, zertrümmert sei'n auf ewig alle Bande der Natur wenn nicht durch dich Sarastro wird erblassen! Hört, Rachegötter, hört der Mutter Schwur! ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] extraordinary claims demand extraordinary evidence
Caros JM e Vitor Bom, Vitor, estou com o JM em tudo, se isso quer dizer algo (mas, como escreve para a lista, suponho eu queira outras opiniões). Mas não desista de suas crenças. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 04/05/2013, às 22:46, Joao Marcos jmar...@dimap.ufrn.br escreveu: [Mensagem escrita em 23 de setembro de 2008. Note em particular a minha menção a Gardner.] Caro Vitor: Esta é a minha última mensagem sobre o assunto. Por uma simples questão de tempo e (falta de) interesse, não posso infelizmente continuar com esta linha de discussão. Crianças que alegam vidas passadas não são psíquicas, não alegam poderes paranormais. Além disso, as memórias costumam desaparecer aos 7 anos. Crianças são muito sugestionáveis. Assim como vários outros amigos da ciência e da verdade, Martin Gardner denunciou repetidas vezes o perigo destas falsas memórias infantis, por exemplo aqui: http://www.skepticfiles.org/false/mgfmsasc.htm Há alguém que tenha provado ter poderes ocasionais e sem muito controle? ***Vários, como Leonora Piper, Gladys Osborne Leonard, Malcolm Bessent, Ingo Swann, Sean Harribance (os dois últimos estudados por Persinger, o mesmo cientista citado por Sagan em O Mundo Assombraso pelos Demônios). Todos eles demonstraram capacidades paranormais em situações rigorosíssimas de testes. Suponho que sim. Adoraria que fosse verdade. Adoraria também ter eu próprio poderes paranormais, receber visitas de discos voadores, viajar fora do corpo, tudo isso. Mas desejar não basta, e não podemos viver de wishful thinking. Há um artigo interessante e bastante completo sobre o teste Ganzfeld aqui: http://skepdic.com/ganzfeld.html Estão inclusos *muitos* links para papers críticos publicados em periódicos indexados. *** Como o próprio artigo diz, a última meta-análise mostra que os resultados são favoráveis a telepatia. Depois o artigo cita Blackmore, ignorando que ela própria encontrou resultados favoráveis a psi. A Dra. Blackmore passou a vida inteira buscando as tais evidências e depois veio com esta história de que se tornou cética etc, para depois novamente dizer que se surpreendeu em encontrar resultados favoráveis àquilo em que ela já não acreditava mais... A estratégia me parece clara. Parece-se com a sua, no seu blog. Uma crítica mais recente (2005) e extremamente positiva de um dos livros de Stevenson, Casos Europeus do Tipo Reencarnação, saiu no American Journal of Psychiatry, uma revista pertencente ao mainstream científico teve em 2005 um Impact Factor de 8.286. A crítica original (em inglês) encontra-se disponível online de forma gratuita em http://ajp.psychiatryonline.org/cgi/content/full/162/4/823 Você acha realmente que o fato da crítica ter sido produzida por Remi Jere Cadoret, um pesquisador que trabalhou toda a sua vida com parapsicologia, não influencia a apreciação positiva oferecida sobre o livro do Stevenson? 09- Por favor não me obrigue a ler o artigo do biólogo brasileiro Júlio César Siqueira sobre este assunto (devidamente referido por vocês na Wikipedia anglófona, mesmo que, até onde sei, nunca tenha sido publicado). ***Deveria ler, porque é sempre importante - e correto - ver-se os dois lados. Lerei sim, mas numa outra vida. ;-) Nesta vida os meus interesses principais são outros! Não é certamente comigo que o Siqueira (ou você) tem que dialogar, mas com a comunidade científica, a Skeptical Inquirer, e assim por diante. *** Com essas suas palavras eu tenho certeza que vc NÃO leu meu blog. Meu blog é justamente o oposto do que vc afirma, tecendo críticas ao movimento espírita. Certo. Ainda acho que vocês espíritcas deveriam abandonar esta postura antipática e falsa de doutrina filosófica com raízes científicas, e se assumir como o que são. Abraços, JM -- My homepage: http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Filosofia da ciencia
JM Einstein era acusado de nunca ter entrado em um laboratório. Não sei se os colegas têm outras referências sobre este aspecto dele, mas devemos reconhecer que os Gedankenexperimente dele eram geniais. Mas para nosotros mortais, seria de fato bom ver a coisa. No entanto, acha-se muita simulação no YouTube. Acham isso válido? (Vejam o Dr Quantum) D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 02/05/2013, às 18:08, Joao Marcos botoc...@gmail.com escreveu: Não consigo evitar a desconfiança PROFUNDA a respeito de filósofos da ciência que nunca acompanharam a condução de um experimento em laboratório, ou filósofos da matemática que nunca acompanharam os meandros de uma demonstração razoavelmente intricada. Certamente que a realidade aqui é outra. JM 2013/5/1 Julio Fontana juliocesarfont...@yahoo.com.br: Olá Manuel, Discutimos isso por meses no grupo Física-Matemática-Filosofia, o qual, aliás, você me adicionou. Eu e o Bolívar pesquisamos o tema por meses. O curso de física no Brasil é calculeira. E quem só calcula não faz filosofia. Alguém falou que prefere um físico teórico. Claro, eu também! Ainda mais físico-filósofos como os qualifica Paty. Mas a realidade é outra: http://www.uel.br/cce/fisica/pet/EnsinoRichardFeynman.pdf http://adonaisantanna.blogspot.com.br/2012/10/a-saga-de-um-fisico-tupiniquim.html Um abração. Julio Fontana -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] fifty qubits algorithms, anyone?
Nada. Pelo que sei, os hardwares conseguem somar 1+1 apenas. Mas estamos esperando... Com a palavra os especialistas... -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 02/05/2013, às 18:06, Joao Marcos botoc...@gmail.com escreveu: O que realmente já foi demonstrado sobre computação quântica, até hoje? http://rjlipton.wordpress.com/2013/04/27/sex-lies-and-quantum-computers/ JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Filosofia da ciencia
Ahah, Marcelo. Mas eu estou proibido de falar... Mas falo um pouco, com sua permissão: se os engenheiros fossem se preocupar com os fundamentos da física, não fariam engenharia. Se os físicos fossem se preocupar com os fundamentos da matemática, não fariam física. Se os matemáticos fossem se preocupar com os fundamentos da lógica, não fariam matemática, o que mais? O engenheiros metem a mão na graxa, graças a deus, assim não precisamos fazer isso. (by the way, há um cartoon que não recupero agora de um engenheiro brutamontes, de capacete e botas, falando para um físico com óculos se fundo de garrafa e com papers na mão; ele dizia algo assim: Eu não acredito em quem não veste wellington boots (aquelas botas americanas...)). O bom seria cada um ter uma noção geral das outras áreas, e entender isso tudo e nos valermos de todas essas experiências. Hoje, é impossível para alguém ficar meditando em uma caverna e de repente sair gritando Eureka. Não se faz mas isso, talvez em escassas situações; ciência é algo comunitário, e a filosofia mais ou menos segue isso. Gênios há, que não dependem de ninguém, mas em geral o sensato é participar deu grupo, etc. Desviei? Críticas? Vamos lá. Mas estão me provocando... Abraços D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 02/05/2013, às 21:16, Marcelo Finger mfin...@ime.usp.br escreveu: 2013/5/2 Joao Marcos botoc...@gmail.com: A crítica vai além dos filósofos de X que não têm qualquer tipo de exposição a X. Tenho muita pena também dos cientistas da computação que cada vez menos têm exposição a Ciências Naturais na sua grade curricular --- dificilmente conseguirão fazer algum tipo de *modelagem computacional* de jeito. É por isso que os engenheiros dominarão (já dominam?) o mundo! Por mais acochambrada que seja a exposição dos engenheiros aos fundamentos (não é, Décio?) eles metem a mão na graxa. E quando precisam, aprendem até os fundamentos. Marcelo JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Doria
Legal, JM. Anteciparam tudo... Shimony, na controvérsia Einstein-Bohr, que era puramente baseada em Gedankenexperiments, quando vieram as desigualdades de Bell, que podiam ser checadas em laboratório (estou simplificando), falou em metafísica experimental. Sempre achei legal...mas estranho. Obrigado pelos sites. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/04/2013, às 23:53, Joao Marcos botoc...@gmail.com escreveu: 2013/4/30 Décio Krause deciokra...@gmail.com: Eu gostaria de colocar uma placa em uma sala: Laboratório de Metafísica, mas nunca tive coragem A Stanford Encyclopedia of Philosophy é editada a partir de uma salinha chamada Metaphysics Research Lab do CSLI. http://mally.stanford.edu/ Em particular, a página do projeto de *Metafísica Computacional* pode ser acessada a partir de: http://mally.stanford.edu/cm/ Esta NÃO é uma imagem da entrada do laboratório de pesquisa em metafísica: http://ecx.images-amazon.com/images/I/51j7-g4UAoL.jpg e esta NÃO é uma imagem de seu interior: http://www.cartoonstock.com/newscartoons/cartoonists/jce/lowres/jcen38l.jpg JM -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Filosofia da ciencia
Julio Uma vez, encontrei com um ex-professor meu, excelente matemático, e na época meu colega de departamento, que me questionou sobre o que eu estava estudando no departamento de filosofia da USP (com certa razão, já que ambos estávamos no departamento de matemática da UFPR). Na USP, eu tinha ido a convite do Newton da Costa. Bom eu falei que, no momento, estava fazendo um curso sobre a teoria do conhecimento em Hume, com o João Paulo Monteiro. Esse meu colega disse: filosofia? ah, isso é fácil! O que acha que eu poderia responder? Ciência soft? Uma ova. Ninguém, exceto talvez nós tupiniquins, nos tornamos especialistas em Kant antes de 25 anos de estudo. Não há ciência hard e soft, se a coisa for feita direito. Não há especificidades para a área de filosofia, como se tem apregoado, por exemplo quando dizem que nossa característica é escrever livros (em geral publicados por nós mesmos). É a mesma coisa em todas as áreas: publiquem nas melhores revistas. Ponto. Acho que você concorda. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/04/2013, às 21:45, Julio Stern jmst...@hotmail.com escreveu: Caros: Acho que o diploma de graduacao eh so nosso primeiro passo, e nao eh assim tao determinante em nossa carreira cientifica. Todavia, tenho a impressao que ha uma maior facilidade em estudar materias Duras (Hard) como Matematica e Fisica primeiro (antes dos 25 anos talvez) para depois estudar materias Moles (Soft). Sera que ha algo de verdadeiro nesta impressao, ou sao apenas meus preconceitos? ---Julio Stern From: famado...@gmail.com Date: Tue, 30 Apr 2013 20:18:23 -0300 To: juliocesarfont...@yahoo.com.br CC: logica-l@dimap.ufrn.br Subject: Re: [Logica-l] Filosofia da ciencia Julio, quem não está entendendo nada sou eu. Falei que o diploma em X significa o entender X? Sent from my iPhone On 30/04/2013, at 18:34, Julio Fontana juliocesarfont...@yahoo.com.br wrote: Não conseguimos compreender algumas linhas!?! A situação é pior do que eu pensava!! Doria, onde eu afirmei que não precisa conhecer ciência para se fazer filosofia da ciência? Onde? Agora se você acha que formação acadêmica=conhecimento, então o bacharel em física é conhecedor de física. Manuel Doria, quem determina quem é autoridade em um assunto? Qual é o critério? É racional ou social? Julio Fontana De: Famadoria famado...@gmail.com Para: Julio Fontana juliocesarfont...@yahoo.com.br Cc: logica-l@dimap.ufrn.br logica-l@dimap.ufrn.br Enviadas: Terça-feira, 30 de Abril de 2013 14:46 Assunto: Re: [Logica-l] Filosofia da ciencia E Michel Paty? Que acha dele? Sent from my iPhone On 30/04/2013, at 13:54, Julio Fontana juliocesarfont...@yahoo.com.br wrote: Vou excluir dos filósofos da ciência (menciono somente os brasileiros!!) Alberto Oliva e Luiz Henrique de A. Dutra. E dos historiadores da ciência Pablo Mariconda e Carlos A. R. Nascimento. Essa lista tem cada um!! Julio Fontana ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Doria
Yuri Eu gostaria de colocar uma placa em uma sala: Laboratório de Metafísica, mas nunca tive coragem D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 30/04/2013, às 15:09, yuri lumer yurilu...@gmail.com escreveu: Em paralelo pergunto, pode-se fazer filosofia metafísica sem sair do corpo? rsrs Falando sério , tb tenho dúvidas quando vejo algumas problematizações, principalmente na sociologia da ciência. Algumas especulações mostram para mim uma clara incompreensão,ou de quem fala sobre o objeto, ou minha do que se fala.. Tb gostaria de ouvir a opinião dos profissionais. SV 2013/4/30 Famadoria famado...@gmail.com Taí, uma boa questão: pode-se fazer fiilosofia da ciência sem conhecer bem alguma ciência? Não tenho opinião firme sobre o caso. Gostaria de escutar prós e contras. Sent from my iPhone On 30/04/2013, at 13:28, Julio Fontana juliocesarfont...@yahoo.com.br wrote: Aqui no Brasil o debate sempre acaba evoluindo do ad hominem para os argumentos de autoridade. E quer dizer que para ser filósofo da ciência tem que ser físico. A maioria dos físicos não conhecem filosofia e não conhecem história da ciência. Uma graduação em física não quer dizer nada. Em muitas faculdades de física o curso é o mesmo que o de engenharia. Talvez o cara saiba melhor a parte computacional da física. O que que tem no Halliday que não tenha sido ensinado no EM? Julio Fontana ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger
Rodrigo Já que sua mensagem era para a lista, respondo para a lista. Acho que você está pegando frases isoladas, que somente podem ser entendidas dentro de um contexto. Eu me lembro mais ou menos dessa discussão de Newton+Doria com o Solovay, mas para não cairmos no argumento da autoridade, você deveria analisar o trabalho deles por si mesmo. Que tal esta proposta? Sem citar quem quer que seja, faça uma crítica. Meta o pau, mas sem citar. Acho que eles agradeceriam. Depois, quem não se mostra, recebe críticas, leva pancada, não cresce. Um cara original como o Doria tem tudo isso. Ele erra, e talvez muito, mas olhe os seus acertos. Depois, se ele fosse ruim, acha que o Newton (que você reconhece) estaria trabalhando com ele desde 1987? Ou o Prof. Newton é idiota? Puxa, Rodrigo, que tal falar de outras coisas na lista? Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 27/04/2013, às 14:53, Rodrigo Podiacki podia...@gmail.com escreveu: Mensagem enviada erroneamente para Decio Krause (era destinada à lista) Gostaria que, com o tempo, tivessem vocês solucionado problemas como os que Doria e Newton solucionaram. Caramba, esqueceram dos resultados? Doria poderia listá-los, ou indicar referências. Não precisa. Todos conhecem as referências (as mesmas de sempre: indecidibilidade na Economia, na Biologia, de P=NP...). Eu também posso indicar referências. Por exemplo, esta, da lavra de Solovay (resenha sobre artigo de Doria): *In my judgement, there is absolutely nothing of any scientific merit in the paper. * http://tech.groups.yahoo.com/group/theory-edge/message/3799 E aqui a resposta usual de Doria, que, em vez de responder pontualmente às críticas de Solovay, culpa o computador e termina citando algum conhecido de algum familiar que conhece alguém importante (no caso, Einstein): http://tech.groups.yahoo.com/group/theory-edge/message/3802 Gostaria de dizer que, sempre que eu tiver a oportunidade de manifestar-me contra o obscurantismo e a autopromoção injustificada, eu o farei. Não me importa se o indivíduo tem o nome Doria ou qualquer outro. Honrem quem merece. Estou de acordo quanto a isso. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger
Eduardo Desculpe falar, mas vou comentar algo sobre o Newton. Creio que eu estava ao seu lado na palestra dele. Você veio sentar ao meu lado. Vi que você saiu pelo fim da mesma, um pouco antes, mesmo sem dizer bom dia, já que penso me conhece. Concordo que ele foi pouco profundo no que disse para o público em geral, olhando pela expectativa que todos, inclusive de estrangeiros que se apinhavam para ouví-lo. De fato, foi fraca para os maus ouvidos. Mas não foi em absoluto. Pense em algumas pequenas coisas que ele disse, talvez não originais para quem acompanha a literatura na área, como talvez seja o seu caso, como por exemplo: a) tem a lógica um caráter empírico, ou seria a priori? Claro que você sabe que isso foi posto muito antes, por exemplo por Putnam e por Dalla Chiara, mas constitui tema atual e ainda sem consenso, e ele tem opiniões originais a respeito, que não caberiam na exposição; b) tendo em vista as discrepâncias, ou estranhezas inerentes à mecânica quântica, devemos fundar essa disciplina (que ele bem colocou, não sei se você ouviu, não é única e bem determinada) na lógica clássica? Ou será que a MQ nos impinge uma lógica não clássica? (e, por favor, evite achologias; o assunto não é simples.) Olha, Eduardo, eu poderia continuar ad infinitum. Mas você é um rapaz brilhante que no entanto parece dever atenção ao maior lógico brasileiro que temos até hoje. O que ele falou não foi trivial, apesar de poder ter parecido. Se você não entendeu, eu lamento. Espero que leve isso numa boa. Abraço Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 26/04/2013, às 19:23, Eduardo Ochs eduardoo...@gmail.com escreveu: O não o conheço do Dória quer dizer não o conheço pessoalmente? Ou é um eufemismo para algo como ele não fala com o sotaque certo ou ele não é de uma família importante? Ou para nunca li nenhum paper dele? Ou para o currículo Lattes dele é pequeno? Ou para nunca vi uma palestra dele? Ou para ele é uma pessoa desagradável? Acho que nestes tempos de internet as pessoas deveriam marcar de comer filés virtuais juntas aqui na logica-l, que fica exatamente no meio do caminho entre a minha casa e a sua para quaisquer pessoas A e B. E francamente, a qualidade das palestras - como critério único - não mede a competência de ninguém. O Newton da Costa é certamente um portento, e a segunda pior palestra que eu já vi na vida foi uma dele, de uma hora, que acabou tendo conteúdo objetivo praticamente nenhum - ele fazia preâmbulos suspense, anunciava o que ia mostrar, quase ia escrever alguma coisa no quadro mas acabava não indo, repetia quase gritando que in Quantum Mechanics everything is completely different, e o ciclo se repetia quase que ad omina secula seculorum por uma hora longuíssima, até o tempo acabar e a platéia que era quase um EBL inteiro irromper numa chuva de aplausos. Agora dá licença que eu vou voltar pros meus afazeres de ostra. Um dia eu convido vocês pra virem fazer palestras aqui e verem como eu sou importante - porque a nossa funcionária serve o café numa bandeja de prata. Por enquanto não vos conheço. [[]]s, Eduardo 2013/4/26 Julio Stern jmst...@hotmail.com So para entender oq esta acontecendo: 3 – As interpretações históricas e sociológicas cabiam exclusivamente a mim fazer, como historiador e cientista social,... Com eh que alguem vira Interpretador Oficial de uma area, assunto ou documento? Pergunto porque gostaria de reivindicar e registra em cartorio os direitos e privilegios do posto de Palpiteiro Oficial em varios assuntos de minha predilecao ;-) ---Julio Date: Fri, 26 Apr 2013 16:03:13 -0300 From: podia...@gmail.com To: famado...@gmail.com CC: logica-l@dimap.ufrn.br Subject: Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger Convido os interessados a efetuar busca por Prix Caumont La Force, esse notável prêmio internacional, no Google... Em 26 de abril de 2013 15:41, Francisco Antonio Doria famado...@gmail.comescreveu: Como não se trata de assunto lógico, nada comentarei a respeito aqui. Noto apenas que - nessa área em que sou amador - recebi um prêmio internacional, o Prix Caumont La Force 1995. Tomo esse interesse de Rodrigo Podlacki por mim como um cumprimento malgré soi - não é a primeira vez que o manifesta. Um admirador contrariado? Não o conheço; gostaria de fazê-lo, no entanto. Meus cursos estão abertos a ele. Se desejar, diga-me dos tópicos em que poderia nos oferecer uma palestra que o convido à Coppe. Aí nos conhecemos e conversamos, com testemunhas. 2013/4/26 Rodrigo Podiacki podia...@gmail.com Em 25 de abril de 2013 23:37, Famadoria famado...@gmail.com escreveu: Vê que os
Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger
Very nice... -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 23/04/2013, às 22:28, Joao Marcos botoc...@gmail.com escreveu: 1. write fewer original-research papers 2. get real credit for surveys, reviews and exposition 3. get real credit for refereeing 4. get real credit for communicating 5. sharing all our work every way we can 6. publishing in smaller increments 7. an affordable open access model 8. a cultural change of doing research (and metrics for it) 9. propagating the Shelah Model — encouraging bad writers to seek out good writers 10. getting from the come-to-me mentality to the go-out-and-find-them mentality 11. a democratization of the communities discussion to be found at: http://boolesrings.org/krautzberger/2012/06/27/11-dreams-for-the-publishing-debate-11-a-democratization-of-the-communities/ jm ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] the death of proofs
Julio
Ok, touché. Grato pela referência.
Abraço
D
Em sábado, 20 de abril de 2013, Julio Stern escreveu:
Decio:
Concordo plenamente com voce
que isto ai Nao eh uma prova,
apenas uma figurinha...
No entantos vale salientar que
uma simples figurinha pode Sim,
representar uma prova!
Para muitos e lindos exemplos,
de demonstracao por figuras, vide
Roger B. Nelsen (Oct 1993)
Proofs without Words:
Exercises in Visual Thinking. V1 e V2
Abracos,
---Julio Stern
PS: Nao vou nem levantar a lebre
sobre os sistemas graficos de Peirce...
CC: petru...@cos.ufrj.br javascript:_e({}, 'cvml',
'petru...@cos.ufrj.br');; marmo.t...@gmail.com javascript:_e({},
'cvml', 'marmo.t...@gmail.com');; botoc...@gmail.com javascript:_e({},
'cvml', 'botoc...@gmail.com');;
logica-l@dimap.ufrn.br javascript:_e({}, 'cvml',
'logica-l@dimap.ufrn.br');
From: deciokra...@gmail.com javascript:_e({}, 'cvml',
'deciokra...@gmail.com');
Subject: Re: [Logica-l] the death of proofs
Date: Fri, 19 Apr 2013 16:15:49 -0300
To: jmst...@hotmail.com javascript:_e({}, 'cvml',
'jmst...@hotmail.com');
A demonstração faz uso de figuras. Já vi muito disso por aí. O que
fazer com esses professores? O que foi apresentado não passa de uma
justificativa heurística.
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--
Em 19/04/2013, às 15:37, Julio Stern
jmst...@hotmail.com javascript:_e({}, 'cvml', 'jmst...@hotmail.com');
mailto:jmst...@hotmail.com javascript:_e({}, 'cvml',
'jmst...@hotmail.com'); escreveu:
Petrucio:
Voce tem toda a razao,
pois este texto nao Prova coisa alguma.
Para comeco de conversa,
de que Distancia se esta falando,
qual a Metrica, ou qual o Grupo de Invariancia.
Se se explicitar uma destas respostas,
fica obvio oq eh que se veve demonstrar...
---Julio
From: petru...@cos.ufrj.br javascript:_e({}, 'cvml',
'petru...@cos.ufrj.br');mailto:petru...@cos.ufrj.br javascript:_e({},
'cvml', 'petru...@cos.ufrj.br');
To: marmo.t...@gmail.com javascript:_e({}, 'cvml',
'marmo.t...@gmail.com');mailto:marmo.t...@gmail.com javascript:_e({},
'cvml', 'marmo.t...@gmail.com');;
botoc...@gmail.com javascript:_e({}, 'cvml', 'botoc...@gmail.com');
mailto:botoc...@gmail.com javascript:_e({}, 'cvml',
'botoc...@gmail.com');;
logica-l@dimap.ufrn.br javascript:_e({}, 'cvml',
'logica-l@dimap.ufrn.br');mailto:logica-l@dimap.ufrn.brjavascript:_e({},
'cvml', 'logica-l@dimap.ufrn.br');
Date: Fri, 19 Apr 2013 15:34:29 -0200
Subject: Re: [Logica-l] the death of proofs
ola
desculpem-me pela intromissao
aqui esta uma prova com a qual eu nao estou de acordo
http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm
ela aparece em praticamente todos os textos que tratam do assunto
sejam livros do ensino medio ou livros de calculo
abracos
P
-- Original Message ---
From: Tony Marmo marmo.t...@gmail.com javascript:_e({}, 'cvml',
'marmo.t...@gmail.com');mailto:marmo.t...@gmail.com javascript:_e({},
'cvml', 'marmo.t...@gmail.com');
To: Joao Marcos botoc...@gmail.com javascript:_e({}, 'cvml',
'botoc...@gmail.com');mailto:botoc...@gmail.com javascript:_e({},
'cvml', 'botoc...@gmail.com');, Lista
acadêmica brasileira dos profissionais e estudantes da área de LOGICA
logica-l@dimap.ufrn.br javascript:_e({}, 'cvml',
'logica-l@dimap.ufrn.br');mailto:logica-l@dimap.ufrn.brjavascript:_e({},
'cvml', 'logica-l@dimap.ufrn.br');
Sent: Wed, 17 Apr 2013 23:57:23 -0300
Subject: Re: [Logica-l] the death of proofs
João,
Para contribuir para essa discussão que você instaurou aqui, pergunto o
seguinte: você poderia dar exemplo de uma prova comumente encontrada em
livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais
avançados, com qual você não esteja de acordo?
Muito obrigado se você tiver algo em mente que possa comentar.
Em 17 de abril de 2013 22:01, Joao Marcos
botoc...@gmail.com javascript:_e({}, 'cvml', 'botoc...@gmail.com');
mailto:botoc...@gmail.com javascript:_e({}, 'cvml',
'botoc...@gmail.com'); escreveu:
o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a
atenção para ele:
http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf
Computers are transforming the way mathematicians discover, prove and
communicate ideas, but is there a place for absolute certainty in this
brave new world?
Para tempos em que se discute abertamente se a noção de *rigor* em uma
demonstração matemática é só um ritual do qual os matemáticos
gostariam de se livrar...
jm
--
http://sequiturquodlibet.googlepages.com
Re: [Logica-l] the death of proofs
A demonstração faz uso de figuras. Já vi muito disso por aí. O que fazer com esses professores? O que foi apresentado não passa de uma justificativa heurística. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 19/04/2013, às 15:37, Julio Stern jmst...@hotmail.com escreveu: Petrucio: Voce tem toda a razao, pois este texto nao Prova coisa alguma. Para comeco de conversa, de que Distancia se esta falando, qual a Metrica, ou qual o Grupo de Invariancia. Se se explicitar uma destas respostas, fica obvio oq eh que se veve demonstrar... ---Julio From: petru...@cos.ufrj.br To: marmo.t...@gmail.com; botoc...@gmail.com; logica-l@dimap.ufrn.br Date: Fri, 19 Apr 2013 15:34:29 -0200 Subject: Re: [Logica-l] the death of proofs ola desculpem-me pela intromissao aqui esta uma prova com a qual eu nao estou de acordo http://www.brasilescola.com/matematica/distancia-entre-dois-pontos.htm ela aparece em praticamente todos os textos que tratam do assunto sejam livros do ensino medio ou livros de calculo abracos P -- Original Message --- From: Tony Marmo marmo.t...@gmail.com To: Joao Marcos botoc...@gmail.com, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA logica-l@dimap.ufrn.br Sent: Wed, 17 Apr 2013 23:57:23 -0300 Subject: Re: [Logica-l] the death of proofs João, Para contribuir para essa discussão que você instaurou aqui, pergunto o seguinte: você poderia dar exemplo de uma prova comumente encontrada em livros de lógica, ou artigos, sejam de natureza introdutória, sejam mais avançados, com qual você não esteja de acordo? Muito obrigado se você tiver algo em mente que possa comentar. Em 17 de abril de 2013 22:01, Joao Marcos botoc...@gmail.com escreveu: o artigo já tem 20 aninhos, mas só recentemente dias me chamaram a atenção para ele: http://www.math.uh.edu/~tomforde/Articles/DeathOfProof.pdf Computers are transforming the way mathematicians discover, prove and communicate ideas, but is there a place for absolute certainty in this brave new world? Para tempos em que se discute abertamente se a noção de *rigor* em uma demonstração matemática é só um ritual do qual os matemáticos gostariam de se livrar... jm -- http://sequiturquodlibet.googlepages.com/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l --- End of Original Message --- ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Entrevista sobre Inteligência Artificial
Uma inteligência nada artificial nessa entrevista. Parabéns, Marcelo. Muito bonito. Abraços Décio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 18/04/2013, às 23:21, Marcelo Finger mfin...@ime.usp.br escreveu: Pessoal. Vai neste link uma entrevista que eu dei pra Globo Universidades. http://redeglobo.globo.com/globouniversidade/noticia/2013/04/inteligencia-artificial-e-tema-de-estudo-de-marcelo-finger.html []s Marcelo -- Marcelo Finger Department of Computer Science, Cornell University on leave from: Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Manifestação do Conselho Superior da Capes sobre a Lei 12772/2012
Pô meu, que m*. Isso é muito pior do que a era FHC... -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 13/04/2013, às 21:13, Adolfo Neto ado...@dainf.ct.utfpr.edu.br escreveu: Colegas, Leiam este parecer jurídico emitido pelo MEC: http://noticias.ufsc.br/files/2013/03/Parecer-n%C2%BA-233-2013-CONJUR-MEC-CGU-AGU.pdf É só um parecer, mas parece que no parecer :) o suficiente tem que ser o suficiente para fazer o concurso. Títulos como Doutorado só poderiam valer pontos extras. Adolfo 2013/4/13 Famadoria famado...@gmail.com: Concordo. Essa lei cretina, que devemos à tal de Proifes, esbandalhou com a carreira. Sent from my iPhone On 13/04/2013, at 17:43, Decio Krause deciokra...@gmail.com wrote: 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 a aposentadoria integral, e entram em um esquema parecido com a antiga CLT. Alguém sabe ago sobre isso? Abraços tristes, 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 13/04/2013, às 17:30, Carlos Gonzalez escreveu: Prezados colegas, Quando eu li o texto da lei 12772 também achei que era um retrocesso em muitos sentidos. A Manifestação da CAPES MANIFESTAÇÃO DO CONSELHO SUPERIOR DA CAPES SOBRE A LEI 12772/2012, QUE REDEFINE A CARREIRA DO MAGISTÉRIO FEDERAL O Conselho Superior da CAPES, coerente com sua missão de zelar pela qualidade da pós-graduação no país e sintonizado com a prioridade nacional de aumentar consideravelmente a atividade de inovação, vem apontar sérias deficiências na recém-implementada Lei 12772/2012, que redefine a carreira docente nas Universidades Públicas Federais. Essa lei representa de fato um retrocesso para essas instituições, vai em direção contrária ao Plano Nacional de Pós-Graduação e mina os esforços de inovação em nosso país. Em particular, destacamos aspectos da lei que precisam ser modificados com urgência: 1. A Lei prevê que o ingresso na carreira docente só ocorrerá no primeiro nível da classe de Auxiliar, mediante concurso para o qual se exige apenas diploma de graduação. Quem já tem título de doutorado será Auxiliar por 3 anos, podendo ser promovido para Adjunto somente após o estágio probatório. Essa exigência, por um lado, desvaloriza o doutorado, ignora o número crescente de doutores formados e já disponíveis no Brasil, e ameaça a qualidade das instituições federais de ensino superior. Por outro lado, desestimula a atração de jovens qualificados, atualmente realizando estágios de pós-doutorado no Brasil e em outros países, para as instituições federais. O sistema anterior permitia a entrada no nível de Adjunto e não vedava a solicitação, por algumas Unidades, de vagas nas classes de Assistente ou de Auxiliar. Tem sido prerrogativa da instituição a definição da classe de ingresso. Essa flexibilidade deve ser mantida, com o entendimento de que as vagas para Auxiliar e Assistente devem ser solicitadas em caráter excepcional, com justificativa sólida e compromisso de que os docentes contratados para as mesmas serão incentivados a se qualificarem para a obtenção de título de doutor. 2. A exigência de 20 anos de experiência ou de doutorado, no tema do concurso, para o ingresso no cargo de Titular-Livre, deve ser suprimida. Ela impede a contratação de pesquisadores brilhantes, que embora não atendendo a esse critério, já tenham dado contribuições marcantes em sua área de conhecimento e pesquisa, um procedimento adotado nos países que têm tido maior sucesso em seu desenvolvimento científico e tecnológico. É fundamental para o desenvolvimento de nosso país reconhecer e premiar a competência; ao invés disso, ela é desencorajada pela Lei atual. 3. A Lei, em seu art. 21, que enumera as atividades remuneradas compatíveis com o regime de DE, deixou de incluir uma situação prevista no sistema anterior, que é a colaboração esporádica em assuntos de especialidade, devidamente autorizada pela instituição e de acordo com regras próprias. Essa possibilidade, no entanto, é a que respalda uma série de contratos em vigor – que são de interesse do país e têm sido prática corrente na Universidade --, inclusive práticas incentivadas pela Lei de Inovação Tecnológica (Lei 10.973/2004), voltadas para estimular a participação ativa de docentes
Re: [Logica-l] Cor e/ou Raca no Lattes
Ou seja: relativamente ao CNPq, cada um vai fazer o que lhe der na telha. Como querem que na ONU haja entendimento? -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- Em 11/04/2013, às 22:08, Marcelo Finger mfin...@ime.usp.br escreveu: Caro Teófilo. Pois é exatamente contra o uso social do conceito de raça que eu estou protestando. Pois foi graças a este conceito social que parte de minha família foi dizimada. E nada de bom jamais adveio daí. []s Marcelo 2013/4/11 Teófilo Reis teofilo.r...@gmail.com: Caras e caros, A escolha do Não desejo declarar não é unânime, pois não vejo problema algum em responder a este tipo de questão no Lattes, nem aos recenseadores do IBGE. É importante atentar para a mensagem que aparece quando se coloca o cursor sobre o ponto de interrogação que está ao lado do campo que pede para informar cor ou raça: Informação solicitada para subsidiar a adoção de ações de promoção da igualdade racial, previstas na lei n. 12.288, de 20 de junho de 2010. Obviamente o debate acerca da razoabilidade de tais ações afirmativas é um outro assunto, do qual não estamos nos ocupando aqui (o que me parece perfeitamente correto, uma vez que o tema foge ao escopo desta lista). Parece-me bastante evidente que o termo raça é usado como conceito social, e não como conceito biológico. Isto é ponto pacífico entre aqueles mais familiarizados com o debate de questões raciais. Quando se fala em racismo, por exemplo, todos entendem o significado do termo (com exceção do Ali Kamel), mesmo sabendo que raças, como conceito biológico, não existem. A referência é a um conceito social. Este é o ponto fundamental, que aparentemente é novidade para muita gente aqui. Certamente é dominante o entendimento de que a solicitação de informação acerca de raça ou cor não fere a laicidade de nossa República. Basta lembrar que o sistema de cotas raciais (cuja implementação faz uso frequente de autodeclaração de cor ou raça) foi julgado constitucional pelo STF. Att., Em 11 de abril de 2013 18:59, Ana Cholodovskis anacholodovs...@gmail.comescreveu: Acho que a opção Não desejo declarar parece ser a escolha unânime. Recusei a declarar também, afinal, quais são os critérios para definir a raça? Não somos todos homo sapiens ou existem subespécies que não conheço? Em 11 de abril de 2013 18:18, Decio Krause deciokra...@gmail.com escreveu: 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 possam não gostar disso. Ridículo. 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 11/04/2013, às 14:16, Marcelo Finger escreveu: Caros. Eu tb me recusei a responder. Mas creio que a inserção desta pergunta não é uma mera cópia dos Estados Unidos, não assim tão diretamente. O fato é que existem grupos bem organizados que estão consistentemente pressionando para que haja coleta deste tipo de informação. Eu vi esta pressão quando era acessor de informática da Pró-reitoria de Pós da USP (e ainda estou na mailing list deles). O grupo em questão conseguiu se articular politicamente para que o representante dos alunos de pós de _toda_ a USP solicitasse a inserção desta coleta de dados (raciais e de renda familiar) no ato da matrícula que os alunos devem fazer todo semestre. O pró-reitor aceitou a solicitação (acho que ela foi votada ou acatada no conselho de pós, que não viu motivo para barrá-la, pois uma pergunta similar já é feita na inscrição pela FUVEST). A inserção deste formulário não tinha alta prioridade, mas ele foi eventualmente implementado, é de preenchimento voluntário, mas já deve estar lá, todo semestre para todo aluno de pós da USP. O grupo em questão batalha fortemente pela implementação das cotas no USP e outro assuntos raciais, mas também por outras causas encampadas pelo PCO, PSTU e outros grupos afins. Eu sei disso pois, como disse, permaneço na mailing list deles. A linguagem de palavras de ordem é a mesma. Eu, tanto quanto o Julio, tenho pavor a este tipo de questionário. Mas as questões de raça estão sendo enfileiradas em diversas discussões, quer a gente goste ou não. Não dá pra fingir que não está acontecendo nada. []s Marcelo 2013/4/11 Walter Carnielli walter.carnie...@gmail.com: Caro Júlio, solidarizo-me totalmente com você
