Nordic online logic seminar: Zoom talk by Dag Prawitz on March 22

[Graham Leigh]

We are pleased to announce the launch of the Nordic Online Logic Seminar (NOL Seminar), which will be organised monthly over Zoom, with talks on logic topics of interest for the broader logic community.
 
The tentative time slot is Monday, 16.00-17.30 (UTC+1). See the announcement for the first talk below.
 
The seminar will be open for professional or aspiring logicians and logic aficionados worldwide. If you wish to receive the Zoom ID and password for it, as well as further announcements, please subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic .
 
Val Goranko and Graham Leigh
NOL seminar organisers
 
------------------
Nordic Online Logic Seminar
 
Next talk: Monday, March 22, 16.00-17.30 CET (UTC+1), on Zoom (details will be provided to the subscribers)
 
Title: Validity of inference and argument
 
Speaker: Dag Prawitz, Stockholm University
 
Abstract:
An account of inferences should take into account not only inferences from established premisses but also inferences made under assumptions. This makes it necessary to consider arguments, chains of inferences in which assumptions and variables may become bound. An argument is valid when all its inferences are valid, and it then amounts to a proof in case it has no unbound assumptions or variables. The validity of an inference – not to confuse with the conclusion being a logical consequence of the premisses – seems in turn best explained in terms of proofs. This means that the concepts of valid inference and valid argument depend on each other and cannot be defined independently but have to be described by principles that state how they are related. A number of such principles will be proposed.  It is conjectured that inferences that can be expressed in the language of first order intuitionistic predicate logic and are implied to be valid by these principles are all provable in that logic.