Results for 'Maibaum, Thomas'

993 found
Order:
  1. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   9 citations  
  2.  23
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  3.  21
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  4.  36
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  34
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  6.  12
    Proof theory and computer programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  21
    Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
    This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  65
    Autism as Gradual Sensorimotor Difference: From Enactivism to Ethical Inclusion.Thomas van Es & Jo Bervoets - 2021 - Topoi 41 (2):395-407.
    Autism research is increasingly moving to a view centred around sensorimotor atypicalities instead of traditional, ethically problematical, views predicated on social-cognitive deficits. We explore how an enactivist approach to autism illuminates how social differences, stereotypically associated with autism, arise from such sensorimotor atypicalities. Indeed, in a state space description, this can be taken as a skewing of sensorimotor variables that influences social interaction and so also enculturation and habituation. We argue that this construal leads to autism being treated on a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  13
    On the Relative Intrusiveness of Physical and Chemical Restraints.Gabriel De Marco, Thomas Douglas, Lisa Forsberg & Julian Savulescu - 2024 - American Journal of Bioethics Neuroscience 15 (1):26-28.
    Crutchfield and Redinger argue that consciousness-altering chemical restraints are less “liberty-intrusive” (or as we will sometimes put it, just less “intrusive”) than physical restraints. Physica...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  5
    A “Mean Quarrelsome Spirit:” Controversy in British Systematics, 1822–1836.Jordan Thomas Mursinna - 2023 - Journal of the History of Biology 56 (4):673-714.
    British systematics was distinctly marked by a raft of vituperative controversies around the turn of the 1830s. After the local collapse of broad consensus in the Linnaean system by 1820, the emergence of new schemes of classification—most notably, the “quinarian” system of William Sharp Macleay—brought with it an unprecedented register of public debate among zoologists in Britain, one which a young Charles Darwin would bitterly describe to his friend John Stevens Henslow in October 1836 as possessing a “mean quarrelsome spirit,” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  11
    Pushed for Being Better: On the Possibility and Desirability of Moral Nudging.Bart Engelen & Thomas R. V. Nys - forthcoming - Journal of Value Inquiry:1-27.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Dimensions of Global Justice in Taxing Multinationals.Peter Dietsch & Thomas Rixen - forthcoming - Moral Philosophy and Politics.
    Widespread tax evasion and avoidance have recently led to both significant reforms of international tax governance and increased attention from theorists of global tax justice. Against the background of an analysis of the double challenge of effectiveness and distribution facing the taxation of multinational enterprises, this paper puts forward a taxonomy of recent contributions of the tax justice literature. This taxonomy not only opens up an original angle of interpretation on global tax justice, but also provides a vantage point from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  17
    Metacognitive judgment formation during map learning: Evidence for global monitoring.Lauren A. Mason, Ayanna K. Thomas & Holly A. Taylor - 2024 - Cognition 246 (C):105743.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Possibilities in the critical sociology of religion.Rhys H. Williams & Thomas J. Josephsohn - 2013 - Critical Research on Religion 1 (2):123-128.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  10
    Now You See It : Users, Maintainers and the Invisibility of Infrastructure.Mark Thomas Young - 2021 - In Michael Nagenborg, Taylor Stone, Margoth González Woge & Pieter E. Vermaas (eds.), Technology and the City: Towards a Philosophy of Urban Technologies. Springer Verlag. pp. 101-119.
    When infrastructural technology is functioning correctly, it is often considered to recede from view and become invisible. According to this perspective, visibility is restored in cases of breakdown and malfunction, which for this reason, are often understood to represent important epistemic opportunities for grasping previously hidden aspects of infrastructure. This article seeks to outline the limitations of the idea that infrastructural failure has a positive epistemic function by distinguishing between two fundamentally different ways in which the nature of technological function (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  10
    The Association Between Civil Legal Needs After Incarceration, Psychosocial Stress, and Cardiovascular Disease Risk Factors.Benjamin Lu, Kathryn Thomas, Solomon Feder, James Bhandary-Alexander, Jenerius Aminawung & Lisa B. Puglisi - 2023 - Journal of Law, Medicine and Ethics 51 (4):856-864.
    Many formerly incarcerated people have civil legal needs that can imperil their successful re-entry to society and, consequently, their health. We categorize these needs and assess their association with cardiovascular disease risk factors in a sample of recently released people. We find that having legal needs related to debt, public benefits, housing, or healthcare access is associated with psychosocial stress, but not uncontrolled high blood pressure or high cholesterol, in the first three months after release.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  7
    Beliefs Matter: Local Climate Concerns and Industrial Greenhouse Gas Emissions in the United States.Glen Dowell & Thomas Lyon - forthcoming - Journal of Business Ethics:1-24.
    Industrial emissions of greenhouse gases are significant contributors to climate change, which poses a grave threat to social and economic systems. Our understanding of what might drive firms to reduce their emissions of these gases, however, is incomplete, and it is not clear that the knowledge gained from other environmental issues will readily apply to these emissions. We argue and find that indicators of environmental injustice previously shown to relate to toxic pollutants, for example, are poor predictors of greenhouse gas (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Structural Irrationality.Thomas Scanlon - 2007 - In Geoffrey Brennan (ed.), Common minds: themes from the philosophy of Philip Pettit. New York: Oxford University Press.
     
    Export citation  
     
    Bookmark   102 citations  
  19.  65
    Intersubjective Accountability: Politics and Philosophy in the Left Vienna Circle.Thomas Uebel - 2020 - Perspectives on Science 28 (1):35-62.
    The question of the political potential possessed by the philosophies of the Vienna Circle is complex for more than one reason. It is so partly due to the politically heterogeneous membership of the Circle, partly due to the difficult if not extreme political circumstances under which they had to operate, and partly due to the variable meanings of the parameter "political," some of which are and some of which are not compatible with, in turn, variable versions of the doctrine of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  39
    Organisationsethik: Impulse für die Weiterentwicklung der Ethik im Gesundheitssystem.Patrick Schuchter, Thomas Krobath, Andreas Heller & Thomas Schmidt - 2020 - Ethik in der Medizin 33 (2):243-256.
    Organisationen spielen in modernen Gesellschaften eine zentrale Rolle. Der Beitrag geht davon aus, dass in den mittlerweile etablierten Formen von Ethik und Ethikberatung in Einrichtungen des Gesundheitssystems eine angemessene Reflexion des Organisationsbezugs oft ausbleibt bzw. eine besondere Herausforderung darstellt. Wir konzipieren deshalb eine „prozedurale Organisationsethik“, die sich kritisch mit der organisationalen Passung der Prozesse ethischer Reflexion auseinandersetzt. Daraus lassen sich als Anregung für Theorie und Praxis von ethischen Prozessen praktische Schlussfolgerungen ableiten. Sie betreffen die Orte der Differenzsetzung für die Frage (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  21.  12
    Organisational ethics.Patrick Schuchter, Thomas Krobath, Andreas Heller & Thomas Schmidt - 2020 - Ethik in der Medizin 33 (2):243-256.
    Definition of the problem Organisations play a vital role in modern societies. This article presumes a lack of sufficient organisational reflection of well-established forms of ethics and ethics counselling in institutions belonging to the health sector or sees particular challenges where it is implemented. Arguments We have therefore conceived a procedural type of organisational ethics which critically examines the organisational fit of processes in terms of ethical reflection, leading to practicable suggestions. Conclusions On the one hand they relate to where (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22.  3
    Lessons Learned in Developing and Testing a Methotrexate Case Study for Pharmacy Education.Tanya E. Karwaki, Thomas K. Hazlet & Jennifer L. Wilson Norton - 2020 - Cambridge Quarterly of Healthcare Ethics 29 (2):308-316.
    This article describes the development, implementation, and evaluation of a complex methotrexate ethics case used in teaching a Pharmacy Law and Ethics course. Qualitative analysis of student reflective writings provided useful insight into the students’ experience and comfort level with the final ethics case in the course. These data demonstrate a greater student appreciation of different perspectives, the potential for conflict in communicating about such cases, and the importance of patient autonomy. Faculty lessons learned are also described, facilitating adoption of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. .Thomas C. Vinci - 2015
    No categories
     
    Export citation  
     
    Bookmark   7 citations  
  24.  2
    The Moral Culture of the Scottish Enlightenment: 1690–1805.Thomas Ahnert - 2014 - New Haven: Yale University Press.
    In the European Enlightenments it was often argued that moral conduct rather than adherence to certain theological doctrines was the true measure of religious belief. Thomas Ahnert argues that this characteristically “enlightened” emphasis on conduct in religion was less reliant on arguments from reason alone than is commonly believed. In fact, the champions of the Scottish Enlightenment were deeply skeptical of the power of unassisted natural reason in achieving “enlightened” virtue and piety. They advocated a practical program of “moral (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  3
    Finding a Fit Among Philosophical Finitisms.Eamon Darnell & Aaron Thomas-Bolduc - 2024 - In Bharath Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice. Cham: Springer. pp. 443-461.
    David Hilbert sought to secure the epistemic foundations of mathematics by providing consistency proofs of axiomatized mathematical theories from within the finite standpoint. This standpoint requires concrete constructions without reference to completed infinities. In 1938, Gerhardt Gentzen proved the consistency of first-order Peano Arithmetic relying on the well-ordering of certain ordinal notations. This was thought by Gentzen and Paul Bernays to be finitistically acceptable. However, a finitistically acceptable proof of the relevant well-ordering was not available until Gaisi Takeuti’s proof in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  8
    1. Presbyterianism in Scotland After 1690.Thomas Ahnert - 2014 - In The Moral Culture of the Scottish Enlightenment: 1690–1805. New Haven: Yale University Press. pp. 17-33.
  27. Evaluating Google as an Epistemic Tool.Thomas W. Simpson - 2012 - Metaphilosophy 43 (4):426-445.
    This article develops a social epistemological analysis of Web-based search engines, addressing the following questions. First, what epistemic functions do search engines perform? Second, what dimensions of assessment are appropriate for the epistemic evaluation of search engines? Third, how well do current search engines perform on these? The article explains why they fulfil the role of a surrogate expert, and proposes three ways of assessing their utility as an epistemic tool—timeliness, authority prioritisation, and objectivity. “Personalisation” is a current trend in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  28.  11
    The Best-Loved Story of All Time: Overcoming All Obstacles to Be Reunited, Evoking Kama Muta.Beate Seibt, Thomas W. Schubert & Alan Page Fiske - 2017 - Evolutionary Studies in Imaginative Culture 1 (1):67-70.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  7
    Unlocking the Puzzle of Public Participation.Seth Tuler & Thomas Webler - 2002 - Bulletin of Science, Technology and Society 22 (3):179-189.
    Public participation is well known for its practitioner insights and wealth of case reports. This knowledge is essential and has been well employed. Likewise, the theoretical literature on public participation is growing rapidly. The need for better conceptual and theoretical understandings of public participation has become clear. Public participation theories have not received great attention, and few have been proposed or tested. Yet theory offers much to practitioners of various interventions. The authors summarize work toward developing a public participation theory (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Medizin – Technik – Ethik. Techno:Phil – Aktuelle Herausforderungen der Technikphilosophie.Janina Loh & Thomas Grote (eds.) - 2022 - Heidelberg: Metzler.
    No categories
     
    Export citation  
     
    Bookmark  
  31. The meaning of 'landscape' : an exegesis of Swiss government texts.Peter Longatti & Thomas Daland - 2007 - In Felix Kienast, Otto Wildi & S. Ghosh (eds.), A changing world: challenges for landscape research. Dordrecht, The Netherlands: Springer.
  32.  33
    Reply to Sullivan: Idealism and limits.Oliver Thomas Spinney - 2024 - Philosophical Investigations 47 (2):243-257.
    In this discussion I argue that Peter Sullivan is wrong to suggest that Wittgenstein's position in the Philosophical Investigations involves a commitment to transcendental idealism. I show that Sullivan's interpretation involves holding that transcendental idealism was employed by Wittgenstein in the attempt to combat a Platonist mythology. I show, through a detailed appraisal of Wittgenstein's discussion of samples, that Wittgenstein's approach to Platonism does not involve any such employment of transcendental idealism. I conclude that there is no such motivation as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Defending Divine Freedom.Thomas D. Senor - 2013 - In L. Kvanvig Jonathan (ed.), Oxford Studies in Philosophy of Religion. Oxford University Press. pp. 168-95.
  34.  19
    What Adam Smith Really Thought Should Not Matter.Thomas R. Wells - 2019 - Business Ethics Journal Review 7 (7):40-46.
    Hühn and Dierksmeier argue that a better understanding of Adam Smith’s work would improve business ethics research and education. I worry that their approach encourages two scholarly sins. First, anachronistic historiography in which we distort Smith’s ideas by making him answer questions about contemporary debates in CSR theory. Second, treating him as a prophet by assuming that finding out what Smith would have thought about it is the right way to answer such questions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Political philosophy of science in logical empiricism: the left Vienna Circle.Thomas Uebel - 2005 - Studies in History and Philosophy of Science Part A 36 (4):754-773.
  36. John Dewey.Thomas Alexander & Richard W. Field - 2003 - In Dematteis Philip B. & McHenry Leemon B. (eds.), Dictionary of Literary Biography. Bruccoli-Clark. pp. 56-88.
     
    Export citation  
     
    Bookmark   7 citations  
  37. Modernitetens Verden: Tiden, Videnskab, Historien Og Kunst.Ole Hã¸Iris & Thomas Ledet (eds.) - 2009 - Aarhus Universitetsforlag.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Romantikkens Verden: Natur, Menneske, Samfund, Kunst Og Kultur.Ole Høiris & Thomas Ledet (eds.) - 2008 - Aarhus Universitetsforlag.
    Romantikken er en sammensat kulturhistorisk og andshistorisk stromning, som brod frem i slutningen af 1700-tallet og kulminerede i den forste tredjedel af 1800-tallet, men havde udlobere helt ind i det 20. arhundrede. Ud over at formulere et sAerligt verdenssyn, der abnede for en dyrkelse af folkelig fortid, for melankolsk livsforelse, dybe trAengsler, anelser, splittelse og higen efter helhed og harmoni og meget andet, var den karakteriseret ved en kritisk reaktion mod to af den tids stAerke stromninger: Den oplysningstid, som i (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Miljöstyrning i en korrupt och politiskt alienerad värld.Sverker C. Jagers & Thomas Sterner - 2019 - In Bo Rothstein, Sven Engström & Sven E. O. Hort (eds.), Om Bo Rothstein: forskaren, debattören, livsnjutaren. Lund: Arkiv förlag.
     
    Export citation  
     
    Bookmark  
  40. Neural Implants and the TRICK to Autonomy.Maximilian Kiener & Thomas Douglas - forthcoming - In Hugh LaFollette (ed.), _Ethics in Practice_ 6th edition. Wiley Blackwell.
     
    Export citation  
     
    Bookmark  
  41.  5
    Theories Of Property: Aristotle to the Present.Anthony Parel & Thomas Flanagan (eds.) - 2006 - Wilfrid Laurier Press.
    The essays in this book began as a contributions to a Summer Workshop arranged by the Calgary Institute for the Humanities, and haled at the University of Calgary from July 7 to 14, 1978. The Institute, which was founded by the University in 1976 for the encouragement of humanistic studies, has held such conferences each summer as a part of its programme of research.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  2
    Ethics and Planning Research.Francesco Lo Piccolo & Huw Thomas - 2009 - Routledge.
    The consideration of ethics in social research has gained increasing prominence in the past few years, particularly research which seeks to inform public policy. This book presents an examination of issues relating to research ethics in planning for an international audience.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    The Meaning of Travel: Philosophers Abroad.Emily Thomas - 2020 - Oxford University Press.
    The first ever history of the places where history and philosophy meet, from the Age of Discovery in the sixteenth century to contemplation of how space travel will affect our understanding of who we are in the twenty-first. This book will reshape your understanding of travel.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. Sentenzen des Thomas von Aquin.Thomas - 1965 - München,: Kösel. Edited by Josef Pieper.
    No categories
     
    Export citation  
     
    Bookmark  
  45. The Correspondence of Thomas Hobbes.Thomas HOBBES - 1994
     
    Export citation  
     
    Bookmark   10 citations  
  46. Philosophy of Religion a Book of Readings. Edited by George L. Abernethy and Thomas A. Langford. --.George L. Abernethy & Thomas A. Langford - 1962 - Macmillan.
     
    Export citation  
     
    Bookmark  
  47.  53
    A Democratic Theory of Territory and Some Puzzles about Global Democracy.Thomas Christiano - 2006 - Journal of Social Philosophy 37 (1):81-107.
    Direct download  
     
    Export citation  
     
    Bookmark   27 citations  
  48.  27
    Linguistic Pragmatism and Cultural Naturalism: Noncognitive Experience, Culture, and the Human Eros.Thomas M. Alexander - 2014 - European Journal of Pragmatism and American Philosophy 6 (2).
    Contrary to some recent self-styled “linguistic pragmatists” who seek to dispense with the purportedly obsolete term “experience”. this essay attempts to show that pragmatism cannot cogently dispense with experience, understanding that term in its Deweyan sense as “culture” and not some sort of mentalistic perception or state. Focusing on Robert Brandom’s recent Perspectives on Pragmatism, I show how the very assumptions that Dewey meant to call into question with his “instrumentalist turn” in 1903 are enshrined in Brandom’s “new and improved” (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Des Lebens Urworte.Franz Thomas Bratranek - 1971 - Praha,: ČSAV, Ústav pro filosofıi a sociologii. Edited by Jaromír Loužil.
     
    Export citation  
     
    Bookmark  
  50.  4
    Philosophy of law as an integral part of philosophy: essays on the jurisprudence of Gerald J. Postema.Thomas da Rosa de Bustamante & Thiago Lopes Decat (eds.) - 2020 - New York, NY: Hart Publishing, an imprint of Bloomsbury Publishing.
    This edited collection includes contributions from expert philosophers of law and considers the work of one of the most important legal philosophers of our time, Professor Gerald J Postema. The chapters dig deep into important camps of Postema's rich theoretical project including: - the value of the rule of law; - the ideal of integrity in adjudication; - his works on analogical reasoning; - the methodology of jurisprudence; - dialogues with Ronald Dworkin, Joseph Raz, Frederick Schauer and HLA Hart. It (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 993