Results for 'Type shifting'

1000+ found
Order:
  1. Ten Men and Women Got Married Today: Noun Coordination and the Intersective Theory of Conjunction.Lucas Champollion - 2016 - Journal of Semantics 33 (3):561–622.
    The word 'and' can be used both intersectively, as in 'John lies and cheats', and collectively, as in 'John and Mary met'. Research has tried to determine which one of these two meanings is basic. Focusing on coordination of nouns ('liar and cheat'), this article argues that the basic meaning of 'and' is intersective. This theory has been successfully applied to coordination of other kinds of constituents (Partee & Rooth 1983; Winter 2001). Certain cases of noun coordination ('men and women') (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Parallel Experimentation: A Basic Scheme for Dynamic Efficiency.David Ellerman - 2014 - Journal of Bioeconomics 16 (3):259–287.
    Evolutionary economics often focuses on the comparison between economic competition and the process of natural selection to select the fitter members of a given population. But that neglects the other "half" of an evolutionary process, the mechanism for the generation of new possibilities that is key to dynamic efficiency. My topic is the process of parallel experimentation which I take to be a process of multiple experiments running concurrently with some form of common goal, with some semi-isolation between the experiments, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3.  69
    On Context Shifters and Compositionality in Natural Languages.Adrian Briciu - 2018 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 25 (1):2-20.
    My modest aim in this paper is to prove certain relations between some type of hyper-intensional operators, namely context shifting operators, and compositionality in natural languages. Various authors (e.g. von Fintel & Matthewson 2008; Stalnaker 2014) have argued that context-shifting operators are incompatible with compositionality. In fact, some of them understand Kaplan’s (1989) famous ban on context-shifting operators as a constraint on compositionality. Others, (e.g. Rabern 2013) take contextshifting operators to be compatible with compositionality but, unfortunately, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Remarks on Definiteness in Warlpiri.Maria Bittner & Ken Hale - 1995 - In Emmon Bach, Eloise Jelinek, Angelika Kratzer & Barbara Partee (eds.), Quantification in Natural Languages. Kluwer Academic Publishers.
    In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Type-Identity Conditions for Phenomenal Properties.Simone Gozzano - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspective on Type Identity. The Mental and the Physical. Cambridge University Press. pp. 111-126.
    In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Peach Type Classification Using Deep Learning.Mohammed I. El-Kahlout & Samy S. Abu-Naser - 2020 - International Journal of Academic Engineering Research (IJAER) 3 (12):35-40.
    Abstract: Peach, (Prunus persica), fruit tree of the rose family (Rosaceae), grown throughout the warmer temperate regions of both the Northern and Southern hemispheres. Peaches are widely eaten fresh and are also baked in pies and cobblers; canned peaches are a staple commodity in many regions. Yellow-fleshed varieties are especially rich in vitamin A. Peach trees are relatively short-lived as compared with some other fruit trees. In some regions orchards are replanted after 8 to 10 years, while in others trees (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7.  22
    Slurs and the Type-Token Distinction of Their Derogatory Force.Chang Liu - 2019 - Rivista Italiana di Filosofia del Linguaggio 13 (2):63-72.
    Slurs are derogatory, and theories of slurs aim at explaining their “derogatory force”. This paper draws a distinction between the type derogatory force and the token derogatory force of slurs. To explain the type derogatory force is to explain why a slur is a derogatory word. By contrast, to explain the token derogatory force is to explain why an utterance of a slur is derogatory. This distinction will be defended by examples in which the type and the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. What Type of Type I Error? Contrasting the Neyman–Pearson and Fisherian Approaches in the Context of Exact and Direct Replications.Mark Rubin - forthcoming - Synthese:1-26.
    The replication crisis has caused researchers to distinguish between exact replications, which duplicate all aspects of a study that could potentially affect the results, and direct replications, which duplicate only those aspects of the study that are thought to be theoretically essential to reproduce the original effect. The replication crisis has also prompted researchers to think more carefully about the possibility of making Type I errors when rejecting null hypotheses. In this context, the present article considers the utility of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Fine-Grained Type-Free Intensionality.George Bealer - 1989 - In Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.), Properties, Types, and Meaning, Volume 1. Kluwer Academic Publishers. pp. 177-230.
    Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  40
    Grape Type Classification Using Deep Learning.Hosni Qasim El-Mashharawi, Samy S. Abu-Naser, Izzeddin A. Alshawwa & Mohammed Elkahlout - 2020 - International Journal of Academic Engineering Research (IJAER) 3 (12):41-45.
    Abstract: A grape is a fruit, botanically a berry, of the deciduous woody vines of the flowering plant genus Vitis. it can be eaten fresh or they can be used for making jam, grape juice, jelly, grape seed extract, raisins, and grape seed oil. Grapes are a nonclimacteric type of fruit, generally occurring in clusters. Grapes are a type of fruit that grow in clusters of 15 to 300, and can be crimson, black, dark blue, yellow, green, orange, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Meanings of Word: Type-Occurrence-Token.John Corcoran - 2005 - Bulletin of Symbolic Logic 11 (1):117.
    Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. A Type-Theoretical Approach for Ontologies: The Case of Roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied Ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. The Logic of Joint Ability in Two-Player Tacit Games.Peter Hawke - 2017 - Review of Symbolic Logic 10 (3):481-508.
    Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Type Physicalism and Causal Exclusion.Joseph A. Baltimore - 2013 - Journal of Philosophical Research 38:405-418.
    While concerns of the mental being causally excluded by the physical have persistently plagued non-reductive physicalism, such concerns are standardly taken to pose no problem for reductive type physicalism. Type physicalists have the obvious advantage of being able to countenance the reduction of mental properties to their physical base properties by way of type identity, thereby avoiding any causal competition between instances of mental properties and their physical bases. Here, I challenge this widely accepted advantage of (...) physicalism over non-reductive physicalism in avoiding the causal exclusion of the mental. In particular, I focus on Jaegwon Kim’s influential version of the causal exclusion argument, namely, his supervenience argument. I argue that type physicalism’s advantage is undermined by the following two things: (1) the generalizability of the supervenience argument, and (2) type physicalism’s incompatibility with mental properties at the fundamental level. This involves evaluating the generalization objection to the supervenience argument, probing the metaphysics of physicalism, and showing how (1) and (2) combine in a way that appears underappreciated given the general confidence in type physicalism’s advantage. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Chalmers's Master Argument and Type Bb Physicalism.Sam Coleman - manuscript
    Chalmers has provided a dilemmatic master argument against all forms of the phenomenal concept strategy. This paper explores a position that evades Chalmers's argument, dubbed Type Bb: it is for Type B physicalists who embrace horn b of Chalmers's dilemma. The discussion concludes that Chalmers fails to show any incoherence in the position of a Type B physicalist who depends on the phenomenal concept strategy.
    Download  
     
    Export citation  
     
    Bookmark  
  16. The Semantics of Contextual Shifting and Sensitivity.Brian Rabern - 2012 - Dissertation, The Australian National University
    This thesis argues for two main points concerning the philosophy of natural language semantics. Firstly, that the objects of assertion are distinct from the entities appealed to in the compositional rules of natural language semantics. Secondly, natural languages contain context-shifting operators known as "monsters". In fact, it will be shown that these theses are simply two sides of the same coin.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  1
    Grape Type Classification Using Deep Learning.Hosni Qasim El-Mashharawi, Samy S. Abu-Naser, Izzeddin A. Alshawwa & Mohammed Elkahlout - 2020 - International Journal of Academic Engineering Research (IJAER) 3 (12):41-45.
    Abstract: A grape is a fruit, botanically a berry, of the deciduous woody vines of the flowering plant genus Vitis. it can be eaten fresh or they can be used for making jam, grape juice, jelly, grape seed extract, raisins, and grape seed oil. Grapes are a nonclimacteric type of fruit, generally occurring in clusters. Grapes are a type of fruit that grow in clusters of 15 to 300, and can be crimson, black, dark blue, yellow, green, orange, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  88
    The Cow is to Be Tied Up: Sort-Shifting in Classical Indian Philosophy.Keating Malcolm - 2013 - History of Philosophy Quarterly 30 (4):311-332.
    This paper undertakes textual exegesis and rational reconstruction of Mukula Bhaṭṭa’s Abhidhā-vṛttta-mātṛkā, or “The Fundamentals of the Communicative Function.” The treatise was written to refute Ānandavardhana’s claim, made in the Dhvanyāloka, that there is a third “power” of words, vyañjanā (suggestion), beyond the two already accepted by traditional Indian philosophy: abhidhā (denotation) and lakṣaṇā(indication).1 I argue that the explanation of lakṣaṇā as presented in his text contains internal tensions, although it may still be a compelling response to Ānandavardhana.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  19. A Type of Simulation Which Some Experimental Evidence Suggests We Don't Live In.Samuel Alexander - 2018 - The Reasoner 12 (7):56-56.
    Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.
    Download  
     
    Export citation  
     
    Bookmark  
  20. 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  
  21.  66
    Minimal Type Theory (YACC BNF).Pete Olcott - manuscript
    This is the formal YACC BNF specification for Minimal Type Theory (MTT). MTT was created by augmenting the syntax of First Order Logic (FOL) to specify Higher Order Logic (HOL) expressions using FOL syntax. Syntax is provided to enable quantifiers to specify type. FOL is a subset of MTT. The ASSIGN_ALIAS operator := enables FOL expressions to be chained together to form HOL expressions.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  86
    Crushing Animals and Crashing Funerals: The Semiotics of Free Expression.Harold Anthony Lloyd - 2012 - First Amendment Law Review 12.
    With insights from philosophy of language and semiotics, this article addresses judicial choices and semantic errors involved in United States v. Stevens, 130 S.Ct. 1577 (2010) (refusing to read “killing” and “wounding” to include cruelty and thus striking down a federal statute outlawing videos of animal cruelty), and Snyder v. Phelps, 131 S.Ct. 1207 (2011) (finding a First Amendment right to picket military funerals and verbally attack parents of dead soldiers as part of purportedly-public expression). -/- This article maintains that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Provability with Minimal Type Theory.Pete Olcott - manuscript
    Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  76
    Copredication in Homotopy Type Theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. A Different Type of Individualism in Zhuangzi.Keqian Xu - 2011 - Dao: A Journal of Comparative Philosophy 10 (4):445-462.
    Although being widely considered as only a Western tradition, individualism is not absent in traditional Chinese philosophy and culture. In some of the classic Chinese philosophic works such as Zhuangzi, we can clearly identify some elements which can be appropriately attributed to “individualism”, such as the awareness of individual “self” as an independent and unique existence, advocating individual freedom and liberty, emphasizing on the value and dignity of individual life, favoring individuals’ autonomy and privacy, pursuing unconstrained development in personality and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26. Clause-Type, Force, and Normative Judgment in the Semantics of Imperatives.Nate Charlow - forthcoming - In Daniel Fogal Daniel Harris & Matt Moss (eds.), New Work on Speech Acts. Oxford University Press.
    I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Indexicals and Reference‐Shifting: Towards a Pragmatic Approach.Jonas Åkerman - 2017 - Philosophy and Phenomenological Research 95 (1):117-152.
    I propose a pragmatic approach to the kind of reference-shifting occurring in indexicals as used in e.g. written notes and answering machine messages. I proceed in two steps. First, I prepare the ground by showing that the arguments against such a pragmatic approach raised in the recent literature fail. Second, I take a first few steps towards implementing this approach, by sketching a pragmatic theory of reference-shifting, and showing how it can handle cases of the relevant kind. While (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. A Regularist Approach to Mechanistic Type-Level Explanation.Beate Krickel - 2017 - British Journal for the Philosophy of Science (4):00-00.
    Most defenders of the new mechanistic approach accept ontic constraints for successful scientific explanation (Illari 2013; Craver 2014). The minimal claim is that scientific explanations have objective truthmakers, namely mechanisms that exist in the physical world independently of any observer and that cause or constitute the phenomena-to- be-explained. How can this idea be applied to type-level explanations? Many authors at least implicitly assume that in order for mechanisms to be the truthmakers of type-level explanation they need to be (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. A Refutation of Goodman's Type‐Token Theory of Notation.John Dilworth - 2003 - Dialectica 57 (3):330-336.
    In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, word, or other (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. On an Alleged Truth/Falsity Asymmetry in Context Shifting Experiments.Nat Hansen - 2012 - Philosophical Quarterly 62 (248):530-545.
    Keith DeRose has argued that context shifting experiments should be designed in a specific way in order to accommodate what he calls a ‘truth/falsity asymmetry’. I explain and critique DeRose's reasons for proposing this modification to contextualist methodology, drawing on recent experimental studies of DeRose's bank cases as well as experimental findings about the verification of affirmative and negative statements. While DeRose's arguments for his particular modification to contextualist methodology fail, the lesson of his proposal is that there is (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  31. Periods in the Use of Euler-Type Diagrams.Jens Lemanski - 2017 - Acta Baltica Historiae Et Philosophiae Scientiarum 5 (1):50-69.
    Logicians commonly speak in a relatively undifferentiated way about pre-euler diagrams. The thesis of this paper, however, is that there were three periods in the early modern era in which euler-type diagrams (line diagrams as well as circle diagrams) were expansively used. Expansive periods are characterized by continuity, and regressive periods by discontinuity: While on the one hand an ongoing awareness of the use of euler-type diagrams occurred within an expansive period, after a subsequent phase of regression the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Novel Sequence Feature Variant Type Analysis of the HLA Genetic Association in Systemic Sclerosis.R. Karp David, Marthandan Nishanth, G. E. Marsh Steven, Ahn Chul, C. Arnett Frank, S. DeLuca David, D. Diehl Alexander, Dunivin Raymond, Eilbeck Karen, Feolo Michael & Barry Smith - 2009 - Human Molecular Genetics 19 (4):707-719.
    Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Property Theory: The Type-Free Approach V. The Church Approach.George Bealer - 1994 - Journal of Philosophical Logic 23 (2):139 - 171.
    In a lengthy review article, C. Anthony Anderson criticizes the approach to property theory developed in Quality and Concept (1982). That approach is first-order, type-free, and broadly Russellian. Anderson favors Alonzo Church’s higher-order, type-theoretic, broadly Fregean approach. His worries concern the way in which the theory of intensional entities is developed. It is shown that the worries can be handled within the approach developed in the book but they remain serious obstacles for the Church approach. The discussion focuses (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. Dissolving Type‐B Physicalism.Helen Yetter-Chappell - 2017 - Philosophical Perspectives 31 (1):469-498.
    The majority of physicalists are type-B physicalists – believing that the phenomenal-physical truths are only knowable a posteriori. This paper aims to show why this view is misguided. The strategy is to design an agent who (1) has full general physical knowledge, (2) has phenomenal concepts, and yet (3) is wired such that she would be in a position to immediately work out the phenomenal-physical truths. I argue that this derivation yields a priori knowledge. The possibility of such a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Dirac-Type Equations in a Gravitational Field, with Vector Wave Function.Mayeul Arminjon - 2008 - Foundations of Physics 38 (11):1020-1045.
    An analysis of the classical-quantum correspondence shows that it needs to identify a preferred class of coordinate systems, which defines a torsionless connection. One such class is that of the locally-geodesic systems, corresponding to the Levi-Civita connection. Another class, thus another connection, emerges if a preferred reference frame is available. From the classical Hamiltonian that rules geodesic motion, the correspondence yields two distinct Klein-Gordon equations and two distinct Dirac-type equations in a general metric, depending on the connection used. Each (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Why God's Beliefs Are Not Hard-Type Soft Facts.David Widerker - 2002 - Religious Studies 38 (1):77-88.
    John Fischer has attacked the Ockhamistic solution to the freedom–foreknowledge dilemma by arguing that: (1) God's prior beliefs about the future, though being soft facts about the past, are soft facts of a special sort, what he calls ‘hard-type soft facts’, i.e. soft facts, the constitutive properties of which are ‘hard’, or ‘temporally non-relational properties’; (2) in this respect, such facts are like regular past facts which are subject to the fixity of the past. In this paper, I take (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. New Directions in Type-Theoretic Grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
    This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  83
    Fraudulent Advertising: A Mere Speech Act or a Type of Theft?Pavel Slutskiy - unknown - Libertarian Papers 8.
    Libertarian philosophy asserts that only the initiation of physical force against persons or property, or the threat thereof, is inherently illegitimate. A corollary to this assertion is that all forms of speech, including fraudulent advertising, are not invasive and therefore should be considered legitimate. On the other hand, fraudulent advertising can be viewed as implicit theft under the theory of contract: if a seller accepts money knowing that his product does not have some of its advertised characteristics, he acquires the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. A Counter-Example to Theatrical Type Theories.John Dilworth - 2003 - Philosophia 31 (1-2):165-170.
    Plays, symphonies and other works in the performing arts are generally regarded, ontologically speaking, as being types, with individual performances of those works being regarded as tokens of those types. But I show that there is a logical feature of type theory which makes it impossible for such a theory to satisfactorily explain a 'double performance' case that I present: one in which a single play performance is actually a performance of two different plays. Hence type theories fail, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40.  37
    A Semantic Analysis of Russellian Simple Type Theory.Sten Lindström - 1986 - In Paul Needham & Jan Odelstad (eds.), Changing Positions, Essays Dedicated to Lars Lindahl on the Occassion of His Fiftieth Birthday. Uppsala:
    As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
    Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Reforming Indicated Type Theories.John Dilworth - 2005 - British Journal of Aesthetics 45 (1):11-31.
    There is some intuitive plausibility to the idea that composers create musical works by indicating sonic types in a historical context. But the idea is technically indefensible as it stands, requiring a thorough representational reform that also eliminates the type-theoretic commitments of current versions. On the reformed account, musical 'indication' is an operation of high level representational interpretation of concrete sounds, that can both explain the creativity of composers, and the often successful interpretations of their listeners. This approach also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43.  64
    On the Type-Token Relationships.Urszula Wybraniec-Skardowska - 1986 - Bulletin of the Section of Logic 15 (4):164-168.
    The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Belief and Credence: Why the Attitude-Type Matters.Elizabeth Jackson - 2019 - Philosophical Studies 176 (9):2477-2496.
    In this paper, I argue that the relationship between belief and credence is a central question in epistemology. This is because the belief-credence relationship has significant implications for a number of current epistemological issues. I focus on five controversies: permissivism, disagreement, pragmatic encroachment, doxastic voluntarism, and the relationship between doxastic attitudes and prudential rationality. I argue that each debate is constrained in particular ways, depending on whether the relevant attitude is belief or credence. This means that epistemologists should pay attention (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  45. Type of Grapefruit Classification Using Deep Learning.Mohammed M. Abu-Saqer, Samy S. Abu-Naser & Mohammed O. Al-Shawwa - 2020 - International Journal of Academic Information Systems Research (IJAISR) 4 (1):1-5.
    Fruit has been recognized as a good source of vitamins and minerals, and for their role in preventing vitamin C and vitamin A deficiencies. People who eat fruit as part of an overall healthy diet generally have a reduced risk of chronic diseases. Fruit are important sources of many nutrients, including potassium, fiber, vitamin C and folate (folic acid). One of important types of fruit is Grapefruit . Grapefruit is a tropical citrus fruit known its sweet and somewhat sour taste. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Type of Tomato Classification Using Deep Learning.Mahmoud A. Alajrami & Samy S. Abu-Naser - 2020 - International Journal of Academic Pedagogical Research (IJAPR) 3 (12):21-25.
    Abstract: Tomatoes are part of the major crops in food security. Tomatoes are plants grown in temperate and hot regions of South American origin from Peru, and then spread to most countries of the world. Tomatoes contain a lot of vitamin C and mineral salts, and are recommended for people with constipation, diabetes and patients with heart and body diseases. Studies and scientific studies have proven the importance of eating tomato juice in reducing the activity of platelets in diabetics, which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Shifting Sands: An Interest Relative Theory of Vagueness.Delia Graff Fara - 2000 - Philosophical Topics 28 (1):45--81.
    I propose that the meanings of vague expressions render the truth conditions of utterances of sentences containing them sensitive to our interests. For example, 'expensive' is analyzed as meaning 'costs a lot', which in turn is analyzed as meaning 'costs significantly greater than the norm'. Whether a difference is a significant difference depends on what our interests are. Appeal to the proposal is shown to provide an attractive resolution of the sorites paradox that is compatible with classical logic and semantics.
    Download  
     
    Export citation  
     
    Bookmark   101 citations  
  48. Type-Ambiguous Names.Anders J. Schoubye - 2017 - Mind 126 (503):715-767.
    The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  49. Rethinking Quasispecies Theory: From Fittest Type to Cooperative Consortia.Luis Villarreal & Guenther Witzany - 2013 - World Journal of Biological Chemistry 4:79-90.
    Recent investigations surprisingly indicate that single RNA "stem-loops" operate solely by chemical laws that act without selective forces, and in contrast, self-ligated consortia of RNA stem-loops operate by biological selection. To understand consortial RNA selection, the concept of single quasi-species and its mutant spectra as drivers of RNA variation and evolution is rethought here. Instead, we evaluate the current RNA world scenario in which consortia of cooperating RNA stem-loops are the basic players. We thus redefine quasispecies as RNA quasispecies consortia (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  50. Shifting Perspectives in Pictorial Narratives.Emar Maier & Sofia Bimpikou - forthcoming - In Uli Sauerland & Stephanie Solt (eds.), Proceeding of Sinn und Bedeutung 23. Barcelona: Leibniz-Centre General Linguistics (ZAS).
    We propose an extension of Discourse Respresentation Theory (DRT) for analyzing pictorial narratives. We test drive our PicDRT framework by analyzing the way authors represent characters’ mental states and perception in comics. Our investigation goes beyond Abusch and Rooth (2017) in handling not just free perception sequences, but also a form of apparent perspective blending somewhat reminiscent of free indirect discourse.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000