“‘Logic’ Tag”,2019-12-15
![]()
Bibliography for tag
philosophy/logic, most recent first: 1 related tag, 39 annotations, & 11 links (parent).
- See Also
- Gwern
- Links
- “Why Concepts Are (probably) Vectors”, et al 2024
- “Using Counterfactual Tasks to Evaluate the Generality of Analogical Reasoning in Large Language Models”, 2024
- “A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models”, et al 2023
- “Getting from Generative AI to Trustworthy AI: What LLMs Might Learn from Cyc”, 2023
- “Evaluating Superhuman Models With Consistency Checks”, et al 2023
- “LLM+P: Empowering Large Language Models With Optimal Planning Proficiency”, et al 2023
- “Humans in Humans Out: On GPT Converging Toward Common Sense in Both Success and Failure”, Koralus & Wang-2023
- “Tighter Bounds on the Expressivity of Transformer Encoders”, et al 2023
- “Emergent Analogical Reasoning in Large Language Models”, et al 2022
- “Discovering Latent Knowledge in Language Models Without Supervision”, et al 2022
- “Deep Differentiable Logic Gate Networks”, et al 2022
- “Transformers Implement First-Order Logic With Majority Quantifiers”, 2022
- “FOLIO: Natural Language Reasoning With First-Order Logic”, et al 2022
- “Language Models Show Human-Like Content Effects on Reasoning”, et al 2022
- “Mathematical Proof Between Generations”, et al 2022
- “Maieutic Prompting: Logically Consistent Reasoning With Recursive Explanations”, et al 2022
- “On the Paradox of Learning to Reason from Data”, et al 2022
- “Logical Intuition Is Not Really About Logic”, et al 2022
- “Logical Activation Functions: Logit-Space Equivalents of Probabilistic Boolean Operators”, et al 2021
- “Catala: A Programming Language for the Law”, 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”, 2020
- “On the Measure of Intelligence”, 2019
- “Best Practices: Formal Proofs, the Fine Print and Side Effects”, 2018
- “A Logic for Statutes”, 2017
- “How Did Software Get So Reliable Without Proof? [Blog]”, 2012
- “Why Philosophers Should Care About Computational Complexity”, 2011
- “Good and Real: Demystifying Paradoxes from Physics to Ethics § 1.2.3: Paradoxes: When Arguments Collide”, 2006 (page 39)
- “Philosophical Problems in Logic § Ultrafinitism”, 2002 (page 4)
- “An Editor Recalls Some Hopeless Papers”, 1998
- “How Did Software Get so Reliable without Proof?”, 1996
- “An Epistemological Nightmare”, 1982
- “Nonstandard Analysis”, 1972b
- “‘Begging the Question’”, 1966
- “A Plea for Excuses: The Presidential Address”, 1956
- “John Wilkins’s Analytical Language”, 1942
- “Symposium: Facts and Propositions”, 1927
- “Review of Tractatus Logico-Philosophicus by Ludwig Wittgenstein”, 1923
- “In Strategic Time, Open-Source Games Are Loopy”
- “Mathematical Notation: Past and Future”
- Sort By Magic
- Wikipedia
- Miscellaneous
- Bibliography