Caro Júlio César. acho que tem, sim, coisa que voce não está vendo. O fato é que a meta-linguagem na qual se trata a lógica paraconsistente (como de resto a lógica intuicionista, a semântica de topos ou a lógica difusa bem feita) *deve* ser clásssica--isso é um mériro, e não um demérito. De fato, a única maneira de todos se entenderem, de os paraconsistentistas explicarem suas idéia aos intuicionistas e aos "clássicos" é partir de uma base comum.
Meus colegas Joao Marcos, Marcelo Coniglio e eu trabalhamos durante anos tentando esclarecer o que nos parece a melhor semântica possível para o paraconsistentismo, livre de assombrações metafísicas e de mal-entendidos rasteiros; conviod você a conferir as "possible-translations semantics". O resultado mais compacto se acha em: Carnielli, W., Coniglio, M.E., and Marcos, J., Logics of Formal Inconsistency. Handbook of Philosophical Logic, 2nd edition, volume 14, pages 15-107. Springer-Verlag. disponivel nos CLE e-Prints em http://www.cle.unicamp.br/e-prints/vol_5,n_1,2005.html mas convido vocé tambem a ver onde isso leva em W. A. Carnielli (with J. C. Agudelo).Paraconsistent Machines and their Relation to Quantum Computing.. Journal of Logic and Computation Volume 20, Issue 2, 2010, pages 573-595. htmloxfordjournals.org/cgi/content/short/20/2/573 Abraços, Walter > Tópicos de Hoje:ismo, li > > 1. semântica paraconsistente (julio cesar) > > Olá, lista, > > sempre tive dificuldades de compreender como é possível uma semântica > paraconsistente. > Li o artigo http://www.cfh.ufsc.br/~principi/p133-1.pdf e confesso que, do meu > ponto de vista, o problema ainda persiste. Em outras palavras, a > meta-linguagem > utilizada ao escrever o artigo possui uma semântica clássica. > Por exemplo, se eu partir do pressuposto que minha metalinguagem não é > clássica, > como eu posso sequer diferenciar as teorias "ZFU" e "ZF", ou os conceitos > "quasi-set" e "set", ou também "m-object" de "object" (ou até "lógica > não-clássica" e "lógica clássica")? > Ou seja, nesse caso, não importa a teoria que eu apresento, mas sim a maneira > como eu a apresento, e essa maneira ainda é clássica. > > Tem algo aí que não estou vendo? > > Abraços, > Júlio César A. Custódio > > > > -------------- Próxima Parte ---------- > Um anexo em HTML foi limpo... > URL: > http://www.dimap.ufrn.br/pipermail/logica-l/attachments/20100806/e03da5d1/attachment-0001.htm > > ------------------------------ > > Message: 2 > Date: Sat, 7 Aug 2010 01:10:03 -1200 > From: Walter Carnielli <[email protected]> > Subject: [Logica-l] ICDCIT 2011: India, 9-12 Feb 2011 > To: [email protected] > Message-ID: > <[email protected]> > Content-Type: text/plain; charset=windows-1252 > > Caros colegas, > > estou repassando esta msg a pedido do Raja Natarajan de Mumbai, India, > > abs, > > Walter > > =================================== > > Dear Walter, > > How are you doing? > > I am the programme committee co-chair for the forthcoming > Seventh International Conference on Distributed Computing > and Internet Technology (ICDCIT 2011), > to be held in Bhubaneshwar, India during February 09-12, 2011. > The conference webpage is at > http://www.icdcit.ac.in/ > > I request you to kindly encourage your interested colleagues to > submit papers to this conference. > > I have also appended the "Call for papers" to this email. > > Thank you > Best Regards > Raja > --------------------------------------------------------------------------- > Raja Natarajan | E-Mail: [email protected] > School of Technology & Computer Science | Tel: +91-22-22782312 > Tata Institute of Fundamental Research | Fax: +91-22-22804610 > Mumbai 400 005, INDIA | http://www.tcs.tifr.res.in/~raja > --------------------------------------------------------------------------- > > ------------------------------------------------------------------- > CALL FOR PAPERS > > ICDCIT -- 2011 > The Seventh International Conference on > Distributed Computing and Internet Technology > http://www.icdcit.ac.in > 09 - 12 February 2011, > Bhubaneswar, India > ------------------------------------------------------------------- > IMPORTANT DATES > > Submission Deadline - 15 August 2010 > Decision Notification - 01 October 2010 > Final Submission - 01 November 2010 > Conference Dates - 09--12 February 2011 > CONTACT URL: http://www.icdcit.ac.in > --------------------------------------------------------------------- > INVITED SPEAKERS > > Jos Baeten, Eindhoven University of Technology, The Netherlands > Yves Deswarte, LAAS-CNRS, France > Kohei Honda, Queen Mary & Westfield College, UK > Vaughan Pratt, Stanford University, USA > Maria Wimmer, University of Koblenz, Germany > --------------------------------------------------------------------- > 1. INTRODUCTION > --------------------------------------------------------------------- > Established in 2004, the ICDCIT conference series has become a > platform for Computer Science researchers from India and all over the > world to exchange research results and ideas on the foundations and > applications of Distributed Computing and Internet Technologies. > Increasingly, such technologies enable individuals and organizations > to jointly engage in the production, processing and dissemination of > knowledge. > > The 7th International Conference on Distributed Computing and Internet > Technologies (ICDCIT - 2011) will take place in Bhubaneswar during 9 - > 12 February 2011. It will be co-organized by KIIT University, > Bhubaneswar, India and Centre for Electronic Governance, UNU-IIST, > Macao. Like the last six editions, the proceedings are expected to be > published by Springer in the series of Lecture Notes in Computer > Science. > --------------------------------------------------------------------- > 2. PAPER SUBMISSION > --------------------------------------------------------------------- > ICDCIT - 2011 invites submissions of research papers containing > original contributions to the foundations and applications of > Distributed Computing and Internet Technology. The papers must not be > published or being considered for publication by any other conference > or journal. All submitted papers will be reviewed by the Program > Committee. In order to appear in the conference proceedings, accepted > papers must be presented at the conference by one of the authors. > > Papers must be written in English and should not exceed 12 pages, > prepared according to the LNCS style in LaTeX or Word and submitted > electronically in PDF format through the conference submission portal > at EasyChair. Submissions received after the due date, exceeding > length limit, or not structured according to the provided templates > may not be considered for review. > > The proceedings of the last six editions of the conference have been > published by Springer in the Lecture Notes on Computer Science series. > --------------------------------------------------------------------- > 3. SCOPE > --------------------------------------------------------------------- > The list of topics addressed by ICDCIT includes, but is not limited to: > > DISTRIBUTED COMPUTING > Distributed Algorithms > Concurrency and Parallelism > Performance Analysis > Domain-Specific Architectures & languages > Secure Computing and Communication > Data and Service Grid Allocations and Computations > Cloud and P2P Systems > Location-Based Computing > Formal Methods > Bio Inspired Computing > > INTERNET TECHNOLOGIES > Semantic Web > Service Oriented Architecture > Web Search & Mining > Information Retrieval > Multi-media Systems > QoS Analysis > Business Processing > Monitoring and Service Delivery > Bidding and Negotiation > Reputation and Trust > > SOCIETAL APPLICATION > IT Infrastructures > Social Networking > Co-operative Problem Solving > Participatory Governance > Environmental Resource Management > Culture and Heritage Management > Entertainment Systems > Applications in Governance > E-Health Applications > E-Learning & Web 2.0 > --------------------------------------------------------------------- > 4. COMMITTEES > --------------------------------------------------------------------- > PATRONS > Achyuta Samanta, KIIT, India > > ADVISORY COMMITTEE > Maurice Herlihy, Brown University, USA > Gérard Huet, INRIA, France > Tomasz Janowski, UNU-IIST, Macao > A.S.Kolaskar, KIIT, India > David Peleg, WIS, Israel > R.K. Shyamasundar, TIFR, India > > GENERAL CHAIRS > H. Mohanty, University of Hyderabad, India > Vivek Sarkar, Rice University, USA > > PROGRAM CO-CHAIRS > Raja Natarajan, TIFR, India > Adegboyega Ojo, UNU-IIST, Macao > > ORGANIZING CHAIR > Animesh Tripathy, KIIT, India > > FINANCE CHAIR > Samaresh Mishra, KIIT, India > > PUBLICITY CHAIR > Prachet Bhuyan, KIIT, India > > PROGRAM COMMITTEE > Purandar Bhaduri, IIT Guwahati, India > Nikolaj Bjorner, Microsoft, USA > Elizabeth Buchanan, Univ of Wisconsin-Milwaukee,U SA > Antonio Cerone, UNU--IIST, Macao > Venkatesh Choppella, IIIT Hyderabad, India > Van Hung Dang, Vietnam National Univ, Vietnam > Elsa Estevez, UNU--IIST, Macau > Pablo Fillottrani, Universidad Nacional del Sur, Argentina > Veena Goswami, KIIT, India > Chittaranjan Hota, BITS Pilani, India > Paul Humphreys, University of Virginia, USA > Aditya Kanade, IISc, India > Delia Kesner, Univ of Paris, France > Paddy Krishnan, Bond Univ, Australia > Lakshmanan Kuppusamy, VIT, India > Sanjay Madria, Missouri Univ, USA > Rupak Majumdar, MPI, Germany > Tulika Mitra, NUS, Singapore > Debajyoti Mukhopadhyay, CBS, India > G.B.Mund, KIIT, India > Brajendra Panda, Univ of Arkansas, USA > N. Parimala, JNU, India > Ankur Narang, IBM, India > Rajdeep Niyogi, IIT Roorkee, India > Manas Ranjan Patra, Berhampur University, India > Dana Petcu, West Univ of Timisoara, Romania > G. Michele Pinna, Univ of Cagliari, Italy > P. Radha Krishna, Infosys, India > Srini Ramaswamy, ABB Corporate Research, India > Benoit Razet, TIFR, India > Ashutosh Saxena, Infosys, India > Manoj Saxena, Univ of Delhi, India > Jaydip Sen, TCS, India > Hardeep Singh, GNDU, India > Arcot Sowmya, UNSW, Australia > Manuel Serrano, INRIA, France > Hideyuki Takahashi, Tohoku University, Japan > Nobuko Yoshida, Imperial College London, UK > > ORGANIZERS > KIIT University > UNU-IIST Centre for Electronic Governance, Macao > > Submission Deadline -- 15 August 2010 > CONTACT URL: http://www.icdcit.ac.in > ------------------------------------------ > > > > -- > +++++++++++++++++++++++++++++++++++++++++++++++++ > Walter Carnielli > Centre for Logic, Epistemology and the History of Science ? CLE > State University of Campinas ?UNICAMP > P.O. Box 6133 13083-970 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6515 > Fax: (+55) (19) 3289-3269 > e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > > > ------------------------------ > > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > Fim da Digest Logica-l, volume 54, assunto 9 > ******************************************** > -- +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3521-6515 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
