[Logica-l] Ian Hacking (1936-2023)
https://dailynous.com/2023/05/10/ian-hacking-1936-2023/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lh1%2Bt-G9DHyMzY%2BzeYcCfRNFF88hZf5%2BSxn33DKC0GADA%40mail.gmail.com.
[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe
... fui recentemente no Egito procurar uma gata para o meu gato https://sites.google.com/view/miaou-rio/egypt e fiquei convencido que a teoria do sentido é piramidal ! The Pyramid of Meaning http://www.jyb-logic.org/PYRAMID-OF-MEANING JYB On Wed, May 10, 2023 at 11:36 PM jean-yves beziau wrote: > The next session of the Logic and Religion Webinar (LARAW) will be May 11 > at 4pm CET > > Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an > African Perspective > Speaker: Aribiah Attoe (University of Witwatersrand, South Africa) > Abstract: In this talk, I will provide a new response to the problem of > evil from an African perspective. I will argue that the notion of a God > that is conscious and intentional is mistaken. This is because these > attributes are not based on any concrete information about the nature of > God, and so are simply misattributions. Thus, I will argue for a new notion > of God as a material and depersonalised entity, therefore redefining the > African limited God view. I will also show that “evil” is merely a category > of the mind. Finally, I will show how these ideas make the problem of evil > irrelevant. > > Chair: Francisco de Assis Mariano (University of Missouri-Columbia, USA) > > Everybody is welcome to attend. Register here: > https://www.logicandreligion.com/webinars > > Aribiah Attoe is author of the IEP entry > African Philosophical Perspectives on the Meaning of Life > https://iep.utm.edu/african-meaning-of-life/ > > Jean-Yves Beziau > Vice-President of LARA (Logic And Religion Association), organizer of > LARAW and IEP logic area editor > https://philpeople.org/profiles/jean-yves-beziau > > > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDB2sbXG_BmDbLC-tsotTO4Z1xMCPL3CmTHKJXh4cbozg%40mail.gmail.com.
[Logica-l] The Proof Society Workshop on Proof Theory and its Applications 13-14 July, 2023
The Proof Society Workshop on Proof Theory and its Applications 13-14 July, 2023 Downtown Barcelona, Catalonia, Spain https://www.ub.edu/prooftheory/event/tps2023/ The workshop is aimed at PhDs and other professionals alike. We call for contributed papers to be presented during the workshop either in a short talk of about 20 minutes or through a poster presentation. Submission deadline: May 15; Author notification: May 29. Submissions consist of an extended abstract of at most four pages total (including references, acknowledgements, and any possible appendices). Accepted abstracts will be distributed during the event and may be posted online, but will not be formally published, so we welcome work published elsewhere. The style files and submission link may be found in the workshop webpage: https://www.ub.edu/prooftheory/event/tps2023workshop/ AIMS AND SCOPE Topics presented include. but are not limited to •Ordinal analysis •Applied proof theory and proof assistants •Cut elimination •Proof systems •Philosophy of proof theory •Proof theory and the foundations of mathematics •Proof Complexity •Reverse mathematics •SAT solvers •Automated theorem proving •Types and proofs ORGANISING COMMITTEE •Albert Atserias •Ilario Bonacina •David Fernández Duque (Chair) •Damiano Fornasiere •Petia Guintchev •Joost J. Joosten (Chair) •Miguel Martins •Tommaso Moraschini •Sofia Santiago PROGRAM COMMITTEE •Bahareh Afshari •Albert Atserias •Matthias Baaz •Arnold Beckmann •Lev D. Beklemishev •Ilario Bonacina •David Fernández Duque (Chair) •Balthasar Grabmayr •Rosalie Iemhoff •Joost Joosten (Chair) •Antonina Kolokolova •Cosimo Perini Brogi •Norbert Preining •Sofia Santiago •Andreas Weiermann SUMMER SCHOOL The Proof Society Workshop on Proof Theory and its Applications is affiliated with the The Proof Society Summer School which will be held just before the workshop from 10-12 July, 2023 Downtown Barcelona https://www.ub.edu/prooftheory/event/tps2023/ Confirmed tutorial speakers: •Albert Atserias (Technical University of Catalonia) •Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences) •Eduardo Hermo Reyes (Formal Vindications SL) •Elaine Pimentel (University College London) •Sara Uckelman (Durham University) Confirmed invited speakers for the workshop: •Leszek Aleksander Kołodziejczyk (Institute of Mathematics, University of Warsaw) •Maria Lluisa Bonet (Technical University of Catalonia) •Samuel R. Buss (University of California) THE PROOF SOCIETY The event will be organised under the auspicies of The Proof Society whose mission statement is •To support the research on the notion of “proof” in its broadest sense, through a series of suitable activities; •To be therefore inclusive in reaching out to all scientific areas which consider “proof” as an object in their studies; •To enable the community to shape its future by identifying, formulating and communicating its most important goals; •To actively promote “proof” to increase its visibility and representation in the larger scientific community and society. PAST EDITIONS This year will be the lustrum edition and the four previous editions are listed below. https://www.proofsociety.org/past/summer-school-2018/ https://www.proofsociety.org/past/summer-school-2019/ https://kgs.logic.at/madeira2021/ https://uswpt.sites.uu.nl/ CONTACT For inquiries, please write David Fernández-Duque Joost J. Joosten or any other member of the Organising Committee. -- Elaine. --- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ --- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BX02d-rZRre_HcJOwMxyWZgDRJJ4xruTTz%2B-h1Y_HgK3A%40mail.gmail.com.
[Logica-l] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023 [deadline 31 May]
*Autumn school "Proof and Computation"* Herrsching, Germany, from 10th to 16th September 2023 https://www.mathematik.uni-muenchen.de/~schwicht/pc23.php This year's international autumn school "Proof and Computation" will be held from 10th to 16th September 2023 in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy. SCOPE - Predicative Foundations - Constructive Mathematics and Type Theory - Computation in Higher Types - Extraction of Programs from Proofs COURSES - Stefania Centrone: Husserl on the totality of all conceivable arithmetical operations - Yannik Forster: MetaCoq - Hugo Herbelin: The logical structure and computational contents of choice, bar induction and related principles - Matthias Hutzler: Introduction to synthetic algebraic geometry - Georg Moser: Cichon's conjecture on the slow growing hierarchy - Andrea Reichenberger: Philosophy and history of computation: Turing machine - Monika Seisenberger: Extraction of programs from proofs WORKING GROUPS There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs. APPLICATIONS Graduate or PhD students and young postdoctoral researchers are invited to apply. Applications (e.g. a self-introduction including research interests and motivation) should be sent to Chuangjie Xu . Students are required to provide also a letter of recommendation, preferrably from the thesis adviser. Deadline for applications: **31st May 2023**. Applicants will be notified by 28th June 2023. FINANCIAL SUPPORT Successful applicants will be offered **full-board accommodation** for the days of the autumn school. There are NO funds, however, to reimburse travel or further expenses, which successful applicants will have to cover otherwise. The event is supported by the Udo Keller Stiftung (Hamburg), the CID (Computing with Infinite Data) programme of the European Commission and a JSPS core-to-core project. ORGANISING COMMITTEE Klaus Mainzer Peter Schuster Helmut Schwichtenberg -- Elaine. --- Elaine Pimentel Associate Professor in Programming Principles, Logic, and Verification Department of Computer Science University College London https://sites.google.com/site/elainepimentel/ --- -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVNum%2BgkRhJy32r7OD1J3Of0Jg-SWK6pxh7VXGisOTD0g%40mail.gmail.com.
[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe
The next session of the Logic and Religion Webinar (LARAW) will be May 11 at 4pm CET Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an African Perspective Speaker: Aribiah David Attoe (University of Witwatersrand, South Africa) Abstract: In this talk, I will provide a new response to the problem of evil from an African perspective. I will argue that the notion of a God that is conscious and intentional is mistaken. This is because these attributes are not based on any concrete information about the nature of God, and so are simply misattributions. Thus, I will argue for a new notion of God as a material and depersonalised entity, therefore redefining the African limited God view. I will also show that “evil” is merely a category of the mind. Finally, I will show how these ideas make the problem of evil irrelevant. Chair: Francisco de Assis Mariano (University of Missouri-Columbia, USA) Everybody is welcome to attend. Register here: https://www.logicandreligion.com/webinars Aribiah David Attoe is author of the IEP entry African Philosophical Perspectives on the Meaning of Life https://iep.utm.edu/african-meaning-of-life/ Jean-Yves Beziau Vice-President of LARA (Logic And Religion Association), organizer of LARAW and IEP logic area editor https://philpeople.org/profiles/jean-yves-beziau -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDHWb3bH4ybBqe5QNBxbyhUK-L%3DktVJ7_YvA2PeSvJiPg%40mail.gmail.com.
[Logica-l] LARAW May 11 - THE ANATOMY OF GOD AND THE PROBLEM OF EVIL Lessons from an African Perspective - Aribiah Attoe
The next session of the Logic and Religion Webinar (LARAW) will be May 11 at 4pm CET Title: THE ANATOMY OF GOD AND THE PROBLEM OF EVIL - Lessons from an African Perspective Speaker: Aribiah Attoe (University of Witwatersrand, South Africa) Abstract: In this talk, I will provide a new response to the problem of evil from an African perspective. I will argue that the notion of a God that is conscious and intentional is mistaken. This is because these attributes are not based on any concrete information about the nature of God, and so are simply misattributions. Thus, I will argue for a new notion of God as a material and depersonalised entity, therefore redefining the African limited God view. I will also show that “evil” is merely a category of the mind. Finally, I will show how these ideas make the problem of evil irrelevant. Chair: Francisco de Assis Mariano (University of Missouri-Columbia, USA) Everybody is welcome to attend. Register here: https://www.logicandreligion.com/webinars Aribiah Attoe is author of the IEP entry African Philosophical Perspectives on the Meaning of Life https://iep.utm.edu/african-meaning-of-life/ Jean-Yves Beziau Vice-President of LARA (Logic And Religion Association), organizer of LARAW and IEP logic area editor https://philpeople.org/profiles/jean-yves-beziau -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCS1fRks4UVaSQ38JEMOFHY_VJZOcirZ0A3jSFKa%2BmZXA%40mail.gmail.com.