Results for 'Stephan Merz'

1000+ found
Order:
  1.  14
    Decidability and Incompleteness Results for First-Order Temporal Logics of Linear Time.Stephan Merz - 1992 - Journal of Applied Non-Classical Logics 2 (2):139-156.
    ABSTRACT The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be ?1 1-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  56
    Model Checking Techniqes for the Analysis of Reactive Systems.Stephan Merz - 2002 - Synthese 133 (1-2):173 - 201.
    Model checking is a widely used technique that aids in the designand debugging of reactive systems. This paper gives an overview onthe theory and algorithms used for model checking, with a biastowards automata-theoretic approaches and linear-time temporallogic. We also describe elementary abstraction techniques useful forlarge systems that cannot be directly handled by model checking.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Stephan J. Joubert (South African Academic and Visionary): His Response to Questions Related to His Academic Views.Stephan J. Joubert & Jan G. Van der Watt - 2021 - HTS Theological Studies 77 (4).
    This article reflects a conversation between Jan G. van der Watt and Stephan Joubert. The article serves as the introduction to the Special Collection: ‘From timely exegesis to contemporary ecclesiology: Relevant hermeneutics and provocative embodiment of faith in a Corona-defined world – Festschrift for Stephan Joubert, sub-edited by Willem Oliver ’. Following a brief bio-statement as introduction, the following issues are discussed: the collection for the Jerusalem church; relevance of theology for society; social-scientific exegesis; the ancient concept of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4. What Should We Agree on About the Repugnant Conclusion?Stephane Zuber, Nikhil Venkatesh, Torbjörn Tännsjö, Christian Tarsney, H. Orri Stefánsson, Katie Steele, Dean Spears, Jeff Sebo, Marcus Pivato, Toby Ord, Yew-Kwang Ng, Michal Masny, William MacAskill, Nicholas Lawson, Kevin Kuruc, Michelle Hutchinson, Johan E. Gustafsson, Hilary Greaves, Lisa Forsberg, Marc Fleurbaey, Diane Coffey, Susumu Cato, Clinton Castro, Tim Campbell, Mark Budolfson, John Broome, Alexander Berger, Nick Beckstead & Geir B. Asheim - 2021 - Utilitas 33 (4):379-383.
    The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. The fundamental: Ungrounded or all-grounding?Stephan Leuenberger - 2020 - Philosophical Studies 177 (9):2647-2669.
    Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   21 citations  
  6.  30
    Stephan Körner — Philosophical Analysis and Reconstruction.Stephan Körner & Jan T. J. Srzednicki (eds.) - 1987 - Distributors for the U.S. And Canada, Kluwer Academic.
    A VERSION OF CARTESIAN METHOD RODERICK H. CHISHQLM Introduction In one of his many profound discussions of the method of philosophy, Korner makes the ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  21
    A History of European Thought in the Nineteenth Century, by John Theodore Merz.John Theodore Merz - unknown
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  28
    The Professional Quest for Truth by Stephan Fuchs.Stephan Fuchs - 1994 - Social Epistemology 8 (1):81 – 88.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  3
    Is There Progress in Economics? Knowledge, Truth and the History of Economic Thought. Stephan Boehm, Christian Gehrke, Heinz D. Kurz, Richard Sturn (Eds).Boehm Stephan, Christian Gehrke, Heinz D. Kurz, Richard Sturn, Donald Winch, Mark Blaug, Klaus Hamberger, Jack Birner, Sergio Cremaschi, Roger E. Backhouse, Uskali Maki, Luigi Pasinetti, Erich W. Streissler, Philippe Mongin, Augusto Graziani, Hans-Michael Trautwein, Stephen J. Meardon, Andrea Maneschi, Sergio Parrinello, Manuel Fernandez-Lopez, Richard van den Berg, Sandye Gloria-Palermo, Hansjorg Klausinger, Maurice Lageux, Fabio Ravagnani, Neri Salvadori & Pierangelo Garegnani - 2002 - Cheltenham, UK: Edward Elgar.
    This thought-provoking book discusses the concept of progress in economics and investigates whether any advance has been made in its different spheres of research. The authors look back at the history, successes and failures of their respective fields and thoroughly examine the notion of progress from an epistemological and methodological perspective. The idea of progress is particularly significant as the authors regard it as an essentially contested concept which can be defined in many ways – theoretically or empirically; locally or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Textedition. T. 1. Das erste und zweite Buch : Vairagyaprakarana, Mumuksuvyavaharaprakarana / kritische Edition von Susanne Krause-Stinner. T. 2. Das dritte Buch : Utpattiprakaraṇa / kritische Edition von Jürgen Hanneder, Peter Stephan und Stanislav Jager. T. 3. Das vierte Buch : Sthitiprakaraṇa / kritische Edition von Susanne Krause-Stinner und Peter Stephan. T. 4. Das fünfte Buch : Upaśāntiprakaraṇa. [REVIEW]Kritische Edition von Susanne Krause-Stinner Und Peter Stephan - 2011 - In Anonymus Casmiriensis (ed.), Mokṣopāya: Historisch-Kritische Gesamtausgabe. Harrassowitz.
    Translate
     
     
    Export citation  
     
    Bookmark  
  11.  24
    Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
    We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  26
    Philippe Merz: Werterfahrung und Wahrheit. Phänomenologische Ethikbegründung nach Husserl.Henning Peucker - 2017 - Philosophische Rundschau 64 (3):272-278.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. The Speed Prior Account: A New Theory to Explain Multiple Phenomena Regarding Dynamic Information.Simon Merz, Paula Soballa, Charles Spence & Christian Frings - 2022 - Journal of Experimental Psychology: General 151 (10):2418-2436.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Phenomenology: An Introduction.Stephan Kaufer & Anthony Chemero - 2015 - Polity.
    This comprehensive new book introduces the core history of phenomenology and assesses its relevance to contemporary psychology, philosophy of mind, and cognitive science. From critiques of artificial intelligence research programs to ongoing work on embodiment and enactivism, the authors trace how phenomenology has produced a valuable framework for analyzing cognition and perception, whose impact on contemporary psychological and scientific research, and philosophical debates continues to grow. The first part of _An Introduction to Phenomenology_ is an extended overview of the history (...)
    Direct download  
     
    Export citation  
     
    Bookmark   30 citations  
  15.  52
    All Gifts Large and Small: Toward an Understanding of the Ethics of Pharmaceutical Industry Gift-Giving.Jon F. Merz, Arthur L. Caplan & Dana Katz - 2010 - American Journal of Bioethics 10 (10):11-17.
    Much attention has been focused in recent years on the ethical acceptability of physicians receiving gifts from drug companies. Professional guidelines recognize industry gifts as a conflict of interest and establish thresholds prohibiting the exchange of large gifts while expressly allowing for the exchange of small gifts such as pens, note pads, and coffee. Considerable evidence from the social sciences suggests that gifts of negligible value can influence the behavior of the recipient in ways the recipient does not always realize. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   38 citations  
  16.  4
    The Impact of Stimulus Uncertainty on Attentional Control.Christian Frings, Simon Merz & Bernhard Hommel - 2019 - Cognition 183:208-212.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Malalas, Aurélien et l’Histoire Auguste.Stéphane Ratti - 2006 - História 55 (4):482-492.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  36
    Was stimmt nicht mit der Demokratie? - Eine Debatte mit Klaus Dörre, Nancy Fraser, Stephan Lessenich und Hartmut Rosa.Klaus Dörre, Nancy Fraser, Stephan Lessenich & Hartmut Rosa (eds.) - 2019 - Berlin: Suhrkamp.
    Angesichts der gegenwärtigen ökonomischen, ökologischen und sozialen Krisen zeichnet sich ab, dass die Wachstumsdynamik moderner Gesellschaften nicht mehr stabilisierend wirkt, sondern selbst zum Krisentreiber geworden ist. In diesem Band diskutieren die Philosophin Nancy Fraser und die Soziologen Klaus Dörre, Stephan Lessenich und Hartmut Rosa, was dies für die Gegenwart und die Zukunft der Demokratie bedeutet und welche Konzeptionen und Wege hin zu einer demokratischen Transformation vorstellbar sind. Aus ihrer demokratietheoretischen Perspektive intervenieren Viviana Asara, Banu Bargu, Ingolfur Blühdorn, Robin Celikates, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  15
    Philippe Merz: Werterfahrung Und Wahrheit: Phänomenologische Ethikbegründung Nach Husserl. Paderborn: Wilhelm Fink, 2015 . ISBN 978-3-7705-5889-6, 389 Pp. US-$ 42 ; € 49,90. [REVIEW]William Tullius - 2016 - Husserl Studies 32 (3):279-286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  4
    Stéphane Mallarmé: del objeto esencial al espacio impresionista.Antonio Jiménez Millán - 2017 - Contrastes: Revista Internacional de Filosofía 21 (3).
    Este trabajo aborda dos facetas complementarias del poeta francés Stéphane Mallarmé. En primer lugar, se estudia la poética, con su objetivo frustrado de alcanzar la Forma Pura y la presencia de la Nada y el Silencio, así como la función de los objetos en el proceso de escritura. La segunda parte trata sobre la revista La Dernière Mode, fundada y dirigida por Mallarmé entre 1874 y 1875, y después se centra en la crítica de arte escrita por Mallarmé, sobre todo (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21. An Objectual Approach to Scientific Understanding: The Case of Models.Tarja Knuuttila & Martina Merz - 2009 - In Henk De Regt, Sabina Leonelli & Kai Eigner (eds.), Scientific Understanding: Philosophical Perspectives. University of Pittsburgh Press. pp. 146--168.
     
    Export citation  
     
    Bookmark   13 citations  
  22.  13
    Un Mythe Libéral, Une Invention des Lumières : Le Commerce Comme Remède À la Guerre.Stéphane Pujol - 2011 - Lumen: Selected Proceedings From the Canadian Society for Eighteenth-Century Studies 30:113.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Benefits of Collaborative Philosophical Inquiry in Schools.Stephan Millett & Alan Tapper - 2012 - Educational Philosophy and Theory 44 (5):546-567.
    In the past decade well-designed research studies have shown that the practice of collaborative philosophical inquiry in schools can have marked cognitive and social benefits. Student academic performance improves, and so too does the social dimension of schooling. These findings are timely, as many countries in Asia and the Pacific are now contemplating introducing Philosophy into their curricula. This paper gives a brief history of collaborative philosophical inquiry before surveying the evidence as to its effectiveness. The evidence is canvassed under (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  24. Centered Assertion.Stephan Torre - 2010 - Philosophical Studies 150 (1):97-114.
    I suggest a way of extending Stalnaker’s account of assertion to allow for centered content. In formulating his account, Stalnaker takes the content of assertion to be uncentered propositions: entities that are evaluated for truth at a possible world. I argue that the content of assertion is sometimes centered: the content is evaluated for truth at something within a possible world. I consider Andy Egan’s proposal for extending Stalnaker’s account to allow for assertions with centered content. I argue that Egan’s (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  25.  9
    VI. Zeitschriftenschau.Georg Merz, J. Schielle, Konrad Schröder & G. Hinsche - 1930 - Archive for the Psychology of Religion 5 (2):298-311.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  26.  16
    Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
    Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. MERZ, J. T. - A History of European Thought in the Nineteenth Century. [REVIEW]C. G. Knott - 1905 - Mind 14:99.
    No categories
     
    Export citation  
     
    Bookmark  
  28. The Open Future.Stephan Torre - 2011 - Philosophy Compass 6 (5):360-373.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  29. What is Special About De Se Attitudes?Stephan Torre & Clas Weber - 2021 - In Stephen Biggs & Heimir Geirsson (eds.), The Routledge Handbook of Linguistic Reference. Routledge. pp. 464-481.
    De se attitudes seem to play a special role in action and cognition. This raises a challenge to the traditional way in which mental attitudes have been understood. In this chapter, we review the case for thinking that de se attitudes require special theoretical treatment and discuss various ways in which the traditional theory can be modified to accommodate de se attitudes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  27
    Stephan Körner. What is Philosophy.Rom Harré - 1971 - Metaphilosophy 2 (4):359–360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Theodore Merz: His Philosophy.F. B. Jevons - 1923 - Proceedings of the Aristotelian Society, Supplementary Volumes 3:1-14.
    No categories
     
    Export citation  
     
    Bookmark  
  32. MERZ, J. T. - Religion and Science: A Philosophical Essay. [REVIEW]H. R. Macintosh - 1917 - Mind 26:99.
     
    Export citation  
     
    Bookmark  
  33. MERZ, J. T. -A Fragment on the Human Mind. [REVIEW]A. E. Taylor - 1920 - Mind 29:357.
    No categories
     
    Export citation  
     
    Bookmark  
  34. 160 Years of Borders Evolution in Dunkirk: Petroleum, Permeability, and Porosity.Stephan Hauser, Penglin Zhu & Asma Mehan - 2021 - Urban Planning 6 (3):58-68.
    Since the 1860s, petroleum companies, through their influence on local governments, port authorities, international actors and the general public gradually became more dominant in shaping the urban form of ports and cities. Under their development and pressure, the relationships between industrial and urban areas in port cities hosting oil facilities evolved in time. The borders limiting industrial and housing territories have continuously changed with industrial places moving progressively away from urban areas. Such a changing dynamic influenced the permeability of these (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Grundlinien der Psychologie.Stephan Witasek - 1908 - Revue Philosophique de la France Et de l'Etranger 66:99-100.
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  36. .Stephan Zimmermann - 2016
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations  
  37.  25
    A History of European Thought in the Nineteenth Century.John Theodore Merz - 1896 - New York: Dover Publications.
    This Elibron Classics title is a reprint of the original edition published by William Blackwood and Sons in Edinburgh and London, 1904.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  38.  37
    How Much Are Subjects Paid to Participate in Research?Jessica Latterman & Jon F. Merz - 2001 - American Journal of Bioethics 1 (2):45 – 46.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  39. Animalism.Stephan Blatti - 2014 - Stanford Encyclopedia of Philosophy.
    Among the questions to be raised under the heading of “personal identity” are these: “What are we?” (fundamental nature question) and “Under what conditions do we persist through time?” (persistence question). Against the dominant neo-Lockean approach to these questions, the view known as animalism answers that each of us is an organism of the species Homo sapiens and that the conditions of our persistence are those of animals. Beyond describing the content and historical background of animalism and its rivals, this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  40. In Defense of De Se Content.Stephan Torre - 2018 - Philosophy and Phenomenological Research 97 (1):172-189.
    There is currently disagreement about whether the phenomenon of first-person, or de se, thought motivates a move towards special kinds of contents. Some take the conclusion that traditional propositions are unable to serve as the content of de se belief to be old news, successfully argued for in a number of influential works several decades ago.1 Recently, some philosophers have challenged the view that there exist uniquely de se contents, claiming that most of the philosophical community has been under the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Ontology After Carnap.Stephan Blatti & Sandra Lapointe (eds.) - 2016 - Oxford, England: Oxford University Press UK.
    Analytic philosophy is once again in a methodological frame of mind. Nowhere is this more evident than in metaphysics, whose practitioners and historians are actively reflecting on the nature of ontological questions, the status of their answers, and the relevance of contributions both from other areas within philosophy and beyond. Such reflections are hardly new: the debate between Willard van Orman Quine and Rudolf Carnap about how to understand and resolve ontological questions is widely seen as a turning point in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42. Bayesian Epistemology.Stephan Hartmann & Jan Sprenger - 2010 - In Duncan Pritchard & Sven Bernecker (eds.), The Routledge Companion to Epistemology. London: Routledge. pp. 609-620.
    Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...)
    Direct download  
     
    Export citation  
     
    Bookmark   40 citations  
  43. Corporate Reorganisation Law and the Shaping Powers of Market Realities and Doctrinal Concepts.Stephan Madaus - forthcoming - Oxford Journal of Legal Studies.
    In Corporate Reorganization Law and Forces of Change, Sarah Paterson investigates the development of modern corporate reorganisation law in the United States and England and shows how, and why, the use of these laws has changed over time. Paterson argues that any analysis of corporate restructuring law must focus on the participants in the process and the way they mobilise and adapt legal rules in new ways to meet the problem of the day. She concludes that best practice, not doctrinal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    Post-Task Effects on EEG Brain Activity Differ for Various Differential Learning and Contextual Interference Protocols.Diana Henz, Alexander John, Christian Merz & Wolfgang I. Schöllhorn - 2018 - Frontiers in Human Neuroscience 12.
  45.  29
    Linear-Time Temporal Logics with Presburger Constraints: An Overview ★.Stéphane Demri - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):311-347.
    We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  46.  11
    Theodore Merz: His Philosophy.F. B. Jevons - 1923 - Aristotelian Society Supplementary Volume 3 (1):1 - 14.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. A New Argument for Animalism.Stephan Blatti - 2012 - Analysis 72 (4):685-690.
    The view known as animalism asserts that we are human animals—that each of us is an instance of the Homo sapiens species. The standard argument for this view is known as the thinking animal argument . But this argument has recently come under attack. So, here, a new argument for animalism is introduced. The animal ancestors argument illustrates how the case for animalism can be seen to piggyback on the credibility of evolutionary theory. Two objections are then considered and answered.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  48.  15
    Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-State Systems, Cambridge Tracts in Theoretical Computer Science, Vol. 58, Cambridge University Press, Cambridge, 2016, Viii + 744 Pp. [REVIEW]Kamal Lodaya - 2017 - Bulletin of Symbolic Logic 23 (2):203-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  39
    Disease Genes Are Not Patentable: A Rebuttal of McGee.Jon F. Merz & Mildred K. Cho - 1998 - Cambridge Quarterly of Healthcare Ethics 7 (4):425-428.
    Dr. McGee presents a cogent argument for the patentability of the diagnosis of gene forms that are found to be associated with disease or other phenotypic manifestations. We're convinced he's wrong. An analogy will help explain why.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. A History of European Thought in the Nineteenth Century.J. T. Merz - 1915 - Mind 24 (95):408-412.
    No categories
     
    Export citation  
     
    Bookmark   16 citations  
1 — 50 / 1000