Wilfrid Hodges (hodges-w)

My contributions to Philosophie.ch

Bibliography

Chiswell, Ian and Hodges, Wilfrid. 2007. Mathematical Logic. Oxford: Oxford University Press.
Doner, Hohn and Hodges, Wilfrid. 1988. “Alfred Tarski and Decidable Theories.” The Journal of Symbolic Logic 53: 20–35.
Hasnawi, Ahmed and Hodges, Wilfrid. 2016. “Arabic Logic up to Avicenna.” in The Cambridge Companion to Medieval Logic, edited by Catarina Dutilh-Novaes and Stephen Read, pp. 45–66. Cambridge Companions to Philosophy. Cambridge: Cambridge University Press, doi:10.1017/cbo9781107449862.
Hodges, Wilfrid, ed. 1972. Conference in Mathematical Logic – London ’70. Berlin: Springer.
Hodges, Wilfrid. 1975. “A Normal Form for Algebraic Constructions.” Logique et Analyse 18(71–72): 429–487.
Hodges, Wilfrid. 1977. Logic. London: Penguin Books. Second edition: Hodges (2001a).
Hodges, Wilfrid. 1983. “Elementary Predicate Logic.” in Handbook of Philosophical Logic, Volume I: Elements of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 1–129. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Hodges (2001g).
Hodges, Wilfrid. 1986. “Truth in a Structure.” Proceedings of the Aristotelian Society 86: 135–151.
Hodges, Wilfrid. 1993a. Model Theory. Cambridge: Cambridge University Press.
Hodges, Wilfrid. 1993b. “Logical Features of Horn Clauses.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 449–503. Oxford: Oxford University Press.
Hodges, Wilfrid. 1996. “Logic, Truth, and Moral Judgements.” in Essays for David Wiggins – Identity, Truth and Value, edited by Sabina Lovibond and Stephen G. Williams, pp. 147–164. Aristotelian Society Series n. 16. Oxford: Blackwell Publishers.
Hodges, Wilfrid. 1998a. “An Editor Recalls Some Hopeless Papers.” The Bulletin of Symbolic Logic 4(1): 1–16.
Hodges, Wilfrid. 1998b. “Compositionality is Not the Problem.” Logic and Logical Philosophy 6: 7–33.
Hodges, Wilfrid. 2001a. Logic. An Introduction to Elementary Logic. London: Penguin Books. First edition: Hodges (1977).
Hodges, Wilfrid. 2001b. “Formal Features of Compositionality.” Journal of Logic, Language, and Information 10(1): 7–28.
Hodges, Wilfrid. 2001c. “Logic and Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2001/entries/logic-games/.
Hodges, Wilfrid. 2001d. “Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2001/entries/model-theory/.
Hodges, Wilfrid. 2001e. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2001/entries/modeltheory-fo/.
Hodges, Wilfrid. 2001f. “Tarski’s Truth Definitions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2001/entries/tarski-truth/.
Hodges, Wilfrid. 2001g. “Elementary Predicate Logic.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 1–129. Dordrecht: Springer. First publication as Hodges (1983).
Hodges, Wilfrid. 2001h. “Classical Logic I – First-Order Logic.” in The Blackwell Guide to Philosophical Logic, edited by Lou F. Goble, pp. 9–32. Blackwell Philosophy Guides. Oxford: Blackwell Publishers, doi:10.1002/9781405164801.
Hodges, Wilfrid. 2004a. “Formally Correct Definitions.” in The Logica Yearbook 2003, edited by Libor Běhounek, pp. 35–44. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.
Hodges, Wilfrid. 2004b. “The Importance and Neglect of Conceptual Analysis: Hilbert Ackermann iii.3.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 129–154. Logische Philosophie n. 12. Berlin: Logos Verlag.
Hodges, Wilfrid. 2004c. “Logic and Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2004/entries/logic-games/.
Hodges, Wilfrid. 2005a. “Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2005/entries/model-theory/.
Hodges, Wilfrid. 2005b. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2005/entries/modeltheory-fo/.
Hodges, Wilfrid. 2006a. “The Logic of Quantifiers.” in The Philosophy of Jaakko Hintikka, edited by Lewis Edwin Hahn and Randall E. Auxier, pp. 521–534. The Library of Living Philosophers n. 30. LaSalle, Illinois: Open Court Publishing Co.
Hodges, Wilfrid. 2006b. “Tarski’s Truth Definitions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2006/entries/tarski-truth/.
Hodges, Wilfrid. 2007. “The Scope and Limits of Logic.” in Philosophy of Logic, edited by Dale Jacquette, 1st ed., pp. 41–64. Handbook of the Philosophy of Science n. 5. Amsterdam: Elsevier Science Publishers B.V.
Hodges, Wilfrid. 2008a. “Tarski’s Theory of Definition.” in New Essays on Tarski and Philosophy, edited by Douglas Eden Patterson, pp. 94–132. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780199296309.001.0001.
Hodges, Wilfrid. 2008b. “Tarski on Padoa’s Method: A Test Case for Understanding Logicians of Other Traditions.” in Logic, Navya-Nyāya & Applications. Hommage to Bimal Krishna Matilal, edited by Mihir Kumar Chakraborty, Benedikt Löwe, Madhabendra Nath Mitra, and Sundar Surakkai, pp. 155–170. Studies in Logic n. 15. London: College Publications.
Hodges, Wilfrid. 2009a. “Functional Modelling and Mathematical Models: A Semantic Analysis.” in Philosophy of Technology and Engineering Sciences, edited by Anthonie Meijers, pp. 665–692. Handbook of the Philosophy of Science n. 9. Amsterdam: Elsevier Science Publishers B.V.
Hodges, Wilfrid. 2009b. “Traditional Logic, Modern Logic and Natural Language.” The Journal of Philosophical Logic 38(6): 589–606.
Hodges, Wilfrid. 2009c. “Set Theory, Model Theory, and Computability Theory.” in The Development of Modern Logic, edited by Leila Haaparanta, pp. 471–498. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780195137316.001.0001.
Hodges, Wilfrid. 2009d. “Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2009/entries/model-theory/.
Hodges, Wilfrid. 2009e. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2009/entries/modeltheory-fo/.
Hodges, Wilfrid. 2009f. “Logic and Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2009/entries/logic-games/.
Hodges, Wilfrid. 2010a. “Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.” in Fields of Logic and Computation. Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, edited by Andreas Blass, Nachum Dershowitz, and Wolfgang Reisig, pp. 354–404. Berlin: Springer, doi:10.1007/978-3-642-15025-8.
Hodges, Wilfrid. 2010b. “Tarski’s Truth Definitions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2010/entries/tarski-truth/.
Hodges, Wilfrid. 2011a. “Ibn Sīnā and Conflict in Logic.” in Logic, Mathematics, Philosophy: Vintage Enthusiasms. Essays in Honour of John L. Bell, edited by David DeVidi, Michael Hallett, and Peter Clark, pp. 35–68. The University of Western Ontario Series in Philosophy of Science n. 75. Dordrecht: Springer.
Hodges, Wilfrid. 2011b. “A Visit to Tarski’s Seminar on Elimination of Quantifiers.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 53–66. Synthese Library n. 352. Dordrecht: Springer.
Hodges, Wilfrid. 2011c. “From Sentence Meanings to Full Semantics.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 261–276. Synthese Library n. 352. Dordrecht: Springer.
Hodges, Wilfrid. 2012a. “Requirements on a Theory of Sentence and Word Meanings.” in Prospects for Meaning, edited by Richard Schantz, pp. 583–608. Current Issues in Theoretical Philosophy n. 3. Berlin: de Gruyter.
Hodges, Wilfrid. 2012b. “Affirmative and Negative in Ibn Sīnā.” in Insolubles and Consequences. Essays in Honour of Stephen Read, edited by Catarina Dutilh-Novaes and Ole Thomassen Hjortland. Tributes n. 18. London: King’s College Publications.
Hodges, Wilfrid. 2012c. “Formalizing the Relationship Between Meaning and Syntax.” in The Oxford Handbook of Compositionality, edited by Markus Werning, Wolfram Hinzen, and Edouard Machery, pp. 245–261. Oxford Handbooks. New York: Oxford University Press.
Hodges, Wilfrid. 2013a. “Logic and Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2013/entries/logic-games/.
Hodges, Wilfrid. 2013b. “Modality in Mathematics.” Logique et Analyse 56(221): 5–23.
Hodges, Wilfrid. 2014. “Tarski’s Truth Definitions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2014/entries/tarski-truth/.
Hodges, Wilfrid. 2015. “Notes on the History of Scope.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 215–240. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
Hodges, Wilfrid. 2018. “Tarski’s Truth Definitions.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2018/entries/tarski-truth/.
Hodges, Wilfrid. 2020. “Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2020/entries/model-theory/.
Hodges, Wilfrid and Druart, Thérèse-Anne. 2019. “al-Farabi’s Philosophy of Logic and Language.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/al-farabi-logic/.
Hodges, Wilfrid and Druart, Thérèse-Anne. 2023. “al-Farabi’s Philosophy of Logic and Language.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2023/entries/al-farabi-logic/.
Hodges, Wilfrid and Lewis, David. 1968. “Finitude and Infinitude in the Atomic Calculus of Individuals.” Noûs 2: 405–410. Reprinted in Lewis (1998).
Hodges, Wilfrid and Scanlon, Thomas. 2013. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2013/entries/modeltheory-fo/.
Hodges, Wilfrid and Scanlon, Thomas. 2018. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2018/entries/modeltheory-fo/.
Hodges, Wilfrid and Scanlon, Thomas. 2024. “First-Order Model Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/modeltheory-fo/.
Hodges, Wilfrid and Shelah, Saharon. 1991. “There are Reasonably Nice Logics.” The Journal of Symbolic Logic 56: 300–322.
Hodges, Wilfrid and Väänänen, Jouko. 2019. “Logic and Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2019/entries/logic-games/.
White, Graham, Bell, John L. and Hodges, Wilfrid. 1998. “Building Models of Prediction Theories.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 557–568. San Francisco, California: Morgan Kaufmann Publishers.

Further References

Lewis, David. 1998. Papers in Philosophical Logic. Cambridge: Cambridge University Press, doi:10.1017/cbo9780511625237.