Re: [Logica-l] A list-serve for Logic & Epistemology?
Dear ARF: You might find the phil-logic list (http://philo.at/cgi-bin/mailman/listinfo/phil-logic) a more suitable venue than f.om. for your inquire. Evidentemente, você também será bem-vindo entre os quase 400 membros atuais da nossa LOGICA-L. Abraços, Joao Marcos On 8/1/11, Walter Carnielli wrote: > Dear Arf dear all: > > Arf (Dick) has a good idea for starting a new list, but my > experience is that we'd need a massive number of people to make it > keep running. Lists need nutties > to keep conversation going on (but of course do not need Martin > Davies to call discussions "too metaphysical). > > The Brazilian list "Lista dos Logicos Basileiros " > > is already a good place, and some discussions go in English . But > even if having a good number of subscribers (already 200) > sometimes it gets silent for a log time. > > So, to sum sup, I think it is not a bad idea, but if we don't get an > expressive number of people interested it would be doomed to > failure pretty soon. > > About the attempts that have been made to show that logic is an > objective science in that sense, I personally do not know! > > By the way, the ARF Group had two members attending and giving > talks at “Beyond the Possible” , a conference dedicated to RIchard > Sylvan's memory held in Melbourne, from July 27-29 2011 > > . http://sites.google.com/site/btpconference/home > > Fred and I gave talks there, and it was very nice to meet! > > All the best, > > Walter > > 2011/8/2 ARF (Richard L. Epstein) : >> I am writing to suggest that we start a new e-mail communication >> (list-serve) for (roughly) Logic, >> Epistemology, Philosophy of Science, and Philosophy of Mathematics. >> >> Some of us have been trying to use the FOM list-serve for this purpose, >> but that isn't suitable. >> What is allowed and what is not is never clear, and just when a discussion >> gets interesting, as with >> Staffan's most recent posting, Martin Davis shuts it down as being "too >> metaphysical". >> >> We could initially advertise our list-serve on FOM as an alternative. We >> could host it through the >> ARF website , where we could keep an >> archive of the postings. We >> would need one person who could be the editor, whose job is to check that >> postings aren't completely >> nutty (there are always cranks who get in) or vicious, but not to enforce >> intellectual limits >> otherwise. (??) We'd also need a board of editors to whom questionable >> postings could be directed >> for evaluation. I'm not willing to be the editor, but I'd be glad to be >> on the board. >> >> On a personal note, I think that the first attempt at a way to communicate >> among academics like this >> in logic was the Recursive Function Theory Newsletter that Barry Cooper >> and I started in 1972 in >> Berkeley. >> >> Let me know what you think--how we might organize it, how we might better >> describe the subject >> matter, and whether you think the project is worth the effort. Please >> pass this e-mail along to >> others who might be interested. >> >> Here is an example of what we could post (FOM rejected it). I need help >> with it: >> >> >> Can anyone tell me what attempts have been made to show that logic is an >> objective science that do >> not rely on the assumption that: >> 1. propositions are abstract objects >> or 2. propositions are linguistic, perhaps in a formalized version, >> whose structure parses reality >> exactly and correctly? >> >> >> All the best, Arf >> >> > > > > -- > > Prof. Dr. Walter Carnielli > Visiting Scholar > School of Historical and Philosophical Studies > Room G06 Ground Floor > Old Quad Building > The University of Melbourne > 3010 VIC > Melbourne, Australia > > 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 > -- 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] A list-serve for Logic & Epistemology?
Dear Arf dear all: Arf (Dick) has a good idea for starting a new list, but my experience is that we'd need a massive number of people to make it keep running. Lists need nutties to keep conversation going on (but of course do not need Martin Davies to call discussions "too metaphysical). The Brazilian list "Lista dos Logicos Basileiros " is already a good place, and some discussions go in English . But even if having a good number of subscribers (already 200) sometimes it gets silent for a log time. So, to sum sup, I think it is not a bad idea, but if we don't get an expressive number of people interested it would be doomed to failure pretty soon. About the attempts that have been made to show that logic is an objective science in that sense, I personally do not know! By the way, the ARF Group had two members attending and giving talks at “Beyond the Possible” , a conference dedicated to RIchard Sylvan's memory held in Melbourne, from July 27-29 2011 . http://sites.google.com/site/btpconference/home Fred and I gave talks there, and it was very nice to meet! All the best, Walter 2011/8/2 ARF (Richard L. Epstein) : > I am writing to suggest that we start a new e-mail communication (list-serve) > for (roughly) Logic, > Epistemology, Philosophy of Science, and Philosophy of Mathematics. > > Some of us have been trying to use the FOM list-serve for this purpose, but > that isn't suitable. > What is allowed and what is not is never clear, and just when a discussion > gets interesting, as with > Staffan's most recent posting, Martin Davis shuts it down as being "too > metaphysical". > > We could initially advertise our list-serve on FOM as an alternative. We > could host it through the > ARF website , where we could keep an archive > of the postings. We > would need one person who could be the editor, whose job is to check that > postings aren't completely > nutty (there are always cranks who get in) or vicious, but not to enforce > intellectual limits > otherwise. (??) We'd also need a board of editors to whom questionable > postings could be directed > for evaluation. I'm not willing to be the editor, but I'd be glad to be on > the board. > > On a personal note, I think that the first attempt at a way to communicate > among academics like this > in logic was the Recursive Function Theory Newsletter that Barry Cooper and I > started in 1972 in > Berkeley. > > Let me know what you think--how we might organize it, how we might better > describe the subject > matter, and whether you think the project is worth the effort. Please pass > this e-mail along to > others who might be interested. > > Here is an example of what we could post (FOM rejected it). I need help with > it: > > > Can anyone tell me what attempts have been made to show that logic is an > objective science that do > not rely on the assumption that: > 1. propositions are abstract objects > or 2. propositions are linguistic, perhaps in a formalized version, whose > structure parses reality > exactly and correctly? > > > All the best, Arf > > -- Prof. Dr. Walter Carnielli Visiting Scholar School of Historical and Philosophical Studies Room G06 Ground Floor Old Quad Building The University of Melbourne 3010 VIC Melbourne, Australia 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] Fwd: NASSLLI 2012: Call for Course and Workshop Proposals - EXTENDED DEADLINE
NASSLLI 2012 North American Summer School in Logic, Language and Information 2012 http://nasslli2012.com/ June 18-22, University of Texas at Austin 2nd CALL for COURSE and WORKSHOP PROPOSALS The fifth NASSLLI (after previous editions at Stanford University, Indiana University and UCLA) will be hosted at the University of Texas at Austin, on June 18 - 22, 2012. The summer school, loosely modeled on the long- running ESSLLI series in Europe, will consist of a number of courses and workshops, selected on the basis of the proposals. By default, courses and workshops meet for 90 minutes on each of five days. Proposals are invited that present interdisciplinary work between the areas of logic, linguistics, computer science, cognitive science, philosophy and artificial intelligence, though work in just one area is within the scope of the summer school if it can be applied in other fields. Examples of possible topics would include e.g. logics for communication, computational semantics, game theory (for logic, language and/or computation), dynamic semantics, modal logics, linear logic, machine learning techniques, statistical language models, and automated theorem proving. We encourage potential course or workshop contributors to check out previous programs at: * http://www.linguistics.ucla.edu/nasslli04/program.html * http://www.stanford.edu/group/nasslli/ * http://www.indiana.edu/~nasslli/2003/program.html * http://www.indiana.edu/~nasslli/ Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Courses may certainly focus on a single area, but lecturers should then include introductory background, try to avoid specialized notation that cannot be applied more widely, and spend time on the question of how the topic is relevant to other fields. A workshop can be more accessible if its program is bracketed by broader-audience talks that introduce and summarize the week's presentations. Associated Workshops/Conferences: In addition to courses and workshops taking place during the main NASSLLI five day session, NASSLLI welcomes proposals for 1-3 day workshops or conferences hosted on campus immediately before or after the summer school, thus on the weekends of June 15-17 and June 23-25 2012. Previous such associated meetings have included the Dynamic Epistemic Logic Workshop, the Mathematics of Language conference, and the Theoretical Aspects of Reasoning About Knowledge (TARK) conference. Submission Details: Submissions should be submitted using EasyChair (http://www.easychair.org/conferences/?conf=nasslli2012), and should indicate 1) person(s) in charge of the course/workshop and affiliation(s) 2) type of event (one week course or workshop, 2 hours a day) 3) an outline of the course/workshop up to 500 words 4) Special equipment (if any) needed to teach the course (beamer, computer ...) 5) a statement about the instructor's experience in teaching in interdisciplinary settings 6) expected costs (whether you want to be paid hotel and/or travel, and descriptions of funding in hand or for which you will apply) Financial Details: A course may be taught by one or two persons. Conference fees are waived for all instructors. However, we are only able to pay for the full travel and expenses of one instructor per course. If two persons are lecturing, they may share a lump sum paid for both. We must also stress that while proposals from all over the world are welcomed, the Summer School can in general guarantee only to reimburse travel costs for travel from destinations within North America to Texas, although exceptions can be made depending on the financial situation. Furthermore, we encourage all lecturers to fund their own travel if this is feasible, since this will allow us to use our available funding for student scholarships. Workshops are more complicated financially than courses, and a proposal for a workshop should include a plan to obtain some outside funding for the speakers. Schedule: August 15, 2011 - EXTENDED DEADLINE for submissions; August 31, 2011 - Course/workshop proposers notified of p.c. decisions; May 15, 2012 - Material for courses available for printing; Program Committee: Carlos Areces (co-chair), Universidad Nacional de Córdoba David Beaver, University of Texas, Austin Emily Bender, University of Washington Josh Dever, University of Texas, Austin Valeria de Paiva (co-chair), Rearden Commerce, Inc. Angelika Kratzer, University of Massachusetts Lawrence Moss, Indiana University Vladimir Lifschitz, University of Texas, Austin Eric Pacuit, Maryland University Chris Potts, Stanford University Chung-chieh Shan, Rutgers University Annie Zaenen, Stanford University and PARC Standing NASSLLI Steering Committee: David Beaver, University of Texas, Austin Phokion Kolaitis, UC Santa Cruz and IBM Almaden Research Center Lawrence S. Moss, Indiana University Valeria de Paiva , Rearden Commerce
[Logica-l] Aristotle's cubes and first-order quantifiers
>--- Seminario de Logica Carioca http://www.rio-logic.org Quarta Feira dia 03 de Agosto - 14h - PUC/Rio - Departamento de Filosofia Aristotle's cubes and first-order quantifiers Claudio Pizzi - University of Siena, Italy A typical feature of so-called "consequential implication" is its basic properties (mainly represented by so-called Aristotle's Thesis ¬(A-->¬A)) can be satisfied by more than one operator. Fot this reason the traditional Aristotle's square of opposition of implicative statements may be expanded to more complex three-dimensional figures (“Aristotle's cubes”). It is shown that statements of consequential implication may be translated into special first order statements, so that the traditional square of opposition for quantified statements may be expanded in a parallel way. > World Congress on the Square of Opposition Montreux 2007 - Corsica 2010 - Beirut 2012 http://www.square-of-opposition.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] RES: Físico prova impossibilidade de se viajar no tempo
Entre um intervalo e outro do meu trabalho, agora 3:11 da manhã, gostaria de notar que um amigo comum nosso, i.e., meu e do prof. Newton da Costa, e que aliás foi aluno do meu pai no ITA, o cosmólogo Marcelo Berman recentemente resolveu um problema que o qualifica para receber o prêmio Nobel de física: trata-se de uma teoria da rotação do universo cujos detalhes e implicações ainda podem mudar e muito nossa visão do big bang. Em 31 de julho de 2011 23:23, Decio Krause escreveu: > Alvaro > Com efeito, seu argumento (via Hawking) é forte. Mas, quem garante que as > civilizações do futuro já não foram devidamente instruídas para não se > fazerem notar em nosso tempo? Aliás, o que é o tempo? > Abraço > Décio > > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-940 Florianópolis, SC -- Brasil > deciokrause[at]gmail.com > www.cfh.ufsc.br/~dkrause > > "He [God] will never choose among indiscernibles" > (G.W.Leibniz) > > > > > > > Em 31/07/2011, às 22:47, Alvaro Augusto (L) escreveu: > > > Bem, a mais curta explicação para a impossibilidade da viagem no tempo > foi dada por Stephen Hawking: onde estão os turistas vindos do futuro? É > claro que essa explicação parte da hipótese de que, se a viagem do tempo > fosse possível, uma civilização futura fatalmente descobriria como > realizá-la... > > > > Abraços, > > > > Alvaro Augusto > > > > > > -Mensagem original- > > De: logica-l-boun...@dimap.ufrn.br [mailto: > logica-l-boun...@dimap.ufrn.br] Em nome de Carlos Gonzalez > > Enviada em: sábado, 30 de julho de 2011 00:06 > > Para: Jaison Schinaider; Lista acadêmica brasileira dos profissionais e > estudantes da área de LOGICA > > Cc: Carlos González > > Assunto: Re: [Logica-l] Físico prova impossibilidade de se viajar no > tempo > > > > Será que a Folha traduz: > > > > It may bring a closure to the debate on the true speed of information > > carried by a single photon [18]. > > > > como: > > > > "Ao provar que os fótons não podem viajar mais rápido do que a > > velocidade da luz, nossos resultados encerram o debate sobre a > > verdadeira velocidade de informação transportada por um único fóton", > > escreveu. > > ??? > > > > http://www.merriam-webster.com/dictionary/may?show=1&t=1311993046 > > > > Alguém quer fazer uma lista das falácias que usa a Folha no argumento > > que pretende demonstrar que a viagem no tempo é impossível? > > > > E não defendo a viagem no tempo, mas somente as maneiras razoáveis de > > fundamentação. > > > > A folha colocou que eu dei um positivo para o artigo, mas só coloquei > > positivo num comentário e apareceu no artigo. > > > > Carlos Gonzalez > > > >> . > > http://physics.ust.hk/dusw/Publication/PhysRevLett_106_243602.pdf > > > > Our experimental results indicate that the optical precursor traveling > > at c is always the fastest part of the single-photon wave packet in > > both slow-light and superluminal media. It may bring a closure to the > > debate on the true speed of information carried by a single photon > > [18]. > > > > [18] J. Marangos, Nature (London) 406, 243 (2000). > > > > Em 29 de julho de 2011 19:42, Jaison Schinaider > escreveu: > >> A quem interessar: > >> > >> > http://www1.folha.uol.com.br/ciencia/949325-fisico-de-hong-kong-prova-que-viajar-no-tempo-e-impossivel.shtml > > > > ___ > > 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] RES: Físico prova impossibilidade de se viajar no tempo
Fica complicado eliminar as soluções time-travel em relatividade geral: elas são típicas. 2011/7/31 Decio Krause > Alvaro > Com efeito, seu argumento (via Hawking) é forte. Mas, quem garante que as > civilizações do futuro já não foram devidamente instruídas para não se > fazerem notar em nosso tempo? Aliás, o que é o tempo? > Abraço > Décio > > Decio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-940 Florianópolis, SC -- Brasil > deciokrause[at]gmail.com > www.cfh.ufsc.br/~dkrause > > "He [God] will never choose among indiscernibles" > (G.W.Leibniz) > > > > > > > Em 31/07/2011, às 22:47, Alvaro Augusto (L) escreveu: > > > Bem, a mais curta explicação para a impossibilidade da viagem no tempo > foi dada por Stephen Hawking: onde estão os turistas vindos do futuro? É > claro que essa explicação parte da hipótese de que, se a viagem do tempo > fosse possível, uma civilização futura fatalmente descobriria como > realizá-la... > > > > Abraços, > > > > Alvaro Augusto > > > > > > -Mensagem original- > > De: logica-l-boun...@dimap.ufrn.br [mailto: > logica-l-boun...@dimap.ufrn.br] Em nome de Carlos Gonzalez > > Enviada em: sábado, 30 de julho de 2011 00:06 > > Para: Jaison Schinaider; Lista acadêmica brasileira dos profissionais e > estudantes da área de LOGICA > > Cc: Carlos González > > Assunto: Re: [Logica-l] Físico prova impossibilidade de se viajar no > tempo > > > > Será que a Folha traduz: > > > > It may bring a closure to the debate on the true speed of information > > carried by a single photon [18]. > > > > como: > > > > "Ao provar que os fótons não podem viajar mais rápido do que a > > velocidade da luz, nossos resultados encerram o debate sobre a > > verdadeira velocidade de informação transportada por um único fóton", > > escreveu. > > ??? > > > > http://www.merriam-webster.com/dictionary/may?show=1&t=1311993046 > > > > Alguém quer fazer uma lista das falácias que usa a Folha no argumento > > que pretende demonstrar que a viagem no tempo é impossível? > > > > E não defendo a viagem no tempo, mas somente as maneiras razoáveis de > > fundamentação. > > > > A folha colocou que eu dei um positivo para o artigo, mas só coloquei > > positivo num comentário e apareceu no artigo. > > > > Carlos Gonzalez > > > >> . > > http://physics.ust.hk/dusw/Publication/PhysRevLett_106_243602.pdf > > > > Our experimental results indicate that the optical precursor traveling > > at c is always the fastest part of the single-photon wave packet in > > both slow-light and superluminal media. It may bring a closure to the > > debate on the true speed of information carried by a single photon > > [18]. > > > > [18] J. Marangos, Nature (London) 406, 243 (2000). > > > > Em 29 de julho de 2011 19:42, Jaison Schinaider > escreveu: > >> A quem interessar: > >> > >> > http://www1.folha.uol.com.br/ciencia/949325-fisico-de-hong-kong-prova-que-viajar-no-tempo-e-impossivel.shtml > > > > ___ > > 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 > -- fad ahhata alati, awienta Wilushati ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
