From Wikipedia, the free encyclopedia
This user's drink of choice is the Martini
S-K This user is like a whole bucket of stars, dumped into the universe .
This user's favorite animal is the Red panda .
Philosopher/linguist interested in cocktails, mammals, and rock music.
Username is explained by two of my favourite things:
Monad ic Second-Order Logic , with its nice computational complexity results (one of the earlier results in metalogic).[ 1] [ 2]
Marmota Monax , aka the groundhog, woodchuck, or marmot (an animal often discussed by semanticists; delightful in its own right).[ 3] [ 4]
^ Löwenheim, Leopold (1915-12). "Über Möglichkeiten im Relativkalkül" . Mathematische Annalen (in German). 76 (4): 447– 470. doi :10.1007/bf01458217 . ISSN 0025-5831 .
^ Väänänen, Jouko (2024), Zalta, Edward N.; Nodelman, Uri (eds.), "Second-order and Higher-order Logic" , The Stanford Encyclopedia of Philosophy (Winter 2024 ed.), Metaphysics Research Lab, Stanford University, retrieved 2025-09-17
^ Lewis, David (1970-12-01). "General semantics" . Synthese . 22 (1): 18– 67. doi :10.1007/BF00413598 . ISSN 1573-0964 .
^ global.oup.com https://global.oup.com/academic/product/conjoining-meanings-9780198812722 . Retrieved 2025-09-17 .