Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019) PDF
Preview Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011–2019)
Studies in Universal Logic Jean-Yves Béziau Jean-Pierre Desclés Amirouche Moktefi Anca Christine Pascu Editors Logic in Question Talks from the Annual Sorbonne Logic Workshop (2011- 2019) Studies in Universal Logic SeriesEditor Jean-YvesBéziau,FederalUniversityofRiodeJaneiro,RiodeJaneiro,Brazil EditorialBoardMembers HajnalAndréka,HungarianAcademyofSciences,Budapest,Hungary MarkBurgin,UniversityofCalifornia,LosAngeles,CA,USA Ra˘zvanDiaconescu,RomanianAcademy,Bucharest,Romania RaffaelaGiovagnoli,PontificalLateranUniversity,Vatican AndreasHerzig,UniversityPaulSabatier,Toulouse,France ArnoldKoslow,CityUniversityofNewYork,NewYork,USA Jui-LinLee,NationalFormosaUniversity,HuweiTownship,Taiwan LarissaMaksimova,RussianAcademyofSciences,Novosibirsk,Russia GrzegorzMalinowski,UniversityofLódz,Lódz,Poland FrancescoPaoli,UniversityofCagliari,Cagliari,Italy PeterSchröder-Heister,UniversityofTübingen,Tübingen,Germany VladimirVasyukov,RussianAcademyofSciences,Moscow,Russia AnnaZamansky,UniversityofHaifa,Haifa,Israel Jean-Yves Béziau • Jean-Pierre Desclés Amirouche Moktefi • Anca Christine Pascu Editors Logic in Question Talks from the Annual Sorbonne Logic Workshop (2011–2019) Editors Jean-YvesBéziau Jean-PierreDesclés Philosophy Mathematics FederalUniversityofRiodeJaneiro SorbonneUniversity RiodeJaneiro,Brazil Paris,France AmiroucheMoktefi AncaChristinePascu RagnarNurkseDepartmentofInnovation LaboratoryofSciencesandTechniquesof andGovernance Information,Communicationand TallinnUniversityofTechnology Knowledge Tallinn,Estonia UniversityofWesternBrittany Brest,France ISSN2297-0282 ISSN2297-0290 (electronic) StudiesinUniversalLogic ISBN978-3-030-94451-3 ISBN978-3-030-94452-0 (eBook) https://doi.org/10.1007/978-3-030-94452-0 MathematicsSubjectClassification:03-03,03A05,03-06 ©TheEditor(s)(ifapplicable)andTheAuthor(s),underexclusivelicensetoSpringerNatureSwitzerland AG2022 Thisworkissubjecttocopyright.AllrightsaresolelyandexclusivelylicensedbythePublisher,whether thewholeorpartofthematerialisconcerned,specificallytherightsoftranslation,reprinting,reuse ofillustrations,recitation,broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,and transmissionorinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilar ordissimilarmethodologynowknownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbook arebelievedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsor theeditorsgiveawarranty,expressedorimplied,withrespecttothematerialcontainedhereinorforany errorsoromissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictional claimsinpublishedmapsandinstitutionalaffiliations. This book is published under the imprint Birkhäuser, www.birkhauser-science.com by the registered companySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface Wearecommemoratingin2020,adecadeofexistenceoftheworkshopLIQ:Logic inQuestion–LaLogiqueenQuestion.LIQwaslaunchedin2011inParisandtook place every year at the Sorbonne, either at the main building or at the Maison de laRecherche,RueSerpente.Theonlyexceptionwasin2018whenittookplaceat EcoleNormaleSupérieure.SeeonFig.1theposteroftheninthedition. Fig.1 ThenintheditionofLIQ.(EiffelTowerbyAnthonyDelanoix/Unsplash) v vi Preface Hereisthebasicideaanddescriptionoftheworkshop: What’s ItAllAbout? Logicgoesbacktothebeginningoftime.Butwhatexactlyisit,whatdoesitconsist of, what are its methods, and how did it develop? The answers to these questions arenotnecessarilyclear. Logic in Question, since 2011, is an annual spring workshop conducted at the Sorbonneonlogicexaminingthefollowingquestions(Fig.2)andtryingtoanswer them. Fig.2 Questioninglogic. (JonTyson/Unsplash) 10Questions 1. IsAristotlethefirstlogician? 2. AreCartesianslogicalanimals? 3. Modernlogic:Booleor/andFrege? 4. Shouldlogicbemathematical? 5. Doeslogicsolveanyphilosophicalproblem? 6. Whatisthedifferencebetweenlogicandmetalogic,ifany? 7. Isreasoningcomputing? 8. Islogicmultiple? 9. Islogicrelative? 10. Islogicnecessary? Preface vii Thisannualworkshopisinterdisciplinary,withtheparticipationofawiderange ofresearchersfromallovertheworld. The workshop has a duration of 2 days with about 10–15 speakers and is open to public (the entrance is free). People have lunch together either in the university canteenwithintheSorbonneorinanearbyrestaurant. Sometimes roundtables are organized. Following are some of the past roundta- bles: • CharlesSandersPeirce(forthecentenaryofhisdeathin2014) • SymbolisminLogic • GeorgeBoole • TeachingofLogic Manytopicshavebeendealtwithaswellrepresentedbythepapersgatheredin this volume, and a list of speakers is provided below (with their affiliations at the timeoftheirparticipation). ListofSpeakers –Logicin Question2011–2019 • LiesbethDeMol,GhentUniversity,Belgium • SaulKripke,CityUniversityofNewYork,USA • Pierre Cartier, Institut des Hautes Etudes Scientifiques, Bures-sur-Yvettes, France • SilviadeToffoli,StanfordUniversity,USA • PhilippeLacour,UniversityofBrasilia,Brazil • LaurentDubois,UniversitéLibredeBruxelles,Belgium • MiloudRouhabhi,Universitéd’Oran,Algeria • MaëlPégny,IHPST-CNRS,Paris,France • JosephDichy,UniversityofLyonII,Lyon,France • Jean-MarieChevalier,CollègedeFrance,Paris,France • FabricePataut,IHPST/CNRS,Paris,France • FrancescoBellucci,TallinnUniversityofTechnology,Estonia • PiotrLes´niewski,UniversityAdamMickiewicz,Poznan,Poland • KatarzynaGan-Krzywoszyn´ska,UniversityAdamMickiewicz,Poznan,Poland • DavidMakinson,LondonSchoolofEconomics,England • MariaGiuliaDondero,UniversitédeLiègeetFNRS,Belgium • GuoZhenzhen,UniversitéJeanMoulin,LyonIII,France • MarkvanAtten,SND,CNRS,ParisSorbonne,France • Artem Soloshchenkov, Moscow State University, Russia and IHPST, Paris, France • MikaelCozic,UniversitéParis12,France • HenriPrade,IRIT/CNRSetUniversitéPaulSabatier,Toulouse,France • EkaterinaKubyshkina,IHPST,Paris,France • OliviaCaramello,UniversitéDenisDiderot,Paris,France viii Preface • Pierre-LucDostieProulx,UniversitéCatholiquedeLouvain,Belgium • DenisVernant,UniversitédeGrenoble,France • JulieBrumberg-Chaumont,CNRS,Paris,FranceandEuropeanUniversityInsti- tute,Florence,Italy • RicardoSousaSilvestre,UniversidadeFederaldeCampinaGrande,Brazil • BriceHalimi,UniversitéParis10andSphere,CNRS,France • MichelSerfati,IREMUniversitéDenisDiderot,Paris7,France • ManuelGustavoIsaac,UniversitéDenisDiderot,Paris7,France • SimoneMorgagni,EHESS,Paris,France • BaptisteMélès,UniversitéBlaisePascal,Clermont-Ferrand,France • PierreMounier-Kuhn,CNRS,CentreAlexandreKoyré,Paris,France • Ahti-VeikkoPietarinen,UniversityofHelsinki,Finland • PierreSaint-Germier,EcoleNormaleSupérieuredeLyon,France • BrunoPoizat,UniversitédeLyon1,France • ArnaudPlagnol,UniversitédeParis8etIHPST,France • Anne-FrançoiseSchmid,EcoledesMines,Paris,France • RenéGuitart,UniversitéDenisDiderot,Paris7,France • PierreWagner,UniversitéPanthéon-Sorbonne,France • PaulEgré,InstitutJeanNicod,Paris,France • RominaPadro,CityUniversityofNewYork,USA • BrunoLeclercq,UniversitédeLiège,Belgium • JuanLuisGastaldi,IRePh,ParisOuestNanterre/ESBAMA,France • JulietteLemaire,CentreLéonRobin,UniversitéParis-Sorbonne,France • Jean-YvesBéziau,UniversityofBrazil,RiodeJaneiro,Brazil • FrédéricNef,InstitutJeanNicodetEHESS,France • PatrickBlackburn,UniversityofRoskilde,Denmark • ValeriaGiardino,InstitutJeanNicod,Paris,France • PaulaCantu,CNRS,UniversitéAix-Marseilles,France • Jean-BaptiseGourinat,CentreLéonRobin,UniversitéParis-Sorbonne,France • JanSebestik,InstituteofPhilosophy,CzechRepublic • AlessioMoretti,Nice,France • AntoniaSoulez,UniversitédeParis8,France • MathieuMarion,UQUAM,Montréal,Canada • AmiroucheMoktefi,IRIST,Strasbourg,France • Jean-PierreDesclés,UniversitédeParis-Sorbonne,France • AncaChristinePascu,UniversitédeBrest,France • JacquesDubucs,CNRS,UniversitéPanthéon-Sorbonne,France • Sylvain Lavelle, École des Hautes Études en Sciences Sociales, EHESS, Paris, France • VivianeDurand-Guerrier,DépartementdeMathématiques,UniversitédeMont- pellier2,France • ZoéMesnil,UniversitéParisDiderot,Paris7,France • MichaelFreund,UniversitédeParisSorbonne,France • Jean-Claude Dumoncel, Centre d’Etudes Théologiques de Caen et Société NormandedePhilosophie,France
The list of books you might like
