Results for 'Micha�� Krynicki'

225 found
Order:
  1.  28
    A Note on Syntactical and Semantical Functions.Adam Gajda, Micha? Krynicki & Les?aw Szczerba - 1987 - Studia Logica 46 (2):177 - 185.
    We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class –1X is also finitely axiomatizable (i.e. iff is (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  25
    On Simplicity of Formulas.Micha? Krynicki & Les?aw Szczerba - 1990 - Studia Logica 49 (3):401 - 419.
    Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Henkin Quantifiers,[W:] Krynicki M., Mostowski M., Szczerba LW (Red.).M. Krynicki - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers.
     
    Export citation  
     
    Bookmark   3 citations  
  4. Introduction to Mathematical Logic.Micha? Walicki - 2012 - World Scientific.
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  23
    Visual Complexity and Its Effects on Referring Expression Generation.Micha Elsner, Alasdair Clarke & Hannah Rohde - 2018 - Cognitive Science 42 (S4):940-973.
    Speakers’ perception of a visual scene influences the language they use to describe it—which objects they choose to mention and how they characterize the relationships between them. We show that visual complexity can either delay or facilitate description generation, depending on how much disambiguating information is required and how useful the scene's complexity can be in providing, for example, helpful landmarks. To do so, we measure speech onset times, eye gaze, and utterance content in a reference production experiment in which (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  25
    Vector Spaces and Binary Quantifiers.Michał Krynicki, Alistair Lachlan & Jouko Väänänen - 1984 - Notre Dame Journal of Formal Logic 25 (1):72-78.
  7.  35
    Michaelis Marulli Carmina. [REVIEW]D. C. C. Young - 1956 - The Classical Review 6 (1):77-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. Michaelis, J. D., De l'influence des opinions sur le langage et du langage sur les opinions. [REVIEW]P. Swiggers - 1980 - Tijdschrift Voor Filosofie 42:627.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Michaelis Pselli Philosophica Minora.Michael Psellus, John M. Duffy & Dan O'meara - 1989
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  10.  33
    Leadership as Relationship.Micha Popper - 2004 - Journal for the Theory of Social Behaviour 34 (2):107–125.
    The article reviews the various ramifications in the discussion on leadership, focusing on the view of leadership as relationships between leaders and followers. Three main types of leader-follower relations are discussed, and their specific characteristics are described: regressive relations, symbolic relations, and developmental relations. After analyzing the major implications, as well as the conceptual limitations, of these perspectives, the article suggests directions for a more integrative conceptualization of leader-follower relations.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  2
    Diskursethik als Maximenethik: Von der Prinzipienbegründung zur Handlungsorientierung.Micha H. Werner - 2003 - Würzburg, Germany: Königshausen & Neumann.
    The book introduces a conception of discourse ethics, an intersubjectivist version of Kantian ethics. Analyzing contributions from Jürgen Habermas, Karl-Otto Apel, Wolfgang Kuhlmann, Albrecht Wellmer, Robert Alexy, Klaus Günther, Rainer Forst, Marcel Niquet and others, it reconstructs critical discussions on the justification of the principle of morality (part I) and on the various proposals on how to apply it (part II). It defends an alternative model of how discourse ethics can provide guidance under non-ideal circumstances and avoid both arbitrariness and (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  12.  13
    Followership, Deity and Leadership.Micha Popper - 2016 - Journal for the Theory of Social Behaviour 46 (2):211-228.
    Two questions are addressed in this article: 1. Why are people attracted to leaders? 2. How are leaders' images construed? The first question is analyzed by using the concept of “deity” as a frame of reference for an “ideal model” of leadership. God as a “screen of projections” can satisfy the believer's fundamental needs and desires, as well as serving as a reference for causal attributions and a provider of transcendental meaning. Using Construal Level Theory, deity, as a frame of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  8
    Existenzialismus Und Rechtswissenschaft.Anne L. Michaelis - 1958 - Philosophy and Phenomenological Research 19 (1):128-129.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Philosophy in Mind the Place of Philosophy in the Study of Mind.Michaelis Michael & John O’Leary-Hawthorne - 1994 - Kluwer Academic Publishers.
    Introduction: Philosophy in Mind / Michaelis Michael and John O’Leary-Hawthorne -- AI and the Synthetic A Priori / Jose Benardete -- Armchair Metaphysics /Frank Jackson -- Doubts About Conceptual Analysis /Gilbert Harman -- Deflationary Self-Knowledge / Andre Gallois -- How to Get to Know One’s Own Mind: Some Simple Ways / Annette Baier -- Psychology in Perspective / Huw Price -- Can Philosophy of Language Provide the Key to the Foundations of Ethics? /Karl-Otto Apel --Unprincipled Decisions / Lee Overton -- (...)
     
    Export citation  
     
    Bookmark   1 citation  
  15.  10
    Followership, Deity and Leadership.Micha Popper - 2016 - Journal for the Theory of Social Behaviour 46 (2):211-228.
    Two questions are addressed in this article: 1. Why are people attracted to leaders? 2. How are leaders' images construed? The first question is analyzed by using the concept of “deity” as a frame of reference for an “ideal model” of leadership. God as a “screen of projections” can satisfy the believer's fundamental needs and desires, as well as serving as a reference for causal attributions and a provider of transcendental meaning. Using Construal Level Theory, deity, as a frame of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    On the Semantics of the Henkin Quantifier.Michał Krynicki & Alistair H. Lachlan - 1979 - Journal of Symbolic Logic 44 (2):184-200.
  17.  12
    Hierarchies of Partially Ordered Connectives and Quantifiers.Michał Krynicki - 1993 - Mathematical Logic Quarterly 39 (1):287-294.
    Connections between partially ordered connectives and Henkin quantifiers are considered. It is proved that the logic with all partially ordered connectives and the logic with all Henkin quantifiers coincide. This implies that the hierarchy of partially ordered connectives is strongly hierarchical and gives several nondefinability results between some of them. It is also deduced that each Henkin quantifier can be defined by a quantifier of the form equation imagewhat is a strengthening of the Walkoe result. MSC: 03C80.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  18.  34
    Henkin and Function Quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
  19.  14
    Aristotle and Kant.Micha Brumlik - 2005 - In Wolfgang Edelstein & Gertrud Nunner-Winkler (eds.), Morality in Context. Elsevier. pp. 137--57.
  20.  56
    Information and Veridicality: Information Processing and the Bar-Hillel/Carnap Paradox.Nir Fresco & Michaelis Michael - 2016 - Philosophy of Science 83 (1):131-151.
    Floridi’s Theory of Strongly Semantic Information posits the Veridicality Thesis. One motivation is that it can serve as a foundation for information-based epistemology being an alternative to the tripartite theory of knowledge. However, the Veridicality thesis is false, if ‘information’ is to play an explanatory role in human cognition. Another motivation is avoiding the so-called Bar-Hillel/Carnap paradox. But this paradox only seems paradoxical, if ‘information’ and ‘informativeness’ are synonymous, logic is a theory of inference, or validity suffices for rational inference; (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  30
    Michaeli Visual Representations of the Afterlife. Six Roman and Early Byzantine Painted Tombs in Israel. Pp. X + 358, B/W & Colour Ills. Leiden: Alexandros Press, 2009. Cased. ISBN: 978-94-90387-01-3. [REVIEW]Roger Ling - 2012 - The Classical Review 62 (1):319-319.
  22.  1
    The Distortion of Distributed Voting.Aris Filos-Ratsikas, Evi Micha & Alexandros A. Voudouris - 2020 - Artificial Intelligence 286:103343.
  23.  25
    The Härtig Quantifier: A Survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
    A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. The City as a Construction Site — a Visual Record of a Multisensory Experience.Marianna MICHAŁOWSKA - 2015 - Argument: Biannual Philosophical Journal 5 (2):415-438.
    In this article, I consider the reception of images that are present in a city space. I focus on the juxtaposition of computer‑generated images covering fences surrounding construction sites and the real spaces which they screen from view. I postulate that a visual experience is dependent on input from the other human senses. While looking at objects, we are not only standing in front of them but are being influenced by them. Seeing does not leave a physical trace on the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Time Travel for Endurantists.Markos Valaris & Michaelis Michael - 2015 - American Philosophical Quarterly 52 (4):357-364.
    Famously, David Lewis argued that we can avoid the apparent paradoxes of time travel by introducing a notion of personal time, which by and large follows the causal flow of the time traveler's life history. This paper argues that a related approach can be adapted for use by three-dimensionalists in response to Ted Sider's claim that three-dimensionalism is inconsistent with time travel. In contrast to Lewis (and others who follow him on this point), however, this paper argues that the order (...)
     
    Export citation  
     
    Bookmark   3 citations  
  26. Michaelis, Edgar, Die Menschheitsproblematik der Freudschen Psychoanalyse. [REVIEW]Julius Schultz - 1926 - Société Française de Philosophie, Bulletin 31:604.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Michaelis, Edgar, Die Menschheitsproblematik der Freudschen Psychoanalyse.Julius Schultz - 1926 - Kant Studien 31:604.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  55
    Theories of Arithmetics in Finite Models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
    We investigate theories of initial segments of the standard models for arithmetics. It is easy to see that if the ordering relation is definable in the standard model then the decidability results can be transferred from the infinite model into the finite models. On the contrary we show that the Σ₂—theory of multiplication is undecidable in finite models. We show that this result is optimal by proving that the Σ₁—theory of multiplication and order is decidable in finite models as well (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  45
    Michaelis Pselli Theologica, Vol. I. [REVIEW]J. A. Munitiz - 1991 - The Classical Review 41 (1):229-230.
  30. Michaelis Pselli.Michael Psellus, Dominic J. O'meara, John M. Duffy & Paul Gautier - 1989
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  31.  23
    Philosophie Und Pädagogik Paul Häberlins in Ihren Wandlungen.Anne L. Michaelis - 1939 - Journal of Philosophy 36 (1):20-21.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    Micha Brumlik: Kritik des Zionismus.Julius H. Schoeps - 2008 - Zeitschrift für Religions- Und Geistesgeschichte 60 (3):282-283.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Ueber Die Sittliche Natur Und Bestimmung des Menschen, Ein Versuch Zu Erläuterung Über I. Kants Kritik der Praktischen Vernunft.Christian Friedrich Michaelis & Immanuel Kant - 1797
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  34.  39
    Recent Polish Poems.Wisława Szymborska, Ryszard Krynicki, Bronislaw Maj & Adam Zagajewski - 2010 - Common Knowledge 16 (1):137-145.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  35. Verantwortung.Micha H. Werner - 2013 - In Armin Grunwald (ed.), Handbuch Technikethik. Metzler. pp. 44-48.
    In der Technikethik spielt das Konzept der Verantwortung eine zentrale Rolle. ›Verantwortung‹ ist ein Basiskonzept, das, ähnlich wie die Konzepte ›Pflicht‹ oder ›Schuld‹, in vielfältigen Kontexten gebraucht wird. Dennoch lassen sich einige allgemeine Aussagen über seine Bedeutung treffen. Gerade Autoren, die im Bereich der Technik- und Wissenschaftsethik aktiv sind, haben sich nachdrücklich um eine Klärung des allgemeinen Verantwortungsbegriffs und seiner verschiedenen Aspekte und Gebrauchsweisen bemüht.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  36.  3
    Walter Gropius: Visionary Founder of the Bauhaus by Fiona MacCarthy.Micha Gross - 2020 - Common Knowledge 26 (3):434-435.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  8
    The Primary Foundations of Followership.Micha Popper & Omri Castelnovo - 2019 - Journal for the Theory of Social Behaviour 49 (3):348-358.
    Journal for the Theory of Social Behaviour, EarlyView.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  8
    Micha Brumlik: Preußisch, konservativ, jüdisch. Hans-Joachim Schoeps’ Leben und Werk, Wien/Köln/Weimar: Böhlau Verlag 2019, 294 S. [REVIEW]Joachim H. Knoll - 2020 - Zeitschrift für Religions- Und Geistesgeschichte 72 (2):221-225.
  39. Imperatoris Michaelis Palaeologi de vita sua.Henri Gregoire - forthcoming - Byzantion.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. MICHAËLIS C. .-Philosophische Bibliothek: Kirchner's Wörterbuch der Philosophischen Grundbegriffs. [REVIEW]H. W. Blunt - 1912 - Mind 21:126.
     
    Export citation  
     
    Bookmark  
  41.  12
    Decidability Problems in Languages with Henkin Quantifiers.Michał Krynicki & Marcin Mostowski - 1992 - Annals of Pure and Applied Logic 58 (2):149-172.
    Krynicki, M. and M. Mostowski, Decidability problems in languages with Henkin quantifiers, Annals of Pure and Applied Logic 58 149–172.We consider the language L with all Henkin quantifiers Hn defined as follows: Hnx1…xny1…yn φ iff f1…fnx1. ..xn φ, ...,fn). We show that the theory of equality in L is undecidable. The proof of this result goes by interpretation of the word problem for semigroups.Henkin quantifiers are strictly related to the function quantifiers Fn defined as follows: Fnx1…xny1…yn φ iff fx1…xn (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  4
    R. M. Thomson, The Fox and the Bees: The Early Library of Corpus Christi College, Oxford. The Lowe Lectures 2017. Woodbridge, UK: D. S. Brewer for the Corpus Christi College, Oxford, 2018. Pp. Viii, 95; 23 Color Figures. $99. ISBN: 978-1-8438-4485-3. [REVIEW]Micha Lazarus - 2021 - Speculum 96 (2):567-568.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Commemorating the 1913 Michaelis--Menten Paper Die Kinetik der Invertinwirkung: Three Perspectives.Ute Deichmann, Schuster Stefan, Mazat Jean-Pierre & Athel Cornish-Bowden - 2013 - FEBS 281 (2):435-463.
    Methods and equations for analysing the kinetics of enzyme-catalysed reactions were developed at the beginning of the 20th century in two centres in particular; in Paris, by Victor Henri, and, in Berlin, by Leonor Michaelis and Maud Menten. Henri made a detailed analysis of the work in this area that had preceded him, and arrived at a correct equation for the initial rate of reaction. However, his approach was open to the important objection that he took no account of the (...)
    No categories
     
    Export citation  
     
    Bookmark  
  44.  35
    Knowledge Ascription by Grammatical Construction.Laura A. Michaelis - 2011 - In John Bengson & Marc A. Moffett (eds.), Knowing How: Essays on Knowledge, Mind, and Action. Oxford University Press, Usa. pp. 261.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  45.  13
    Tombeaux et offrandes rustiques chez Les poètes français et néo-latins du XVI E siècle.Françoise Joukovsky-Micha - forthcoming - Bibliothèque d'Humanisme Et Renaissance.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46. Implicit Ontological Commitment.Michaelis Michael - 2008 - Philosophical Studies 141 (1):43 - 61.
    Quine’s general approach is to treat ontology as a matter of what a theory says there is. This turns ontology into a question of which existential statements are consequences of that theory. This approach is contrasted favourably with the view that takes ontological commitment as a relation to things. However within the broadly Quinean approach we can distinguish different accounts, differing as to the nature of the consequence relation best suited for determining those consequences. It is suggested that Quine’s own (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47.  5
    Michaelis Et l'Archéologie Française.Gérard Siebert - 1996 - Bulletin de Correspondance Hellénique 120 (1):261-271.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  3
    «Anonymous to This Day»: Aristotle and the Question of Verse.Micha Lazarus - 2019 - Rivista di Storia Della Filosofia 2:267-285.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  38
    On a “Most Telling” Argument for Paraconsistent Logic.Michaelis Michael - 2016 - Synthese 193 (10).
    Priest and others have presented their “most telling” argument for paraconsistent logic: that only paraconsistent logics allow non-trivial inconsistent theories. This is a very prevalent argument; occurring as it does in the work of many relevant and more generally paraconsistent logicians. However this argument can be shown to be unsuccessful. There is a crucial ambiguity in the notion of non-triviality. Disambiguated the most telling reason for paraconsistent logics is either question-begging or mistaken. This highlights an important confusion about the role (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50. On Orderings of the Family of All Logics.Michał Krynicki & Jouko Väänänen - 1980 - Archive for Mathematical Logic 22 (3-4):141-158.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 225