Results for 'Cars Types'

985 found
Order:
  1. Artificial Neural Network for Forecasting Car Mileage per Gallon in the City.Mohsen Afana, Jomana Ahmed, Bayan Harb, Bassem S. Abu-Nasser & Samy S. Abu-Naser - 2018 - International Journal of Advanced Science and Technology 124:51-59.
    In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Make, Model, Type, Origin, DriveTrain, MSRP, Invoice, EngineSize, Cylinders, Horsepower, MPG_Highway, Weight, Wheelbase, Length. ANN was used in prediction of the number of miles per gallon when the car is driven in the city(MPG_City). The results showed that ANN model was able to predict (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  2. Predicting Car Mileage per Gallon.Mohsen Afana, Jomana Ahmed, Bayan Harb, Basem Nasser & Rafiq Madhoun - 2015 - International Journal of Advanced Science and Technology 124 (124):51-59.
    In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Make, Model, Type, Origin, DriveTrain, MSRP, Invoice, EngineSize, Cylinders, Horsepower, MPG_Highway, Weight, Wheelbase, Length. ANN was used in prediction of the number of miles per gallon when the car is driven in the city(MPG_City). The results showed that ANN model was able to predict (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. ANN Car Mileage per Gallon Prediction.Jomana Ahmed, Bayan Harb, Bassem S. Abu, Mohsen Afana & Rafiq Madhoun - 2017 - International Journal of Advanced Science and Technology 124:51-58.
    In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Make, Model, Type, Origin, DriveTrain, MSRP, Invoice, EngineSize, Cylinders, Horsepower, MPG_Highway, Weight, Wheelbase, Length. ANN was used in prediction of the number of miles per gallon when the car is driven in the city(MPG_City). The results showed that ANN model was able to predict (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Artworks versus designs.John Dilworth - 2001 - British Journal of Aesthetics 41 (2):162-177.
    I propose a distinction between design intentions, activities and products, as opposed to artistic intentions, activities and artworks. Examples of design products would include a specific type of car (or any other invention or device) as well as closer relatives of art such as decorative wall designs. In order to distinguish artistic from design intentions, I present an example in which two sculptors independently work on a single object to produce two sculptures, which are distinct just because the artistic intentions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  5. A narrative literature review of the effectiveness of interventions to reduce light vehicle travel.Edgar Pacheco & Vivienne Ivory - 2023 - Research Report 707 - Waka Kotahi Nz Transport Agency.
    The transport sector is one of the largest sources of greenhouse gas emissions in New Zealand. To address this issue, the government is planning a set of actions to be implemented in the next 15 years. One of these actions deals with transport emissions and targets for a reduction in light vehicle travel. However, to achieve this goal, there is a need for both an updated assessment of effective interventions and an analysis of their relevance and applicability to the New (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Kantian Ethics in the Age of Artificial Intelligence and Robotics.Ozlem Ulgen - 2017 - Questions of International Law 1 (43):59-83.
    Artificial intelligence and robotics is pervasive in daily life and set to expand to new levels potentially replacing human decision-making and action. Self-driving cars, home and healthcare robots, and autonomous weapons are some examples. A distinction appears to be emerging between potentially benevolent civilian uses of the technology (eg unmanned aerial vehicles delivering medicines), and potentially malevolent military uses (eg lethal autonomous weapons killing human com- batants). Machine-mediated human interaction challenges the philosophical basis of human existence and ethical conduct. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. La suppression transitoire des pires démons de notre nature -une critique de «Les Meilleurs Anges de Notre Nature: pourquoi la violence a décliné» «( The Better Angels of Our Nature: Why Violence Has Declined) de Steven Pinker (2012) (revue révisée 2019).Michael Richard Starks - 2020 - In Bienvenue en Enfer sur Terre : Bébés, Changement climatique, Bitcoin, Cartels, Chine, Démocratie, Diversité, Dysgénique, Égalité, Pirates informatiques, Droits de l'homme, Islam, Libéralisme, Prospérité, Le Web, Chaos, Famine, Maladie, Violence, Intellige. Las Vegas, NV USA: Reality Press. pp. 252-256.
    Ce n’est pas un livre parfait, mais il est unique, et si vous écrémez les 400 premières pages ou plus, les 300 dernières (sur quelque 700) sont une assez bonne tentative d’appliquer ce qui est connu sur le comportement aux changements sociaux de la violence et des manières au fil du temps. Le sujet fondamental est le suivant : comment notre génétique contrôle-t-elle et limite-t-elle le changement social ? Étonnamment, il ne parvient pas à décrire la nature de la sélection (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Avant-propos : Contrats de partenariat public privé (2018) par Pascal Mukonde Musulay ISBN 978-2-88931-244-3.Ignace Haaz - 2018 - Globethics African Law Series No. 5.
    Le présent ouvrage fait suite aux deux précédents volumes de l’auteur : (2015) Droit des affaires en Afrique subsaharienne et économie planétaire, et (2016) : Démocratie électorale en Afrique subsaharienne Entre droit, pouvoir et argent, publiés par les Éditions Globethics. Bien que Pascal Mukonde convoque le thème du contrat du point de vue strictement juridique et dans le contexte du droit africain en RD. Congo, sur une ligne de recherche systématique (p.75), nous souhaitons mentionner comme préliminaire, la place de l’éthique (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Le lexique-grammaire de noms sous-spécifiés.Éric Marque-Pucheu Laporte - 2021 - Corela. Cognition, Représentation, Langage 34 (HS-34).
    Les noms sous-spécifiés, qui peuvent apparaitre dans une construction spécificationnelle, de la forme Leur ambition a été d’innover, sont par ailleurs souvent des prédicats régissant des arguments, dans une phrase élémentaire de la forme Ils ont eu l’ambition d’innover, où Nss est le prédicat accompagné d’un verbe support et de ses arguments N0 et N1. Nous avons étudié des noms entrant à la fois dans les deux constructions et avec le même sens, et trouvé trois cas de figure. Avec des (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Application of "A Thing Exists If It's A Grouping" to Russell's Paradox and Godel's First Incompletness Theorem.Roger Granet - manuscript
    A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Fantasme, discours, idéologie.Jean-Jacques Pinto - 2010 - Topique 2 (111):31 - 58.
    (English, then french abstract) : -/- Fantasy, Discourse, Ideology – Transmission Beyond Propaganda. -/- Propaganda is everywhere, not only in commercials or politics. It is aimed at faraway strangers as well as nearby friends and relations. Propaganda in fact relies on a certain type of psychic structure, one that is tuned to receive it and disseminate it. This structure is a result of an unconscious subjective identification which is therefore not open to change through either cognition, argumentation or reasoning. Propaganda’s (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Poincaré, Philosopher of Science - Problems and Perspectives. [REVIEW]Andre Carli Philot - 2014 - Kairos. Revista de Filosofia and Ciência 10:111-116.
    The book Poincaré, Philosopher of Science – Problems and Perspectives, edited by María de Paz and Robert DiSalle, is the result of various colloquia and conferences organized by the Portuguese project bearing the same name. The project, initiated by University of Lisbon, brought together scholars of many different countries to speak about the three main philosophical facets of Henri Poincaré: as a philosopher of science in general, as a philosopher of mathematics, and as a philosopher of physics.
    Download  
     
    Export citation  
     
    Bookmark  
  13. (1 other version)Henri Poincaré, ciência e materialismo: o papel das hipóteses na oscilação entre atomismo e continuísmo.Andre Carli Philot & Antonio A. P. Videira - 2013 - Kairos: Revista de Filosofia and Ciência 7:167-186.
    This article was produced as an introduction to a Portuguese translation of an article by Henri Poincaré titled "The new conceptions of matter". The aim of this introduction was to shortly summarize Poincaré's scientific and philosophical production, to approach the circumstances on which the text was originally presented and, finally, to analyze the relationship - or the lack of it - that Poincaré establishes between science and materialism.
    Download  
     
    Export citation  
     
    Bookmark  
  14. Crash Algorithms for Autonomous Cars: How the Trolley Problem Can Move Us Beyond Harm Minimisation.Dietmar Hübner & Lucie White - 2018 - Ethical Theory and Moral Practice 21 (3):685-698.
    The prospective introduction of autonomous cars into public traffic raises the question of how such systems should behave when an accident is inevitable. Due to concerns with self-interest and liberal legitimacy that have become paramount in the emerging debate, a contractarian framework seems to provide a particularly attractive means of approaching this problem. We examine one such attempt, which derives a harm minimisation rule from the assumptions of rational self-interest and ignorance of one’s position in a future accident. We (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  15. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca & Daniele Porello - 2021 - Data and Knowledge Engineering 1 (134):101891.
    Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. 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 Agents of (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  17. Types and Tokens.James Miller - forthcoming - In Hilary Nesi & Petar Milin (eds.), International Encyclopedia of Language and Linguistics. Elsevier.
    The entry provides an overview of the type-token distinction, including a comparison to other nearby distinctions.
    Download  
     
    Export citation  
     
    Bookmark  
  18. Artificial Neural Network for Predicting Car Performance Using JNN.Awni Ahmed Al-Mobayed, Youssef Mahmoud Al-Madhoun, Mohammed Nasser Al-Shuwaikh & Samy S. Abu-Naser - 2020 - International Journal of Engineering and Information Systems (IJEAIS) 4 (9):139-145.
    In this paper an Artificial Neural Network (ANN) model was used to help cars dealers recognize the many characteristics of cars, including manufacturers, their location and classification of cars according to several categories including: Buying, Maint, Doors, Persons, Lug_boot, Safety, and Overall. ANN was used in forecasting car acceptability. The results showed that ANN model was able to predict the car acceptability with 99.12 %. The factor of Safety has the most influence on car acceptability evaluation. Comparative (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  19. Quarter car active suspension system design using optimal and robust control method.Mustefa Jibril - 2020 - International Research Journal of Modernization in Engineering Technology and Science 2 (3):197-207.
    This paper offers with the theoretical and computational evaluation of optimal& robust controlproblems, with the goal of providing answers to them with MATLAB simulation.For the robust control,  -synthesis controller and for the optimal control, LQR controller are designed for a quarter car active suspension system to maximize the ride comfort and road handling criteria’s of the vehicle. The proposed controllers are designed using Matlab script program using time domain analysis for the four road disturbances (bump, random sine pavement and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Type 2 blindsight and the nature of visual experience.Berit Brogaard - 2015 - Consciousness and Cognition 32:92-103.
    Blindsight is a kind of residual vision found in people with lesions to V1. Subjects with blindsight typically report no visual awareness, but they are nonetheless able to make above-chance guesses about the shape, location, color and movement of visual stimuli presented to them in their blind field. A different kind of blindsight, sometimes called type 2 blindsight, is a kind of residual vision found in patients with V1 lesions in the presence of some residual awareness. Type 2 blindsight differs (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  21. 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   2 citations  
  22. Type I error rates are not usually inflated.Mark Rubin - 2024 - Journal of Trial and Error 4 (2):46-71.
    The inflation of Type I error rates is thought to be one of the causes of the replication crisis. Questionable research practices such as p-hacking are thought to inflate Type I error rates above their nominal level, leading to unexpectedly high levels of false positives in the literature and, consequently, unexpectedly low replication rates. In this article, I offer an alternative view. I argue that questionable and other research practices do not usually inflate relevant Type I error rates. I begin (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. 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 two (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  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   4 citations  
  26. Clause-Type, Force, and Normative Judgment in the Semantics of Imperatives.Nate Charlow - 2018 - In Daniel Fogal, Daniel W. Harris & Matt Moss (eds.), New Work on Speech Acts. 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 cognitive (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  27. 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   35 citations  
  28. Type-R Physicalism.Will Moorfoot - forthcoming - Philosophical Psychology.
    In this paper, I argue for an often-neglected solution to the conceivability argument: the reconciliatory response. Its advocates state that, even if zombies are metaphysically possible, it does not follow that all versions of physicalism are false. To make the reconciliatory response, we must construct a theory that counts as a version of physicalism (because it makes higher-level facts count as physical) but also allows for the metaphysical possibility of zombies. Call any physicalist theory that can make the reconciliatory response (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Constructive Type Theory, an appetizer.Laura Crosilla - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is to argue that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  31. Type-identity conditions for phenomenal properties.Simone Gozzano - 2012 - In Simone Gozzano & Christopher S. Hill (eds.), New Perspectives on Type Identity: The Mental and the Physical. Cambridge: 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   3 citations  
  32. Discriminatory Types and Homogenising Relevances: A Schutzian Perspective on Oppression.Tris Hedges & Sabrina De Biasio - 2024 - Human Studies (4):1-22.
    In this paper, we draw on Alfred Schutz’s theoretical framework to better understand how oppression is enacted through discriminatory acts. By closely examining the role of typifications and relevances in our experience of others, and by supplementing this analysis with contemporary social scientific resources, we argue that a Schutzian perspective on oppression yields important phenomenological insights. We do this in three key steps. Firstly, we contextualise Equality and the Meaning Structure of the Social World within Schutz’s broader body of work, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Solving Numerically Ermakov-type Equation for Newtonian Cosmology Model with Vortex.Victor Christianto, Florentin Smarandache & Yunita Umniyati - manuscript
    It has been known for long time that most of the existing cosmology models have singularity problem. Cosmological singularity has been a consequence of excessive symmetry of flow, such as “Hubble’s law”. More realistic one is suggested, based on Newtonian cosmology model but here we include the vertical-rotational effect of the whole Universe. We review a Riccati-type equation obtained by Nurgaliev, and solve the equation numerically with Mathematica. It is our hope that the new proposed method can be verified with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Type Realism Reconsidered.Nurbay Irmak - 2023 - Journal of Aesthetics and Art Criticism:1-11.
    Realism about types is the view that types are abstract and repeatable objects. Although type realists seem to agree that types, unlike properties, are objects in their own right, they argue that there is a metaphysically intimate tie between the existence conditions of types and properties. In particular, most type realists believe that types are, in a certain sense, determined by the properties that underlie them. I argue that this is a mistake, especially for those (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space.Adrianna Jagiełło, Piotr Lisowski & Roman Urban - 2022 - Journal of Logic, Language and Information 31 (3):389-408.
    This paper deals with Gärdenfors’ theory of conceptual spaces. Let S{\mathcal {S}} be a conceptual space consisting of 2-type fuzzy sets equipped with several kinds of metrics. Let a finite set of prototypes P~1,,P~nS\tilde{P}_1,\ldots,\tilde{P}_n\in \mathcal {S} be given. Our main result is the construction of a classification algorithm. That is, given an element A~S,{\tilde{A}}\in \mathcal {S}, our algorithm classifies it into the conceptual field determined by one of the given prototypes P~i.\tilde{P}_i. The construction of our algorithm uses some physical analogies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  73
    Different Types of Questionnaires as a Tool in Placemaking Research.Kinga Kimic, Paulina Polko, Preben Hansen & Asma Mehan - 2024 - In Francesco Rotondo, Aleksandra Djukic, Preben Hansen, Edmond Manahasa, Mastoureh Fathi & Juan A. García-Esparza (eds.), Placemaking in Practice Volume 2: Engagement in Placemaking: Methods, Strategies, Approaches. Leiden, The Netherlands: Brill. pp. 101-120.
    Urban spaces require increasing their attractiveness by exploring the social and spatial implications of new lifestyles. Broad civic knowledge is the basis for placemaking to shape user-centred and inclusive spaces of everyday life. Gathering information on the sense of the place is crucial to finding out and understanding the place-related identity of its users to make the place more appealing and usable. The most popular survey tool is a questionnaire constructed as a series of questions and used for collecting information (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. No cross-cultural differences in the Gettier car case intuition: A replication study of Weinberg et al. 2001.Minsun Kim & Yuan Yuan - 2015 - Episteme 12 (3):355-361.
    In “Normativity and Epistemic Intuitions”, Weinberg, Nichols and Stich famously argue from empirical data that East Asians and Westerners have different intuitions about Gettier -style cases. We attempted to replicate their study about the Car case, but failed to detect a cross - cultural difference. Our study used the same methods and case taken verbatim, but sampled an East Asian population 2.5 times greater than NEI’s 23 participants. We found no evidence supporting the existence of cross - cultural difference about (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  38. 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 gap, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Types of tropes : modifier and module.Robert K. Garcia - 2024 - In A. R. J. Fisher & Anna-Sofia Maurin (eds.), The Routledge Handbook of Properties. London: Routledge. pp. 229-38.
    The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  41. 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 type physicalism over non-reductive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  92
    Type Specimens and Reference.Michael Devitt - 2023 - In Panu Raatikainen (ed.), _Essays in the Philosophy of Language._ Acta Philosophica Fennica Vol. 100. Helsinki: Societas Philosophica Fennica. pp. 175-209.
    Download  
     
    Export citation  
     
    Bookmark  
  43. New Type Hyper Groups, New Type SuperHyper Groups and Neutro-New Type SuperHyper Groups.Abdullah Kargın, Florentin Smarandache & Memet Şahin - unknown
    In this chapter, a new type Hyper groups are defined, corresponding basic properties and examples for new type Hyper groups are given and proved. Moreover, new type Hypergroups groups and are compared to hyper groups and groups. New type Hyper groups are shown to have a more general structure according to Hyper groups and groups. Also, new type SuperHyper groups are defined, corresponding basic properties and examples for new type SuperHyper are given and proved. Furthermore, we defined neutro-new type SuperHyper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. 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   8 citations  
  45. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Two types of psychological hedonism.Justin Garson - 2016 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 56:7-14.
    I develop a distinction between two types of psychological hedonism. Inferential hedonism (or “I-hedonism”) holds that each person only has ultimate desires regarding his or her own hedonic states (pleasure and pain). Reinforcement hedonism (or “R–hedonism”) holds that each person's ultimate desires, whatever their contents are, are differentially reinforced in that person’s cognitive system only by virtue of their association with hedonic states. I’ll argue that accepting R-hedonism and rejecting I-hedonism provides a conciliatory position on the traditional altruism debate, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  47. 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 grammatical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca, Daniele Porello, Joao Paulo Almeida & Nicola Guarino - 2018 - In J. C. Trujillo, K. C. Davis, X. Du, Z. Li, T. W. Ling, G. Li & M. L. Lee (eds.), Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings. Springer. pp. 136--150.
    For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. A Single-Type Semantics for Natural Language.Kristina Liefke - 2014 - Dissertation, Tilburg University
    Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important open questions about the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50.  80
    Maxim Tokens and Maxim Types.Samuel J. M. Kahn - 2024 - Revue Romaine de Philosophie 68 (2):433-446.
    In this article, I argue that Kant’s Categorical Imperative applies to maxim tokens rather than to maxim types. The article has three main parts. In the first, I explain my thesis. In the second, I argue for it. In the third, I argue, further, that, if my thesis is correct, then tokens of different maxim types can have different deontic statuses for different agents.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 985