This Semester
- 2/18UConn AWM Presents
Screening Of "Julia Robinson And Hilbert's Tenth Problem"UConn AWM Presents
Screening Of "Julia Robinson And Hilbert's Tenth Problem"
Thursday, February 18th, 20215:00 PM - 6:30 PMStorrs CampusZoom
A special screening of George Csicsery's film "Julia Robinson and Hilbert's Tenth Problem", part one of a two-day event celebrating the life and mathematical legacy of Julia Robinson.
Presented by the UConn Chapter of the Association for Women in Mathematics. Supported by UConn Library.
More info, and to register: https://awm.math.uconn.edu/julia-robinson-film-screening/ - 2/19Logic Colloquium
Contextual Analysis, Epistemic Probabilities, And Paradoxes
Ehtibar Dzhafarov (Purdue)Logic Colloquium
Contextual Analysis, Epistemic Probabilities, And Paradoxes
Ehtibar Dzhafarov (Purdue)
Friday, February 19th, 202110:00 AM - 11:30 AMStorrs CampusZoom
Contextual analysis deals with systems of random variables. Each random variable within a system is labeled in two ways: by its content (that which the variable measures or responds to) and by its context (conditions under which it is recorded). Dependence of random variables on contexts is classified into (1) direct (causal) cross-influences and (2) purely contextual (non-causal) influences. The two can be conceptually separated from each other and measured in a principled way. The theory has numerous applications in quantum mechanics, and also in such areas as decision making and computer databases. A system of deterministic variables (as a special case of random variables) is always void of purely contextual influences. There are, however, situations when we know that a system is one of a set of deterministic systems, but we cannot know which one. In such situations we can assign epistemic (Bayesian) probabilities to possible deterministic systems, create thereby a system of epistemic random variables, and subject it to contextual analysis. In this way one can treat, in particular, such logical antinomies as the Liar paradox. The simplest systems of epistemic random variables describing the latter have no direct cross-influences and the maximal possible degree of purely contextual influences. - 2/19UConn AWM Presents
Public Lecture
Carol Wood (Wesleyan)UConn AWM Presents
Public Lecture
Carol Wood (Wesleyan)
Friday, February 19th, 20213:00 PM - 4:00 PMStorrs CampusZoom (registration required)
Please join us for a university public lecture by Carol Wood, Edward Burr Van Vleck Professor of Mathematics, Emerita, at Wesleyan University, part two of a two-day event celebrating the life and mathematical legacy of Julia Robinson.
Presented by the UConn Chapter of the Association for Women in Mathematics. Supported by UConn Library.
More info, and to register: https://awm.math.uconn.edu/julia-robinson-film-screening/ - 2/26Logic Colloquium
On Abstraction Principles
Paolo Mancosu (Berkeley)Logic Colloquium
On Abstraction Principles
Paolo Mancosu (Berkeley)
Friday, February 26th, 20214:00 PM - 5:30 PMStorrs CampusZoom
Join us for a talk by Paolo Mancosu (UC Berkeley):
"The company you keep: Some recent results on neo-logicism and abstraction principles"
In this talk I will provide an overview of my recent investigations, some published some unpublished, on neologicism and in particular on the topics related to the good company and the bad company objections.
Please contact us for log-in information. - 3/12Logic Colloquium
Social Spheres
Gillian Russell (ACU Melbourne)Logic Colloquium
Social Spheres
Gillian Russell (ACU Melbourne)
Friday, March 12th, 202110:00 AM - 11:30 AMStorrs CampusZoom
Abstract: This paper adapts Lewis’ “Ptolemaic Astronomy” from Counterfactuals for use in thinking about social hierarchy and subordination. - 3/19Logic Colloquium
A More Unified Approach to Free Logics
Edi Pavlović (Helsinki)Logic Colloquium
A More Unified Approach to Free Logics
Edi Pavlović (Helsinki)
Friday, March 19th, 202111:00 AM - 12:30 PMStorrs CampusZoom
Edi Pavlović (Helsinki)
A More Unified Approach to Free Logics
(joint work with Norbert Gratzl. MCMP, Munich)
Free logics is a family of first-order logics which came about as a result of examining the existence assumptions of classical logic. What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential import. Free logics usually reject the claim that names need to denote in (ii), and of the systems considered in this paper, the positive free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, while negative free logic rejects even the latter claim.
These logics have complex and varied axiomatizations and semantics, and the goal of the present work is to offer an orderly examination of the various systems and their mutual relations. This is done by first offering a formalization, using sequent calculi which possess all the desired structural properties of a good proof system, including admissibility of contraction and cut, while streamlining free logics in a way no other approach has. We then present a simple and unified system of generalized semantics, which allows for a straightforward demonstration of the meta-theoretical properties, while also offering insights into the relationship between different logics (free and classical). Finally, we extend the system with modalities by using a labeled sequent calculus, and here we are again able to map out the different approaches and their mutual relations using the same framework.
Zoom - 3/19Meaning Group: del Prete and Zucchi 2020
- 4/2Logic Colloquium
Logic Done as if Inference in Language Mattered
Larry Moss (Indiana University)Logic Colloquium
Logic Done as if Inference in Language Mattered
Larry Moss (Indiana University)
Friday, April 2nd, 20212:00 PM - 3:30 PMStorrs CampusZoom
Our topic is logical inference in natural language, as it is done by people and computers.
The first main topic will be monotonicity inference, arguably the best of the simple ideas
in the area. Monotonicity can be incorporated in running systems whereby one can take
parsed real-life sentences and see simple inferences in action. I will present some of the
theory, related to higher-order monotonicity and the syntax-semantics interface offered by
categorial grammar.
In a different direction, these days monotonicity inference can be done by machines as well
as humans. The talk also discusses this development along with some ongoing work on the
borderline of natural logic and machine learning.
The second direction in the talk will be an overview of the large number of logical systems for
various linguistic phenomena. This work begins as an updating of traditional syllogistic logic,
but with much greater expressive power.
Overall, the goal of the talk is to persuade you that the research program of "natural logic"
leads to a lively research area with connections to many areas both inside and outside of more
mainstream areas of logic. - 4/9Logic Colloquium
Interacting Alternatives: Referential Indeterminacy And Questions
Floris Roelofsen (ILLC Amsterdam)Logic Colloquium
Interacting Alternatives: Referential Indeterminacy And Questions
Floris Roelofsen (ILLC Amsterdam)
Friday, April 9th, 202110:00 AM - 11:30 AMStorrs CampusZoom
One of the major challenges involved in developing semantic theories is that many constructions in natural language given rise to alternatives. Different sources of alternatives have been identified---e.g., questions, indeterminacy, focus, scalarity---and have been investigated in quite some depth. Less attention, however, has been given so far to the question how these different kinds of alternatives interact. I will focus in this talk one one such interaction, namely between referential indeterminacy and questions. Several formal semantic frameworks have been developed to capture referential indeterminacy (dynamic semantics, alternative semantics) and the content of questions (e.g., alternative semantics, structured meanings, partition semantics, inquisitive semantics). I will report on ongoing work with Jakub Dotlacil, which aims to merge dynamic and inquisitive semantics in a principled way. I will present a basic system and suggest some potential applications and extensions. - 4/16Annual Logic Lecture
Algebraic Constructions In Models Of Peano Arithmetic And Its Weak Fragments
Paola D’Aquino (Università della Campania)Annual Logic Lecture
Algebraic Constructions In Models Of Peano Arithmetic And Its Weak Fragments
Paola D’Aquino (Università della Campania)
Friday, April 16th, 202110:00 AM - 11:30 AMStorrs CampusZoom
Professor D’Aquino is the UConn Logic Groups 2020/2021 Scholar of Consequence, and will deliver the Annual Logic Lecture.
Abstract: I will concentrate on the ideal theory of models of Peano Arithmetic and some of its weak fragments. I will present a model theoretic analysis of the residue rings of these structures. - 4/23Logic Colloquium
Bilateralist Truth-Maker Semantics for ST, TS, LP, K3, ...
Ulf Hlobil (Concordia University)Logic Colloquium
Bilateralist Truth-Maker Semantics for ST, TS, LP, K3, ...
Ulf Hlobil (Concordia University)
Friday, April 23rd, 202110:00 AM - 11:30 AMStorrs CampusZoom
Bilateralist Truth-Maker Semantics for ST, TS, LP, K3, ...
Ulf Hlobil, Concordia University, Montreal, Canada
Abstract:
The talk advocates a marriage of inferentialist bilateralism and truth-maker bilateralism. Inferentialist bilateralists like Restall and Ripley say that a collection of sentences, Y, follows from a collection of sentences, X, iff it is incoherent (or out-of-bounds) to assert all the sentences in X and, at the same time, deny all the sentences in Y. In Fine’s truth-maker theory, we have a partially ordered set of states that exactly verify and falsify sentences, and some of these states are impossible. We can think of making-true as the worldly analogue of asserting, of making-false as the worldly analogue of denying, and of impossibility as the worldly analogue of incoherence. This suggests that we may say that, in truth-maker theory, a collection of sentences, Y, follows (logically) from a collection of sentences, X, iff (in all models) any fusion of exact verifiers of the members of X and exact falsifiers of the member of Y is impossible. Under routine assumptions about truth-making, this yields classical logic. Relaxing one such assumption yields the non-transitive logic ST. Relaxing another assumption yields the non-reflexive logic TS. We can use known facts about the relation between ST, LP, and K3, to provide an interpretation of LP as the logic of falsifiers and K3 as the logic of verifiers. The resulting semantics for ST is more flexible than its usual three-valued semantics because it allows us, e.g., to reject monotonicity. We can also recover fine-grained logics, like Correia’s logic of factual equivalence.
All welcome!
Please contact us for the Zoom log-in information. - 4/30Logic Colloquium
TBABjørn Jespersen (Utrecht)Logic Colloquium
TBABjørn Jespersen (Utrecht)
Friday, April 30th, 202110:00 AM - 11:30 AMStorrs CampusZoom
TBA
Zoom - 5/7Logic Colloquium
TBA
Alessandro Zucchi (University Of Milan)Logic Colloquium
TBA
Alessandro Zucchi (University Of Milan)
Friday, May 7th, 202110:00 AM - 11:30 AMStorrs CampusZoom
TBA
Zoom
