Supergroup BLAST

[Shay Logan]

Dear Cheerful Logicians and Friends of Logic,

Sorry for the late blast this week! I was heavily involved in the ongoing twitter warfare this week, and allowed this to distract me from the One True Cause of logic.

At any rate, a few reminders/useful things to know: 

• The supergroup finally has its own official website. Here's a link.
  

• Universität Regensburg is hosting a virtual workshop on August 27 and 28 that might be of interest to many members. For more information visit this link. 
  

• The Logic Supergroup has a YouTube channel! Recordings of almost all talks are available at https://www.youtube.com/channel/UCqOAS8SHP-5nGjYEE2FE6xw 

• The Buenos Aires Logic Group is hosting a workshop on Substructural Logics and Metainferences this week followed by their ninth annual Workshop on Philosophical Logic on September 3 & 4 September 10 & 11. Check out https://www.ba-logic.com/workshops/ for info on both events.

This week we again have a bounty of talks, beginning with two talks on Tuesday. First up, at 2pm GMT-5, is Rehana Patel speaking on Combining Logic and Probability in the Presence of Symmetry. After that, at 4pm GMT-5, is Charles Leitz on The Euclidean and The Eudoxian in Kant’s Theory of Magnitude. On Thursday, from 7pm GMT-5 until 9:15pm GMT-5 is the Workshop on Substructural Logics and Metainferences featuring talks by Dave Ripley, Bruno Da Ré, Damián Szmuc and Paula Teijeiro. Finally, on Friday at 10am GMT-5 we have Larry Moss talking about natural logic. 

More info, as usual, is below.

Supergroup Talk:

 

Speaker: Larry Moss (Indiana University)

Title: Natural Logic

Time and Date: Friday August 28, 10:00GMT-5

Link:https://ksu.zoom.us/j/92990488001pwd=enFJTCt0ZTR5Z0doQm52Z0U4MHdBQT09

Meeting ID: 929 9048 8001

Passcode: natural

Abstract: Much of modern logic originates in work on the foundations of mathematics. My talk reports on work in logic that has a different goal, the study of inference in language. This study leads to what I will call “natural logic”, the enterprise of studying logical inference in languages that look more like natural language than standard logical systems.  The talk should appeal to several communities:  mathematical logicians interested in completeness and complexity results, including results for logical systems that are not first-order. (The talk also includes the simplest completeness theorem in all of logic.)  It also should interest philosophers of logic curious about syllogistic reasoning and its many modern extensions, and also about taking inference seriously in natural language semantics.  And it has something to say to people in natural language processing, since there are now several working systems based on natural logic which can perform simple inference on text in the wild, and our community is engaged in a dialog with the machine learning NLI community, since machine learners now outperform the logical tradition.

 

Talks by Member Groups:

Lógicos em Quarentena

 

Speaker: Rehana Patel (African Institute for Mathematical Sciences)

Title: Combining Logic and Probability in the Presence of Symmetry

Time and Date: Tuesday, August 25⋅14:00GMT-5

Link: https://meet.google.com/ndj-ryap-dch

Abstract: Among the many approaches to combining logic and probability, an important one has been to assign probabilities to formulas of a classical logic, instantiated from some fixed domain, in a manner that respects logical structure. A natural additional condition is to require that the distribution satisfy the symmetry property known as exchangeability. In this talk I will trace some of the history of this line of investigation, viewing exchangeability from a logical perspective, and report on the current status of a joint program of Ackerman, Freer and myself on countable exchangeable structures.

OCIE (Orange County-Inland Empire)

Speaker: Charles Leitz (UC Irvine)

Title: The Euclidean and The Eudoxian in Kant’s Theory of Magnitude 

Time and Date: Tuesday, August 25⋅16:00 GMT-5

Link: https://uci.zoom.us/j/95859575948

Abstract: Certain aspects of Kant's theory of magnitude, such as his insistence that arithmetical magnitude has no axioms, are puzzling. In this presentation, I examine those puzzles in light of Kant's debt to Euclid, and in particular to the Latin translation tradition of Euclid. I show that key elements of Kant's theory can be explained as resulting from the efforts of Latin translators such as Scheubel and Clavius to harmonize discrepant "Eudoxian" and "Euclidean" approaches to geometry in the Greek Elements. When understood in this way as continuous with his mathematical milieu, the puzzles of Kant's magnitude become (somewhat) less puzzling.

Buenos Aires Logic Group

Workshop on Substructural Logics and Metainferences

19:00-20:00 Dave Ripley: “A toolkit for metainferential logics”

22:15 to 23:15 Bruno Da Ré, Damián Szmuc and Paula Teijeiro: “Derivability and Metainferential Validity”

Abstracts: https://www.ba-logic.com/workshops/workshop-on-metainferences/. 

Link: https://us02web.zoom.us/j/3928115760?pwd=L010aFRldUU3R0hPRVhxY2pDZkVNdz09

 

Other Notes and Announcements:

• To access the supergroup calendar, please follow this link: https://calendar.google.com/calendar?cid=ZGhoanNoanF1bGhmaG9xam5scDJlc2o0bDhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ

• To access the member groups joint calendar, please follow this link: https://calendar.google.com/calendar?cid=aG8wNWljaGxkNXI2N2oyMnZvY3BzdmRoMWNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ

• If you represent a member group and would like your events to appear on the joint calendar, be sure to add them! Contact any of the organizers if you need permission to do so.

 

Yay for logic!