Calendar

Apr
4
Tue
Colloquium – Daniel Erman (Wisconsin-Madison) @ Keller 303
Apr 4 @ 3:30 pm – 4:30 pm
Apr
6
Thu
Prateek Kunwar PhD defense
Apr 6 @ 2:30 pm – 4:30 pm
Apr
14
Fri
Colloquium – Igor Pak (UCLA) @ Keller 302
Apr 14 @ 3:30 pm – 4:30 pm
Apr
17
Mon
Logic Seminar: Marija B. Boričić Joksimović
Apr 17 @ 2:30 pm – 3:30 pm

Date: Monday, April 17
Time: 2:30 – 3:20
Room: Keller 313

Title: Suppes–style natural deduction system for probability logic

Abstract:
An elegant way to work with probabilized sentences was proposed by P. Suppes. According to his approach we develop a natural deduction system $\mathbf{NKprob}(\varepsilon)$ for probability logic, inspired by Gentzen’s natural deduction system $\mathbf{NK}$ for classical propositional logic. We use a similar approach as in defining general probability natural deduction system $\mathbf{NKprob}$ (see M. Bori\v ci\’c, Publications de l’Institut Mathematique, Vol. 100(114) (2016), pp. 77–86). Our system will be suitable for manipulating sentences of the form $A^n$, where $A$ is any propositional formula and $n$ a natural number, with the intended meaning ‘the probability of truthfulness of $A$ is greater than or equal to $1-n\varepsilon$’, for some small $\varepsilon >0$.

For instance, the rules dealing with conjunction looks as follows:
$$\frac{A^m\quad B^n}{(A\wedge B)^{m+n}}(I\wedge)\qquad\frac{A^m\quad (A\wedge B)^n}{B^n}(E\wedge)$$
and with implication:
$$\frac{(\neg A)^m\quad B^n}{(A\to B)^{\min\{m,n\}}}(I\to)\qquad\frac{A^m\quad (A\to B)^n}{B^{m+n}}(E\to)$$
The system $\mathbf{NKprob}(\varepsilon)$ will be a natural counterpart of our sequent calculus $\mathbf{LKprob}(\varepsilon)$ (see M. Bori\v ci\’c, Journal of Logic and Computation 27 (4), 2017, pp. 1157–1168).

We prove that our system is sound and complete with respect to the traditional Carnap–Popper type probability semantics.

Apr
21
Fri
Colloquium – Lvzhou Chen (Purdue) @ Keller 302
Apr 21 @ 3:30 pm – 4:30 pm
Apr
24
Mon
Minh Nguyen MA defense
Apr 24 @ 11:30 am – 12:30 pm
Ethan Lamb MA defense
Apr 24 @ 2:30 pm – 3:30 pm
Apr
25
Tue
Differential Geometry Seminar: Sébastian Bertrand @ Keller 313
Apr 25 @ 4:00 pm – 5:00 pm
Title: On the geometric aspects behind classical mechanics.Abstract: In this talk about physics, we will not talk about physics, but the applications of mathematical tools used in that field. From a functional to symplectic geometry, passing by abstract algebra and using differential forms, we will explore some of the foundations of classical mechanics and apply them to the famous example of the2D harmonic oscillator. No knowledge of any physics is required.