74 found
Order:
  1.  49
    Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   51 citations  
  2.  7
    A Shorter Model Theory.Wilfrid Hodges - 2000 - Studia Logica 64 (1):133-134.
    Direct download  
     
    Export citation  
     
    My bibliography   26 citations  
  3.  81
    Formal Features of Compositionality.Wilfrid Hodges - 2001 - 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)  
     
    Export citation  
     
    My bibliography   18 citations  
  4. Traditional Logic, Modern Logic and Natural Language.Wilfrid Hodges - 2009 - 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)  
     
    Export citation  
     
    My bibliography  
  5.  8
    Logic and Games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
  6.  14
    Some Combinatorics of Imperfect Information.Peter Cameron & Wilfrid Hodges - 2001 - Journal of Symbolic Logic 66 (2):673-684.
  7.  43
    Introduction.Johan van Benthem, Helen Hodges & Wilfrid Hodges - 2007 - Topoi 26 (1):1-2.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  8.  11
    Tarski's Theory of Definition.Wilfrid Hodges - 2008 - In Douglas Patterson (ed.), New Essays on Tarski and Philosophy. Oxford University Press. pp. 94.
    Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  9.  23
    Truth in a Structure.Wilfrid Hodges - 1985 - Proceedings of the Aristotelian Society 86:135 - 151.
    Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  10. An Editor Recalls Some Hopeless Papers.Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1):1-16.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  14
    Logic.Wilfrid Hodges - 1977 - Penguin Books.
    From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a ...
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  12. Alfred Tarski.Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):866-868.
  13. [Introduction].Wilfrid Hodges - 1988 - 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)  
     
    Export citation  
     
    My bibliography  
  14.  12
    Compositionality is Not the Problem.Wilfrid Hodges - 1998 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  15.  16
    Dialogue Foundations.Wilfrid Hodges & Erik C. W. Krabbe - 2001 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  13
    Dependence of Variables Construed as an Atomic Formula.Jouko Väänänen & Wilfrid Hodges - 2010 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  5
    The Logical Content of Theories of Deduction.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353.
  18.  2
    Omega-Categoricity, Relative Categoricity and Coordinatisation.Wilfrid Hodges, I. M. Hodkinson & Dugald Macpherson - 1990 - Annals of Pure and Applied Logic 46 (2):169-199.
  19.  7
    Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
  20.  15
    The Laws of Distribution for Syllogisms.Wilfrid Hodges - 1998 - 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)  
     
    Export citation  
     
    My bibliography   2 citations  
  21.  14
    What Languages Have Tarski Truth Definitions?Wilfrid Hodges - 2004 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  22.  13
    First-Order Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23. Logic and Psychology', Guest Issue Of.Helen Hodges, Wilfrid Hodges & Johan van Benthem - forthcoming - Topoi.
  24.  2
    Infinite Games and Reduced Products.Wilfrid Hodges & Saharon Shelah - 1981 - Annals of Mathematical Logic 20 (1):77-108.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  21
    Dialogue Foundations: A Sceptical Look: Wilfrid Hodges.Wilfrid Hodges - 2001 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  10
    There Are Reasonably Nice Logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.
  27.  23
    Classical Logic I: First Order Logic.Wilfrid Hodges - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell.
  28.  35
    On Order-Types of Models.Wilfrid Hodges - 1972 - Journal of Symbolic Logic 37 (1):69-70.
  29. Western Logic.Wilfrid Hodges & Stephen Read - 2010 - 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.
     
    Export citation  
     
    My bibliography  
  30.  21
    Alfred Tarski and Decidable Theories.John Doner & Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):20-35.
  31.  15
    Set Theory, Model Theory, and Computability Theory.Wilfrid Hodges - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press. pp. 471.
    This chapter surveys set theory, model theory, and computability theory: how they first emerged from the foundations of mathematics, and how they have developed since. There are any amounts of mathematical technicalities in the background, but the chapter highlights those themes that have some philosophical resonance.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  32. 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]Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1).
  33.  42
    Finitude and Infinitude in the Atomic Calculus of Individuals.Wilfrid Hodges & David Lewis - 1968 - Noûs 2 (4):405-410.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  34.  13
    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]Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1):1-16.
  35.  1
    Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations.Wilfrid Hodges - forthcoming - Philosophy and Technology:1-23.
    We record the advances made by the eleventh century Persian logician Ibn Sina—known in the West as Avicenna—away from a purely cognitive view of proofs and towards a more computational view, and the kinds of consideration that led him to these advances. Some of Ibn Sina’s new logics, which stand somewhere between Aristotle’s categorical syllogisms and modern first-order logic, can serve as a kind of laboratory for testing what are the differences between Aristotelian and modern logic, and where these differences (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Review: Joseph M. Bochenski, The Logic of Religion. [REVIEW]Wilfrid Hodges - 1968 - Journal of Symbolic Logic 33 (2):312-313.
  37.  10
    Tarski's Truth Definitions.Wilfrid Hodges - forthcoming - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  24
    Jaakko Hintikka, the Principles of Mathematics Revisited.Wilfrid Hodges - 1997 - Journal of Logic, Language and Information 6 (4):457-460.
  39.  17
    A Symposium on Hilbert's Program.Wilfrid Hodges & Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):337.
  40.  17
    [Introduction].Wilfrid Hodges - 1986 - 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)  
     
    Export citation  
     
    My bibliography  
  41.  2
    1999 European Summer Meeting of the Association for Symbolic Logic.Wilfrid Hodges - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.
  42.  6
    Dialogue Protocols for Formal Fallacies: A Reply to Kacprzak and Yaskorska.Wilfrid Hodges - 2014 - 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)  
     
    Export citation  
     
    My bibliography  
  43.  8
    Constructing Pure Injective Hulls.Wilfrid Hodges - 1980 - Journal of Symbolic Logic 45 (3):544-548.
  44.  2
    European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
  45.  1
    VIII—Truth in a Structure.Wilfrid Hodges - 1986 - Proceedings of the Aristotelian Society 86 (1):135-152.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46.  2
    Jacques Monod. Chance and Necessity—An Essay on the Natural Philosophy of Modern Biology. Pp. 187. [REVIEW]Wilfrid Hodges - 1975 - Religious Studies 11 (3):366.
  47.  4
    Book Reviews. [REVIEW]Wilfrid Hodges - 1994 - Mind 103 (410):208-211.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  48.  1
    Logic for Mathematical Writing.Edmund Harriss & Wilfrid Hodges - 2007 - 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    Notes on the History of Scope. [REVIEW]Wilfrid Hodges - 2015 - 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. pp. 215-240.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  1
    No Title Available: Religious Studies.Wilfrid Hodges - 1975 - Religious Studies 11 (3):366-368.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 74