July 2022 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jul 1 03:24:17 EDT 2022
Ending: Sat Jul 30 23:10:16 EDT 2022
Messages: 63

• Why is "0# exists" independent?   Harvey Friedman
  • Why is "0# exists" independent?   martdowd at aol.com
• POST-DOC POSITION IN LOGIC at LUCI-UNIMI   gprimiero at libero.it
  • CfP BEWARE - Joint BRIO Workshop, ME&E-LP Workshop, AWARE AI Workshop, Co-located with AIxIA 2022   gprimiero at libero.it
• A question concerning E Mingle   Gemma Robles
• Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes   CANTU TESTA Paola
• LUW July 6: Unification in Pretabular Extensions of S4   jean-yves beziau
• [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien   Moshe Y Vardi
• Deadline extension, special issue "Frontiers of connexive logic", Journal: Studia Logica   Hitoshi Omori
• Parables and Brains: The Logic and Religion Webinar, July 7   FRANCISCO MARIANO
• Fwd: Foundations and Foundationalism   dennis.hamilton at acm.org
  • Foundations and Foundationalism   Harvey Friedman
• Shannon's information theory and foundations of mathematics   dennis.hamilton at acm.org
  • Shannon's information theory and foundations of mathematics   José Manuel Rodríguez Caballero
    • Shannon's information theory and foundations of mathematics   dennis.hamilton at acm.org
  • Shannon's information theory and foundations of mathematics   Vaughan Pratt
    • Shannon's information theory and foundations of mathematics   dennis.hamilton at acm.org
    • Shannon's information theory and foundations of mathematics   martdowd at aol.com
  • Shannon's information theory and foundations of mathematics   Vaughan Pratt
  • Shannon's information theory and foundations of mathematics   X.Y. Newberry
  • Shannon's information theory and foundations of mathematics   X.Y. Newberry
  • Shannon's information theory and foundations of mathematics   X.Y. Newberry
• disinformation and proof length   José Manuel Rodríguez Caballero
  • Disinformation and proof length   Vaughan Pratt
• Foundations and Foundationalism   Joseph Vidal-Rosset
  • Foundations and Foundationalism   Timothy Y. Chow
• Open access edition of the logical writings of Karl Popper   Peter Schroeder-Heister
• CFP: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology   Bruno Lopes
• 938: Logic of Real Functions/1   Harvey Friedman
• geometric interpretation of the expansion of an epistemology   José Manuel Rodríguez Caballero
  • geometric interpretation of the expansion of an epistemology   dennis.hamilton at acm.org
  • geometric interpretation of the expansion of an epistemology   José Manuel Rodríguez Caballero
• World Congress on Logic and Religion, Varanasi, India, Deadline July 31st   FRANCISCO MARIANO
• Call for Application: Ph.D. - University of Urbino   Pierluigi Graziani
• PhD Student or Postdoc Position in Alexander von Humboldt Professor group   Andre Platzer
• Axiomatization of Some Basic and Modal Boolean Connexive Logics   jean-yves beziau
  • Axiomatization of Some Basic and Modal Boolean Connexive Logics   jean-yves beziau
• Two PhD positions and one postdoc position in philosophical logic at KU Leuven (Belgium)   Lorenz Demey
• extending probabilistic formal frameworks to propositions more general than just arithmetic   José Manuel Rodríguez Caballero
• CfP special issue on Valerie Plumwood's contributions to logic in AustJL, Extended Deadline: 4 September 2022   Guillermo Badia
• Applied Proof Theory 2022 (APT22) in Pescara, Italy (Aug 29-Sept 2, 2022)   Sam Sanders
• [Vardi-list] How to be an ethical computer scientist   Moshe Y Vardi
• Workshop on Consciousness and the Self - 3rd WoCoLoR   FRANCISCO MARIANO
• Presburger Arithmetic   JOSEPH SHIPMAN
  • Presburger Arithmetic   Erik Winfree
    • Presburger Arithmetic   JOSEPH SHIPMAN
• Special Issue on INDIAN RELIGIONS AND THE CONCEPT OF GOD: 1st Call for Papers   FRANCISCO MARIANO
• CCC2022 -September 19-23, 2022- 2nd call for contributions   Maria Emilia Maietti
• 939: Stable Maximality/1   Harvey Friedman
• 940: Stable Maximality/2   Harvey Friedman
• Very weak metatheories   Pedro Sánchez Terraf
  • Very weak metatheories   David Auerbach
  • Very weak metatheories   Richard Kimberly Heck
  • Very weak metatheories   Timothy Y. Chow
    • Very weak metatheories   Pedro Sánchez Terraf
      • Very weak metatheories   Timothy Y. Chow
      • Very weak metatheories   dennis.hamilton at acm.org
• Logic and Religion, World Congress, Varanasi, Nov 4-8 - Deadline approaching: July 31st   FRANCISCO MARIANO
• Call For Participation | DIAGRAMS 2022   DIAGRAMS CONFERENCE
• 941: New Stable Maximality/1   Harvey Friedman
• 942: New Stable Maximality/2   Harvey Friedman
• FOM Digest, Vol 231, Issue 11   Stephen Wolfram
• Workshop on CONSCIOUSNESS AND THE SELF - Deadline approaching   FRANCISCO MARIANO

Last message date: Sat Jul 30 23:10:16 EDT 2022
Archived on: Sun Jul 31 17:34:36 EDT 2022

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...