Results for 'Type Peach'

962 found
Order:
  1. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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  
  3. Style Types Theory and Practice in Linguistic Stylistics.William Hendricks - 1981 - Poetica, Interenational Journal Of 12 (1):45-59.
    Rather than an emphasis on style as unique to an author, this study argues for the notion of group styles. Three are proposed: tight, loose, and balanced. Examples of each type are illustrated.
    Download  
     
    Export citation  
     
    Bookmark  
  4. On Type Distinctions and Expressivity.Salvatore Florio - 2023 - Proceedings of the Aristotelian Society 123 (2):150-172.
    Quine maintained that philosophical and scientific theorizing should be conducted in an untyped language, which has just one style of variables and quantifiers. By contrast, typed languages, such as those advocated by Frege and Russell, include multiple styles of variables and matching kinds of quantification. Which form should our theories take? In this article, I argue that expressivity does not favour typed languages over untyped ones.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. 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  
  6. 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 for building sound (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. 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   16 citations  
  8. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  9. 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  
  10. Discriminatory Types and Homogenising Relevances: A Schutzian Perspective on Oppression.Tris Hedges & Sabrina De Biasio - 2024 - Human Studies: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  
  11. 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   9 citations  
  12. 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  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  15. 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   33 citations  
  16. 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 type realists (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Types of Technological Innovation in the Face of Uncertainty.Daniele Chiffi, Stefano Moroni & Luca Zanetti - 2022 - Philosophy and Technology 35 (4):1-17.
    Technological innovation is almost always investigated from an economic perspective; with few exceptions, the specific technological and social nature of innovation is often ignored. We argue that a novel way to characterise and make sense of different types of technological innovation is to start considering uncertainty. This seems plausible since technological development and innovation almost always occur under conditions of uncertainty. We rely on the distinction between, on the one hand, uncertainty that can be quantified (e.g. probabilistic risk) and, on (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Type distinctions of reason and Hume’s Separability Principle.Hsueh Qu - 2019 - 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   2 citations  
  19. 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   2 citations  
  20. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Operator Counterparts of Types of Reasoning.Urszula Wybraniec-Skardowska - 2023 - Logica Universalis 17 (4):511-528.
    Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. 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   2 citations  
  24. Type I error rates are not usually inflated.Mark Rubin - 2021
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25. (1 other version)Minimal Type Theory (YACC BNF).P. 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  
     
    Export citation  
     
    Bookmark  
  26. 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   15 citations  
  27. 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  
  28. Typed and Untyped Disquotational Truth.Cezary Cieśliński - 2015 - In T. Achourioti, H. Galinon, J. Martínez Fernández & K. Fujimoto (eds.), Unifying the Philosophy of Truth. Dordrecht: Imprint: Springer.
    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   2 citations  
  29. 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, and (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. 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  
  31. Special types of bipolar single valued neutrosophic graphs.Ali Hassan, Muhammad Aslam Malik, Said Broumi, Assia Bakali, Mohamed Talea & Florentin Smarandache - 2017 - Annals of Fuzzy Mathematics and Informatics 14 (1).
    Neutrosophic theory has many applications in graph theory, bipolar single valued neutrosophic graphs (BSVNGs) is the generalization of fuzzy graphs and intuitionistic fuzzy graphs, SVNGs. In this paper we introduce some types of BSVNGs, such as subdivision BSVNGs, middle BSVNGs, total BSVNGs and bipolar single valued neutrosophic line graphs (BSVNLGs), also investigate the isomorphism, co weak isomorphism and weak isomorphism properties of subdivision BSVNGs, middle BSVNGs, total BSVNGs and BSVNLGs.
    Download  
     
    Export citation  
     
    Bookmark  
  32. 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   10 citations  
  33. 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   5 citations  
  34. 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   6 citations  
  35. Frege’s Theory of Types.Bruno Bentzen - 2023 - Manuscrito 46 (4):2022-0063.
    It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church’s simple theory of types. This claim roughly states that Frege presupposes a type of functions in the sense of simple type theory in the expository language of Grundgesetze. However, this view makes it hard to accommodate function names of two arguments and view functions as incomplete entities. I propose and defend an alternative interpretation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Problems for Russellian Act-Type Theories.Arvid Båve - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Type-q materialism.Pete Mandik & Josh Weisberg - 2008 - In Chase B. 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   13 citations  
  38. 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   37 citations  
  39. Two types of qualia theory.Pär Sundström - 2014 - The Harvard Review of Philosophy 20:107-131.
    This paper distinguishes two types of qualia theory, which I call Galilean and non-Galilean qualia theories. It also offers considerations against each type of theory. To my mind the considerations are powerful. In any case, they bring out the importance of distinguishing the two types of theory. For they show that different considerations come into play—or considerations come into play in quite different ways—in assessing the two types of theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. 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   3 citations  
  41. 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  
  42.  57
    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  
  43. 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  
  44. Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
    I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Naive cubical type theory.Bruno Bentzen - 2021 - Mathematical Structures in Computer Science 31:1205–1231.
    This article proposes a way of doing type theory informally, assuming a cubical style of reasoning. It can thus be viewed as a first step toward a cubical alternative to the program of informalization of type theory carried out in the homotopy type theory book for dependent type theory augmented with axioms for univalence and higher inductive types. We adopt a cartesian cubical type theory proposed by Angiuli, Brunerie, Coquand, Favonia, Harper, and Licata as the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48. 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  
  49. Ce type deleuzien.Daniel W. Smith - 2007 - Multitudes 29:1-11.
    Download  
     
    Export citation  
     
    Bookmark  
  50. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 962