“‘Logic’ Tag”,2019-12-15

Bibliography for tag philosophy/logic, most recent first: 1 related tag, 39 annotations, & 11 links (parent).

• See Also
• Gwern
  • “Abs-E (or, Speak Only in the Positive) § text2epositive.py Experiment”, Gwern2024
  • “Abs-E (or, Speak Only in the Positive) § text2epositive.py Experiment”, Gwern2024
  • “text2epositive.py”, Gwern2024
  • “One Man’s Modus Ponens”, Gwern2012
• Links
  • “Why Concepts Are (probably) Vectors”, Piantadosi et al 2024
  • “Using Counterfactual Tasks to Evaluate the Generality of Analogical Reasoning in Large Language Models”, Lewis & Mitchell2024
  • “A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models”, Eisape et al 2023
  • “Getting from Generative AI to Trustworthy AI: What LLMs Might Learn from Cyc”, Lenat & Marcus2023
  • “Evaluating Superhuman Models With Consistency Checks”, Fluri et al 2023
  • “LLM+P: Empowering Large Language Models With Optimal Planning Proficiency”, Liu et al 2023
  • “Humans in Humans Out: On GPT Converging Toward Common Sense in Both Success and Failure”, Koralus & Wang-Maścianica2023
  • “Tighter Bounds on the Expressivity of Transformer Encoders”, Chiang et al 2023
  • “Emergent Analogical Reasoning in Large Language Models”, Webb et al 2022
  • “Discovering Latent Knowledge in Language Models Without Supervision”, Burns et al 2022
  • “Deep Differentiable Logic Gate Networks”, Petersen et al 2022
  • “Transformers Implement First-Order Logic With Majority Quantifiers”, Merrill & Sabharwal2022
  • “FOLIO: Natural Language Reasoning With First-Order Logic”, Han et al 2022
  • “Language Models Show Human-Like Content Effects on Reasoning”, Dasgupta et al 2022
  • “Mathematical Proof Between Generations”, Bayer et al 2022
  • “Maieutic Prompting: Logically Consistent Reasoning With Recursive Explanations”, Jung et al 2022
  • “On the Paradox of Learning to Reason from Data”, Zhang et al 2022
  • “Logical Intuition Is Not Really About Logic”, Ghasemi et al 2022
  • “Logical Activation Functions: Logit-Space Equivalents of Probabilistic Boolean Operators”, Lowe et al 2021
  • “Catala: A Programming Language for the Law”, Merigoux et al 2021
  • “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”, Pavlus2020
  • “On the Measure of Intelligence”, Chollet2019
  • “Best Practices: Formal Proofs, the Fine Print and Side Effects”, Murray & Oorschot2018
  • “A Logic for Statutes”, Lawsky2017
  • “How Did Software Get So Reliable Without Proof? [Blog]”, Regehr2012
  • “Why Philosophers Should Care About Computational Complexity”, Aaronson2011
  • “Good and Real: Demystifying Paradoxes from Physics to Ethics § 1.2.3: Paradoxes: When Arguments Collide”, Drescher2006 (page 39)
  • “Philosophical Problems in Logic § Ultrafinitism”, Friedman2002 (page 4)
  • “An Editor Recalls Some Hopeless Papers”, Hodges1998
  • “How Did Software Get so Reliable without Proof?”, Hoare1996
  • “An Epistemological Nightmare”, Smullyan1982
  • “Nonstandard Analysis”, Davis & Hersh1972b
  • “‘Begging the Question’”, Sparkes1966
  • “A Plea for Excuses: The Presidential Address”, Austin1956
  • “John Wilkins’s Analytical Language”, Borges1942
  • “Symposium: Facts and Propositions”, Ramsey & Moore1927
  • “Review of Tractatus Logico-Philosophicus by Ludwig Wittgenstein”, Ramsey1923
  • “In Strategic Time, Open-Source Games Are Loopy”
  • “Mathematical Notation: Past and Future”
  • Sort By Magic
    • planning-proficiency
    • reasoning-logic learning-analogies reasoning-models logical-reasoning language-logic
    • legal-philosophy
  • Wikipedia
• Miscellaneous
• Bibliography