Se o doutorismo existe em Filosofia? Claro. Onde poderia mais existir? Os filósofos se sentem parte de uma elite intelectual. Como dizia Popper, os filósofos sofrem de megalomania desde de Platão.
Leiam o artigo Crítica da Arrogância Pura de Alberto Oliva publicado na revista Promotheus. Julio Fontana Bacharel em Filosofia pela PUC-Rio Especialização em cultura clássica greco-latina. ________________________________ De: "[email protected]" <[email protected]> Para: [email protected] Enviadas: Quinta-feira, 16 de Dezembro de 2010 12:00:02 Assunto: Digest Logica-l, volume 58, assunto 12 Enviar submissões para a lista de discussão Logica-l para [email protected] Para se cadastrar ou descadastrar via WWW, visite o endereço http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ou, via email, envie uma mensagem com a palavra 'help' no assunto ou corpo da mensagem para [email protected] Você poderá entrar em contato com a pessoa que gerencia a lista pelo endereço [email protected] Quando responder, por favor edite sua linha Assunto assim ela será mais específica que "Re: Contents of Logica-l digest..." Tópicos de Hoje: 1. Re: novo periódico: Investigação ? Filosófica (Joao Marcos) 2. Seminários LoLITA / UFRN - 17Dez2010 (Joao Marcos) 3. Fwd: LICS 2011 Call for Papers (Joao Marcos) 4. WoLLIC 2011 - Chamada de Trabalhos - Prazo-limite se aproxima (01/Jan/2011) (Ruy de Queiroz) ---------------------------------------------------------------------- Message: 1 Date: Wed, 15 Dec 2010 12:02:02 -0300 From: Joao Marcos <[email protected]> Subject: Re: [Logica-l] novo periódico: Investigação ? Filosófica To: rodrigo cid <[email protected]> Cc: Lista acadêmica brasileira dos profissionais e estudante , s da área de LOGICA <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset=UTF-8 > É com grande prazer que lançamos o periódico *Investigação ? Filosófica*. > Nosso objetivo principal ao criá-lo é por à disposição da comunidade > acadêmica de Filosofia um meio de publicação mais abrangente Só posso parabenizar a iniciativa. > que os meios tradicionais e que não sofra de doutorismo. > Doutorismo é a atitude de muitos editores de periódicos de filosofia > de apenas aceitarem textos de doutores sem levar em conta a qualidade. Isto existe mesmo, na área de Filosofia? JM -- http://sequiturquodlibet.googlepages.com/ ------------------------------ Message: 2 Date: Wed, 15 Dec 2010 13:24:41 -0300 From: Joao Marcos <[email protected]> Subject: [Logica-l] Seminários LoLITA / UFRN - 17Dez2010 To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset=UTF-8 Mais um seminário do Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações da UFRN: *Logicamente*: um Ambiente Virtual de Aprendizagem para Lógica baseado em roteiros de aprendizagem http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#PCAT-17122010 --Patrick C. A. Terrematte (PPgSC - DIMAp / UFRN) Local: Sala de reuniões do DIMAp Data: 17-Dez-10, 09:00-10:00 Resumo: A Lógica é um campo de estudos relacionado a diversos cursos de graduação, e através de sua aplicação em vários domínios é possível aprimorar a análise de informações e processos de raciocínio. Na maioria destes cursos, a Lógica representa um desafio pedagógico tanto para professores como para alunos, e é notável o número de reprovações e desistências na disciplina. Uma das razões desse problema está na distância entre os aspectos repetitivos dos exercícios de aprendizagem e o aspecto criativo da própria atividade de pesquisar ou aplicar Lógica, seja profissionalmente na acadêmia, ou na indústria. Dada a necessidade de fornecer uma base sólida na disciplina, e desenvolver criativamente o próprio processo de aprendizagem, nós propomos o Logicamente, um Ambiente Virtual de Aprendizagem (AVA) para o ensino e a aprendizagem de Lógica. Nosso AVA é formado por um conjunto de Objetos de Aprendizagem combinados com seus respectivos roteiros de aprendizagem. O Logicamente ilustra algoritmos e conceitos fundamentais de Lógica, assim como possibilita aos alunos conduzirem atividades práticas envolvendo o aprendizado e compreensão da Lógica em áreas como a Teoria da Demonstração e a Semântica da Lógica. ------------------------------ Message: 3 Date: Wed, 15 Dec 2010 18:09:52 -0300 From: Joao Marcos <[email protected]> Subject: [Logica-l] Fwd: LICS 2011 Call for Papers To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset=UTF-8 ---------- Forwarded message ---------- Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2011) June 21--24, 2011, Toronto, Canada http://www.informatik.hu-berlin.de/lics/lics11/ CALL FOR PAPERS LICS 2011 will be held at the Fields Institute on the campus of the University of Toronto in Toronto, Ontario, Canada, from June 21st to the 24th, 2011. The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, higher-order logic, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logic in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, type systems and type theory, and verification. Tutorial Day: At LICS 2011, we will start a series of tutorials on the core areas of logic in computer science. Rather than focussing on a specialised topic, these tutorials will highlight the basic questions, techniques and motivation of a broader area. The tutorials are aimed to be accessible to all LICS participants. In 2011, we will have two half-day tutorials on Finite Model Theory and Semantics respectively, to be held on June 20. The speakers will be * Albert Atserias (UPC Barcelona) on Finite Model Theory and * Prakash Panangaden (McGill University, Montreal) on Semantics. Invited Speakers: * Naoki Kobayashi, Tohoku University http://www.kb.ecei.tohoku.ac.jp/~koba/ * Andrei Krokhin, University of Durham http://www.dur.ac.uk/andrei.krokhin/ * Toniann Pitassi, University of Toronto http://www.cs.toronto.edu/~toni/ * Ashish Tiwari, SRI http://www.csl.sri.com/users/tiwari/ Important Dates: * Workshop Proposals Deadline: 16 November 2010 * Paper Registration Deadline (with short abstracts): 5 January 2011 * Paper Submission Deadline: 12 January 2011 * Author Notification: 7 March 2011 * Final Versions for the Proceedings: 4 April 2011 * Conference: 21?24 June 2011 (All deadlines are 11:59pm GMT.) Authors are required to submit a paper title and a short abstract of about 100 words before submitting the extended abstract of the paper. All submissions will be electronic. All deadlines are firm; late submissions will not be considered. Submission is open at http://www.easychair.org/conferences/?conf=lics2011. Submission Instructions: Every extended abstract must be submitted in the IEEE Proceedings two-column camera-ready format and may be no longer than 10 pages including reference with a font size of 10pt. The LaTeX style files are available at http://www2.informatik.hu-berlin.de/lics/lics11/sub-ins.html. The abstract must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference and to computer science, all phrased for the non-specialist. Technical development directed to the specialist should follow. References and comparisons with related work should be included. If necessary, detailed proofs of technical results can be included in a clearly-labelled appendix following the 10-page extended abstract. This material may be read at the discretion of the program committee. Extended abstracts not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. The PC chair should be informed of closely related work submitted to a conference or journal in advance of submission. All authors of accepted papers will be expected to sign copyright release forms. One author of each accepted paper will be expected to present it at the conference. Short Presentations: LICS 2011 will have a session of short (10 minute) presentations. This session is intended for descriptions of work in progress, student projects, and relevant research being published elsewhere; other brief communications may be acceptable. Submissions for these presentations, in the form of short abstracts (1 or 2 pages long), should be entered at the LICS 2011 submission site. Dates will be posted at the LICS website. Program Chair: Martin Grohe, Humboldt Univ., Berlin [email protected] Program Committee: Eli Ben-Sasson, Technion, Haifa Patrick Baillot, CNRS & ENS, Lyon Patricia Bouyer-Decitre, ENS, Cachan Balder ten Cate, UC Santa Cruz Thierry Coquand, Univ. of Gothenburg Victor Dalmau, UPF, Barcelona Josée Desharnais, Univ. Laval, Québec Kousha Etessami, Univ. of Edinburgh Philippa Gardner, Imperial College, London Rob van Glabbeek, NICTA, Sydney Guillem Godoy, UPC, Barcelona Martin Grohe, HU Berlin Martin Hofmann, LMU Munich Vineet Kahlon, NEC Labs, Princeton Stephan Kreutzer, Univ. of Oxford Dale Miller, INRIA, Saclay Leonardo de Moura, Microsoft Research, Redmond Luke Ong, Univ. of Oxford Benjamin Rossman, MIT, Cambridge Davide Sangiorgi, Univ. of Bologna Luc Segoufin, INRIA & ENS, Cachan Matt Valeriote, McMaster Univ., Hamilton Andrei Voronkov, Univ. of Manchester Igor Walukiewicz, Univ. of Bordeaux Thomas Wilke, Univ. of Kiel Kleene Award for Best Student Paper: An award in honour of the late S.~C.~Kleene will be given for the best student paper, as judged by the program committee. Details concerning eligibility criteria and procedure for consideration for this award will be posted at the LICS website. The program committee may decline to make the award or may split it among several papers. Special Issue: Full versions of upto 3 accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to the special issue of the open-access journal Logical Methods in Computer Science. Affiliated Workshops: As in previous years, there will be a number of workshops affiliated with LICS 2011; information will be posted at the LICS website. Conference Co-Chairs: * Benoit Larose, Champlain Regional College [email protected] * Matt Valeriote, McMaster Univ., Hamilton [email protected] Workshops Co-Chairs: * Adriana Compagnoni, Stevens Inst. of Technology, New-Jersey * Maribel Fernández, King's College London Publicity Co-Chairs: * Andrzej Murawski, Univ. of Leicester * Stephan Kreutzer, Univ. of Oxford Treasurer: * Martín Escardó, Univ. of Birmingham General Chair: * Rajeev Alur Univ. of Pennsylvania, Philadelphia [email protected] Organizing Committee: Martín Abadi, Rajeev Alur (chair), Paul Beame, Maria Paola Bonacina, Samuel Buss, Edmund M. Clarke, Adriana Compagnoni, Martín Escardó, Maribel Fernández, Lance Fortnow, Jürgen Giesl, Martin Grohe, Jean-Pierre Jouannaud, Phokion Kolaitis, Stephan Kreutzer, Benoit Larose, Johann (Janos) A. Makowsky, Burkard Monien, Andrzej Murawski, Jens Palsberg, Andrew Pitts, Philip Scott, Matt Valeriote Advisory Board: Martín Abadi, Samson Abramsky, Yuri Gurevich, Thomas A. Henzinger, Claude Kirchner, Phokion Kolaitis, Dexter Kozen, Ursula Martin, John Mitchell, Luke Ong, Leszek Pacholski, Gordon Plotkin, Andre Scedrov, Moshe Y. Vardi, Glynn Winskel Sponsorship: The symposium is sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, and the Fields Institute. ------------------------------ Message: 4 Date: Thu, 16 Dec 2010 09:09:35 -0300 From: Ruy de Queiroz <[email protected]> Subject: [Logica-l] WoLLIC 2011 - Chamada de Trabalhos - Prazo-limite se aproxima (01/Jan/2011) To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset=ISO-8859-1 *WoLLIC 2011 18th Workshop on Logic, Language, Information and Computation * *May 18th to 21st, 2011 * *University of Pennsylvania Philadelphia, USA* *Scientific Sponsorship* *Interest Group in Pure and Applied Logics (IGPL<http://www.cin.ufpe.br/~igpl/> )* *The Association for Logic, Language and Information (FoLLI<http://www.folli.org/> )* *Association for Symbolic Logic (ASL <http://www.aslonline.org/>)* *European Association for Theoretical Computer Science (EATCS<http://www.eatcs.org/> )* *European Association for Computer Science Logic (EACSL<http://www.eacsl.org/> )* *Sociedade Brasileira de Computação (SBC <http://www.sbc.org.br/>)* *Sociedade Brasileira de Lógica (SBL <http://www.cle.unicamp.br/sbl/>)* *Organisation* *Department of Mathematics <http://www.math.upenn.edu/>, University of Pennsylvania <http://www.upenn.edu/>, USA Centro de Informática <http://www.cin.ufpe.br/>, Universidade Federal de Pernambuco <http://www.ufpe.br/>, Brazil * ------------------------------ There will be a Special Session honoring Max Kanovich on the occasion of his 65-th birthday Speakers include John Mitchell, Mitsuhiro Okada, Paul Rowe, and others (tba)Call for PapersWoLLIC <http://wollic.org/> is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th to 21st, 2011. It is sponsored by the Association for Symbolic Logic <http://www.aslonline.org/> (ASL), the Interest Group in Pure and Applied Logics <http://www.cin.ufpe.br/~igpl> (IGPL), the The Association for Logic, Language and Information <http://www.folli.org/>(FoLLI), the European Association for Theoretical Computer Science<http://www.eatcs.org/> (EATCS), the European Association for Computer Science Logic <http://www.eacsl.org/> (EACSL), the Sociedade Brasileira de Computação <http://www.sbc.org.br/> (SBC), and the Sociedade Brasileira de Lógica <http://www.cle.unicamp.br/sbl/> (SBL). *Paper submission* Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to http://wollic.org/wollic2011/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by January 1, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date). *Proceedings* The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS <http://www.springer.com/lncs> series. In addition, abstracts will be published in the Conference Report section of the *Logic Journal of the IGPL*, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of the Annals of Pure and Applied Logic (to be confirmed). *Invited Speakers* *Rajeev Alur* <http://www.cis.upenn.edu/~alur/> (Philadelphia) *Rosalie Iemhoff* <http://www.phil.uu.nl/~iemhoff/eigen.html> (Utrecht) *John Mitchell* <http://theory.stanford.edu/people/jcm/> (Stanford) *Vladimir Voevodsky* <http://www.math.ias.edu/~vladimir/Site3/home.html> (Princeton) *Yoad Winter* <http://www.phil.uu.nl/~yoad/> (Utrecht) *Michael Zakharyaschev* <http://www.dcs.bbk.ac.uk/~michael/> (London) *Student Grants* ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant (deadline: February 18, 2011). See http://www.aslonline.org/studenttravelawards.html for details. *Important Dates* January 1, 2011: Paper title and abstract deadline January 8, 2011: Full paper deadline (firm) February 21, 2011: Author notification March 1, 2011: Final version deadline (firm) *Programme Committee* Sergei Artemov <http://web.cs.gc.cuny.edu/~sartemov/> (New York) Jeremy Avigad <http://www.andrew.cmu.edu/user/avigad/> (Pittsburgh) Arnold Beckman <http://www.cs.swan.ac.uk/~csarnold/> (Swansea) Lev Beklemishev <http://www.mi.ras.ru/~bekl/> (Moscow) (CHAIR) Alessandro Berarducci <http://www.dm.unipi.it/~berardu/> (Pisa) Andreas Blass <http://www.math.lsa.umich.edu/~ablass/> (Ann Arbor) (tbc) Sam Buss <http://www.math.ucsd.edu/~sbuss/> (San Diego) Achim Jung <http://www.cs.bham.ac.uk/~axj/> (Birmingham) Benedikt Löwe <http://staff.science.uva.nl/~bloewe/> (Amsterdam) Janos Makowsky <http://www.cs.technion.ac.il/~janos/> (Haifa) Michael Moortgat <http://www.let.uu.nl/~ctl/docenten/moortgat.html> (Utrecht) Vincent van Oostrom <http://www.phil.uu.nl/~oostrom/> (Utrecht) Prakash Panangaden <http://www.cs.mcgill.ca/~prakash/> (Montréal) Rohit Parikh <http://www.sci.brooklyn.cuny.edu/cis/parikh/> (New York) Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (Recife) Alexander Shen <http://www.poncelet.ru/pers/shen.htm> (Marseilles and Moscow) Bas Spitters <http://www.cs.ru.nl/~spitters/> (Nijmegen) Helmut Veith <http://www7.in.tum.de/~veith/> (Wien) Yde Venema <http://staff.science.uva.nl/~yde/> (Amsterdam) Scott Weinstein <http://www.cis.upenn.edu/~weinstei/> (Philadelphia) Frank Wolter <http://www.csc.liv.ac.uk/~frank/> (Liverpool) *Steering Committee* Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz. *Organising Committee* Vivek Nigam <http://www.math.upenn.edu/~vnigam/> (U Penn) Anjolina G. de Oliveira <http://www.cin.ufpe.br/~ago> (U Fed Pernambuco) Ruy de Queiroz <http://www.cin.ufpe.br/~ruy> (U Fed Pernambuco) (co-chair) Andre Scedrov <http://www.cis.upenn.edu/~scedrov/> (U Penn) (co-chair) *Further information* Contact one of the Co-Chairs of the Organising Committee. *Web page* http://wollic.org/wollic2011/ ------------------------------ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l Fim da Digest Logica-l, volume 58, assunto 12 ********************************************* _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
