Results for 'Type Grape'

1000+ found
Order:
  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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  69
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. What Type of Type I Error? Contrasting the Neyman–Pearson and Fisherian Approaches in the Context of Exact and Direct Replications.Mark Rubin - 2021 - Synthese 198 (6):5809–5834.
    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   4 citations  
  4.  80
    Grapes Expert System Diagnosis and Treatment.Mahmoud Ali Alajrami & Samy S. Abu-Naser - 2019 - International Journal of Academic Engineering Research (IJAER) 3 (5):38-46.
    This research included the design of a preliminary expert system that helps farmers and specialists diagnose and provide appropriate advice on grape diseases. In addition, knowledge management used in the expert system was discussed. One of the essential elements of this research was to find the appropriate language for the diagnosis of grapevine and the current status in the knowledge base. Expert systems have been used to be able to effectively implement consultation and production rules to capture knowledge. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Analyzing Types of Cherry Using Deep Learning.Izzeddin A. Alshawwa, Hosni Qasim El-Mashharawi, Mohammed Elkahlout, Mohammed O. Al-Shawwa & Samy S. Abu-Naser - 2020 - International Journal of Academic Engineering Research (IJAER) 4 (1):1-5.
    A cherry is the fruit of many plants of the genus Prunus, and is a fleshy drupe (stone fruit), Michigan's Northwest Lower Peninsula is the largest producer of tart cherries in the United States. In fact, grow 75% of the country's variety of mighty Montmorency cherries. We use these Ruby Red Morsels of Joy in over 200 cherry products like Salsas, Chocolate Covered Cherries, Cherry Nut Mixes, and much more. Cherry fruits are rich in vitamins and minerals, and it is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. 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   3 citations  
  7. 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   21 citations  
  8. Cell Types as Natural Kinds.Matthew H. Slater - 2013 - Biological Theory 7 (2):170-179.
    Talk of different types of cells is commonplace in the biological sciences. We know a great deal, for example, about human muscle cells by studying the same type of cells in mice. Information about cell type is apparently largely projectible across species boundaries. But what defines cell type? Do cells come pre-packaged into different natural kinds? Philosophical attention to these questions has been extremely limited [see e.g., Wilson (Species: New Interdisciplinary Essays, pp 187–207, 1999; Genes and the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9. 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   1 citation  
  10.  25
    What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  48
    Type Distinctions of Reason and Hume’s Separability Principle.Hsueh Qu - 2020 - British Journal for the History of Philosophy 28 (1):90-111.
    Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. 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   1 citation  
  13. 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   23 citations  
  14. Clause-Type, Force, and Normative Judgment in the Semantics of Imperatives.Nate Charlow - 2018 - In Daniel Fogal Daniel Harris & Matt Moss (eds.), New Work on Speech Acts. Oxford: Oxford University Press. pp. 67–98.
    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   1 citation  
  15. Types of Dialogue, Dialectical Relevance and Textual Congruity.Douglas Walton & Fabrizio Macagno - 2007 - Anthropology and Philosophy 8 (1-2):101-120.
    Using tools like argument diagrams and profiles of dialogue, this paper studies a number of examples of everyday conversational argumentation where determination of relevance and irrelevance can be assisted by means of adopting a new dialectical approach. According to the new dialectical theory, dialogue types are normative frameworks with specific goals and rules that can be applied to conversational argumentation. In this paper is shown how such dialectical models of reasonable argumentation can be applied to a determination of whether an (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  16. Classifying Nuts Types Using Convolutional Neural Network.Ibtesam M. Dheir, Alaa Soliman Abu Mettleq, Abeer A. Elsharif & Samy S. Abu-Naser - 2020 - International Journal of Academic Information Systems Research (IJAISR) 3 (12):12-18.
    Abstract: Nuts are nutrient-dense foods with complex matrices rich in unsaturated fatty and other bioactive compounds. By virtue of their unique composition, all types of nuts are likely to beneficially impact health outcomes. In this paper, we classified five types of Nuts with a dataset that contains 2868 images. Convolutional Neural Network (CNN) algorithms, a deep learning technique extensively applied to image recognition was used for this task. The trained model achieved an accuracy of 98% on a held-out test set, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Repeatable Artworks as Created Types.Lee Walters - 2013 - British Journal of Aesthetics 53 (4):461-477.
    I sketch here an intuitive picture of repeatable artworks as created types, which are individuated in part by historical paths (re)production. Although attractive, this view has been rejected by a number of authors on the basis of general claims about abstract objects. On consideration, however, these general claims are overgeneralizations, which whilst true of some abstracta, are not true of all abstract objects, and in particular, are not true of created types. The intuitive picture of repeatable artworks as created types (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  18.  72
    Foliar Application of Amino Acids, Bleed Grape and Seaweed Extract Improve Storability Properties of Fig Fruits.Abbas Mohsin Salman Al- Hameedawi - 2018 - International Journal of Academic and Applied Research (IJAAR) 2 (2):25-29.
    Abstract: This study was conducted during the growing season of 2016 in a private orchard at AL-Abbasyia, Najaf Governorate on the local fig cv. Aswod Diala . The trees were spraying with amino acids (Amister and Gusto) at concentrations of 500 mg / L each other, Bleed of grape 100% and seaweed Ascophyllum nodosum at concentrations of 4% in single way or in combination at 1April, 1May and 1 June in 2016 . Results showed that spraying trees with amino (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. 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   1 citation  
  20. 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   1 citation  
  21. 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  
  22. Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In Kentaro Fujimoto, José Martínez Fernández, Henri Galinon & Theodora Achourioti (eds.), Unifying the Philosophy of Truth. Springer Verlag.
    We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Type-Q Materialism.Pete Mandik & Josh Weisberg - 2008 - In Chase Wrenn (ed.), Naturalism, Reference and Ontology: Essays in Honor of Roger F. Gibson. Peter Lang Publishing Group.
    s Gibson (1982) correctly points out, despite Quine’s brief flirtation with a “mitigated phenomenalism” (Gibson’s phrase) in the late 1940’s and early 1950’s, Quine’s ontology of 1953 (“On Mental Entities”) and beyond left no room for non-physical sensory objects or qualities. Anyone familiar with the contemporary neo-dualist qualia-freak-fest might wonder why Quinean lessons were insufficiently transmitted to the current generation.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Recognizing Argument Types and Adding Missing Reasons.Christoph Lumer - 2019 - In Bart J. Garssen, David Godden, Gordon Mitchell & Jean Wagemans (eds.), Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.]. Amsterdam (Netherlands): pp. 769-777.
    The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Are All Types of Morality Compromised in Psychopathy.Andrea Glenn, R. Lyer, J. Graham, S. Koleva & Jonathan Haidt - 2009 - Journal of Personality Disorders 23:384–398.
    A long-standing puzzle for moral philosophers and psychologists alike is the concept of psychopathy, a personality disorder marked by tendencies to defy moral norms despite cognitive knowledge about right and wrong. Previously, discussions of the moral deficits of psychopathy have focused on willingness to harm and cheat others as well as reasoning about rule-based transgressions. Yet recent research in moral psychology has begun to more clearly define the domains of morality, en- compassing issues of harm, fairness, loyalty, authority, and spiritual (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  26. Three Types of Conditionals and Their Verb Forms in English and Portuguese.Gilberto Gomes - 2008 - Cognitive Linguistics 19 (2):219-240.
    An examination of conditionals in di¤erent languages leads to a distinction of three types of conditionals instead of the usual two (indicative and subjunctive). The three types can be explained by the degree of acceptance or as-if acceptance of the truth of the antecedent. The labels subjunctive and indicative are shown to be inadequate. So-called indicative conditionals comprise two classes, the very frequent uncertain-fact conditionals and the quite rare accepted-fact conditionals. Uncertain-fact conditionals may have a time shift in contemporary English (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Originalism About Word Types.Luca Gasparri - 2016 - Thought: A Journal of Philosophy 5 (2):126-133.
    According to Originalism, word types are non-eternal continuants which are individuated by their causal-historical lineage and have a unique possible time of origination. This view collides with the intuition that individual words can be added to the lexicon of a language at different times, and generates other problematic consequences. The paper shows that such undesired results can be accommodated without abandoning Originalism.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  95
    Adoption of Innovations in Harvesting Methods of the Grape: A Case Study in Charikar and Bagram Districts of Parwan Province, Afghanistan.Zafaruddin Dadkhwah - 2020 - International Journal of Scientific Research and Management (IJSRM) 8 (1).
    The main objectives of this study were to determine the extent of innovation in the grape harvest, and the rate of familiarity and usability of innovations by farmers in Parwan province. The data were collected as primary data, included face to face interviews with 120 grape growers and local authorities in 20 villages spread across the two districts of Charikar and Bagram provinces of Parwan, Afghanistan. The data was analyzed by (SPSS 22) Package. According to the results, the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. 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   4 citations  
  30. Two Types of Epistemic Instrumentalism.Charles Côté-Bouchard - 2019 - Synthese 198 (6):5455-5475.
    Epistemic instrumentalism views epistemic norms and epistemic normativity as essentially involving the instrumental relation between means and ends. It construes notions like epistemic normativity, norms, and rationality, as forms of instrumental or means-end normativity, norms, and rationality. I do two main things in this paper. In part 1, I argue that there is an under-appreciated distinction between two independent types of epistemic instrumentalism. These are instrumentalism about epistemic norms and instrumentalism about epistemic normativity. In part 2, I argue that this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Two Types of Autonomy.J. S. Swindell Blumenthal-Barby - 2008 - American Journal of Bioethics-Neuroscience 9 (1):52-53.
    Although I agree with Sabine Muller’s conclusion that we should first seek to find alternatives to amputation for patients suffering from Body Integrity Identity Disorder (BIID), I disagree with one of the major premises that she uses to argue for her claim. Muller argues that patients with BIID are likely not autonomous when they request that the limb be amputated. Muller’s argument that BIID suffers are not autonomous is flawed because she conflates philosophical conceptions of autonomy with the conception of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. An Enchanting Abundance of Types: Nietzsche’s Modest Unity of Virtue Thesis.Mark Alfano - 2015 - Journal of Value Inquiry 49 (3):417-435.
    Although Nietzsche accepted a distant cousin of Brian Leiter’s “Doctrine of Types,” according to which, “Each person has a fixed psycho-physical constitution, which defines him as a particular type of person,” the details of his actual view are quite different from the flat-footed position Leiter attributes to him. Leiter argues that Nietzsche thought that type-facts partially explain the beliefs and actions, including moral beliefs and actions, of the person whom those type-facts characterize. With this much, I agree. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  33. Types of Concept Fuzziness.Vladimir Kuznetsov & Elena Kuznetsova - 1998 - Fuzzy Sets and Systems 96 (2):129-138.
    The short exposition of the triplet model of concepts and some definitions connected with it are given. In this model any concept may be depicted as having three characteristics: a base, a representing part and the linkage between them. The paper introduces the fuzzification of concepts in terms of the triplet model.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  34. The Points of Concepts: Their Types, Tensions, and Connections.Matthieu Queloz - 2019 - Canadian Journal of Philosophy 49 (8):1122-1145.
    In the literature seeking to explain concepts in terms of their point, talk of ‘the point’ of concepts remains under-theorised. I propose a typology of points which distinguishes practical, evaluative, animating, and inferential points. This allows us to resolve tensions such as that between the ambition of explanations in terms of the points of concepts to be informative and the claim that mastering concepts requires grasping their point; and it allows us to exploit connections between types of points to understand (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  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. Types of Boltzmann Brains.Alexey Turchin & Roman Yampolskiy - manuscript
    Abstract. Boltzmann brains (BBs) are minds which randomly appear as a result of thermodynamic or quantum fluctuations. In this article, the question of if we are BBs, and the observational consequences if so, is explored. To address this problem, a typology of BBs is created, and the evidence is compared with the Simulation Argument. Based on this comparison, we conclude that while the existence of a “normal” BB is either unlikely or irrelevant, BBs with some ordering may have observable consequences. (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. Aristotle on Various Types of Alteration in De Anima II 5.John Bowin - 2011 - Phronesis 56 (2):138-161.
    In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  38. 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  
  39. On the Type/Token Relation of Mental Representations.Murat Aydede - 2000 - Facta Philosophica 2 (1):23-50.
    According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. On (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  40. 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  
  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. Molinism, Creature-Types, and the Nature of Counterfactual Implication.Daniel Murphy - 2012 - European Journal for Philosophy of Religion 4 (1):65-86.
    Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (that feature (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. 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  
  44. 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  
  45.  93
    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  
  46. 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   3 citations  
  47. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  48. Ideal Types and the Historical Method.Gene Callahan - 2007 - Collingwood and British Idealism Studies 13 (1):53-68.
    A number of social theorists have contended that the essence of historical analysis is the employment of ideal types to comprehend past goings-on. But, while acknowledging that the study of history through ideal types can yield genuine insight, we may still ask if it represents the full emancipation of historical understanding from other modes of conceiving the past. This paper follows Michael Oakeshott's work on the philosophy of history in arguing that explaining the historical past by means of ideal types, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50.  54
    Dialogue Types, Argumentation Schemes, and Mathematical Practice: Douglas Walton and Mathematics.Andrew Aberdein - 2021 - Journal of Applied Logics 8 (1):159-182.
    Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000