60 found
Sort by:
  1. Helen Hodges, Wilfrid Hodges & Johan van Benthem (forthcoming). Logic and Psychology', Guest Issue Of. Topoi.
     
    My bibliography  
     
    Export citation  
  2. Wilfrid Hodges (forthcoming). Tarski's Truth Definitions. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Wilfrid Hodges (2015). Notes on the History of Scope. [REVIEW] In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. 215-240.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Wilfrid Hodges (2014). Compositionality is Not the Problem. Logic and Logical Philosophy 6:7.
    The paper analyses what is said and what is presupposed by thePrinciple of Compositionality for semantics, as it is commonly stated. ThePrinciple of Compositionality is an axiom which some semantics satisfy andsome don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressionscontaining them. This is a sensible axiom only if one combines it with aconverse, that if two expressions make the same contribution to the meanings of sentences (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Wilfrid Hodges (2014). Dialogue Protocols for Formal Fallacies: A Reply to Kacprzak and Yaskorska. Argumentation 28 (3):371-377.
    This note comments on the paper ‘Dialogue protocols for formal fallacies’ by Kacprzak and Yaskorska (this issue). Points discussed include the use of the notions of ‘claiming’, ‘conceding’ and ‘commitment’, and the role of Lorenzen dialogues as a device for checking whether a proposition is a tautology.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Wilfrid Hodges & Stephen Read (2010). Western Logic. Journal of the Indian Council for Philosophical Research 27 (1):13-45.
    The editors invited us to write a short paper that draws together the main themes of logic in the Western tradition from the Classical Greeks to the modern period. To make it short we had to make it personal. We set out the themes that seemed to us either the deepest, or the most likely to be helpful for an Indian reader.
     
    My bibliography  
     
    Export citation  
  7. Jouko Väänänen & Wilfrid Hodges (2010). Dependence of Variables Construed as an Atomic Formula. Annals of Pure and Applied Logic 161 (6):817-828.
    We define a logic capable of expressing dependence of a variable on designated variables only. Thus has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence relations between variables leads to existential second order expressive power. Our avoids some difficulties arising in the original (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Wilfrid Hodges (2009). Set Theory, Model Theory, and Computability Theory. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. 471.
  9. Wilfrid Hodges (2009). Traditional Logic, Modern Logic and Natural Language. Journal of Philosophical Logic 38 (6):589 - 606.
    In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Wilfrid Hodges & Anatoly Yakovlev (2009). Relative Categoricity in Abelian Groups II. Annals of Pure and Applied Logic 158 (3):203-231.
    We consider structures A consisting of an abelian group with a subgroup AP distinguished by a 1-ary relation symbol P, and complete theories T of such structures. Such a theory T is -categorical if T has models A of cardinality λ with AP=κ, and given any two such models A,B with AP=BP, there is an isomorphism from A to B which is the identity on AP. We classify all complete theories of such structures A in terms of the cardinal pairs (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Wilfrid Hodges, First-Order Model Theory. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Wilfrid Hodges, Logic and Games. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. Wilfrid Hodges, Model Theory. Stanford Encyclopedia of Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Wilfrid Hodges (2008). Main Trends in Mathematical Logic After the 1930s : Set Theory, Model Theory, and Computability Theory. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
  15. Wilfrid Hodges (2008). Tarski's Theory of Definition. In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. 94.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Edmund Harriss & Wilfrid Hodges (2007). Logic for Mathematical Writing. Logic Journal of the Igpl 15 (4):313-320.
    In the School of Mathematical Sciences at Queen Mary in the University of London we have been running a module that teaches the students to write good mathematical English. The module is for second-year undergraduates and has been running for three years. It is based on logic, but the logic—though mathematically precise—is informal and doesn't use logical symbols. Some theory of definitions is taught in order to give a structure for mathematical descriptions, and some natural deduction rules form a basis (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Johan van Benthem, Helen Hodges & Wilfrid Hodges (2007). Introduction. Topoi 26 (1):1-2.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  18. Wilfrid Hodges (2004). What Languages Have Tarski Truth Definitions? Annals of Pure and Applied Logic 126 (1-3):93-113.
    Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither recursiveness nor satisfaction (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  19. Peter Cameron & Wilfrid Hodges (2001). Some Combinatorics of Imperfect Information. Journal of Symbolic Logic 66 (2):673-684.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Wilfrid Hodges (2001). Classical Logic I: First Order Logic. In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell Publishers.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Wilfrid Hodges (2001). Dialogue Foundations: A Sceptical Look: Wilfrid Hodges. Aristotelian Society Supplementary Volume 75 (1):17–32.
    During the last forty or so years it has become popular to offer explanations of logical notions in terms of games. There is no doubt that many people find games helpful for understanding various logical phenomena. But we ask whether anything is really 'explained' by these accounts, and we analyse Paul Lorenzen's dialogue foundations for constructive logic as an example. The conclusion is that the value of games lies in their ability to provide helpful metaphors and representations, rather than in (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  22. Wilfrid Hodges (2001). Formal Features of Compositionality. Journal of Logic, Language and Information 10 (1):7-28.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  23. Wilfrid Hodges & Erik C. W. Krabbe (2001). Dialogue Foundations. Aristotelian Society Supplementary Volume 75:17 - 49.
    [Wilfrid Hodges] During the last forty or so years it has become popular to offer explanations of logical notions in terms of games. There is no doubt that many people find games helpful for understanding various logical phenomena. But we ask whether anything is really 'explained' by these accounts, and we analyse Paul Lorenzen's dialogue foundations for constructive logic as an example. The conclusion is that the value of games lies in their ability to provide helpful metaphors and representations, rather (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  24. Wilfrid Hodges (2000). A Shorter Model Theory. Studia Logica 64 (1):133-134.
    Direct download  
     
    My bibliography  
     
    Export citation  
  25. Wilfrid Hodges (1998). An Editor Recalls Some Hopeless Papers. Bulletin of Symbolic Logic 4 (1):1-16.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26. Wilfrid Hodges (1998). Them Just the Authors—Seem to Have Read Cantor's Argument in a Variety of Places. In My Records Only One Author Refers Directly to Cantor's Own Argument [7]. One Quotes Russell's 'Principles of Mathematics'[20] Later. [REVIEW] Bulletin of Symbolic Logic 4 (1):1-16.
  27. Wilfrid Hodges (1998). X2. Cantor's Proof. The Authors of These Papers—Henceforth Let Me Call Them Just the Authors—Seem to Have Read Cantor's Argument in a Variety of Places. In My Records Only One Author Refers Directly to Cantor's Own Argument [7]. One Quotes Russell's 'Principles of Mathematics'[20] Later. [REVIEW] Bulletin of Symbolic Logic 4 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Wilfrid Hodges (1998). The Laws of Distribution for Syllogisms. Notre Dame Journal of Formal Logic 39 (2):221-230.
    The laws of distribution follow at once from Lyndon's interpolation theorem and the fact that the fallacy of many terms is a fallacy.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Wilfrid Hodges (1997). Jaakko Hintikka, the Principles of Mathematics Revisited. Journal of Logic, Language and Information 6 (4):457-460.
  30. G. Graham White, John Bell & Wilfrid Hodges, Building Models of Prediction Theories.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  31. Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
    This book contains 21 essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In computer science and mathematics, this gap between foundations and applications is small, as illustrated by essays on the proof theory of non-classical logics, lambda calculus, relating logic programs to inductive definition, and definability in Lindenbaum algebras. Other chapters discuss how to apply model theory to field theory, complex geometry (...)
     
    My bibliography  
     
    Export citation  
  32. Wilfrid Hodges (1995). European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993. Bulletin of Symbolic Logic 1 (1):85-115.
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Wilfrid Hodges (1994). Book Reviews. [REVIEW] Mind 103 (410):208-211.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Wilfrid Hodges (1993). Critical Commentary on P. Johnson-Laird and R. Byrne,'Deduction'. Behavioral and Brain Sciences 16:353.
     
    My bibliography  
     
    Export citation  
  35. Wilfrid Hodges (1993). The Logical Content of Theories of Deduction. Behavioral and Brain Sciences 16 (2):353.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Wilfrid Hodges & Saharon Shelah (1991). There Are Reasonably Nice Logics. Journal of Symbolic Logic 56 (1):300-322.
  37. Wilfrid Hodges, I. M. Hodkinson & Dugald Macpherson (1990). Omega-Categoricity, Relative Categoricity and Coordinatisation. Annals of Pure and Applied Logic 46 (2):169-199.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Wilfrid Hodges, D. Gabbay & F. Guenthner (1989). Elementary Predicate Logic. Journal of Symbolic Logic 54 (3):1089-1090.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. John Doner & Wilfrid Hodges (1988). Alfred Tarski and Decidable Theories. Journal of Symbolic Logic 53 (1):20-35.
  40. Wilfrid Hodges (1988). [Introduction]. Journal of Symbolic Logic 53 (1):1.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  41. Wilfrid Hodges & Wilfried Sieg (1988). A Symposium on Hilbert's Program. Journal of Symbolic Logic 53 (2):337.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  42. Wilfrid Hodges (1986). Alfred Tarski. Journal of Symbolic Logic 51 (4):866-868.
  43. Wilfrid Hodges (1986). [Introduction]. Journal of Symbolic Logic 51 (4):865.
    We consider two formalisations of the notion of a compositionalsemantics for a language, and find some equivalent statements in termsof substitutions. We prove a theorem stating necessary and sufficientconditions for the existence of a canonical compositional semanticsextending a given partial semantics, after discussing what features onewould want such an extension to have. The theorem involves someassumptions about semantical categories in the spirit of Husserl andTarski.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  44. Wilfrid Hodges (1985). Truth in a Structure. Proceedings of the Aristotelian Society 86:135 - 151.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Stephen Blamey, Julie Jack, A. W. Moore & Wilfrid Hodges (1982). Logic Exercises for Use in Conjunction with Hodges' Logic. Sub-Faculty of Philosophy [University of Oxford].
  46. Wilfrid Hodges & Saharon Shelah (1981). Infinite Games and Reduced Products. Annals of Mathematical Logic 20 (1):77-108.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Wilfrid Hodges (1980). Constructing Pure Injective Hulls. Journal of Symbolic Logic 45 (3):544-548.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  48. Rosalind Hursthouse, Janet Radcliffe Richards, Tom Sorell & Wilfrid Hodges (1980). Formal Logic a Workbook.
  49. Wilfrid Hodges (1978). Reviews. [REVIEW] British Journal for the Philosophy of Science 29 (2):207-208.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 60