110 Results for : predicate

  • Thumbnail
    Dirk van Dalen's popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel's famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen's natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-contained and provides a systematic exposition of the necessary recursion theory. This new edition has been properly revised and contains a new section on ultra-products.
    • Shop: buecher
    • Price: 54.99 EUR excl. shipping
  • Thumbnail
    This volume draws together work by David Wiggins on topics to do with language, meaning, truth, and the limit of semantic analysis, from 1980 to 2020. Each chapter draws upon previously published material, but that material has been revised, sometimes significantly, for republication here. Opening with a selective account of a century's work in the philosophy of meaning, from Frege and Wittgenstein to the late twentieth century, the book engages first with the nuts and bolts of sentence-construction: predicates and the copula, quantifiers, names, existence treated as a second-level predicate, and adverbial modification. The following five chapters then treat of definition and (as dreamt of by Leibniz and others) the terminus of semantic analysis; the idea of natural languages as real things with a history; the idea of truth conceived as correlative with inquiry (C. S. Peirce) and, finally, the properties we look for in truth itself-the marks, as Frege or Leibniz might have said, of the concept true.
    • Shop: buecher
    • Price: 44.95 EUR excl. shipping
  • Thumbnail
    A New Perspective on Antisthenes ab 211.99 € als pdf eBook: Logos Predicate and Ethics in his Philosophy. 1. Auflage. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Philosophie,
    • Shop: hugendubel
    • Price: 211.99 EUR excl. shipping
  • Thumbnail
    The Logic System of Concept Graphs with Negation ab 58.99 € als pdf eBook: And Its Relationship to Predicate Logic. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik,
    • Shop: hugendubel
    • Price: 58.99 EUR excl. shipping
  • Thumbnail
    Many attempts have been made to solve Hume's problem. However, the assumptions leading to the problem have remained largely unnoticed. Moreover, since Goodman introduced the predicate grue , philosophers without relevant mathematical education have been confused. In addition, various delusive arguments from convergence have been presented. In this book, it is maintained that knowledge has to be feasible and relevant and that several solutions fail to meet that demand. It is argued that the crucial presupposition of the problem of induction is that clairvoyance is impossible and that this presupposition is unproved. Generalized Goodman predicates are introduced. To criticize arguments from convergence, the notion of undecided game is introduced. A relationship between Zeno's paradox and the problem of induction is revealed. A distincion between do not know and cannot know is consistently held. It is concluded that, as yet, we do not know the future and that it is impossible to prove that it is impossible to know the future. This book should be useful to professionals in epistemology and philosophy of science, and might be of interest to logicians and mathematicians.
    • Shop: buecher
    • Price: 40.99 EUR excl. shipping
  • Thumbnail
    Agreement In Modern Greek Coordinate Noun Phrases ab 94.99 € als Taschenbuch: Analysing Predicate-Argument Head-Modifier and Disjunctive Agreement in Modern Greek Coordinate Noun Phrases. Aus dem Bereich: Bücher, Wissenschaft, Sprachwissenschaft,
    • Shop: hugendubel
    • Price: 94.99 EUR excl. shipping
  • Thumbnail
    Psychological Problems and Their Big Deceptions ab 31.99 € als epub eBook: Introducing Predicate-Equating Cognition Metaphorical Communications and the Unconscious Entity. Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Psychologie & Psychiatrie,
    • Shop: hugendubel
    • Price: 31.99 EUR excl. shipping
  • Thumbnail
    Studies in the Modern Russian Language ab 45.49 € als Taschenbuch: 4. the Expression of the Passive Voice and 5. Agreement of the Verb-Predicate with a Collective Subject. Aus dem Bereich: Bücher, English, International, Englische Taschenbücher,
    • Shop: hugendubel
    • Price: 45.49 EUR excl. shipping
  • Thumbnail
    This Leibniz collection contains some of the philosopher’s most important works and ideas, spans three decades and illuminates the fascinating intellectual journey undertaken by him in his quest for truth. A prodigious polymath, Leibniz was a mathematician, philosopher, physicist and statesman and engaged with a sweeping range of ideas and disciplines, striving throughout his life to be at the cutting edge of scientific thinking. These Principal Essays are arranged in chronological order. ‘Thoughts on Knowledge, Truth and Ideas’ (1684) was Leibniz’s first published paper on philosophical issues. In it he defined his concept of knowledge for the first time. In so doing, he criticised Descartes’ version of ontological truth and was undoubtedly prompted to do so by the appearance of Arnauld’s attack on Malebranche’s theory of knowledge in the ‘des vraies et des fausses idées’. He contrasts a priori and a posteriori reasoning, considers the nature and role of logic in reasoning and offers a clear overview of his epistemology. The preoccupation with being able to distinguish between truth and falsity was nothing new in the 17th century and yet is something that remains as relevant and essential today as when it was written. The ‘Discourse on Metaphysics’ (1684) is the first explicit exposition of the nature of Leibnizian reasoning with its two principal pillars: sufficient reason and contradiction being shored up by the principle of the best, the principle of continuity, the predicate-in-notion principle and the principle of the identity of indescernibles. From these principles he would derive his notion that a perfect God created ‘the best of all possible worlds.’ In ‘A New System’ (1695) Leibniz presents a five step argument for pre-established harmony wherein he rigorously opposes Cartesian dualistic views of the mind body relationship and rejects materialistic conceptions of mind. He outlines his Dynamic Theory of Motion and argues tha ungekürzt. Language: English. Narrator: Charles Armstrong. Audio sample: https://samples.audible.de/bk/dhrm/000243/bk_dhrm_000243_sample.mp3. Digital audiobook in aax.
    • Shop: Audible
    • Price: 9.95 EUR excl. shipping
  • Thumbnail
    The Full Grammar Course provides everything that a student and parent or teacher will need for their first full year of grammar study, starting with the most basic definitions and progressing all the way through advanced sentence structure and analysis-all the grammar skills needed to write and speak with eloquence and confidence. Grammar for the Well-Trained Mind is an innovative, effective grammar program that combines repetition with fresh exercises with the goal of grammar mastery. Students can start with any of the four Workbooks and Keys (Blue, Purple, Red, or Yellow) because they contain the same examples and combine with the Core Instructor Text for repeated instruction. Each Workbook includes brand-new exercises to help students master even the most complex grammar principles; its corresponding Key provides detailed answers and explanations to those exercises. Get as far as you can with your student(s) in one year with one Workbook, and start again the following year with any other Workbook and Key (now available in bundled together for repeat buyers!). Included in this Bundle: The Core Instructor Text (Paperback) provides scripted dialogue for the instructor, along with notes to explain difficult concepts--four lessons per week, thirty-six weeks and regular review assignments. (No expertise required!) The Blue Student Workbook contains explanations, rules, illustrations, and exercises for each lesson, with sentences and examples drawn from real published books--classic literature, science, history, and more. The Key to Blue Workbook provides all answers to exercises, with explanations as needed. The Grammar Guidebook assembles into one handy reference work every rule and principle taught in the course. Each rule is illustrated with examples from classic and contemporary works of literature, science, history, and mathematics. This guidebook will become the student's indispensable guide through high school, into college and beyond. The Diagramming Dictionary organizes every diagramming skill covered in Grammar for the Well-Trained Mind into categories for easy reference--from basic subject/predicate layout through advanced sentence structure and analysis. Beautifully designed diagrams and color-coded examples walk students through how to place each and every part of the English sentence on the traditional diagramming framework.
    • Shop: buecher
    • Price: 99.99 EUR excl. shipping


Similar searches: