sequiturquodlibet @antitheorem
a logician (and not) sequiturquodlibet.googlepages.com Joined January 2014-
Tweets1K
-
Followers516
-
Following417
-
Likes3K
@ADasAcademic How much confusion in logic comes from treating presentation-dependent properties of connectives, without further analysis, as if they were intrinsic to the connectives themselves?
0
0
0
7
0
View Details
@rmendonca1988 Eu apostaria que ela ainda não está "pronta" pra isso. commonsensemedia.org/game-reviews/o…
@blopesvieira @mezabarbarm Com isso, os Departamentos de Matemática da UFES e a UFF já estão dando um show no da UFSC.
@mezabarbarm Um atual orientando meu que é aluno do Departamento de Matemática da UFSC foi *proibido* pelo Colegiado da Matemática de escrever seu TCC em inglês. Mais ainda, depois do pedido dele o Colegiado decidiu mudar o regimento para cristalizar a proibição.
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/ce… Eligible nationalities may be checked here: gov.br/mre/pt-br/assu…
@MxLogica Pongo mis anteojos dualizantes y veo dulce-y-truco. 🎃
@MxLogica ¡Qué buena noticia! ¡Y encima, un trabajo con un tema tan relevante! ¡Congratulaciones, María!!
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
@getjonwithit I wonder whether this (hermetic?) presentational style is experiencing a resurgence with the rise of proof assistants, whose formal theories rarely prioritize the communication of mathematical intuition. In this context, is communication itself confined to peripheral commentary?
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)
@skdh This is an axiom of publishing in mathematical journals. If you put in too many details, your paper will be rejected. As if a few poorly lit sign posts should be enough to reconstruct the arguments. Every sentence becomes a problem set.
sequiturquodlibet retweeted
A guide to academic denominations
@MxLogica ¡Que maravilla! ¡Secundo las felicitaciones, María!
@rmendonca1988 Excelente palestra, altamente recomendável! 👍
@rmendonca1988 @acarajando Este, Bruno? youtube.com/watch?v=8Y05Gd…
@rmendonca1988 @mezabarbarm Excelente ideia!
Dr Valeria dePaiva @valeriadepaiva
4K 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 636 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 80 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 124 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
384 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
698 Followers 552 Following Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Talia Ringer 🕊🪬 @TaliaRinger
33K 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: Bertrand Russell's Philosophy, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Phil Maths, Early Analytic Philosophy, Logic
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.
Elaine Pimentel @Elaine_Pim
305 Followers 312 Following Live long and prosper (Mr S'chn T'gai Spock)
logicasbrasileiras @logicasbrasile1
535 Followers 221 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 in on Blu... @adolfont
9K Followers 8K Following Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
Toby Meadows @TobyMeadows
2K Followers 650 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...
Sofia @sofiabelha
699 Followers 395 Following PhD student in philosophy of logic at University of Vienna & outras coisinhas mais | EN/PT 🇧🇷
Nancy Abigail Nuñez @NANuez1
141 Followers 427 Following
Isaac, The Creator @Isaacaaaa
137 Followers 2K Following Estudiante de filosofía (FFYL-UNAM), me gusta David Bowie y toda la otra música 💗
koto @kotoromo1
53 Followers 2K Following Reposteo arte que me gusta y de vez en cuando memes que me dan risa. Nunca olvidar como el feed de ___ son puras morras chinas con pistola 以上
Alfonso Perales @alf_perales
2 Followers 46 Following Me interesan toda clase de sistemas simbólicos. Vivo entre abstracciones.
Ayyoub Oukaci @AYYOUBSAMI
229 Followers 2K Following Logician, Author and Translator Master's in Mathematical Logic and Foundations of Mathematics Licentiate's in Philosophy German Language at Goethe-Institut
Badenes Andres @BadenesAndres
0 Followers 14 Following
aubrey @daily_ichisaki
10 Followers 84 Following La cuenta, el fracaso. | cuenta manejada por mi novia y yo.
Facundo Miranda @Facundo59204769
2K Followers 457 Following
Aliseda Atocha @atocha_aliseda
692 Followers 413 Following Logician / Philosopher of Science / Matemática de origen, lógica por entrenamiento y filósofa pragmatista por experiencia. MÉXICO 🇲🇽 @atocha.bsky.social
john marvin @jmarvin__
99 Followers 704 Following ╭╼|══════════|╾╮ no posts phd candidate @ uchicago (phil/history of) logic/math jazz pianist ╰╼|══════════|╾╯
Alexander Castillo Ro... @AlexMrgndrffr
21 Followers 365 Following Amante de la música, un poco taciturno, con pelazo.
Alexander Berenbeim @berenbeim
573 Followers 418 Following Applies the tools of formal logic to state and solve problems; neurosymbolic AI/ML researcher; aspiring filmmaker once upon a time
jhemann @jhemann
585 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
35 Followers 142 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
164 Followers 5K Following
schch @meehaaaaaa
6 Followers 384 Following
Pablo Rolim @antissimetrico
41 Followers 347 Following ∆ Master in Philosophy ∆ Liberty is my guiding star EN/PT
Léon Probst @Probst_lp
27 Followers 69 Following PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math
p @p357346
71 Followers 422 Following
Vishnu Prasad @prasadv3191
13 Followers 511 Following
BTS Clearing & Forwar... @Btscfltd
270 Followers 2K Following
J. Alejandro Fdez. Cu... @jalejandrofdezc
681 Followers 254 Following Predoctoral Santander-UCM Research Assistant.// Philosophy of (Quantum) Logics ∧ Ontology.// Mathesis Group.// {https://t.co/qbyG9fzVAe}
future makete @FutureMake30444
3 Followers 50 Following
Lic. Salve veritate @aylicastro
177 Followers 202 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 57 Following
X @cogiccigoc
1 Followers 59 Following
Beatriz Cardoso @beacardoso2222
179 Followers 3K Following
k @keniehues
41 Followers 415 Following
sonfack serge @sonfackserge
576 Followers 3K Following Knowledge representation and reasoning, Collaborative intelligence, Uncertainty management
Everardo Bárcenas @ebarcenasp
38 Followers 236 Following Associate Professor at the Computing Engineering Department @FIUNAM_MX of @UNAM_MX
Frank O'Connor @franktatus
4 Followers 160 Following Researcher and developer living in Cambridge, UK.
Fernando Tadeu Moraes @FTFMoraes
634 Followers 1K Following Jornalista, mas estudei matemática e filosofia. Leio e escrevo.
yorg, conqueror of al... @kringleshrine
0 Followers 817 Following
𝔰 @sarahgspanhoIi
271 Followers 1K Following
Aniket @sceptictank_
33 Followers 352 Following M.A. Linguistics ’25 | Exploring phil of language and truthmakers
Ricardo @ricardoolivei20
306 Followers 426 Following Escrevo sobre cinema na Revista Exceção: https://t.co/AwAZVNMM2e
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
Joel David Hamkins @JDHamkins
28K Followers 284 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 636 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 80 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
60K 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 124 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
384 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
698 Followers 552 Following Philosopher. Logician. Cat Admirer. SFF enthusiast. He/Him. Black Lives Matter. Trans rights!
Talia Ringer 🕊🪬 @TaliaRinger
33K 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: Bertrand Russell's Philosophy, Metaphysics of Spacetime |Broadly: Metaphysics, Phil Sci, Phil Maths, Early Analytic Philosophy, Logic
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
358 Followers 26 Following Established in 2003, the Australasian Journal of Logic is a fully refereed, freely available electronic journal covering all areas of research in logic.
WomenInLogic @WomenInLogic1
1K Followers 177 Following Women in Logic: dismantling inequality tweet by tweet
Timothy Gowers @wtgow... @wtgowers
57K Followers 187 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Nancy Abigail Nuñez @NANuez1
141 Followers 427 Following
Km Cero @kmcerorevista
5K Followers 318 Following Revista cultural sobre el Centro Histórico de la Ciudad de México, editada por el Fideicomiso Centro Histórico de la Ciudad de México
Olimpiada Academia Me... @olimpialogmx
16 Followers 12 Following Organizadoræs de la Olimpiada Internacional de Lógica, Academia Mexicana de Lógica.
Math, Inc. @mathematics_inc
13K Followers 0 Following Solve math, solve everything. Dedicated to superintelligence via autoformalization
Ayyoub Oukaci @AYYOUBSAMI
229 Followers 2K Following Logician, Author and Translator Master's in Mathematical Logic and Foundations of Mathematics Licentiate's in Philosophy German Language at Goethe-Institut
Facundo Miranda @Facundo59204769
2K Followers 457 Following
Mirna Džamonja @MirnaDzamonja
4K Followers 482 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
573 Followers 418 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
35 Followers 142 Following Professor da Universidade Federal de Minas Gerais. Pesquisa Matemática Aplicada, Filosofia da Matemática e Ciência Cognitiva da Matemática.
METIS research group @LHFC_UNED
5K Followers 777 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
41 Followers 347 Following ∆ Master in Philosophy ∆ Liberty is my guiding star EN/PT
Facultad de Ciencias ... @fciencias
122K Followers 682 Following Cuenta oficial de la Facultad de Ciencias de la @unam_mx #SomosCiencias #VidaEnCiencias
Daniel Litt @littmath
58K Followers 916 Following Assistant professor (of mathematics) at the University of Toronto. "Tireless math ronin." Algebraic geometry, number theory, etc. He/him.
Léon Probst @Probst_lp
27 Followers 69 Following PhD student in philosophy at @ISFILugano and @USI_university, mostly doing logic and phil of math
Asoc. Latinoamericana... @ALFAn_Oficial
225 Followers 167 Following Cuenta oficial de la Asociación Latinoamericana de Filosofía Analítica (ALFAn)
Grant Sanderson @3blue1brown
439K Followers 368 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
Dyz∄r NiHil ψ @Dyzer_Nihil
2K Followers 393 Following Neuropsychology, Statistics, Philosophy & Mathematical Logic.
J. Alejandro Fdez. Cu... @jalejandrofdezc
681 Followers 254 Following Predoctoral Santander-UCM Research Assistant.// Philosophy of (Quantum) Logics ∧ Ontology.// Mathesis Group.// {https://t.co/qbyG9fzVAe}
Gro-Tsen @gro_tsen
7K Followers 91 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
177 Followers 202 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.
Prof. Daniel Cara @DanielCara
59K Followers 2K Following Professor e pesquisador na Faculdade de Educação da Universidade de São Paulo (USP). Corinthiano.
Everardo Bárcenas @ebarcenasp
38 Followers 236 Following Associate Professor at the Computing Engineering Department @FIUNAM_MX of @UNAM_MX
Jules @analytichegel
3K Followers 2K Following optimistic nihilist. fedi: @[email protected]. priv: @boy_aphrodite
Sabine Hossenfelder @skdh
221K Followers 807 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception. rt's are not endorsements
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
25K Followers 537 Following Maths, computer science, puzzles, football, Brazil. New book THINK TWICE, out September 2024
PhD_Genie @PhD_Genie
79K Followers 801 Following Your friendly PhD Genie 🧞♂️ Granting academic wishes: motivation, sanity checks, & Reviewer 2 roasts. Run by @IdoRosenzweig | 🤝 Collabs welcome / DMs open!
Colin Zwanziger @ColinZwanziger
59 Followers 401 Following Category theorist/logician/mathematical linguist
lm @MetaOntology
64 Followers 438 Following Philosophy undergrad. Logic, Metaphysics, Procrastination. He/him
PLEXUS @PLEXUSLOGIC
48 Followers 23 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
724 Followers 783 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
154 Followers 1K Following Math undergraduate at USP. Interested in logic, mathematics, computer science, and philosophy.
7th World Congress of... @7wcp24
22 Followers 79 Following 7th World Congress of Paraconsistency | September 2-6, 2024. Oaxaca, 🇲🇽. (partially managed by @MMartinezordaz)
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
21 Followers 402 Following Functional (Mis)Adventures in Algebraic Wonderland. Math, Programming, Philosophy, and JRPGs.
Neri Marsili @NarsiMarsi
2K Followers 2K Following Philosopher @unito. 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
433 Followers 3K Following Atheist | Gamer | PhD candidate in engineering | Passionate about understanding the universe.
Vadim Leshkov @bewrrrie
34 Followers 453 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. Any/all. Eng/Swe
Herr Warum @godelsentence
135 Followers 485 Following
Ryan Simonelli @simonelli_ryan
166 Followers 313 Following Philosopher at Wuhan University, working on philosophy of language, metaphysics, logic, AI, Sellars, and too many other things
DEON-Conference @DeonConference
19 Followers 3 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
27 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
38 Followers 431 Following Flamenguista, professor de filosofia, baterista.
André Neiva @likelihoodratio
275 Followers 280 Following Professor of Philosophy ▪ Federal University of Alagoas ▪ Working on Probability, Decision-making, Uncertainty, Evidence, and Rationality ▪ Tweets in PT & ENG.You might like
Francesco Berto
@Franz_Berto
4K Followers
Buenos Aires Logic Gr...
@BALogicGroup
1K Followers
Dr Valeria dePaiva
@valeriadepaiva
4K Followers
Lógica MX
@MxLogica
1K Followers
Elaine Pimentel
@Elaine_Pim
305 Followers
Eduardo Alejandro Bar...
@Eduardo62799641
116 Followers
Toby Meadows
@TobyMeadows
2K Followers