a logician (and not)
Joined January 2014
- Tweets1.2K
- Following416
- Followers519
- Likes3.1K
Pinned Tweet
My SEP entry on "Many-Valued Logic", co-authored with Adam Přenosil and Paul Egré, has been updated:
plato.stanford.edu/entries/l…
My best thanks to the colleagues, some of them from this community, who have helped improving it!
sequiturquodlibet retweeted
VIDEOSERIE: Negation and more 🥸📽️
João Marcos: Negation, opposition and contradiction
📍Link: youtube.com/watch?v=MlyG8HT3…
This video guides us through the relation between negation and contradiction, exploring its significance for logic, reasoning, and the philosophy of logic.
It is always a great experience to contribute to @MxLogica!
This is my take on "Negation, opposition and contradiction":
youtu.be/MlyG8HT3AKg?si=oka_…
I hope some of you find it enjoyable.
Other videos from the series "Negation and more" may be found here:
youtube.com/playlist?list=PL…
sequiturquodlibet retweeted
Jim de Groot, et al.: Intrinsic and relative characterization results for logics wit... arxiv.org/abs/2512.15496 arxiv.org/pdf/2512.15496 arxiv.org/html/2512.15496
Applications (deadline: end of December) of foreign students are welcome ---particularly, those interested in Logic--- to a sandwich doctoral grant (6 to 10 months) in Florianópolis: gov.br/capes/pt-br/centrais-…
Eligible nationalities may be checked here: gov.br/mre/pt-br/assuntos/cu…
sequiturquodlibet retweeted
Seminario de investigadores
[email protected]
Ago 27, 2025 • 12H, Sala Salmerón @UNAM_IIFs
João Marcos
[Universidad Federal de Santa Catarina, Brasil]
"¿Qué diablos es una lógica subestructural?"
Modera: Christian Andrés Romero Rodríguez
sequiturquodlibet retweeted
The desiccated "Theorem, Lemma, Proof, Corollary,..." presentational style is staggeringly counterproductive, if one's objective is actually communicating the underlying mathematical intuitions and thought processes behind a result. In reality, the process is more like... (1/4)
