Order:
  1. Model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   144 citations  
  2. Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.
    We describe a logic which is the same as first-order logic except that it allows control over the information that passes down from formulas to subformulas. For example the logic is adequate to express branching quantifiers. We describe a compositional semantics for this logic; in particular this gives a compositional meaning to formulas of the 'information-friendly' language of Hintikka and Sandu. For first-order formulas the semantics reduces to Tarski's semantics for first-order logic. We prove that two formulas have the same (...)
    Direct download  
     
    Export citation  
     
    Bookmark   140 citations  
  3.  70
    (1 other version)[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 (10 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  4. Truth in a Structure.Wilfrid Hodges - 1986 - Proceedings of the Aristotelian Society 86:135 - 151.
    Wilfrid Hodges; VIII*—Truth in a Structure, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 135–152, https://doi.org/10.1093/ari.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  5. 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 (4 more)  
     
    Export citation  
     
    Bookmark   59 citations  
  6. Tarski's truth definitions.Wilfrid Hodges - forthcoming - Stanford Encyclopedia of Philosophy.
     
    Export citation  
     
    Bookmark   22 citations  
  7.  50
    Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
  8.  50
    Elementary Predicate Logic.Wilfrid Hodges, D. Gabbay & F. Guenthner - 1989 - Journal of Symbolic Logic 54 (3):1089-1090.
  9.  77
    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 (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  10.  66
    Some combinatorics of imperfect information.Peter Cameron & Wilfrid Hodges - 2001 - Journal of Symbolic Logic 66 (2):673-684.
  11. (2 other versions)An editor recalls some hopeless papers.Wilfrid Hodges - 1998 - Bulletin of Symbolic Logic 4 (1):1-16.
    §1. Introduction. I dedicate this essay to the two-dozen-odd people whose refutations of Cantor's diagonal argument have come to me either as referee or as editor in the last twenty years or so. Sadly these submissions were all quite unpublishable; I sent them back with what I hope were helpful comments. A few years ago it occurred to me to wonder why so many people devote so much energy to refuting this harmless little argument—what had it done to make them (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  12.  38
    Two Early Arabic Applications of Model-Theoretic Consequence.Wilfrid Hodges - 2018 - Logica Universalis 12 (1-2):37-54.
    We trace two logical ideas further back than they have previously been traced. One is the idea of using diagrams to prove that certain logical premises do—or don’t—have certain logical consequences. This idea is usually credited to Venn, and before him Euler, and before him Leibniz. We find the idea correctly and vigorously used by Abū al-Barakāt in 12th century Baghdad. The second is the idea that in formal logic, P logically entails Q if and only if every model of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  13.  37
    A Correctness Proof for Al-Barakāt’s Logical Diagrams.Wilfrid Hodges - 2023 - Review of Symbolic Logic 16 (2):369-384.
    In Baghdad in the mid twelfth century Abū al-Barakāt proposes a radical new procedure for finding the conclusions of premise-pairs in syllogistic logic, and for identifying those premise-pairs that have no conclusions. The procedure makes no use of features of the standard Aristotelian apparatus, such as conversions or syllogistic figures. In place of these al-Barakāt writes out pages of diagrams consisting of labelled horizontal lines. He gives no instructions and no proof that the procedure will yield correct results. So the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  62
    Logic.Wilfrid Hodges - 1977 - New York: 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 (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  15.  54
    Ibn sīnā on reductio ad absurdum.Wilfrid Hodges - 2017 - Review of Symbolic Logic 10 (3):583-601.
    Ibn Sīnā proposed an analysis of arguments by reductio ad absurdum. His analysis contains, perhaps for the first time, a workable method for handling the making and discharging of assumptions in a formal proof. We translate the relevant text of Ibn Sīnā and put his analysis into the context of his general approach to logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Logic.W. Hodges - 1980 - Tijdschrift Voor Filosofie 42 (4):830-830.
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  17.  52
    Tarski's theory of definition.Wilfrid Hodges - 2008 - In Douglas Patterson (ed.), New essays on Tarski and philosophy. New York: Oxford University Press. pp. 94.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  18.  7
    Formalizing the relationship between meaning and syntax.Wilfrid Hodges - 2012 - In Markus Werning, Wolfram Hinzen & Edouard Machery (eds.), The Oxford Handbook of Compositionality. Oxford University Press. pp. 245-261.
    Linguists started to handle the semantics of linguistic constructions with the proper generality only in the twentieth century. Leonard Bloomfield approaches the notion of a construction via the notion of a constituent. A “constituent” of a linguistic form e is a linguistic form, which occurs in e and also in some other linguistic form. It is an “immediate constituent” of e if it appears at the first level in the analysis of the form into ultimate constituents. A “construction” combines two (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  60
    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  
     
    Bookmark   11 citations  
  20.  42
    The logical content of theories of deduction.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353-354.
  21. 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  
     
    Bookmark   7 citations  
  22.  42
    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  
     
    Bookmark   9 citations  
  23.  36
    First-order model theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  68
    Introduction.Johan van Benthem, Helen Hodges & Wilfrid Hodges - 2007 - Topoi 26 (1):1-2.
  25.  25
    Omega-categoricity, relative categoricity and coordinatisation.Wilfrid Hodges, I. M. Hodkinson & Dugald Macpherson - 1990 - Annals of Pure and Applied Logic 46 (2):169-199.
  26.  52
    Set theory, model theory, and computability theory.Wilfrid Hodges - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: 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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  27. Remark on Al-Fārābī's missing modal logic and its effect on Ibn Sīnā.Wilfrid Hodges - 2019 - Eshare: An Iranian Journal of Philosophy 1 (3):39-73.
    We reconstruct as much as we can the part of al-Fārābī's treatment of modal logic that is missing from the surviving pages of his Long Commentary on the Prior Analytics. We use as a basis the quotations from this work in Ibn Sīnā, Ibn Rushd and Maimonides, together with relevant material from al-Fārābī's other writings. We present a case that al-Fārābī's treatment of the dictum de omni had a decisive effect on the development and presentation of Ibn Sīnā's modal logic. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  58
    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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29.  58
    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 (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  30.  19
    Infinite games and reduced products.W. Hodges - 1981 - Annals of Mathematical Logic 20 (1):77.
  31. Finitude and infinitude in the atomic calculus of individuals.Wilfrid Hodges & David K. Lewis - 1968 - Noûs 2 (4):405-410.
  32.  68
    I—Wilfrid Hodges: A Sceptical Look.Wilfrid Hodges - 2001 - Aristotelian Society Supplementary Volume 75 (1):17-32.
    [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 (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. 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  
     
    Bookmark   3 citations  
  34.  67
    Alfred Tarski and decidable theories.John Doner & Wilfrid Hodges - 1988 - Journal of Symbolic Logic 53 (1):20-35.
  35.  20
    Critical commentary on P. Johnson-Laird and R. Byrne,'Deduction'.Wilfrid Hodges - 1993 - Behavioral and Brain Sciences 16 (2):353.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  39
    Proofs as Cognitive or Computational: Ibn Sı̄nā’s Innovations.Wilfrid Hodges - 2018 - Philosophy and Technology 31 (1):131-153.
    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  
     
    Bookmark   1 citation  
  37.  68
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. A normal form for algebraic constructions II.W. Hodges - 1975 - Logique Et Analyse 18 (71):429.
     
    Export citation  
     
    Bookmark   3 citations  
  39.  41
    There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.
  40.  46
    How did Avicenna understand the Barcan formulas?Wilfrid Hodges - 2023 - Logic Journal of the IGPL 31 (6):1170-1191.
    In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every |$x$| necessarily |$\phi $|’ entails ‘Necessarily for every |$x$||$\phi $|’), and its converse. Since 2003, examination of early logical writings of Avicenna has clarified how he understood entailments between modal sentences, using his own new temporal language to provide a kind of semantics. In the light of that, Movahed’s claim for the Barcan formula needs (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  12
    Introduction.Johan Benthem, Helen Hodges & Wilfrid Hodges - 2007 - Topoi 26 (1):1-2.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  31
    (2 other versions)The Logic of Religion.Wilfrid Hodges - 1965 - Journal of Symbolic Logic 33 (2):312-313.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  62
    Classical Logic I: First‐Order Logic.Wilfrid Hodges - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 9–32.
    In its first meaning, a logic is a collection of closely related artificial languages. There are certain languages called first‐order languages, and together they form first‐order logic. In the same spirit, there are several closely related languages called modal languages, and together they form modal logic. Likewise second‐order logic, deontic logic and so forth.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  50
    The Origin and Nature of Language and Logic: Perspectives in Medieval Islamic, Jewish, and Christian Thought: N. Germann and S. Harvey, editors. Turnhout: Brepols, 2020. xiii +422 pp. €71,46, ISBN 978-2503588926.W. Hodges - 2021 - History and Philosophy of Logic 43 (2):183-186.
    This well-produced volume is the Proceedings of the Twentieth International Colloquium of the Société Internationale pour l'Étude de la Philosophie Médiévale, Freiburg im Breisgau 2014. Sixteen cha...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45. Alfred Tarski.Wilfrid Hodges - 1986 - Journal of Symbolic Logic 51 (4):866-868.
  46.  28
    (1 other version)Index of Authors of Volume 10.M. Aiello, D. Beaver, M. de Rijke, M. Egg, T. Fernando, C. Gardent, K. Hartmann, H. Hendriks, J. Hintikka & W. Hodges - 2001 - Journal of Logic, Language and Information 10 (525):525.
  47. Logic Exercises for Use in Conjunction with Hodges' Logic.Stephen Blamey, Julie Jack, A. W. Moore & Wilfrid Hodges - 1982 - Oxford University Press.
  48. Mathematical Logic.Ian Chiswell & Wilfrid Hodges - 2008 - Bulletin of Symbolic Logic 14 (2):265-267.
     
    Export citation  
     
    Bookmark   1 citation  
  49.  20
    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  
     
    Bookmark  
  50.  8
    Andrzej Mostowski and the Notion of a Model.Wilfrid Hodges - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 673-691.
    Model theory became an independent discipline within logic during the first half of the 1950s. Andrzej Mostowski made several distinctive contributions to this development through papers of his. Also his 1948 textbook of logic covers material in the foundations of model theory, and in 1966 he published a survey book with several chapters on model theory. We examine his choice of technical terms and concepts during this period, and we discuss a criticism made by Abraham Robinson of the coverage of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 87