Results for ' t-generic oracle'

988 found
Order:
  1.  30
    Complexity of the -query Tautologies in the Presence of a Generic Oracle.Toshio Suzuki - 2000 - Notre Dame Journal of Formal Logic 41 (2):142-151.
    Extending techniques of Dowd and those of Poizat, we study computational complexity of in the case when is a generic oracle, where is a positive integer, and denotes the collection of all -query tautologies with respect to an oracle . We introduce the notion of ceiling-generic oracles, as a generalization of Dowd's notion of -generic oracles to arbitrary finitely testable arithmetical predicates. We study how existence of ceiling-generic oracles affects behavior of a generic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  6
    Divination and human nature: a cognitive history of intuition in classical antiquity.Peter T. Struck - 2016 - Princeton: Princeton University Press.
    "Divination and Human Nature" casts a new perspective on the rich tradition of ancient divination--the reading of divine signs in oracles, omens, and dreams. Popular attitudes during classical antiquity saw these readings as signs from the gods while modern scholars have treated such beliefs as primitive superstitions. In this book, Peter Struck reveals instead that such phenomena provoked an entirely different accounting from the ancient philosophers. These philosophers produced subtle studies into what was an odd but observable fact--that humans could (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  32
    Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
    Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  4.  98
    Enhancement and human nature: the case of Sandel.T. Lewens - 2009 - Journal of Medical Ethics 35 (6):354-356.
    If we assume that “enhancement” names all efforts to boost human mental and physical capacities beyond the normal upper range found in our species, then enhancement covers such a broad range of interventions that it becomes implausible to think that there is any generic ethical case to be made either for or against it. Michael Sandel has recently made such a generic case, which focuses on the importance of respecting the “giftedness” of human nature. Sandel succeeds in diagnosing (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5. Hybrid Computational Methods and New Algorithmic Approaches to Computational Kernels and Applications-A Generic Framework for Local Search: Application to the Sudoku Problem.T. Lambert, E. Monfroy & F. Saubion - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 3991--641.
     
    Export citation  
     
    Bookmark  
  6.  61
    K‐generic Projective Planes have Morley Rank Two or Infinity.John T. Baldwin & Masanori Itai - 1994 - Mathematical Logic Quarterly 40 (2):143-152.
    We show that K-generic projective planes have Morley rank either two or infinity. We also show give a direct argument that such planes are not Desarguesian.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  7. A dilemma about kinds and kind terms.T. Parent - 2019 - Synthese 198 (Suppl 12):2987-3006.
    'The kind Lion' denotes a kind. Yet many generics are thought to denote kinds also, like the subject-terms in 'The lion has a mane', 'Dinosaurs are extinct', and 'The potato was cultivated in Ireland by the end of the 17th century.' This view may be adequate for the linguist's overall purposes--however, if we limit our attention to the theory of reference, it seems unworkable. The problem is that what is often predicated of kinds is not what is predicated of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Alethic pluralism, generic truth, and mixed conjunctions.Roy T. Cook - 2011 - Philosophical Quarterly 61 (244):624-629.
    A difficulty for alethic pluralism has been the idea that semantic evaluation of conjunctions whose conjuncts come from discourses with distinct truth properties requires a third notion of truth which applies to both of the original discourses. But this line of reasoning does not entail that there exists a single generic truth property that applies to all statements and all discourses, unless it is supplemented with additional, controversial, premises. So the problem of mixed conjunctions, while highlighting other aspects of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  33
    If pigs could fly, should they?T. Brian Mooney & Samantha Minett - 2006 - Ethical Perspectives 13 (4):621-645.
    Life-science art is a generic term which describes a new kind of collaboration between artists and scientists which adds a new dimension to the polemics of the ‘philosophy of art.’ Utilising the techniques and materials made available by developments in biotechnology, artists, and scientists produce objects not for scientific benefit but aesthetic objects designed to enchant, shock, or familiarize the audience with the fanciful applications to which this technology can be put: the creation of pig wings, fish that can (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  10
    Aeschylus, Choephoroi 275.T. C. Owtram - 1978 - Classical Quarterly 28 (02):475-.
    This line, composed of only three words, occurs near the beginning of a speech in which Orestes, having revealed himself to his sister, is passing on to her and toa sympathetic chorus consisting of slaves in the royal palace at Argos, the gist of the instructions Apollo, through his oracle at Delphi, has given him about avenging his murdered father. The God, less merciful than the ghost of King Hamlet, has ordered him to kill his mother as well as (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  3
    Aeschylus, Choephoroi 275.T. C. Owtram - 1978 - Classical Quarterly 28 (2):475-476.
    This line, composed of only three words, occurs near the beginning of a speech in which Orestes, having revealed himself to his sister, is passing on to her and toa sympathetic chorus consisting of slaves in the royal palace at Argos, the gist of the instructions Apollo, through his oracle at Delphi, has given him about avenging his murdered father. The God, less merciful than the ghost of King Hamlet, has ordered him to kill his mother as well as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  23
    A cross-linguistic comparison of generic noun phrases in English and Mandarin.S. A. Gelman & T. Z. Tardif - 1998 - Cognition 66 (3):215-248.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  13.  39
    DOP and FCP in generic structures.John T. Baldwin & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (2):427-438.
  14. Reading Tocqueville : diachrony, synchrony, ideology and new perspectives.Jean-Louis Benoît - 2007 - In Raf Geenens & Annelien de Dijn (eds.), Reading Tocqueville: From Oracle to Actor. Palgrave-Macmillan. pp. 52--70.
  15.  35
    Minimal degrees recursive in 1-generic degrees.C. T. Chong & R. G. Downey - 1990 - Annals of Pure and Applied Logic 48 (3):215-225.
  16.  62
    1-Generic degrees and minimal degrees in higher recursion theory, II.C. T. Chong - 1986 - Annals of Pure and Applied Logic 31:165-175.
  17.  15
    Enhancing the effectiveness of Web Application Firewalls by generic feature selection.H. T. Nguyen, C. Torrano-Gimenez, G. Alvarez, K. Franke & S. Petrovic - 2013 - Logic Journal of the IGPL 21 (4):560-570.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  26
    The interpretation of frequency adjectives.Gregory T. Stump - 1980 - Linguistics and Philosophy 4 (2):221 - 257.
    What I have attempted to show in the foregoing is that: (1) For any frequency adjective f, there is an element of meaning common to both the adverbial and the generic usage of f; this is a function f′ from propositions to truth-values such that f′(Φ)′ is true at an interval i iff Φ′ is true at subintervals of i distributed through i in a certain way. (2) In an adverbial use of f, f′ functions like the corresponding frequency (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  19.  29
    The Spartan Rhetra in Plutarch Lycurgus VI.H. T. Wade-Gery - 1943 - Classical Quarterly 37 (1-2):62-.
    The Spartan Rhetra quoted by Plutarch in Lyc. vi. 2 consists of some thirty-seven words in an archaic Dorian or near-Dorian dialect: Plutarch says it was an oracle, and that later an extra clause was added by the kings Polydoros and Theopompos; he quotes this ‘added clause’ in vi. 8. I believe this Rhetra was not an oracle but an act of the Spartan Ekklesia; and I suspect that the ‘added clause’ was not added, but is an integral (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20.  29
    Holiness, Virtue, and Social Justice: Contrasting Understandings of the Moral Life.H. T. Engelhardt - 1997 - Christian Bioethics 3 (1):3-19.
    Being a Christian involves metaphysical, epistemological, and social commitments that set Christians at variance with the dominant secular culture. Because Christianity is not syncretical, but proclaims the unique truth of its revelation, Christians will inevitably be placed in some degree of conflict with secular health care institutions. Because being Christian involves a life of holiness, not merely living justly or morally, Christians will also be in conflict with the ethos of many contemporary Christian health care institutions which have abandoned a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  40
    Can Darwinian Mechanisms Make Novel Discoveries?: Learning from discoveries made by evolving neural networks.Robert T. Pennock - 2000 - Foundations of Science 5 (2):225-238.
    Some philosophers suggest that the development of scientificknowledge is a kind of Darwinian process. The process of discovery,however, is one problematic element of this analogy. I compare HerbertSimon's attempt to simulate scientific discovery in a computer programto recent connectionist models that were not designed for that purpose,but which provide useful cases to help evaluate this aspect of theanalogy. In contrast to the classic A.I. approach Simon used, ``neuralnetworks'' contain no explicit protocols, but are generic learningsystems built on the model (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  31
    Suffering, Meaning, and Bioethics.H. T. Engelhardt - 1996 - Christian Bioethics 2 (2):129-153.
    Suffering evokes moral and metaphysical reflection, the bioethics of suffering concerns the proper ethos of living with suffering. Because empirical and philosophical explorations of suffering are imprisoned in the world of immanent experience, they cannot reach to a transcendent meaning. Even if religious and other narratives concerning the meaning of suffering have no transcendent import, they can have aesthetic and moral significance. This understanding of narratives of suffering and of their custodians has substantial ecumenical implications: chaplains can function as general (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  23.  22
    Forcing Complexity: Minimum Sizes of Forcing Conditions.Toshio Suzuki - 2001 - Notre Dame Journal of Formal Logic 42 (2):117-120.
    This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  25
    Conflict of interest in online point-of-care clinical support websites: Table 1.Kyle T. Amber, Gaurav Dhiman & Kenneth W. Goodman - 2014 - Journal of Medical Ethics 40 (8):578-580.
    Point-of-care evidence-based medicine websites allow physicians to answer clinical queries using recent evidence at the bedside. Despite significant research into the function, usability and effectiveness of these programmes, little attention has been paid to their ethical issues. As many of these sites summarise the literature and provide recommendations, we sought to assess the role of conflicts of interest in two widely used websites: UpToDate and Dynamed. We recorded all conflicts of interest for six articles detailing treatment for the following conditions: (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  19
    The Spartan Rhetra in Plutarch Lycurgus vi B. The Eynomla of Tyrtaios.H. T. Wade-Gery - 1944 - Classical Quarterly 38 (1-2):1-.
    Plutarch concludes his chapter on the Rhetra with six lines of Tyrtaios: φοβου κοςσαντες Πυθωνθεν οκαδ' νεικαν1 μαντεας τε θεο κα τελεντ' πεα ρχειν μν βουλῦς θεοτιμτους βασιλας οσι μλει Σπρτας μερεσσα πλις πρεσβτας τε γροντας, πειτα δ δημτας νδρας πθεαις τραις ντααπαμειβομνους. These lines are quoted to confirm Plutarch's statement, that the Kings who added the last clause to the Rhetra ‘persuaded the city [to accept this addition] on the grounds that it was part of the God's command'. On (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  15
    Asserting The Primacy of Health Over Patent Rights: A Comparative Study of the Processes that Led to the Use of Compulsory Licensing in Thailand and Brazil.Stephanie T. Rosenberg - 2014 - Developing World Bioethics 14 (2):83-91.
    Since the 1970s, the United States has adopted a trade policy agenda that has forced countries to trade away flexible patent provisions for access to US markets. While pharmaceutical companies have argued that the recognition of patent rights is essential for recovering investments in research and development of pharmaceuticals and incentivizing future innovation, the lack of competition has had damaging consequences for public health, as companies tend to set the prices of treatments beyond the reach of consumers and government programs. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    Mill's Proof of Utilitarianism.A. T. Fyfe - 2011-09-16 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments. Wiley‐Blackwell. pp. 223–228.
    This chapter contains sections titled: Generic Argument for Traditional Utilitarianism Mill's Proof of Utilitarianism (Straightforward Interpretation) Mill's Proof of Utilitarianism (One Alternative Interpretation) Mill's Proof of Utilitarianism (Another Alternative Interpretation).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  44
    Quotients of Boolean algebras and regular subalgebras.B. Balcar & T. Pazák - 2010 - Archive for Mathematical Logic 49 (3):329-342.
    Let ${\mathbb{B}}$ and ${\mathbb{C}}$ be Boolean algebras and ${e: \mathbb{B}\rightarrow \mathbb{C}}$ an embedding. We examine the hierarchy of ideals on ${\mathbb{C}}$ for which ${ \bar{e}: \mathbb{B}\rightarrow \mathbb{C} / \fancyscript{I}}$ is a regular (i.e. complete) embedding. As an application we deal with the interrelationship between ${\fancyscript{P}(\omega)/{{\rm fin}}}$ in the ground model and in its extension. If M is an extension of V containing a new subset of ω, then in M there is an almost disjoint refinement of the family ([ω]ω) V (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  58
    Computability, enumerability, unsolvability, Directions in recursion theory, edited by S. B. Cooper, T. A. Slaman, and S. S. Wainer, London Mathematical Society lecture note series, no. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, vii + 347 pp. - Leo Harrington and Robert I. Soare, Dynamic properties of computably enumerable sets, Pp. 105–121. - Eberhard Herrmann, On the ∀∃-theory of the factor lattice by the major subset relation, Pp. 139–166. - Manuel Lerman, Embeddings into the recursively enumerable degrees, Pp. 185–204. - Xiaoding Yi, Extension of embeddings on the recursively enumerable degrees modulo the cappable degrees, Pp. 313–331. - André Nies, Relativization of structures arising from computability theory. Pp. 219–232. - Klaus Ambos-Spies, Resource-bounded genericity. Pp. 1–59. - Rod Downey, Carl G. Jockusch, and Michael Stob. Array nonrecursive degrees and genericity, Pp. 93–104. - Masahiro Kumabe, Degrees of generic sets, Pp. 167–183. [REVIEW]C. T. Chong - 1999 - Journal of Symbolic Logic 64 (3):1362-1365.
  30. More about uniform upper Bounds on ideals of Turing degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
    Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  31.  13
    The Purposes, Practices, and Professionalism of Teacher Reflectivity: Insights for Twenty-First-Century Teachers and Students.Sunya T. Collier, Dean Cristol, Sandra Dean, Nancy Fichtman Dana, Donna H. Foss, Rebecca K. Fox, Nancy P. Gallavan, Eric Greenwald, Leah Herner-Patnode, James Hoffman, Fred A. J. Korthagen, Barbara Larrivee Hea-Jin Lee, Jane McCarthy, Christie McIntyre, D. John McIntyre, Rejoyce Soukup Milam, Melissa Mosley, Lynn Paine, Walter Polka, Linda Quinn, Mistilina Sato, Jason Jude Smith, Anne Rath, Audra Roach, Katie Russell, Kelly Vaughn, Jian Wang, Angela Webster-Smith, Ruth Chung Wei, C. Stephen White, Rachel Wlodarksy, Diane Yendol-Hoppey & Martha Young (eds.) - 2010 - R&L Education.
    This book provides practical and research-based chapters that offer greater clarity about the particular kinds of teacher reflection that matter and avoids talking about teacher reflection generically, which implies that all kinds of reflection are of equal value.
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  3
    A case‐study approach to mapping Corporate Citizenship.Stephen T. Homer - 2022 - Business and Society Review 127 (3):663-684.
    This explores what responsible business practice within the context of Malaysia, an Eastern collective society, diverging from the Western individualistic society where most Corporate Social Responsibility (CSR) research originates. A bottom-up approach was adopted, incorporating different stakeholder perspectives of a case-study firm, widely acknowledged for its CSR programs. Concept mapping method was selected because it is a structural conceptualization method designed to organize and represent ideas from an identified group adding structure to disorganized and subjective ideas. By using concept mapping (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  9
    The Spartan Rhetra in Plutarch Lycurgus vi B. The Eynomla of Tyrtaios.H. T. Wade-Gery - 1944 - Classical Quarterly 38 (1-2):1-9.
    Plutarch concludes his chapter on the Rhetra with six lines of Tyrtaios: φοβου κοςσαντες Πυθωνθεν οκαδ' νεικαν1 μαντεας τε θεο κα τελεντ' πεα ρχειν μν βουλῦς θεοτιμτους βασιλας οσι μλει Σπρτας μερεσσα πλις πρεσβτας τε γροντας, πειτα δ δημτας νδρας πθεαις τραις ντααπαμειβομνους. These lines are quoted to confirm Plutarch's statement, that the Kings who added the last clause to the Rhetra ‘persuaded the city [to accept this addition] on the grounds that it was part of the God's command'. On (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  80
    A First-Person Analysis Using Third-Person Data as a Generative Method: A Case Study of Surprise in Depression.N. Depraz, M. Gyemant & T. Desmidt - 2017 - Constructivist Foundations 12 (2):190-203.
    Context: The use of first-person micro-phenomenological interviews and their productive interaction with third-person physiological data is a challenging and pressing issue in order to offer an effective and fruitful application of Varela’s neurophenomenological hypothesis. Problem: We aim at offering a generative method of analysis of first-person micro-phenomenological interviews using third-person physiological data. Our challenge is to describe this generative first-person analysis with the third-person physiological framework rather than put Varela’s hypothesis into practice in a generative way (as we did in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  35.  9
    The ‘Real-World Approach’ and Its Problems: A Critique of the Term Ecological Validity.Gijs A. Holleman, Ignace T. C. Hooge, Chantal Kemner & Roy S. Hessels - 2020 - Frontiers in Psychology 11.
    A popular goal in psychological science is to understand human cognition and behavior in the ‘real world’. In contrast, researchers have typically conducted their research in experimental research settings, a.k.a. the ‘psychologist’s laboratory’. Critics have often questioned whether psychology’s laboratory experiments permit generalizable results. This is known as the ‘real-world or the lab’-dilemma. To bridge the gap between lab and life, the concept of ecological validity has been widely used to evaluate whether laboratory experiments resemble and generalize to the ‘real (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36. The cognitive mechanisms of intolerance.Jennifer C. Wright, Cullen B. McWhite & Piper T. Grandjean - 2014 - In Joshua Knobe, Tania Lombrozo & Shaun Nichols (eds.), Oxford Studies in Experimental Philosophy, Volume 1. Oxford.
    The new field of experimental philosophy has emerged as the methods of psychological science have been brought to bear on traditional philosophical issues. Oxford Studies in Experimental Philosophy will be the place to go to see outstanding new work in the field. It will feature papers by philosophers, papers by psychologists, and papers co-authored by people in both disciplines. The series heralds the emergence of a truly interdisciplinary field in which people from different disciplines are working together to address a (...)
     
    Export citation  
     
    Bookmark   11 citations  
  37.  64
    Large scale organisational intervention to improve patient safety in four UK hospitals: mixed method evaluation.A. Benning, M. Ghaleb, A. Suokas, M. Dixon-Woods, J. Dawson, N. Barber, B. D. Franklin, A. Girling, K. Hemming, M. Carmalt, G. Rudge, T. Naicker, U. Nwulu, S. Choudhury & R. Lilford - unknown
    Objectives To conduct an independent evaluation of the first phase of the Health Foundation’s Safer Patients Initiative (SPI), and to identify the net additional effect of SPI and any differences in changes in participating and non-participating NHS hospitals. Design Mixed method evaluation involving five substudies, before and after design. Setting NHS hospitals in the United Kingdom. Participants Four hospitals (one in each country in the UK) participating in the first phase of the SPI (SPI1); 18 control hospitals. Intervention The SPI1 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  57
    Rational taxonomy and the natural system.Mae-Wan Ho & Peter T. Saunders - 1993 - Acta Biotheoretica 41 (4):289-304.
    Since Darwin's theory of evolution by natural selection, the idea of descent with modification came to dominate systematics, and so the study of morphology became subgugated to the reconstruction of phylogenies. Reinstating the organism in the theory of evolution (Ho & Saunders, 1979; Webster & Goodwin, 1982) leads to a project inrational taxonomy (Ho, 1986, 1988a), which attempts to classify biological forms on the basis of transformations on a given dynamical structure.Does rational taxonomy correspond to thenatural system that Linnaeus and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  18
    Finitely generic models of tUH, for certain model companionable theories T.Francoise Point - 1985 - Journal of Symbolic Logic 50 (3):604 - 610.
  40.  30
    Meta Ain't Always Betta': 1 Conceptualizing the Generic Chaplaincy Issue.Christopher Tollefsen - 1998 - Christian Bioethics 4 (3):305-315.
    Generic chaplaincy is the result of a devaluing of religious worship and belief to the merely instrumental and experiential. It is an expectable consequence of non-belief in the unique object that would render religious worship intrinsically meaningful and valuable. Generic chaplaincy has no place because all desire God, yet not all have found Him in the fullness with which He has revealed Himself to us, or even in the fullness with which we may be aware of Him through (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  16
    Generic separations and leaf languages.M. Galota, H. Vollmer & S. Kosub - 2003 - Mathematical Logic Quarterly 49 (4):353.
    In the early nineties of the previous century, leaf languages were introduced as a means for the uniform characterization of many complexity classes, mainly in the range between P and PSPACE . It was shown that the separability of two complexity classes can be reduced to a combinatorial property of the corresponding defining leaf languages. In the present paper, it is shown that every separation obtained in this way holds for every generic oracle in the sense of Blum (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Simple Generics.David Liebesman - 2011 - Noûs 45 (3):409-442.
    Consensus has it that generic sentences such as “Dogs bark” and “Birds fly” contain, at the level of logical form, an unpronounced generic operator: Gen. On this view, generics have a tripartite structure similar to overtly quantified sentences such as “Most dogs bark” and “Typically, birds fly”. I argue that Gen doesn’t exist and that generics have a simple bipartite structure on par with ordinary atomic sentences such as “Homer is drinking”. On my view, the subject terms of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  43. Genericity.Ariel Cohen - 2022 - In Mark Aronoff (ed.), Oxford Research Encyclopedia of Linguistics. Oxford: Oxford University Press. pp. 1-35.
    Generics are sentences such as Birds fly, which express generalizations. They are prevalent in speech, and as far as is known, no human language lacks generics. Yet, it is very far from clear what they mean. After all, not all birds fly—penguins don’t! -/- There are two general views about the meaning of generics in the literature, and each view encompasses many specific theories. According to the inductivist view, a generic states that a sufficient number of individuals satisfy a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  44.  20
    Bounded truth table does not reduce the one-query tautologies to a random oracle.Toshio Suzuki - 2005 - Archive for Mathematical Logic 44 (6):751-762.
    The relativized propositional calculus is a system of Boolean formulas with query symbols. A formula in this system is called a one-query formula if the number of occurrences of query symbols is just one. If a one-query formula is a tautology with respect to a given oracle A then it is called a one-query tautology with respect to A. By extending works of Ambos-Spies (1986) and us (2002), we investigate the measure of the class of all oracles A such (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Generics: Cognition and acquisition.Sarah-Jane Leslie - 2008 - Philosophical Review 117 (1):1-47.
    Ducks lay eggs' is a true sentence, and `ducks are female' is a false one. Similarly, `mosquitoes carry the West Nile virus' is obviously true, whereas `mosquitoes don't carry the West Nile virus' is patently false. This is so despite the egg-laying ducks' being a subset of the female ones and despite the number of mosquitoes that don't carry the virus being ninety-nine times the number that do. Puzzling facts such as these have made generic sentences defy adequate semantic (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   171 citations  
  46.  93
    Generics as instructions.Samia Hesni - 2021 - Synthese 199 (5-6):12587-12602.
    Generic claims like ‘women stay home and raise children’ and ‘boys don’t cry’ are normative generics: generic claims that express a norm. The truth conditions of normative generics are even harder to account for than those for more descriptive generics like ‘ducks lay eggs.’ Until recently, such generics were treated as deviant and thus not accounted for in standard accounts of generics. But recent work on the semantics and pragmatics of normative generics has changed that. In light of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  47.  34
    The Delphic Oracle and les ‘ Maisons Sacrées’ de Delos - The Delphic Oracle: its Early History, Influetice, and Fall. By T. Dempsey. With a Prefatory Note by R. S. Conway. One vol. Octavo. Pp. xxiv + 200. Oxford: Blackwell, 1918. 6s.net. - Les ‘ Maisons Sacrées ’ de Delos: au Temps de l' Indépendance de l' Ile. ParSylvain Molinier. One vol. Octavo. Pp. 108. Three plates. Paris: Alcan, 1914. Fr. 5. [REVIEW]Frank Granger - 1921 - The Classical Review 35 (1-2):31-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  20
    Normative generics and social kind terms.Samia Hesni - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Generic statements are commonly expressed using the bare plural – ‘tigers are striped’ – or the indefinite singular – ‘a tiger is striped’. Notoriously, some generics can be expressed using the bare plural locution, but not the indefinite singular; bare plural generics and indefinite singular generics pattern differently. I explore this phenomenon as it applies to normative generic statements: expressions like boys don’t cry, women are kind and nurturing, children are seen and not heard – that convey something (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  12
    The generic degrees of density-1 sets, and a characterization of the hyperarithmetic reals.Gregory Igusa - 2015 - Journal of Symbolic Logic 80 (4):1290-1314.
    A generic computation of a subsetAof ℕ is a computation which correctly computes most of the bits ofA, but which potentially does not halt on all inputs. The motivation for this concept is derived from complexity theory, where it has been noticed that frequently, it is more important to know how difficult a type of problem is in the general case than how difficult it is in the worst case. When we study this concept from a recursion theoretic point (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  23
    Physical Oracles: The Turing Machine and the Wheatstone Bridge.Edwin J. Beggs, José Félix Costa & John V. Tucker - 2010 - Studia Logica 95 (1-2):279-300.
    Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 988