Jump to content

User:SecondOrderMonax

From Wikipedia, the free encyclopedia

Philosopher/linguist interested in cocktails, mammals, and rock music.

Username is explained by two of my favourite things:

  • Monadic 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]

References

[edit]
  1. ^ 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. {{cite journal}}: Check date values in: |date= (help)
  2. ^ 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
  3. ^ Lewis, David (1970-12-01). "General semantics". Synthese. 22 (1): 18–67. doi:10.1007/BF00413598. ISSN 1573-0964.
  4. ^ global.oup.com https://global.oup.com/academic/product/conjoining-meanings-9780198812722. Retrieved 2025-09-17. {{cite web}}: Missing or empty |title= (help)