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
299
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…
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
368 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
725 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 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
Perfil de lazer do Re... @mezabarbarm
603 Followers 438 Following I live in Brazil. Email me if you need to talk (check the link below)
Elaine Pimentel @Elaine_Pim
298 Followers 319 Following Live long and prosper (Mr S'chn T'gai Spock)
logicasbrasileiras @logicasbrasile1
551 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.
Toby Meadows @TobyMeadows
2K Followers 639 Following logician, adj. (pejorative) I do math that mathematicians think is philosophy ... and I do philosophy that philosophers think is math ...
Alexander Berenbeim @berenbeim
577 Followers 358 Following Applies the tools of formal logic to state and solve problems; neurosymbolic AI/ML researcher; aspiring filmmaker once upon a time
jhemann @jhemann
600 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 147 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
222 Followers 5K Following
vita says🐬 @vitsviii
1K Followers 2K Following PhD Philosophy @ IITI | working on belief revision| informed by living exp of mental illness| MA Philosophy, JNU; BSc Physics MH, DU|
schch @meehaaaaaa
6 Followers 380 Following
Pablo Rolim @antissimetrico
48 Followers 311 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
9 Followers 209 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
78 Followers 450 Following
Vishnu Prasad @prasadv3191
19 Followers 386 Following
BTS Clearing & Forwar... @Btscfltd
322 Followers 2K Following
J. Alejandro Fdez. Cu... @jalejandrofdezc
566 Followers 245 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
192 Followers 3K Following
k @keniehues
41 Followers 380 Following
sonfack serge @sonfackserge
580 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
620 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 771 Following
𝔰 @sarahgspanhoIi
281 Followers 993 Following
Ricardo @ricardoolivei20
308 Followers 401 Following Escrevo sobre cinema na Revista Exceção: https://t.co/AwAZVNMM2e
Erin Carmody @uncountableart
640 Followers 414 Following Logic, set theory, art https://t.co/zxvWZRW25Y
lla @backtovotarrrr
122 Followers 3K Following
Aditi Vatsa @VatsaAditi
974 Followers 2K Following
eldal @eldal157109
0 Followers 103 Following
Rudolf Carnap @CarnapSpeaks
4K Followers 1K 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)
Ateniense 🦉 @20century_los4
261 Followers 3K Following
Edilson Montrose @EdilsonMontrose
362 Followers 4K Following Brazilian, Trade Unionist, Political Scientist, and Flamengo Fan. #Processtracing
Breno 🔸️ @brenohgcosta
434 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
Joel David Hamkins @JDHamkins
25K Followers 279 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
368 Followers 1K Following Professor de matemática e lógico, teorista de conjuntos, trabalhando em Salvador na UFBA.
Andrew Tedder @AJTedder
725 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.
Australasian J Logic @ajlonline
366 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 477 Following amateur dionysian ∞ account ran by @kamerynjw ∞ she/her
WomenInLogic @WomenInLogic1
1K Followers 180 Following Women in Logic: dismantling inequality tweet by tweet
Perfil de lazer do Re... @mezabarbarm
603 Followers 438 Following I live in Brazil. Email me if you need to talk (check the link below)
Timothy Gowers @wtgow... @wtgowers
48K Followers 183 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Alexander Berenbeim @berenbeim
577 Followers 358 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 147 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 783 Following Grupo de investigación en filosofía analítica. Departamento de Lógica, Historia y Filosofía de la Ciencia (UNED, Madrid). Admins: @ignasigilgg & @raciondeser
Pablo Rolim @antissimetrico
48 Followers 311 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
131K Followers 684 Following Sitio oficial de la Facultad de Ciencias @unam_mx #VidaEnCiencias
Daniel Litt @littmath
50K Followers 884 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
209 Followers 171 Following Cuenta oficial de la Asociación Latinoamericana de Filosofía Analítica (ALFAn)
Grant Sanderson @3blue1brown
411K Followers 362 Following Pi creature caretaker. Contact/faq: https://t.co/brZwdQfdif
Dyz̶er Nihil ψ @Dyzer_Nihil
1K Followers 381 Following Neuropsychology, Statistics, Philosophy & Mathematical Logic.
J. Alejandro Fdez. Cu... @jalejandrofdezc
566 Followers 245 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
196K 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 543 Following Maths, computer science, puzzles, football, Brazil. New book THINK TWICE, out September 2024
PhD_Genie @PhD_Genie
76K Followers 825 Following The PhD_Genie is here to support academics - from early career researchers to well established scholars. Operated by @IdoRosenzweig. #PhDgenie
Colin Zwanziger @ColinZwanziger
46 Followers 234 Following Category theorist/logician/mathematical linguist
Rudolf Carnap @CarnapSpeaks
4K Followers 1K Following
lm @MetaOntology
66 Followers 445 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
492 Followers 544 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
167 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
40 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
25 Followers 394 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
468 Followers 2K Following Atheist | Gamer | PhD candidate in ME | Passionate about understanding the universe.
Vadim Leshkov @bewrrrie
34 Followers 462 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
146 Followers 499 Following
Ryan Simonelli @simonelli_ryan
148 Followers 296 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, CLE - UNICAMP e FAPESC Nossas atividades 👇
Abilio Rodrigues Filh... @abilio_arf
39 Followers 433 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 231 FollowingTrends for United States
139 B posts
1.489 posts
30,1 B posts
3.393 posts
18,9 B posts
4.421 posts
37,7 B posts
9.911 posts
46,3 B posts
1.614 posts
105 B posts
105 B posts
25,7 B posts
176 B posts
86,3 B posts
1.608 posts
86,7 B posts
5.096 posts
11,9 B posts
18,7 B posts
You might like
Sara Ayhan
@Sara_Ayhan_
1K Followers
Francesco Berto
@Franz_Berto
4K Followers
Buenos Aires Logic Gr...
@BALogicGroup
1K Followers
Lógica MX
@MxLogica
1K Followers
Elaine Pimentel
@Elaine_Pim
298 Followers
Neil Barton
@CantorsCoffee
411 Followers
Deniz Sarikaya
@DenizPhiMa
419 Followers
Eduardo Alejandro Bar...
@Eduardo62799641
108 Followers
Toby Meadows
@TobyMeadows
2K Followers