Results for 'Michael Soltys'

(not author) ( search as author name )
977 found
Order:
  1.  13
    The proof complexity of linear algebra.Michael Soltys & Stephen Cook - 2004 - Annals of Pure and Applied Logic 130 (1-3):277-323.
    We introduce three formal theories of increasing strength for linear algebra in order to study the complexity of the concepts needed to prove the basic theorems of the subject. We give what is apparently the first feasible proofs of the Cayley–Hamilton theorem and other properties of the determinant, and study the propositional proof complexity of matrix identities such as AB=I→BA=I.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  7
    An introduction to the analysis of algorithms.Michael Soltys - 2012 - New Jersey: World Scientific.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  23
    Matrix identities and the pigeonhole principle.Michael Soltys & Alasdair Urquhart - 2004 - Archive for Mathematical Logic 43 (3):351-357.
    We show that short bounded-depth Frege proofs of matrix identities, such as PQ=I⊃QP=I (over the field of two elements), imply short bounded-depth Frege proofs of the pigeonhole principle. Since the latter principle is known to require exponential-size bounded-depth Frege proofs, it follows that the propositional version of the matrix principle also requires bounded-depth Frege proofs of exponential size.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  41
    Weak theories of linear algebra.Neil Thapen & Michael Soltys - 2005 - Archive for Mathematical Logic 44 (2):195-208.
    We investigate the theories of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize Frege proofs. We give sentences separating quantified versions of these theories, and define a fragment in which we can interpret a weak theory V 1 of bounded arithmetic and carry out polynomial time reasoning about matrices - for example, we can formalize the Gaussian elimination algorithm. We show that, even if we restrict our language, proves the commutativity (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Boolean programs and quantified propositional proof systems.Stephen Cook & Michael Soltys - 1999 - Bulletin of the Section of Logic 28 (3):119-129.
     
    Export citation  
     
    Bookmark   2 citations  
  6.  41
    Proving properties of matrices over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Z}_{2}}$$\end{document}. [REVIEW]Michael Soltys - 2012 - Archive for Mathematical Logic 51 (5-6):535-551.
    We prove assorted properties of matrices over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{Z}_{2}}$$\end{document}, and outline the complexity of the concepts required to prove these properties. The goal of this line of research is to establish the proof complexity of matrix algebra. It also presents a different approach to linear algebra: one that is formal, consisting in algebraic manipulations according to the axioms of a ring, rather than the traditional semantic approach via linear transformations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  33
    Persea americana (avocado): bringing ancient flowers to fruit in the genomics era.André S. Chanderbali, Victor A. Albert, Vanessa E. T. M. Ashworth, Michael T. Clegg, Richard E. Litz, Douglas E. Soltis & Pamela S. Soltis - 2008 - Bioessays 30 (4):386-396.
    The avocado (Persea americana) is a major crop commodity worldwide. Moreover, avocado, a paleopolyploid, is an evolutionary “outpost” among flowering plants, representing a basal lineage (the magnoliid clade) near the origin of the flowering plants themselves. Following centuries of selective breeding, avocado germplasm has been characterized at the level of microsatellite and RFLP markers. Nonetheless, little is known beyond these general diversity estimates, and much work remains to be done to develop avocado as a major subtropical‐zone crop. Among the goals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  61
    Infant crying in hunter-Gatherer cultures.Hillary N. Fouts, Michael E. Lamb & Barry S. Hewlett - 2004 - Behavioral and Brain Sciences 27 (4):462-463.
    By synthesizing evolutionary, attachment, and acoustic perspectives, Soltis has provided an innovative model of infant cry acoustics and parental responsiveness. We question some of his hypotheses, however, because of the limited extant data on infant crying among hunter-gatherers. We also question Soltis' distinction between manipulative and honest signaling based upon recent contributions from attachment theory.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Rationality’s Fixed Point.Michael G. Titelbaum - 2015 - Oxford Studies in Epistemology 5.
    This article defends the Fixed Point Thesis: that it is always a rational mistake to have false beliefs about the requirements of rationality. The Fixed Point Thesis is inspired by logical omniscience requirements in formal epistemology. It argues to the Fixed Point Thesis from the Akratic Principle: that rationality forbids having an attitude while believing that attitude is rationally forbidden. It then draws out surprising consequences of the Fixed Point Thesis, for instance that certain kinds of a priori justification are (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   179 citations  
  10.  31
    Darwinism and Human Affairs.Michael Ruse - 1981 - Philosophy of Science 48 (4):627-628.
  11. Cultural learning.Michael Tomasello, Ann Cale Kruger & Hilary Horn Ratner - 1993 - Behavioral and Brain Sciences 16 (3):495-511.
    This target article presents a theory of human cultural learning. Cultural learning is identified with those instances of social learning in which intersubjectivity or perspective-taking plays a vital role, both in the original learning process and in the resulting cognitive product. Cultural learning manifests itself in three forms during human ontogeny: imitative learning, instructed learning, and collaborative learning – in that order. Evidence is provided that this progression arises from the developmental ordering of the underlying social-cognitive concepts and processes involved. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   369 citations  
  12.  8
    The ethical canary: narrow reflective equilibrium as a source of moral justification in healthcare priority-setting.Victoria Charlton & Michael J. DiStefano - forthcoming - Journal of Medical Ethics.
    Healthcare priority-setting institutions have good reason to want to demonstrate that their decisions are morally justified—and those who contribute to and use the health service have good reason to hope for the same. However, finding a moral basis on which to evaluate healthcare priority-setting is difficult. Substantive approaches are vulnerable to reasonable disagreement about the appropriate grounds for allocating resources, while procedural approaches may be indeterminate and insufficient to ensure a just distribution. In this paper, we set out a complementary, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  1
    The 100 most asked questions about God and the Bible.S. Michael Houdmann - 2024 - Minneapolis, Minnesota: Bethany House Publishers, a division of Baker Publishing Group.
    Founder of GotQuestions.org, the most popular online biblical resource, S. Michael Houdmann answers 100 of the most-asked questions on the site in a compassionate, accessible, and straightforward manner. Cutting through the confusion on even the hardest of topics, he offers the biblical truth we all need to understand God's Word and apply it to our lives.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Ignorance and Moral Obligation.Michael J. Zimmerman - 2014 - Oxford: Oxford University Press.
    Michael J. Zimmerman explores whether and how our ignorance about ourselves and our circumstances affects what our moral obligations and moral rights are. He rejects objective and subjective views of the nature of moral obligation, and presents a new case for a 'prospective' view.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  15.  19
    Consent in the time of COVID-19.Helen Lynne Turnham, Michael Dunn, Elaine Hill, Guy T. Thornburn & Dominic Wilkinson - 2020 - Journal of Medical Ethics 46 (9):565-568.
    The COVID-19 pandemic crisis has necessitated widespread adaptation of revised treatment regimens for both urgent and routine medical problems in patients with and without COVID-19. Some of these alternative treatments maybe second-best. Treatments that are known to be superior might not be appropriate to deliver during a pandemic when consideration must be given to distributive justice and protection of patients and their medical teams as well the importance given to individual benefit and autonomy. What is required of the doctor discussing (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  68
    Heidegger’s Confrontation with Modernity: Technology, Politics, and Art.Michael E. ZIMMERMAN - 1990 - Indiana University Press.
    "Writing in a lively and refreshingly clear American English, Zimmerman provides an uncompromisingly honest and judicious account... of Heidegger’s views on technology and his involvement with National Socialism.... One of the most important books on Heidegger in recent years." —John D. Caputo "... superb... " —Thomas Sheehan, The New York Review of Books "... thorough and complex... " —Choice "... excellent guide to Heidegger as eco-philosopher." —Radical Philosophy "... engrossing, rich in substance... makes clear Heidegger's importance for the issue of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  17.  16
    A(nother) democratic case for federalism.Michael Da Silva - forthcoming - European Journal of Political Theory.
    This work offers a new democratic case for federalism, understood as a form of governance in which multiple entities in a country possess final decision-making authority (viz., can make decisions free from others substituting their decisions, issuing fines, etc.) over at least one subject (e.g., immigration, defense). It argues that leading solutions to the democratic boundary problem provide overlapping arguments for federalism. The underlying logic and many details of the most commonly cited solutions focused on those relevantly affected by and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  72
    Do young children have adult syntactic competence?Michael Tomasello - 2000 - Cognition 74 (3):209-253.
  19.  9
    Public Health Disasters: A Global Ethical Framework.Michael Olusegun Afolabi - 2018 - Springer Verlag.
    This book presents the first critical examination of the overlapping ethical, sociocultural, and policy-related issues surrounding disasters, global bioethics, and public health ethics. These issues are elucidated under the conceptual rubric: Public health disasters. The book defines PHDs as public health issues with devastating social consequences, the attendant public health impacts of natural or man-made disasters, and latent or low prevalence public health issues with the potential to rapidly acquire pandemic capacities. This notion is illustrated using Ebola and pandemic influenza (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  89
    Reason without Reasons For.Michael G. Titelbaum - 2019 - Oxford Studies in Metaethics 14.
    Metaethicists have recently devoted a great deal of attention to questions about when a fact counts as a reason for or against a particular conclusion, and how such reasons interact. Chapter 9 asks a broader question: When a set of facts counts in favor of some conclusion, is that always because at least one of those facts is a reason for that conclusion? Examples are offered in which a set supports a conclusion without any fact in that set’s being a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  25
    Machines as the Measure of Men: Science, Technology, and Ideologies of Western Dominance.Michael Adas - 1993 - Philosophy East and West 43 (2):344-346.
  22. The Cambrian Explosion and the Origins of Embodied Cognition.Michael Trestman - 2013 - Biological Theory 8 (1):80-92.
    Around 540 million years ago there was a sudden, dramatic adaptive radiation known as the Cambrian Explosion. This event marked the origin of almost all of the phyla (major lineages characterized by fundamental body plans) of animals that would ever live on earth, as well the appearance of many notable features such as rigid skeletons and other hard parts, complex jointed appendages, eyes, and brains. This radical evolutionary event has been a major puzzle for evolutionary biologists since Darwin, and while (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  23. Brill's Studies in Intellectual History.Ursula Renz, Michael Hampe & Robert Schnepf (eds.) - 2011
    No categories
     
    Export citation  
     
    Bookmark  
  24.  39
    Liberalism without humanism: Michel Foucault and the free-market Creed, 1976–1979*: Michael C. behrent.Michael C. Behrent - 2009 - Modern Intellectual History 6 (3):539-568.
    This article challenges conventional readings of Michel Foucault by examining his fascination with neoliberalism in the late 1970s. Foucault did not critique neoliberalism during this period; rather, he strategically endorsed it. The necessary cause for this approval lies in the broader rehabilitation of economic liberalism in France during the 1970s. The sufficient cause lies in Foucault's own intellectual development: drawing on his long-standing critique of the state as a model for conceptualizing power, Foucault concluded, during the 1970s, that economic liberalism, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  25.  29
    Reverting to a hidden interactional order: Epistemics, informationism, and conversation analysis.Jean Wong & Michael Lynch - 2016 - Discourse Studies 18 (5):526-549.
    This article critically examines the relations between epistemics in conversation analysis and linguistic and cognitivist conceptions of communicative interaction that emphasize information and information transfer. The epistemic program adheres to the focus on recorded instances of talk-in-interaction that is characteristic of CA, explicitly identifies its theoretical origins with ethnomethodology, and points to implications of its research for the social distribution of knowledge. However, despite such affiliations with CA and ethnomethodology, the EP is cognitivist in the way it emphasizes information exchange (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  26.  9
    Divine Holiness and Divine Action, Mark C. Murphy.Christopher Michael Cloos - 2023 - Philosophia Christi 25 (2):334-338.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. The Politics of Michel Foucault.Michael Walzer - 1986 - In Michel Foucault & David Couzens Hoy (eds.), Foucault: a critical reader. New York, NY, USA: Blackwell. pp. 51.
     
    Export citation  
     
    Bookmark   33 citations  
  28.  20
    What’s in the Box?: Uncertain Accountability of Machine Learning Applications in Healthcare.Ma'N. Zawati & Michael Lang - 2020 - American Journal of Bioethics 20 (11):37-40.
    Machine learning is an increasingly significant part of modern healthcare, transforming the way clinical decisions are made and health resources are managed. These developme...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  9
    Clathrin controls bidirectional communication between T cells and antigen presenting cells.Audun Kvalvaag & Michael L. Dustin - 2024 - Bioessays 46 (4):2300230.
    In circulation, T cells are spherical with selectin enriched dynamic microvilli protruding from the surface. Following extravasation, these microvilli serve another role, continuously surveying their environment for antigen in the form of peptide‐MHC (pMHC) expressed on the surface of antigen presenting cells (APCs). Upon recognition of their cognate pMHC, the microvilli are initially stabilized and then flatten into F‐actin dependent microclusters as the T cell spreads over the APC. Within 1–5 min, clathrin is recruited by the ESCRT‐0 component Hrs to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    Pragmatism and Progress.Damian Cox & Michael P. Levine - 2019 - In Clifford S. Stagoll & Michael P. Levine (eds.), Pragmatism Applied: William James and the Challenges of Contemporary Life. Albany: SUNY Press. pp. 101-122.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31. High-Level Exceptions Explained.Michael Strevens - 2014 - Erkenntnis 79 (S10):1819-1832.
    Why are causal generalizations in the higher-level sciences “inexact”? That is, why do they have apparent exceptions? This paper offers one explanation: many causal generalizations cite as their antecedent—the \(F\) in \(Fs\,\, {\textit{are}}\,\, G\) —a property that is not causally relevant to the consequent, but which is rather “entangled” with a causally relevant property. Entanglement is a relation that may exist for many reasons, and that allows of exceptions. Causal generalizations that specify entangled but causally irrelevant antecedents therefore tolerate exceptions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  32. Analiza fraktalna w badaniu morfologii komórek tkanki nerwowej: metody i problemy.Marcin Piechota, Anna Romanowska-Pawliczek & Zbigniew Sołtys - 2007 - Episteme 5:11-28.
     
    Export citation  
     
    Bookmark  
  33. The marketization of pedagogy and the problem of 'competitive accountability'.Richard Watermeyer & Michael Tomlinson - 2018 - In Emma Medland, Richard Watermeyer, Anesa Hosein, Ian Kinchin & Simon Lygo-Baker (eds.), Pedagogical peculiarities: conversations at the edge of university teaching and learning. Boston: Brill Sense.
     
    Export citation  
     
    Bookmark   3 citations  
  34.  40
    Causal models and the acquisition of category structure.Michael R. Waldmann, Keith J. Holyoak & Angela Fratianne - 1995 - Journal of Experimental Psychology: General 124 (2):181.
  35. Deliberation, and what else?Michael Walzer - 1999 - In Stephen Macedo (ed.), Deliberative politics: essays on democracy and disagreement. New York: Oxford University Press. pp. 58--69.
     
    Export citation  
     
    Bookmark   21 citations  
  36. Music Performance As an Experimental Approach to Hyperscanning Studies.Michaël A. S. Acquadro, Marco Congedo & Dirk De Riddeer - 2016 - Frontiers in Human Neuroscience 10:160194.
    Humans are fundamentally social and tend to create emergent organizations when interacting with each other; from dyads to families, small groups, large groups, societies and civilizations. The study of the neuronal substrate of human social behavior is currently gaining momentum in the young field of social neuroscience. Hyperscanning is a neuroimaging technique by which we can study two or more brain simultaneously while participants interact with each other. The aim of this article is to discuss several factors that we deem (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37.  23
    Five Interconnections of Race and Class.Michael Billeaux-Martinez & Calnitsky David - forthcoming - Historical Materialism:1-42.
    This paper proposes a five-part empirical typology of interconnections of race and class. We describe the mechanisms whereby (1) race is a form of class relation; (2) race relations and class relations reciprocally affect each other; (3) race acts as a sorting mechanism into class locations; (4) race acts as a mediating linkage to class locations; and (5) race interacts with class in determining other outcomes. Rather than insisting on one or another mechanism as the overarching framework for conceptualising the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  1
    From the Guest Editors.Lea Chilian & Michael Coors - 2024 - De Ethica 8 (1):3-9.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  26
    Metaphysical explanations: The case of singleton sets revisited.Kai Michael Büttner - 2024 - Theoria 90 (1):98-108.
    Many contemporary metaphysicians believe that the existence of a contingent object such as Socrates metaphysically explains the existence of the corresponding set {Socrates}. This paper argues that this belief is mistaken. The argument proposed takes the form of a dilemma. The expression “{Socrates}” is a shorthand either for the expression “the set that contains all and only those objects that are identical to Socrates” or for the expression “the set that contains Socrates and nothing else”. However, Socrates' existence does not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  35
    Engaging the Uncertainties of Ebola Outbreaks: An Anthropo-Ecological Perspective.Michael O. S. Afolabi & Ikeolu O. Afolabi - 2018 - American Journal of Bioethics 18 (10):50-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  60
    Emerging Ethical Issues Related to the Use of Brain-Computer Interfaces for Patients with Total Locked-in Syndrome.Michael N. Abbott & Steven L. Peck - 2016 - Neuroethics 10 (2):235-242.
    New brain-computer interface and neuroimaging techniques are making differentiation less ambiguous and more accurate between unresponsive wakefulness syndrome patients and patients with higher cognitive function and awareness. As research into these areas continues to progress, new ethical issues will face physicians of patients suffering from total locked-in syndrome, characterized by complete loss of voluntary muscle control, with retention of cognitive function and awareness detectable only with neuroimaging and brain-computer interfaces. Physicians, researchers, ethicists and hospital ethics committees should be aware of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  35
    Knowing What It Is Like.Michael Tye - 2011 - In John Bengson & Marc A. Moffett (eds.), Knowing How: Essays on Knowledge, Mind, and Action. Oxford, England: Oxford University Press USA. pp. 300.
  43. A Solution to the Paradox of Causation.John-Michael Kuczynski - 1997 - Philosophy in Science 8 (1):81-182.
    It is shown (i) that causation exists, since we couldn't even ask whether causation existed unless it did; (ii) that any given case of causation is a case of persistence; and (iii) that spatiotemporal relations supervene on causal relations. (ii) is subject to the qualification that we tend not to become aware of instances of causation as such except when two different causal lines---i.e. two different cases of persistence---intersect, resulting in a breakdown of some other case of persistence, this being (...)
     
    Export citation  
     
    Bookmark  
  44. Toward the interactional relevance of (non)referentiality.Ritva Laury, Michael C. Ewing & Sandra A. Thompson - 2024 - In Michael C. Ewing & Ritva Laury (eds.), (Non)referentiality in conversation. Philadelphia: John Benjamins.
     
    Export citation  
     
    Bookmark  
  45. Cat in the Hat and Cyber Warfare.Jon R. Lindsay & Michael Poznansky - 2024 - In Montgomery McFate (ed.), Dr. Seuss and the art of war: secret military lessons. Lanham: Rowman & Littlefield.
     
    Export citation  
     
    Bookmark  
  46. A Rhetoric of LOVE.A. Michael Collender - 2020 - Lancaster, Pennsylvania: veritas Press.
     
    Export citation  
     
    Bookmark  
  47.  6
    Within my heart: the Enlightenment epistemic reversal and the subjective justification of religious belief.Michael A. Van Horn - 2017 - Eugene, Oregon: Pickwick Publications.
    Introduction: Religious experience in modernity : faith itself as the "unknown God" -- Fides qua creditur : the Enlightenment mind and the theology of the heart -- Within the bounds of reason alone : the subjective justification of religious belief in the thought of Immanuel Kant -- Schleiermacher's "higher order Pietism" : subjectivity and Protestant liberal thought -- Søren Kierkegaard and the paradox of faith : subjectivity in Christian existentialism -- Subjectivity and religious belief in Anglo-American revivalism : Jonathan Edwards (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  19
    Slavoj Žižek und die Künste.Erik Michael Vogt & Slavoj Žižek (eds.) - 2022 - Wien: Turia + Kant.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  2
    Kants Ethik in modernen Gesellschaften.Michael von Grundherr - 2003 - Hamburg: Lit.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Speaks on strong property representationalism.Michael Tye - 2014 - Philosophical Studies 170 (1):85-86.
    Strong property representationalism, as applied to visual experience, is the thesis that the phenomenal character of a visual experience is one and the same as the property complex or ‘sensible profile’ represented by that experience. Speaks discusses the following argument against this thesis:Let ‘RED’ stand for the phenomenal character of the experience of red.(1) Red = RED (strong property representationalism).(2) My pen has no representational properties, but is red.Hence,(3) My pen has a phenomenal character but no representational properties.Since (3) is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
1 — 50 / 977