Proof Society Seminar: Juliette Kennedy, 17 November 2025
Anupam das <[email protected]> Wed, 5 Nov 2025 09:21:38 +0000
| Newsgroups | gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <LO4P265MB65408EFC4DD33E23DA8FD9C2D9C5A@LO4P265MB6540.GBRP265.PROD.OUTLOOK.COM> |
--===============0211601218025794049==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--===============0211601218025794049==
Content-Language: en-GB
Content-Type: multipart/alternative;
boundary="_000_LO4P265MB65408EFC4DD33E23DA8FD9C2D9C5ALO4P265MB6540GBRP_"
--_000_LO4P265MB65408EFC4DD33E23DA8FD9C2D9C5ALO4P265MB6540GBRP_
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
Dear all,
The next Proof Society Seminar will take place on Monday 17 November 2025 a=
t 14:00 CET. Our speaker will be Juliette Kennedy<https://urldefense.com/v3=
/__https://www.mv.helsinki.fi/home/jkennedy/__;!!IBzWLUs!SayVtV3brBLgqWkmgH=
aDynS1GMgWMTFqowXMRwfqcdWqOwrOX2NNEuEhODGoLhOREQmZwBABKWwU1mc-S6jkcKaNQCf8b=
CA$ >, from the University of Helsinki. Details can be found below.
The Proof Society Seminar<https://urldefense.com/v3/__https://www.proofsoci=
ety.org/proof-society-seminar/__;!!IBzWLUs!SayVtV3brBLgqWkmgHaDynS1GMgWMTFq=
owXMRwfqcdWqOwrOX2NNEuEhODGoLhOREQmZwBABKWwU1mc-S6jkcKaN1HmoJQo$ > is the o=
fficial seminar of the Proof Society<https://urldefense.com/v3/__https://ww=
w.proofsociety.org/__;!!IBzWLUs!SayVtV3brBLgqWkmgHaDynS1GMgWMTFqowXMRwfqcdW=
qOwrOX2NNEuEhODGoLhOREQmZwBABKWwU1mc-S6jkcKaNtbyTFns$ >, and it presents ta=
lks by leading researchers from all areas of proof theory. Everyone who is =
interested in the subject is warmly invited to attend! The talks take place=
online via Zoom, usually on Mondays, approximately once per month. They st=
art at 13:00 UTC and may last up to 75 minutes plus questions.
Kind regards,
Lev Beklemishev
Anupam Das
Marianna Girlando
---- Proof Society Seminar, Monday 17.11.2025, 14:00 CET ---
How first order is first order logic?
Juliette Kennedy, University of Helsinki
Fundamental to the practice of logic is the dogma regarding the first order=
/second order logic distinction, namely that it is ironclad. Was it always =
so? The emergence of the set theoretic paradigm is an interesting test case=
. Early workers in foundations generally used higher order systems in the f=
orm of type theory; but then higher order systems were gradually abandoned =
in favour of first order set theory=97a transition that was completed, more=
or less, by the 1930s.
In this talk I will look at first order logic from various points of view, =
arguing that the distinction between first order and higher order logics, s=
uch as second order logic, is somewhat context dependent. From the philosop=
hical or foundational point of view this complicates the picture of first o=
rder logic as a canonical logic.
The seminar takes place via Zoom:
https://bham-ac-uk.zoom.us/j/84261727269=20
Meeting ID: 842 6172 7269
--_000_LO4P265MB65408EFC4DD33E23DA8FD9C2D9C5ALO4P265MB6540GBRP_
Content-Type: text/html; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1=
252">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Dear all,</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
The next Proof Society Seminar will take place on Monday 17 November 2025 a=
t 14:00 CET. Our speaker will be
<a class=3D"OWAAutoLink" id=3D"OWA8dcbfa3c-2350-963e-4499-e2c1254a0163" hre=
f=3D"https://urldefense.com/v3/__https://www.mv.helsinki.fi/home/jkennedy/_=
_;!!IBzWLUs!SayVtV3brBLgqWkmgHaDynS1GMgWMTFqowXMRwfqcdWqOwrOX2NNEuEhODGoLhO=
REQmZwBABKWwU1mc-S6jkcKaNQCf8bCA$">
Juliette Kennedy</a>, from the University of Helsinki. Details can be found=
below.</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
The <a class=3D"OWAAutoLink" id=3D"OWA7d5cb86d-2bf3-5966-9f1d-b60e4d2efdbd"=
href=3D"https://urldefense.com/v3/__https://www.proofsociety.org/proof-soc=
iety-seminar/__;!!IBzWLUs!SayVtV3brBLgqWkmgHaDynS1GMgWMTFqowXMRwfqcdWqOwrOX=
2NNEuEhODGoLhOREQmZwBABKWwU1mc-S6jkcKaN1HmoJQo$">
Proof Society Seminar</a> is the official seminar of the <a class=3D"O=
WAAutoLink" id=3D"OWAf6dc7948-a01b-6daf-d34e-1991e4ab8d4b" href=3D"https://=
urldefense.com/v3/__https://www.proofsociety.org/__;!!IBzWLUs!SayVtV3brBLgq=
WkmgHaDynS1GMgWMTFqowXMRwfqcdWqOwrOX2NNEuEhODGoLhOREQmZwBABKWwU1mc-S6jkcKaN=
tbyTFns$">
Proof Society</a>, and it presents talks by leading researchers from all ar=
eas of proof theory. Everyone who is interested in the subject is warm=
ly invited to attend! The talks take place online via Zoom, usually on Mond=
ays, approximately once per month. They
start at 13:00 UTC and may last up to 75 minutes plus questions.</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Kind regards,</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Lev Beklemishev</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Anupam Das</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Marianna Girlando</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
---- Proof Society Seminar, Monday 17.11.2025, 14:00 CET ---</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
How first order is first order logic?</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Juliette Kennedy, University of Helsinki</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Fundamental to the practice of logic is the dogma regarding the first order=
/second order logic distinction, namely that it is ironclad. Was it always =
so? The emergence of the set theoretic paradigm is an interesting test case=
. Early workers in foundations generally
used higher order systems in the form of type theory; but then higher orde=
r systems were gradually abandoned in favour of first order set theory=97a =
transition that was completed, more or less, by the 1930s.</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
In this talk I will look at first order logic from various points of view, =
arguing that the distinction between first order and higher order logics, s=
uch as second order logic, is somewhat context dependent. From the philosop=
hical or foundational point of view
this complicates the picture of first order logic as a canonical logic.</d=
iv>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<br>
</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
The seminar takes place via Zoom:</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
<a href=3D"https://bham-ac-uk.zoom.us/j/84261727269">https://bham-ac-uk.zoo=
m.us/j/84261727269</a></div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" clas=
s=3D"elementToProof">
Meeting ID: 842 6172 7269</div>
</body>
</html>
--_000_LO4P265MB65408EFC4DD33E23DA8FD9C2D9C5ALO4P265MB6540GBRP_--
--===============0211601218025794049==--