sequiturquodlibet @antitheorem
a logician (and not) sequiturquodlibet.googlepages.com Joined January 2014-
Tweets1K
-
Followers521
-
Following421
-
Likes3K
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
1
3
6
313
1
Download Image
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)
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)
sequiturquodlibet retweeted
A guide to academic denominations
sequiturquodlibet retweeted
🗓️ Splendid news, folks! The @UNAM_IIFs and ourselves will be co-hosting the III Workshop UNAM - Ba-Logic on Philosophical Logic and would like to invite everyone interested in logic to join us on March 6th (Thursday). 🔗 bit.ly/4bcyFUo
sequiturquodlibet retweeted
👩🎓 Mesa redonda: Plano de carreira Na maioria das vezes, parece que se tornar professor universitário é o único plano de carreira que existe, mas não é bem assim!
sequiturquodlibet retweeted
Cuadro comparativo de distintos tipos de notación en lógica simbólica: En algunos textos clásicos se conserva intacta la notación de Whitehead y Russell, aunque actualmente prepondera un híbrido entre la notación de Bourbaki, y la de Hilbert y Ackermann de 1959.
sequiturquodlibet retweeted
🙋🏻♀️ Today,, in our Reading Group, Martina Zirattu presented “An Inferentially Many-Valued Two-Dimentional Notion of Entailment ”. 🙋♀️ Later, in our Work in Progress Group, Eliana Franceschini introduced her work “ST’s Meta-Paracompleteness”.
sequiturquodlibet retweeted
25. Brazil's northernmost point is closer to every country in the Americas than to Brazil's southernmost point
sequiturquodlibet retweeted
We are deeply saddened by the death of Aldo Figallo Orellano. Aldo studied and worked in UNS (Bahia Blanca, Argentina) and recently held positions in UNICAMP, UFRN, and USP (Brazil). As colleagues who knew him, we send our condolences to his family and loved ones.
sequiturquodlibet retweeted
Turning my mind to the next iteration of the much-downloaded *Beginning Mathematical Logic Study Guide*. What more or less recent books not mentioned in the last edition would you recommend? Particularly on core FOL? logicmatters.net/2024/06/16/bac…
sequiturquodlibet retweeted
Cuidemos lo que funciona, cuidemos lo que nos une. Marchamos en defensa de la educación pública. #YoVoy
sequiturquodlibet retweeted
Philosopher Daniel Dennett has died. dailynous.com/2024/04/19/dan…
Twenty years ago, in Lisbon, I had the experience of watching Daniel Dennett deliver his Petrus Hispanus Lecture, and then took him out for lunch. We talked about what goes on in a bat's mind, and more. I wish I had had more opportunities to access Dennett's extraordinary mind.
sequiturquodlibet retweeted
Very pleased to announce this workshop! mathematics.uni-bonn.de/him/programs/s…
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Doctor Logic @SaraLUckelman
5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.
Prof. Catarina Dutilh... @cdutilhnovaes
7K Followers 652 Following Philosopher at @VuAmsterdam | PI of @ERC_Research project 'Social Epistemology of Argumentation' @erc_sea | Member of @_knaw (she/her) 🇧🇷🇳🇱
Lógica MX @MxLogica
1K Followers 83 Following Promoviendo la difusión de la lógica, su filosofía y sus aplicaciones/ Promoting the dissemination of logic, its philosophy, and its applications. 🇲🇽
Buenos Aires Logic Gr... @BALogicGroup
1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Samuel Gomes da Silva @SamucaMat
367 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
722 Followers 572 Following Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Logical Analysis @LogicalAnalysis
12K Followers 9K Following Abstracta Enjoyer |Mainly: B. Russell's Phil Sci, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Logic |Philosophy PhD Candidate |
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Page about Timothy Wi... @TWilliamson55
6K Followers 2K Following NON PHILOSOPHER ADMIN RUN. Facts ABOUT T. Williamson, work,biography,schedule,books, articles. He’s too busy to use social media.Opinions here if any, by admin.
julia🦄 @KamerynJW
6K Followers 474 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Perfil de lazer do Re... @mezabarbarm
602 Followers 438 Following I live in Brazil. Email me if you need to talk (check the link below)
Elaine Pimentel @Elaine_Pim
303 Followers 320 Following Live long and prosper (Mr S'chn T'gai Spock)
logicasbrasileiras @logicasbrasile1
550 Followers 228 Following Divulgamos projetos de pesquisa e ensino, história e memória de, com, para e relacionados a mulheres brasileiras que fazem ou fizeram lógica.
Adolfo Neto @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
john marvin @jmarvin__
102 Followers 680 Following ╭╼|══════════|╾╮ no posts phd @ uchicago (phil. of math & relig.) jazz pianist ssbm | qb ╰╼|══════════|╾╯
Alexander Castillo Ro... @AlexMrgndrffr
21 Followers 375 Following Amante de la música, un poco taciturno, con pelazo.
Alexander Berenbeim @berenbeim
568 Followers 357 Following Applies the tools of formal logic to state and solve problems; neurosymbolic AI/ML researcher; aspiring filmmaker once upon a time
jhemann @jhemann
597 Followers 4K Following Professor of Computer Science @SetonHall. My other car is a cdr. | @jhemann.bsky.social | https://t.co/b7y1CxQEZE
W Alexander C Steinme... @_alex_steinmetz
37 Followers 146 Following Professor da Universidade Federal de Minas Gerais. Pesquisa Matemática Aplicada, Filosofia da Matemática e Ciência Cognitiva da Matemática.
naveen ark @nvnark
220 Followers 5K Following
schch @meehaaaaaa
6 Followers 381 Following
Pablo Rolim @antissimetrico
48 Followers 317 Following ∆ Phd. Student in Philosophy/Mathematical logic at Centre for Logic, Epistemology, and the History of Science (CLE/Brazil) ∆ Liberty is my guiding star EN/PT
Carderoz (στοιχ�... @Gustavo12975477
8 Followers 214 Following
Léon Probst @Probst_lp
28 Followers 71 Following PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math
p @p357346
77 Followers 447 Following
Vishnu Prasad @prasadv3191
18 Followers 414 Following
BTS Clearing & Forwar... @Btscfltd
315 Followers 2K Following
J. Alejandro Fdez. Cu... @jalejandrofdezc
565 Followers 243 Following Predoctoral Santander-UCM Research Assistant.// Philosophy of (Quantum) Logics ∧ Ontology.// Mathesis Group.// {https://t.co/qbyG9fzVAe}
future makete @FutureMake30444
3 Followers 51 Following
Lic. Salve veritate @aylicastro
180 Followers 205 Following El opuesto de una frase correcta es una frase errónea. Pero el opuesto de una verdad profunda puede muy bien ser otra verdad profunda.
monster model @coherentNerve
1 Followers 59 Following
X @cogiccigoc
1 Followers 61 Following
Beatriz Cardoso @beacardoso2222
188 Followers 3K Following
k @keniehues
43 Followers 392 Following
sonfack serge @sonfackserge
581 Followers 3K Following Knowledge representation and reasoning, Collaborative intelligence, Uncertainty management
Everardo Bárcenas @ebarcenasp
36 Followers 227 Following Assistant Professor at the Computing Engineering Department @FIUNAM_MX of @UNAM_MX
Frank O'Connor @franktatus
15 Followers 163 Following Researcher and developer living in Cambridge, UK.
Fernando Tadeu Moraes @FTFMoraes
621 Followers 1K Following Jornalista, mas estudei matemática e filosofia. Leio e escrevo.
Gottlob @MystikerXD
27 Followers 1K Following
yorg, conqueror of al... @kringleshrine
0 Followers 769 Following
𝔰 @sarahgspanhoIi
279 Followers 992 Following
Ricardo @ricardoolivei20
307 Followers 399 Following Escrevo sobre cinema na Revista Exceção: https://t.co/AwAZVNMM2e
Erin Carmody @uncountableart
644 Followers 416 Following Logic, set theory, art https://t.co/zxvWZRW25Y
lla @backtovotarrrr
120 Followers 3K Following
Aditi Vatsa @VatsaAditi
975 Followers 2K Following
eldal @eldal157109
0 Followers 99 Following
Muriel B Liz @murielliz
284 Followers 5K Following Experience is not what happens to a man; it is what a man does with what happens to him. (Huxley)
Espedito @espeditojunior
17 Followers 221 Following
Ateniense 🦉 @20century_los4
267 Followers 3K Following
Edilson Montrose @EdilsonMontrose
372 Followers 4K Following Brazilian, Trade Unionist, Political Scientist, and Flamengo Fan. #Processtracing
Breno 🔸️ @brenohgcosta
433 Followers 1K Following Católico, médico, estudante de filosofia e progressista.🗽
Ex - N. Godinho💚�... @NicolasOfJesus2
18 Followers 2K Following removendo todos os seguidores para desativar o perfil
Dr Valeria dePaiva @valeriadepaiva
3K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Joel David Hamkins @JDHamkins
26K Followers 281 Following Mathematics and philosophy of the infinite. Professor of Logic @NotreDame @UniofOxford #ProofandtheArt #PhilMaths #InfinitelyMore #BookOfInfinity
Doctor Logic @SaraLUckelman
5K Followers 2K Following #Logician, #Onomast, #Medievalist, #AcademicMama, #Author, #Immigrant, founder of https://t.co/BFZX9c9uUK and @EllipsisImprint. Own views. Robot.
Prof. Catarina Dutilh... @cdutilhnovaes
7K Followers 652 Following Philosopher at @VuAmsterdam | PI of @ERC_Research project 'Social Epistemology of Argumentation' @erc_sea | Member of @_knaw (she/her) 🇧🇷🇳🇱
Lógica MX @MxLogica
1K Followers 83 Following Promoviendo la difusión de la lógica, su filosofía y sus aplicaciones/ Promoting the dissemination of logic, its philosophy, and its applications. 🇲🇽
Liam Bright @lastpositivist
62K Followers 4K Following Aspiring philosopher; tolerable human; "amusing combination of sardonic detachment & literally all the feelings felt entirely unironically all at once" [he/his]
Buenos Aires Logic Gr... @BALogicGroup
1K Followers 126 Following Researchers from the UBA and CONICET, Argentina 🇦🇷, specialized in Logic and Philosophical Logic. They/them.
Evan Washington @evanewashington
8K Followers 3K Following phd student in philosophy @ucberkeley丨RVA丨logic, category theory, epistemology, and philosophy of (mathematics, language, science)丨he/him
Samuel Gomes da Silva @SamucaMat
367 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
722 Followers 572 Following Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Logical Analysis @LogicalAnalysis
12K Followers 9K Following Abstracta Enjoyer |Mainly: B. Russell's Phil Sci, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Logic |Philosophy PhD Candidate |
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Dr Eugenia Cheng --no... @DrEugeniaCheng
26K Followers 0 Following Pure Mathematician+pianist. Grieving involuntary childlessness. Author: Unequal: The mathematics of when things do and don't add up, out 2025
Page about Timothy Wi... @TWilliamson55
6K Followers 2K Following NON PHILOSOPHER ADMIN RUN. Facts ABOUT T. Williamson, work,biography,schedule,books, articles. He’s too busy to use social media.Opinions here if any, by admin.
Australasian J Logic @ajlonline
364 Followers 27 Following Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic.
julia🦄 @KamerynJW
6K Followers 474 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
WomenInLogic @WomenInLogic1
1K Followers 180 Following Women in Logic: dismantling inequality tweet by tweet
Mirna Džamonja @MirnaDzamonja
3K Followers 344 Following Logicienne engagée. Chercheuse, qualifiée professeure des universités et mathématicienne indépendante. Non plus associée : UEA, IHPST, IRIF, NYUParis. ANUBiH.
Alexander Berenbeim @berenbeim
568 Followers 357 Following Applies the tools of formal logic to state and solve problems; neurosymbolic AI/ML researcher; aspiring filmmaker once upon a time
W Alexander C Steinme... @_alex_steinmetz
37 Followers 146 Following Professor da Universidade Federal de Minas Gerais. Pesquisa Matemática Aplicada, Filosofia da Matemática e Ciência Cognitiva da Matemática.
Grupo de investigaci�... @LHFC_UNED
5K Followers 785 Following Grupo de investigación en filosofía analítica. Departamento de Lógica, Historia y Filosofía de la Ciencia (UNED, Madrid). Tweets by: @ignasigilgg @raciondeser
Pablo Rolim @antissimetrico
48 Followers 317 Following ∆ Phd. Student in Philosophy/Mathematical logic at Centre for Logic, Epistemology, and the History of Science (CLE/Brazil) ∆ Liberty is my guiding star EN/PT
Facultad de Ciencias ... @fciencias
130K Followers 684 Following Cuenta oficial de la Facultad de Ciencias de la @unam_mx #SomosCiencias #VidaEnCiencias
Daniel Litt @littmath
50K Followers 880 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.
Léon Probst @Probst_lp
28 Followers 71 Following PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math
Asoc. Latinoamericana... @ALFAn_Oficial
210 Followers 171 Following Cuenta oficial de la Asociación Latinoamericana de Filosofía Analítica (ALFAn)
Grant Sanderson @3blue1brown
414K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
Dyz̶er Nihil ψ @Dyzer_Nihil
1K Followers 379 Following Neuropsychology, Statistics, Philosophy & Mathematical Logic.
J. Alejandro Fdez. Cu... @jalejandrofdezc
565 Followers 243 Following Predoctoral Santander-UCM Research Assistant.// Philosophy of (Quantum) Logics ∧ Ontology.// Mathesis Group.// {https://t.co/qbyG9fzVAe}
Gro-Tsen @gro_tsen
7K Followers 92 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
Lic. Salve veritate @aylicastro
180 Followers 205 Following El opuesto de una frase correcta es una frase errónea. Pero el opuesto de una verdad profunda puede muy bien ser otra verdad profunda.
Daniel Cara - Educaç... @DanielCara
60K Followers 2K Following Professor e pesquisador na Faculdade de Educação da Universidade de São Paulo (USP). Corinthiano.
Everardo Bárcenas @ebarcenasp
36 Followers 227 Following Assistant Professor at the Computing Engineering Department @FIUNAM_MX of @UNAM_MX
Jules @analytichegel
2K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
Sabine Hossenfelder @skdh
197K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Reinaldo F Cristo @rcristo
1K Followers 6K Following Profissional em Ti - {RFCIA – Matemática, Ciência, Tecnologia, Inteligência Artificial} https://t.co/aLlvoBksZQ S = k * ln Ω. c(∅) ≈ μ(∅) ≈ S ≈ ELandauer.
Alex Bellos @alexbellos
26K Followers 542 Following Maths, computer science, puzzles, football, Brazil. New book THINK TWICE, out September 2024
PhD_Genie @PhD_Genie
76K Followers 823 Following The PhD_Genie is here to support academics - from early career researchers to well established scholars. Operated by @IdoRosenzweig. #PhDgenie
Colin Zwanziger @ColinZwanziger
50 Followers 239 Following Category theorist/logician/mathematical linguist
lm @MetaOntology
66 Followers 446 Following Philosophy undergrad. Logic, Metaphysics, Procrastination. He/him
PLEXUS @PLEXUSLOGIC
50 Followers 25 Following PLEXUS research project (Grant Agreement No. 101086295) for the EU-funded Marie Sklodowska-Curie Action under the Horizon Europe Research and Innovation Program
nk @subcountability
491 Followers 559 Following Physics PhD anno 2015. Computer Vision @ big evil company since. Sophie Ellis-Bextor was never my girlfriend. Kullback-Leibler does not equal Leibler-Kullback.
Matheus Griebel @Elexiv3
165 Followers 1K Following Math undergraduate at USP. Interested in logic, mathematics, computer science, and philosophy.
7th World Congress of... @7wcp24
24 Followers 82 Following 7th World Congress of Paraconsistency | September 2-6, 2024. Oaxaca, 🇲🇽. (partially managed by @MMartinezordaz)
Dr Paola Cattabriga @CattabrigaPaola
42 Followers 233 Following Logician, working on diagonalization and self-referring procedures.
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Diógenes Mota @DiogenesMota
28 Followers 398 Following Functional (Mis)Adventures in Algebraic Wonderland. Math, Programming, Philosophy, and JRPGs.
Neri Marsili @NarsiMarsi
2K Followers 2K Following Philosopher @LHFC_UNED @LogosRG. I write on the dark side of communication: lies, bullshit, fictions, fake news, disinformation, twitter.
Bradley Dart - MMath,... @philomathein
4K Followers 4K Following philosopher-in-progress, pseudo-mathematician, economist-poseur, policy dilettante, failed poet, amateur theologian; Muslim, Newfie, educator. Wife: @MAYASHRABI
Oi @Just_an_oi
473 Followers 2K Following Atheist | Gamer | PhD candidate in ME | Passionate about understanding the universe.
Vadim Leshkov @bewrrrie
35 Followers 461 Following PhD student in pure mathematics (category theory, non-additive non-abelian homological algebra)
Iso (math fool) @IsomorphicPhi
6K Followers 1K Following Background in theoretical physics/math. Interested in mathematics, philosophy and physics. Some kind of anarchist communist, I guess. He/they. Eng/Swe
Herr Warum @godelsentence
148 Followers 499 Following
Ryan Simonelli @simonelli_ryan
150 Followers 302 Following Philosopher at Wuhan University, working on philosophy of language, metaphysics, logic, Sellars, and too many other things
DEON-Conference @DeonConference
20 Followers 4 Following Official X account of the Society for Deontic Logic. DEON Conferences, Call for Papers, Publications, and more: https://t.co/Zd9HQzbAGJ
Seminários de Orient... @sol_logica
28 Followers 7 Following 🎒 Para estudantes que se aventuram ou querem se aventurar na Lógica Realização: IC - UFF e CLE - UNICAMP Nossas atividades 👇
Abilio Rodrigues Filh... @abilio_arf
39 Followers 432 Following Flamenguista, professor de filosofia, baterista.
André Neiva @likelihoodratio
290 Followers 288 Following Professor of Philosophy ▪ Federal University of Alagoas ▪ Working on Probability, Decision-making, Uncertainty, Evidence, and Rationality ▪ Tweets in PT & ENG.
Willem Conradie @dual8t
10 Followers 86 Following
Davi Romero de Vascon... @DaviVas02942052
7 Followers 95 Following
Camillo Fiore @fiore_camillo
36 Followers 67 Following PhD student in Philosophy at CONICET/UBA 🇦🇷. I overthink therefore I overam
Paloma Xavier @Palomma_Xavier
47 Followers 230 FollowingTrends for United States
485 B posts
34,8 B posts
46,1 B posts
92,4 B posts
7.827 posts
3.762 posts
1.594 posts
39,7 B posts
87,5 B posts
27,9 B posts
26,4 B posts
95,8 B posts
60,9 B posts
4.089 posts
18,7 B posts
39,7 B posts
7.479 posts
1.186 posts
10,4 B posts
You might like
Francesco Berto
@Franz_Berto
4K Followers
Buenos Aires Logic Gr...
@BALogicGroup
1K Followers
Dr Valeria dePaiva
@valeriadepaiva
3K Followers
Lógica MX
@MxLogica
1K Followers
Elaine Pimentel
@Elaine_Pim
303 Followers
Neil Barton
@CantorsCoffee
410 Followers
Deniz Sarikaya
@DenizPhiMa
416 Followers
Eduardo Alejandro Bar...
@Eduardo62799641
108 Followers
Toby Meadows
@TobyMeadows
2K Followers