#intuitionisticlogic — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #intuitionisticlogic, aggregated by home.social.
-
The deadline for submission of abstracts to #IMLA (Intuitionistic Modal Logic and Applications) has been extended to 30 April. It would be great if I were to see some of you there (at least, at the banquet for that weekend's #FLoC workshops).
"Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction."
**Invited speakers**
- Danel Ahman (University of Tartu, Estonia)
- Brigitte Pientka (McGill University, Montreal, Canada)
- Ranald Clouston (ANU, Canberra, Australia)
- More to be confirmed -
CW: Preprint announcement; CSL reviewers do not read
I am excited to announce a new (submitted preprint) paper, on intuitionistic #modalLogic (s) and their Kripke frames (relational semantics). If interested please do read the paper, which is co-written with Jim de Groot and Ian Shillito, but I'll also write a short thread here about it too... https://arxiv.org/abs/2408.00262 #logic #intuitionisticLogic
-
CW: Gender and logic nerd stuff (1/2)
We intuitionistic logicians are agnostic about the truth of the statement "for all Propositions P, either P or (not P)". From this, it shouldn't be hard to accept the negation of "gender_binary := for all Persons p, male(p) or female(p)", and since the number of people on this planet is finite, and since you can ask each of them (in finite time) whether there have a binary gender, it should just follow (constructively!) that there are non-binary people. Alternatively, I could just show them a non-binary college (e.g. me?); I suppose there are even many non-binary logicians.
#logic #NonBinary #IntuitionisticLogic #ExcludedMiddle #gender
-
CW: Gender and logic nerd stuff (1/2)
We intuitionistic logicians are agnostic about the truth of the statement "for all Propositions P, either P or (not P)". From this, it shouldn't be hard to accept the negation of "gender_binary := for all Persons p, male(p) or female(p)", and since the number of people on this planet is finite, and since you can ask each of them (in finite time) whether there have a binary gender, it should just follow (constructively!) that there are non-binary people. Alternatively, I could just show them a non-binary college (e.g. me?); I suppose there are even many non-binary logicians.
#logic #NonBinary #IntuitionisticLogic #ExcludedMiddle #gender
-
Yesterday, I did a presentation on fixed-points in IS5, an intuitionistic variation of the modal logic S5.
Slides available here: https://leonardopacheco.xyz/slides/akiu-2022.pdf