Results for 'vivid demonstrative predicate'

355 found
Order:
  1. Indexical Realism by Inter-Agentic Reference.Daihyun Chung - 2017 - Journal of Philosophical Ideas (Seoul National University):3-33.
    I happen to believe that though human experiences are to be characterized as pluralistic they are all rooted in the one reality. I would assume the thesis of pluralism but how could I maintain my belief in the realism? There are various discussions in favor of realism but they appear to stay within a particular paradigm so to be called “internal realism”. In this paper I would try to justify my belief in the reality by discussing a special use of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  48
    Ostension and Demonstrative Reference.Gheorghe Stefanov - 2014 - Romanian Journal of Analytic Philosophy 8 (2):7-22.
    Abstract. The strong similarity between the use of ostension and that of a simple demonstrative to predicate something of an object seems to conflict with equally strong intuitions according to which, while “this” does usually refer to an object, the gesture of holding an object in your hand and showing it to an audience does not refer to the demonstrated object. This paper argues that the problem is authentic and provides a solution to it. In doing so, a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  61
    The Modified Predicate Theory of Proper Names.Sarah Sawyer - 2009 - In New Waves in Philosophy of Language. London: Palgrave-Macmillan. pp. 206--225.
    This is a defence of the claim that names are predicates with a demonstrative element in their singular use.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  4. What Is the Role of Consciousness in Demonstrative Thought?Declan Smithies - 2011 - Journal of Philosophy 108 (1):5-34.
    Perception enables us to think demonstrative thoughts about the world around us, but what must perception be like in order to play this role? Does perception enable demonstrative thought only if it is conscious? This paper examines three accounts of the role of consciousness in demonstrative thought, which agree that consciousness is essential for demonstrative thought, but disagree about why it is. First, I consider and reject the accounts proposed by Gareth Evans in The Varieties of (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  5.  35
    Perception, Attention and Demonstrative Thought: In Defense of a Hybrid Metasemantic Mechanism.Felipe Nogueira de Carvalho - 2020 - Manuscrito: Revista Internacional de Filosofía 43 (2):16-53.
    Demonstrative thoughts are distinguished by the fact that their contents are determined relationally, via perception, rather than descriptively. Therefore, a fundamental task of a theory of demonstrative thought is to elucidate how facts about visual perception can explain how these thoughts come to have the contents that they do. The purpose of this paper is to investigate how cognitive psychology may help us solve this metasemantic question, through empirical models of visual processing. Although there is a dispute between (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6.  56
    A Role for the Prefrontal Cortex in Supporting Singular Demonstrative Reference.Felipe Nogueira de Carvalho & Albert Newen - 2019 - Journal of Consciousness Studies 26 (11-12):133-156.
    One of the most pressing questions concerning singular demonstrative mental contents is what makes their content singular: that is to say, what makes it the case that individual objects are the representata of these mental states. Many philosophers have required sophisticated intellectual capacities for singular content to be possible, such as the possession of an elaborate scheme of space and time. A more recent reaction to this strategy proposes to account for singular content solely on the basis of empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Perceptual Demonstrative Thought: A Property-Dependent Theory.Sean Crawford - 2020 - Topoi 39 (2):439-457.
    The paper presents a new theory of perceptual demonstrative thought, the property-dependent theory. It argues that the theory is superior to both the object-dependent theory (Evans, McDowell) and the object-independent theory (Burge).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Rigid and Flexible Quantification in Plural Predicate Logic.Lucas Champollion, Justin Bledin & Haoze Li - forthcoming - Semantics and Linguistic Theory 27.
    Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Visual Experience & Demonstrative Thought.Thomas Raleigh - 2011 - Disputatio 4 (30):69-91.
    I raise a problem for common-factor theories of experience concerning the demonstrative thoughts we form on the basis of experience. Building on an insight of Paul Snowdon 1992, I argue that in order to demonstratively refer to an item via conscious awareness of a distinct intermediary the subject must have some understanding that she is aware of a distinct intermediary. This becomes an issue for common-factor theories insofar as it is also widely accepted that the general, pre-philosophical or ‘naïve’ (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Existence Predicate.Reinhard Muskens - 1993 - In R. E. Asher & J. M. Y. Simpson (eds.), The Encyclopedia of Language and Linguistics. Oxford: Pergamon. pp. 1191.
    Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Demonstrative Thought: A Pragmatic View.Felipe Nogueira de Carvalho - 2016 - Berlim, Alemanha: De Gruyter.
    How can we explain our capacity to think about particulars in our external environment? Many philosophers have answered this question in terms of a sophisticated conception of space and time and the movement of objects therein. A more recent reaction against this view sought to explain this capacity solely in terms of perceptual mechanisms of object individuation. Neither explanation remains fully satisfactory. This book argues for a more desirable middle ground in terms of a pragmatist approach to demonstrative thought, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  80
    A Simple Theory Containing its Own Truth Predicate.Nicholas Shackel - 2018 - South American Journal of Logic 4 (1):121-131.
    Tarski's indefinability theorem shows us that truth is not definable in arithmetic. The requirement to define truth for a language in a stronger language (if contradiction is to be avoided) lapses for particularly weak languages. A weaker language, however, is not necessary for that lapse. It also lapses for an adequately weak theory. It turns out that the set of G{\"o}del numbers of sentences true in arithmetic modulo $n$ is definable in arithmetic modulo $n$.
    Download  
     
    Export citation  
     
    Bookmark  
  13.  56
    Demonstrative Paradigms in English and Ibibio: Some Contrastive Observations.Maria-Helen Ekah - 2018 - Journal of Arts and Humanities 7 (5).
    This paper describes demonstrative paradigms in English and Ibibio based on their syntactic and semantic behaviours, especially with English as the language of education in Nigeria. This study is anchored on Chomsky (1986) generative grammar paradigm to explain the structures of demonstratives in the two languages and argues that the structures resemble and differ from each other in some respects and gives possible linguistic implications for Ibibio speakers of English. While data for English were extracted from English grammar texts, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  15. Nonconceptual Demonstrative Reference.Athanassius Raftopoulos & Vincent Muller - 2006 - Philosophy and Phenomenological Research 72 (2):251-285.
    The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  16.  93
    Interpreting the Compositional Truth Predicate in Models of Arithmetic.Cezary Cieslinski - manuscript
    We present a construction of a truth class (an interpretation of a compositional truth predicate) in an arbitrary countable recursively saturated model of first-order arithmetic. The construction is fully classical in that it employs nothing more than the classical techniques of formal proof theory.
    Download  
     
    Export citation  
     
    Bookmark  
  17. Why is a Truth-Predicate Like a Pronoun?Arvid Båve - 2009 - Philosophical Studies 145 (2):297 - 310.
    I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  58
    Kaplan's Sloppy Thinker and the Demonstrative Origine of Indeicals.Carlo Penco & Guido Borghi - 2018 - Quaderni di Semantica:137-157.
    In this paper we give some suggestions from etymology on the contrast between Kaplan’s direct reference theory and a neo-Fregean view on indexicals. After a short summary of the philosophical debate on indexicals (§1), we use some remarks about the hidden presence of a demonstrative root in all indexicals to derive some provisional doubts concerning Kaplan’s criticism of what he calls “sloppy thinker” (§2). To support those doubts, we will summarise some etymological data on the derivation of the so-called (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Hegel on Singular Demonstrative Reference.Gilbert Plumer - 1980 - Southwestern Journal of Philosophy 11 (2):71-94.
    The initial one-third of the paper is devoted to exposing the first chapter (“Sense-Certainty”) of Hegel’s PHENOMENOLOGY OF SPIRIT as a thesis about reference, viz., that singular demonstrative reference is impossible. In the remainder I basically argue that such a view commits one to radically undermining our conceptions of space, time, and substance (concrete individuality), and rests on the central mistake of construing <this> on the model of a predicable (or property).
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Demonstrative Induction and the Skeleton of Inference.P. D. Magnus - 2008 - International Studies in the Philosophy of Science 22 (3):303-315.
    It has been common wisdom for centuries that scientific inference cannot be deductive; if it is inference at all, it must be a distinctive kind of inductive inference. According to demonstrative theories of induction, however, important scientific inferences are not inductive in the sense of requiring ampliative inference rules at all. Rather, they are deductive inferences with sufficiently strong premises. General considerations about inferences suffice to show that there is no difference in justification between an inference construed demonstratively or (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. From Syllogism to Predicate Calculus.Thomas J. McQuade - 1994 - Teaching Philosophy 17 (4):293-309.
    The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Demonstrative Sense and Rigidity.Vojislav Bozickovic - 1993 - Philosophical Papers 22 (2):123-133.
    It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.
    Download  
     
    Export citation  
     
    Bookmark  
  23.  95
    Is Socrates A Predicate?Richard Brian Davis - 2006 - Metaphysica 7 (2).
    In his Moderate Realism and Its Logic (Yale, 1996), Donald Mertz argues that the traditional ontology of nonpredicable substances and predicable universals is beset by “intractable problems,” “harbors an insidious error,” and constitutes a “stumbling block” for the ontologist. By contrast, a onecategory ontology consisting of relation instances (and combinations thereof) is sustainable, and indeed the only way of avoiding commitment to bare particulars. The success of the project turns on Mertz’s claim that every relation instance has a linking aspect, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  80
    Formalizing Self-Reference Paradox Using Predicate Logic.Pete Olcott - manuscript
    We begin with the hypothetical assumption that Tarski’s 1933 formula ∀ True(x) φ(x) has been defined such that ∀x Tarski:True(x) ↔ Boolean-True. On the basis of this logical premise we formalize the Truth Teller Paradox: "This sentence is true." showing syntactically how self-reference paradox is semantically ungrounded.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25.  87
    Fore- and Background in Conscious Non-Demonstrative Inference.Anders Nes - 2020 - In Anders Nes & Timothy Chan (eds.), Inference and Consciousness. London: Routledge. pp. 199-228.
    It is often supposed one can draw a distinction, among the assumptions on which an inference rests, between certain background assumptions and certain more salient, or foregrounded, assumptions. Yet what may such a fore-v-background structure, or such structures, consist it? In particular, how do they relate to consciousness? According to a ‘Boring View’, such structures can be captured by specifying, for the various assumptions of the inference, whether they are phenomenally conscious, or access conscious, or else how easily available they (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26.  65
    On the Pre-Demonstrative (Hoti) Conception of Lunar Eclipse in Posterior Analytics B 8.Wellington Damasceno de Almeida - 2019 - Journal of Ancient Philosophy 13 (2):96-108.
    My aim is to show that, in Posterior Analytics B 8, the conception of lunar eclipse brought about by pre-demonstrative knowledge (hoti) is deeply vague and radically different from the one obtained by demonstrative knowledge (dioti).
    Download  
     
    Export citation  
     
    Bookmark  
  27. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  28. The Concept of Truth and the Semantics of the Truth Predicate.Kirk Ludwig & Emil Badici - 2007 - Inquiry: An Interdisciplinary Journal of Philosophy 50 (6):622-638.
    We sketch an account according to which the semantic concepts themselves are not pathological and the pathologies that attend the semantic predicates arise because of the intention to impose on them a role they cannot fulfill, that of expressing semantic concepts for a language that includes them. We provide a simplified model of the account and argue in its light that (i) a consequence is that our meaning intentions are unsuccessful, and such semantic predicates fail to express any concept, and (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. Deflationism: A Use-Theoretic Analysis of the Truth-Predicate.Arvid Båve - 2006 - Dissertation, Stockholm University
    I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 is (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  30. Singular Truth-Ascriptions: Truth-Operator Vs. Truth-Predicate.Dolf Rami - manuscript
    In this paper I am concerned with the semantic analysis of sentences of the form 'It is true that p'. I will compare different proposals that have been made to analyse such sentences and will defend a view that treats this sentences as a mere sytactic variation of sentences of the form 'That p is true'.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  88
    Chapter 3: The Semantics of Special Quantifiers in Predicate Position.Friederike Moltmann - 2013 - In Abstract Objects and the semantics of Natural Language. Oxford: Oxford University Press.
    This chapter argues that special quantifiers such as 'something' when occurring in argument position are not ordinary or substitutional quantifiers; rather they have a reifying force introducing a domain of tropes or kinds of tropes to quantify over.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Japanese Passives and Quantification in Predicate Position.Takashi Iida - 2011 - Philosophia Osaka 6:15-40.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Names Are Predicates.Delia Graff Fara - 2015 - Philosophical Review 124 (1):59-117.
    One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  34. A Language for Ontological Nihilism.Catharine Diehl - 2018 - Ergo: An Open Access Journal of Philosophy 5:971-996.
    According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Kant on the Ontological Argument.Ian Proops - 2015 - Noûs 49 (1):1-27.
    The article examines Kant's various criticisms of the broadly Cartesian ontological argument as they are developed in the Critique of Pure Reason. It is argued that each of these criticisms is effective against its intended target, and that these targets include—in addition to Descartes himself—Leibniz, Wolff, and Baumgarten. It is argued that Kant's most famous criticism—the charge that being is not a real predicate—is directed exclusively against Leibniz. Kant's argument for this thesis—the argument proceeding from his example of a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Reading the Book of the World.Thomas Donaldson - 2015 - Philosophical Studies 172 (4):1051-1077.
    In Writing the Book of the World, Ted Sider argues that David Lewis’s distinction between those predicates which are ‘perfectly natural’ and those which are not can be extended so that it applies to words of all semantic types. Just as there are perfectly natural predicates, there may be perfectly natural connectives, operators, singular terms and so on. According to Sider, one of our goals as metaphysicians should be to identify the perfectly natural words. Sider claims that there is a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Positio contra complementum possibilitatis – Kant and Baumgarten on Existence.Toni Kannisto - 2016 - Kant-Studien 107 (2):291-313.
    In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify Kant’s elusive theory of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  38. Logicism, Possibilism, and the Logic of Kantian Actualism.Andrew Stephenson - 2017 - Critique.
    In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. The Deferred Ostension Theory of Quotation.Manuel Garcia-Carpintero - 2004 - Noûs 38 (4):674 - 692.
    I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  40. Kant and Frege on Existence.Toni Kannisto - 2018 - Synthese (8):01-26.
    According to what Jonathan Bennett calls the Kant–Frege view of existence, Frege gave solid logical foundations to Kant’s claim that existence is not a real predicate. In this article I will challenge Bennett’s claim by arguing that although Kant and Frege agree on what existence is not, they agree neither on what it is nor on the importance and justification of existential propositions. I identify three main differences: first, whereas for Frege existence is a property of a concept, for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Cartesian Analyticity.Jesús A. Díaz - 1988 - Southern Journal of Philosophy 26 (1):47-55.
    The syllogism and the predicate calculus cannot account for an ontological argument in Descartes' Fifth Meditation and related texts. Descartes' notion of god relies on the analytic-synthetic distinction, which Descartes had identified before Leibniz and Kant did. I describe how the syllogism and the predicate calculus cannot explain Descartes' ontological argument; then I apply the analytic-synthetic distinction to Descartes’ idea of god.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. How We Naturally Reason.Fred Sommers - manuscript
    In the 17th century, Hobbes stated that we reason by addition and subtraction. Historians of logic note that Hobbes thought of reasoning as “a ‘species of computation’” but point out that “his writing contains in fact no attempt to work out such a project.” Though Leibniz mentions the plus/minus character of the positive and negative copulas, neither he nor Hobbes say anything about a plus/minus character of other common logical words that drive our deductive judgments, words like ‘some’, ‘all’, ‘if’, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A Syncretistic Theory of Proper Names.Alberto Voltolini - 2016 - In A. Bianchi, V. Morato & G. Spolaore (eds.), The Importance of Being Ernesto. Reference, Truth and Logical Form. Padova University Press. pp. 141-164.
    In this paper, I want to show that, far from being incompatible, a Predicate Theory of proper names and the Direct Reference thesis can be combined in a syncretistic account. There are at least three plausible such accounts – one which compares proper names in their referential use to referentially used proper definite descriptions, another one that compares them in this use to demonstratives, and a third one which, although it is as indexicalist as the second one, conceives proper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44.  61
    The Concept of Truth.Boris Čulina - 2001 - Synthese 126 (1-2):339 - 360.
    On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  45.  22
    VALIDITY: A Learning Game Approach to Mathematical Logic.Steven James Bartlett - 1973, 1974, 2014 - Hartford, CT: Lebon Press.
    The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Minimal Type Theory (MTT).Pete Olcott - manuscript
    Minimal Type Theory (MTT) is based on type theory in that it is agnostic about Predicate Logic level and expressly disallows the evaluation of incompatible types. It is called Minimal because it has the fewest possible number of fundamental types, and has all of its syntax expressed entirely as the connections in a directed acyclic graph.
    Download  
     
    Export citation  
     
    Bookmark  
  47.  42
    Theories of Truth for Countable Languages Which Conform to Classical Logic.Seppo Heikkilä - forthcoming - Nonlinear Studies.
    Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.
    Download  
     
    Export citation  
     
    Bookmark  
  48. A Mathematical Theory of Truth and an Application to the Regress Problem.S. Heikkilä - forthcoming - Nonlinear Studies 22 (2).
    In this paper a class of languages which are formal enough for mathematical reasoning is introduced. Its languages are called mathematically agreeable. Languages containing a given MA language L, and being sublanguages of L augmented by a monadic predicate, are constructed. A mathematical theory of truth (shortly MTT) is formulated for some of those languages. MTT makes them fully interpreted MA languages which posses their own truth predicates. MTT is shown to conform well with the eight norms formulated for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Thinking Through Illusion.Dominic Alford‐Duguid - forthcoming - European Journal of Philosophy.
    Perception of a property (e.g. a colour, a shape, a size) can enable thought about the property, while at the same time misleading the subject as to what the property is like. This long-overlooked claim parallels a more familiar observation concerning perception-based thought about objects, namely that perception can enable a subject to think about an object while at the same time misleading her as to what the object is like. I defend the overlooked claim, and then use it to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  44
    How to Conquer the Liar - an Informal Exposition.Boris Culina - manuscript
    This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as paradoxes that were invented as counter-arguments for various proposed solutions to the paradoxes of truth (``revenges of the Liar''). Also, one erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 355