31 found
Order:
Disambiguations
Michael Benedikt [45]Michael A. Benedikt [1]
  1.  15
    Logical foundations of information disclosure in ontology-based data integration.Michael Benedikt, Bernardo Cuenca Grau & Egor V. Kostylev - 2018 - Artificial Intelligence 262 (C):52-95.
  2.  26
    Some Model Theory of Guarded Negation.Vince Bárány, Michael Benedikt & Balder ten Cate - 2018 - Journal of Symbolic Logic 83 (4):1307-1344.
    The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  33
    Ultrafilters which extend measures.Michael Benedikt - 1998 - Journal of Symbolic Logic 63 (2):638-662.
    We study classes of ultrafilters on ω defined by a natural property of the Loeb measure in the Nonstandard Universe corresponding to the ultrafilter. This class, the Property M ultrafilters, is shown to contain all ultrafilters built up by taking iterated products over collections of pairwise nonisomorphic selective ultrafilters. Results on Property M ultrafilters are applied to the construction of extensions of probability measures, and to the study of measurable reductions between ultrafilters.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  25
    Things, Organisms, Buildings, You: Meaning and Agency in the Built Environment.Michael Benedikt - 2022 - Biosemiotics 15 (2):235-259.
    Buildings are meaningful parts of the environment; and when they are architecture, they aspire to greater meaning. Several accounts of architectural semiosis have been offered based on analogies to biology and language. These are critiqued. Critiqued, too, are accounts of semiosis generally that use systems-theoretical concepts and language. The essay goes on to outline what could be a contribution to biosemiotics from the work of perception psychologist, J. J. Gibson, as brought through architecture in the form of isovist field theory. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Referees for Ethics, Place and Environment: A Journal of Philosophy & Geography, Volume 8, 2005.Peder Anker, Richard Baker, Michael Benedikt, Michael Bonnett, John Bowyers, Edmunds Bunske, Anne Buttimer, Allen Carlson, Steve Corbridge & Denis Cosgrove - 2005 - Ethics, Place and Environment 8 (3):394.
     
    Export citation  
     
    Bookmark  
  6. Bd. 4. Anspruch un Echo.Michael Benedikt, Endre Kiss & Reinhold Knoll - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  7. Bd. Bildung und Einbildung; Vom verfehlten Bürgerlichen zum Liberalismus; Philosophie in Österreich (1820-1880).Michael Benedikt & Reinhold Knoll - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  8. Bd.]. Österreichische Philosophie zur Zeit der Revolution und Restauration, 1750-1820.Michael Benedikt - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  9. Bd. 1, Pt. 2. Die Philosophie in Österreich zwischen Reformation und Aufklärung (1650-1750); Die Stärke des Barock.Michael Benedikt, Reinhold Knoll & Josef Rupitz - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  10. Bewusstsein, Sprache und die Kunst: Metamorphosen der Wahrheit.Michael Benedikt & Rudolf Burger (eds.) - 1988 - [Wien]: Edition S.
     
    Export citation  
     
    Bookmark  
  11.  69
    Complexity, value, and the psychological postulates of economics.Michael Benedikt - 1996 - Critical Review: A Journal of Politics and Society 10 (4):551-594.
    Does the contemporary built environment—the ensemble of our humanly created surroundings—make us happy? This question prompts a consideration of the psychological dimensions of economic value, and of Tibor Scitovsky's revisions of standard economic theory. With Scitovsky as a starting point, a model of value based on modern complexity theory and a Maslow‐like rendition of human needs can account for some of the more important exceptions to the law of diminished marginal utility, including those that may undermine the built environment in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. Die Gegenwartsbedeutung von Kants aufklaerender Akzeptanz und Zurueckweisung des Modells der Naturwissenschaft fuer zwischenmenschliche Verhaeltnisse: Verfehlte Beziehungen der Geisterwelt Swedenborgs.Michael Benedikt - 1997 - Poznan Studies in the Philosophy of the Sciences and the Humanities 58:31-44.
     
    Export citation  
     
    Bookmark  
  13.  9
    Die Krise der Phänomenologie und die Pragmatik des Wissenschaftsfortschritts.Michael Benedikt & Rudolf Burger (eds.) - 1986 - [Wien]: Edition S.
  14.  34
    Definability with a predicate for a semi-linear set.Michael Benedikt & H. Jerome Keisler - 2003 - Journal of Symbolic Logic 68 (1):319-351.
    We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  15.  10
    Gegen den Ausnahmezustand: zur Kritik an Carl Schmitt.Michael Benedikt & Wolfgang Pircher (eds.) - 1999 - Wien: Springer.
    Der Verfassungsrechtler und Rechtsphilosoph Carl Schmitt (1888–1985) ist ohne Zweifel ein faszinierender Autor. Die von ihm ausgehende Suggestion basiert auf der Virtuosität seines polemischen Stils, der oft vergessen macht, welch sachliche Kritik von Zeitgenossen an seinen Theorien geübt wurde. Erstmals liegt nun eine kritische Auseinandersetzung mit den wichtigsten Aspekten seines Werkes vor, die die Nähe seines konservativen Denkens zum Nationalsozialismus systematisch aufzeigt. Gegenüber der vorherrschenden biografischen Behandlung dieses Verhältnisses lassen sich damit auch aktuelle politische Theoreme und Positionen sehr viel deutlicher (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  20
    Gainesville, Florida March 10–13, 2007.Michael Benedikt, Andreas Blass, Natasha Dobrinen, Noam Greenberg, Denis R. Hirschfeldt, Salma Kuhlmann, Hannes Leitgeb, William J. Mitchell & Thomas Wilke - 2007 - Bulletin of Symbolic Logic 13 (3).
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  5
    Heideggers Halbwelt: vom Expressionismus der Lebenswelt zum Postmodernismus des Ereignisses.Michael Benedikt - 1991 - Wien: Turia & Kant.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  33
    Hierarchies of measure-theoretic ultrafilters.Michael Benedikt - 1999 - Annals of Pure and Applied Logic 97 (1-3):203-219.
    We study relations between measure-theoretic classes of ultrafilters, such as the Property M ultrafilters of [4], with other well-known ultrafilter classes. We define several classes of measure theoretic ultrafilters, of which the Property M ultrafilters are the strongest. We show which containments are provable in ZFC between these measure-theoretic ultrafilters and boolean combinations of well-known ultrafilters such as the selective, semi-selective, and P-point ultrafilters. We also list some of the containment results between measure-theoretic ultrafilters and several other ultrafilter classes, such (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  25
    Language and thought: German approaches to analytic philosophy in the 18th and 19th centuries.Michael Benedikt - 1993 - History of European Ideas 17 (5):688-690.
  20.  7
    Philosophischer Empirismus: Theorie.Michael Benedikt - 1998 - Wien ;: Turia + Kant.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  23
    Reviewed Work(s): Finite and algorithmic model theory by Javier Esparza; Christian Michaux; Charles Steinhorn.Michael Benedikt - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Michael Benedikt The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 112-115, March 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  16
    Synthesis a priori.Michael Benedikt - 2001 - In Ralph Schumacher, Rolf-Peter Horstmann & Volker Gerhardt (eds.), Kant Und Die Berliner Aufklärung: Akten des Ix. Internationalen Kant-Kongresses. Bd. I: Hauptvorträge. Bd. Ii: Sektionen I-V. Bd. Iii: Sektionen Vi-X: Bd. Iv: Sektionen Xi-Xiv. Bd. V: Sektionen Xv-Xviii. New York: De Gruyter. pp. 426-437.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  37
    Towards a characterization of order-invariant queries over tame graphs.Michael A. Benedikt & Luc Segoufin - 2009 - Journal of Symbolic Logic 74 (1):168-186.
    This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24. Verdrängter Humanismus — Verzögerte Aufklärung. Bd. 4, Anspruch und Echo: Sezession und Aufbrüche in den Kronländern zum Fin-de-Siécle. Philosophie in Österreich (1880-1920).Michael Benedikt, Endre Kiss & Reinhold Knoll (eds.) - 1998 - Edituria Triade.
    No categories
     
    Export citation  
     
    Bookmark  
  25. Verdrängter Humanismus, verzögerte Aufklärung.Michael Benedikt, Reinhold Knoll, Endre Kiss & Josef Rupitz (eds.) - 1992 - Wien: Turia & Kant.
    Bd. 1, Pt. 1. Philosophie in Österreich (1400-1650); Vom Konstanzer Konzil zum Auftreten Luthers; Vom Beginn der Reformation bis zum Westfälischen Frieden / Michael Benedikt, Reinhold Knoll, Josef Rupitz (Hg.) -- Bd. 1, Pt. 2. Die Philosophie in Österreich zwischen Reformation und Aufklärung (1650-1750); Die Stärke des Barock / Michael Benedikt, Reinhold Knoll, Josef Rupitz (Hg.) -- [2. Bd.]. Österreichische Philosophie zur Zeit der Revolution und Restauration, 1750-1820 / Michael Benedikt (Hg.). -- 3. Bd. Bildung und Einbildung; Vom verfehlten Bürgerlichen (...)
     
    Export citation  
     
    Bookmark  
  26.  5
    Wissen und Glauben: zur Analyse d. Ideologien in historisch-kritischer Sicht.Michael Benedikt - 1975 - Wien: Herder.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  11
    Transformationen der kritischen Anthropologie: für Michael Benedikt zum 80. Geburtstag.Cornelius Zehetner, Michael Benedikt, Hermann Rauchenschwandtner & Birgit Zehetmayer (eds.) - 2010 - Wien: Löcker.
  28. Bd. 5. Im Schatten der Totalitarianismus : vom philosophischen Empiricismus zur kritischen Anthropologie : Philosophie in Österreich, 1920-1951. [REVIEW]Michael Benedikt, Reinhold Knoll & Cornelius Zehetner - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  29. Bd. 1, Pt. 1. Philosophie in Österreich (1400-1650); Vom Konstanzer Konzil zum Auftreten Luthers; Vom Beginn der Reformation bis zum Westfälischen Frieden. [REVIEW]Michael Benedikt, Reinhold Knoll & Josef Rupitz - 1992 - In Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.), Verdrängter Humanismus, verzögerte Aufklärung. Wien: Turia & Kant.
     
    Export citation  
     
    Bookmark  
  30.  22
    Finite and algorithmic model theory, edited by Javier Esparza, Christian Michaux, and Charles Steinhorn, London Mathematical Society Lecture Note Series. Cambridge University Press, 2011, 356 pp. [REVIEW]Michael Benedikt - 2013 - Bulletin of Symbolic Logic 19 (1):112-115.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    Verdrängter Humanismus, verzögerte Aufklärung.Michael Benedikt, Reinhold Knoll & Endre Kiss (eds.) - 1992 - Wien: Turia & Kant.
    Direct download  
     
    Export citation  
     
    Bookmark