Bibliography:

  1. ​ ‘philosophy’ tag

  2. ​ ‘language’ tag

  3. ​ Abs-E (or, speak only in the positive) § text2epositive.py experiment

  4. ​ text2epositive.py

  5. ​ One Man’s Modus Ponens

  6. ​ Why concepts are (probably) vectors

  7. ​ Using Counterfactual Tasks to Evaluate the Generality of Analogical Reasoning in Large Language Models

  8. ​ A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models

  9. ​ Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc

  10. ​ Evaluating Superhuman Models with Consistency Checks

  11. ​ LLM+P: Empowering Large Language Models with Optimal Planning Proficiency

  12. ​ Humans in Humans Out: On GPT Converging Toward Common Sense in both Success and Failure

  13. ​ Tighter Bounds on the Expressivity of Transformer Encoders

  14. ​ Emergent Analogical Reasoning in Large Language Models

  15. ​ Discovering Latent Knowledge in Language Models Without Supervision

  16. ​ Deep Differentiable Logic Gate Networks

  17. ​ Transformers Implement First-Order Logic with Majority Quantifiers

  18. ​ FOLIO: Natural Language Reasoning with First-Order Logic

  19. ​ Language models show human-like content effects on reasoning

  20. ​ Mathematical Proof Between Generations

  21. ​ Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations

  22. ​ On the Paradox of Learning to Reason from Data

  23. ​ Logical Intuition Is Not Really About Logic

  24. ​ Logical Activation Functions: Logit-space equivalents of Probabilistic Boolean Operators

  25. ​ Catala: A Programming Language for the Law

  26. ​ How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The goal of the ‘busy beaver’ game is to find the longest-running computer program. Its pursuit has surprising connections to some of the most profound questions and concepts in mathematics

  27. ​ On the Measure of Intelligence

  28. ​ Best Practices: Formal Proofs, the Fine Print and Side Effects

  29. ​ A Logic for Statutes

  30. ​ How Did Software Get So Reliable Without Proof? [Blog]

  31. ​ Why Philosophers Should Care About Computational Complexity

  32. ​ Good and Real: Demystifying Paradoxes from Physics to Ethics § 1.2.3: Paradoxes: When Arguments Collide

  33. ​ Philosophical Problems in Logic § Ultrafinitism

  34. ​ An Editor Recalls Some Hopeless Papers

  35. ​ How did software get so reliable without proof?

  36. ​ An Epistemological Nightmare

  37. ​ Nonstandard Analysis

  38. ​ ‘Begging the Question’

  39. ​ A Plea for Excuses: The Presidential Address

  40. ​ John Wilkins’s Analytical Language

  41. ​ Symposium: Facts and Propositions

  42. ​ Review of Tractatus Logico-Philosophicus by Ludwig Wittgenstein

  43. ​ In Strategic Time, Open-Source Games Are Loopy

  44. ​ Mathematical Notation: Past and Future

  45. ​ 9f00052c868b2fd2504ca0cb6cf3d80baae4a5a6.html#frequency

  46. ​ design#future-tag-features

    [Transclude the forward-link's context]

  47. ​ 2022-jung-figure6-2examplesofmaieuticpromptingtogenerate2argumenttreesonecorrectoneincorrect.png

  48. ​ 1998-priest.pdf

  49. ​ 1978-shope.pdf

  50. ​ https://incredible.pm/

  51. ​ https://people.well.com/user/doctorow/metacrap.htm

  52. ​ https://web.archive.org/web/20220927022638/https://nautil.us/the-man-who-tried-to-redeem-the-world-with-logic-235253/

  53. ​ https://www.koryheath.com/zendo/design-history/

  54. ​ 9ece62e9f7938cc48fbe99b61c80ab9ef1de79f4.html

  55. ​ https://www.lesswrong.com/posts/ZwshvqiqCvXPsZEct/the-learning-theoretic-agenda-status-2023

  56. ​ https://www.newyorker.com/magazine/1981/12/14/a-i

  57. ​ https://x.com/NathalieRach/status/1712538064369955154

  58. ​ https://x.com/dmvaldman/status/1636180222759563264

  59. ​ Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc

  60. ​ https%253A%252F%252Farxiv.org%252Fabs%252F2308.04445.html

  61. ​ FOLIO: Natural Language Reasoning with First-Order Logic

  62. ​ Caiming Xiong—Home Page

  63. ​ https%253A%252F%252Farxiv.org%252Fabs%252F2209.00840.html

  64. ​ Logical Intuition Is Not Really About Logic

  65. ​ %252Fdoc%252Fphilosophy%252Flogic%252F2022-ghasemi.pdf.html

  66. ​ How the Slowest Computer Programs Illuminate Math’s Fundamental Limits: The goal of the ‘busy beaver’ game is to find the longest-running computer program. Its pursuit has surprising connections to some of the most profound questions and concepts in mathematics

  67. ​ https%253A%252F%252Fwww.quantamagazine.org%252Fhow-the-slowest-computer-programs-illuminate-maths-fundamental-limits-20201210%252F.html

  68. Wikipedia Bibliography:

    1. ​ Algorithmic Information Theory

    2. ​ Alternative Pleading

    3. ​ List of Lists of Lists

    4. ​ Zendo (game)

    5. ​ Doug Lenat

    6. ​ Gary Marcus

    7. ​ Brian Wong

    8. ​ Dragomir Radev