Results for 'Marek Zawadowski'

1000+ found
Order:
  1.  24
    A Sheaf Representation and Duality for Finitely Presented Heyting Algebras.Silvio Ghilardi & Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (3):911-939.
    A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA op (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  2.  30
    Undefinability of Propositional Quantifiers in the Modal System S.Silvio Ghilardi & Marek Zawadowski - 1995 - Studia Logica 55 (2):259 - 271.
    We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  3.  4
    Descent and Duality.Marek W. Zawadowski - 1995 - Annals of Pure and Applied Logic 71 (2):131-188.
    Using the Makkai's duality for first-order logic, we characterise effective descent morphisms in 2-categories of pretoposes and Barr-exact categories. In both cases they coincide with conservative morphisms. We show that in those 2-categories the 2-coregular factorisations are exactly quotient-conservative factorisations. We also prove a generalisation of the Makkai duality for pseudoelementary categories.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  29
    Formal Systems for Modal Operators on Locales.Gonzalo E. Reyes & Marek W. Zawadowski - 1993 - Studia Logica 52 (4):595 - 613.
    In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  8
    Model Completions and R-Heyting Categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
    Under some assumptions on an equational theory S , we give a necessary and sufficient condition so that S admits a model completion. These assumptions are often met by the equational theories arising from logic. They say that the dual of the category of finitely presented S-algebras has some categorical stucture. The results of this paper combined with those of [7] show that all the 8 theories of amalgamable varieties of Heyting algebras [12] admit a model completion. Further applications to (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  32
    The Skolem-Löwenheim Theorem in Toposes.Marek Zawadowski - 1983 - Studia Logica 42 (4):461 - 475.
    The topos theory gives tools for unified proofs of theorems for model theory for various semantics and logics. We introduce the notion of power and the notion of generalized quantifier in topos and we formulate sufficient condition for such quantifiers in order that they fulfil downward Skolem-Löwenheim theorem when added to the language. In the next paper, in print, we will show that this sufficient condition is fulfilled in a vast class of Grothendieck toposes for the general and the existential (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  9
    Pitts Andrew M.. Interpolation and Conceptual Completeness for Pretoposes Via Category Theory. Mathematical Logic and Theoretical Computer Science, Edited by David W. Kueker, Edgar GK Lopez-Escobar and Carl H. Smith, Lecture Notes in Pure and Applied Mathematics, Vol. 106, Marcel Dekker, New York and Basel 1987, Pp. 301–327. Pitts Andrew M.. Conceptual Completeness for First-Order Intuitionistic Logic: An Application of Categorical Logic. Annals of Pure and Applied Logic, Vol. 41 (1989), Pp. 33–81. [REVIEW]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
  8.  8
    Pre-Ordered Quantifiers in Elementary Sentences of Natural Language.Marek W. Zawadowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 237--253.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  20
    The Skolem-Löwenheim Theorem in Toposes. II.Marek Zawadowski - 1985 - Studia Logica 44 (1):25 - 38.
    This paper is a continuation of the investigation from [13]. The main theorem states that the general and the existential quantifiers are (, -reducible in some Grothendieck toposes. Using this result and Theorems 4.1, 4.2 [13] we get the downward Skolem-Löwenheim theorem for semantics in these toposes.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  10.  6
    Review: Andrew M. Pitts, David W. Kueker, Edgar G. K. Lopez-Escobar, Carl H. Smith, Interpolation and Conceptual Completeness for Pretoposes Via Category Theory; Andrew M. Pitts, Conceptual Completeness for First-Order Intutionistic Logic: An Application of Categorical Logic. [REVIEW]Marek Zawadowski - 1995 - Journal of Symbolic Logic 60 (2):692-694.
  11.  13
    Sheaves Over Heyting Lattices.Andrzej W. Jankowski & Marek Zawadowski - 1985 - Studia Logica 44 (3):237 - 256.
    For a complete Heyting lattice , we define a category Etale (). We show that the category Etale () is equivalent to the category of the sheaves over , Sh(), hence also with -valued sets, see [2], [1]. The category Etale() is a generalization of the category Etale (X), see [1], where X is a topological space.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  12. Marek, Siesfrled. Die platonische Ideen lehre in ihren Motiven.Siegfried Marek - 1911 - Kant-Studien 16 (1-3).
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  13.  2
    Action and Performance: Models and Tests: Contributions to the Quantitative Psychology and its Methodology.Jerzy Brzezinski & Tadeusz Marek (eds.) - 1990 - Rodopi.
    Models and Tests : Contributions to the Quantitative Psychology and Its Methodology Jerzy Brzeziński, Tadeusz Marek. Marek Gaul INTERACTIONAL MODELS IN BEHAVIORAL RESEARCH Testing interaction on non-interval level of ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. Creativity and Consciousness: Philosophical and Psychological Dimensions.Jerzy Brzezinski, Santo di Nuovo, Tadeusz Marek & Thomasz Maruszewski (eds.) - 1993 - Rodopi.
    Contents: PART I. PHILOSOPHICAL EXPLANATIONS OF CREATIVITY AND CONSCIOUSNESS. Krystyna ZAMIARA: The psychological approach to creativity. A critical appraisal. Rick L. FRANKLIN: Creativity and depth in understanding. Zdzis??l??awa PIATEK: Creativity of life and F.W. Nietzsche's idea of Superman. Jaromír JANOUSEK: Dialogue and joint activity: A psychological approach. Krystyna ZAMIARA: Some remarks on Piaget's notion of "consciousness" and its importance for the studies of culture. Anna GA??L??DOWA, and Aleksander NELICKI: Attitudes towards values as a factor determining creativity. PART II. THE ROLE (...)
     
    Export citation  
     
    My bibliography  
  15.  26
    Alexius Meinong.Johann Marek - 2009 - Stanford Encyclopedia of Philosophy.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  16. Observations Concerning Elementary Extensions of Ω-Models. II.W. Marek - 1973 - Journal of Symbolic Logic 38 (2):227-231.
  17.  7
    Second Order Arithmetic and Related Topics.K. R. Apt & W. Marek - 1974 - Annals of Mathematical Logic 6 (3-4):177-229.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  18.  52
    Einleitung zu Anton Marty, "Elemente der deskriptiven Psychologie".Johann Christian Marek & Barry Smith - 1987 - Conceptus: Zeitschrift Fur Philosophie 21 (53-54):33-47.
    This essay is an introduction to a lecture course "Elements of Descriptive Psychology" delivered by Anton Marty in around 1903/04. Marty offered courses on descriptive psychology at regular intervals in the course of his career at the University of Prague. The content of these courses follows closely the ideas of Marty’s teacher Franz Brentano, though with some interesting divergences and extrapolations. The present work is a historical and systematic introduction to an extract from notes taken of Marty’s lecture, with some (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  19.  3
    Gaps in the Contructable Universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  20. Psychological Content and Indeterminacy with Respect to Being : Two Notes on the Russell-Meinong Debate.Johann Christian Marek - 2009 - In Nicholas Griffin & Dale Jacquette (eds.), Russell Vs. Meinong: The Legacy of "on Denoting". Routledge.
  21.  35
    The 'Internal' and 'External' Moving Forces of the Development of Physics.Jiri Marek - 1986 - Studies in East European Thought 31 (3):231-237.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  22.  16
    On Some Σ-Algebras Containing the Projective Sets I.C. A. di Prisco & Wiktor Marek - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):525-538.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  12
    Zwei Gegenstände und ein Inhalt.Johann Ch Marek - 1995 - Grazer Philosophische Studien 50:341-364.
    Die Intentionalität des Psychischen charakterisiert Meinong als Erfassen eines Gegenstandes durch das erfassende Erlebnis, wobei der erfaßte Gegenstand weder zu existieren noch zu bestehen braucht. Ein Gegenstand ist geradezu bestimmt als das, was erfaßt werden kann; der erfaßte Gegenstand ist aber nicht Teil des erfassenden Erlebnisses. Gleichsam als subjektives, psychisches Korrelat stellt Meinong dem erfaßten Gegenstand (Objekt, Objektiv etc.) den entsprechenden Erlebnisinhalt (Vorstellungsinhalt, Urteils- bzw. Annahmeinhalt etc.) gegenüber, der zu dem betreffenden Gegenstand in einer Adäquatheitsrelation steht. Ziel des Aufsatzes ist (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  24.  19
    The Explanation-Understanding Controversy From the Transcendental-Pragmatic Viewpoint.Johann Christian Marek - 1983 - Philosophy and History 16 (1):5-6.
  25.  9
    A Context for Belief Revision: Forward Chaining-Normal Nonmonotomic Rule Systems.V. W. Marek, A. Nerode & J. B. Remmel - 1994 - Annals of Pure and Applied Logic 67 (1-3):269-323.
    A number of nonmonotonic reasoning formalisms have been introduced to model the set of beliefs of an agent. These include the extensions of a default logic, the stable models of a general logic program, and the extensions of a truth maintenance system among others. In [13] and [16], the authors introduced nonmonotomic rule systems as a nonlogical generalization of all essential features of such formulisms so that theorems applying to all could be proven once and for all. In this paper, (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  41
    Marxism as Product of the Age of the Steam Engine.Ji?I. Marek - 1986 - Studies in East European Thought 32 (2):155-161.
  27.  29
    Marxist Theory and the Development of Physics. I.Jiri Marek - 1988 - Studies in East European Thought 35 (4):327-332.
  28.  14
    Reviews. [REVIEW]Alan Richardson, Werner Sauer, Keith Lehrer, Johann Marek & Kevin Mulligan - 1999 - Vienna Circle Institute Yearbook 7:347-363.
    Richardson’s study on Carnap’s early philosophy culminating in Der logische Aufbau der Welt of 1928 ,presents a comprehensive and sustained effort at understanding it as deeply rooted in neo-Kantian patterns of thought: thus it belongs to a more recent tradition of viewing the emergence of Carnap’s thought, alternative to the older approach of interpreting it against the background of empiricist themes, and well deserves to be labelled the most thoroughgoing expression this more recent tradition has been given until now.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  7
    How Complicated is the Set of Stable Models of a Recursive Logic Program?W. Marek, A. Nerode & J. Remmel - 1992 - Annals of Pure and Applied Logic 56 (1-3):119-135.
    Gelfond and Lifschitz proposed the notion of a stable model of a logic program. We establish that the set of all stable models in a Herbrand universe of a recursive logic program is, up to recursive renaming, the set of all infinite paths of a recursive, countably branching tree, and conversely. As a consequence, the problem, given a recursive logic program, of determining whether it has at least one stable model, is Σ11-complete. Due to the equivalences established in the authors' (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  30.  11
    The?Internal? And?External? Moving Forces of the Development of Physics.Jiri Marek - 1986 - Studies in Soviet Thought 31 (3):231-237.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  31.  11
    The Marxian Conception of the Working Class and the Development of Physics.Ji?I. Marek - 1983 - Studies in Soviet Thought 26 (2):143-150.
    Marx extrapolated the relations of production of the factories of his time into his predictions about the development of the working class. These predictions are among the most important theses of Marxism-Leninism relative to the socialist world-revolution which the working class was to carry out. The physics of Marx' era was not very developed. Marx could have no inkling of the future development of physics and of its application to technology. This is why his predictions had to be in simple (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  17
    Die Praxis AlS Die “Entscheidende Antriebskraft” der Entwicklung der Physik Im 17. Jahrhundert?Jiří Marek - 1991 - Studies in East European Thought 41 (1):51-62.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  33.  9
    Marxism as Product of the Age of the Steam Engine.Ji?I. Marek - 1986 - Studies in Soviet Thought 32 (2):155-161.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  26
    Expressing and Describing Experiences. A Case of Showing Versus Saying.Johann Marek - 2011 - Acta Analytica 26 (1):53-61.
    Experiences are interpreted as conscious mental occurrences that are of phenomenal character. There is already a kind of (weak) intentionality involved with this phenomenal interpretation. A stricter conception of experiences distinguishes between purely phenomenal experiences and intentional experiences in a narrow sense. Wittgenstein’s account of psychological (experiential) verbs is taken over: Usually, expressing mental states verbally is not describing them. According to this, I believe can be seen as an expression of one’s own belief, but not as an expression of (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  35.  8
    Matter in Its?Infinity?Ji?I. Marek & L. E. Musberg - 1984 - Studies in Soviet Thought 27 (1):25-31.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36.  8
    Marxist Theory and the Development of Physics. I.Jiri Marek - 1988 - Studies in Soviet Thought 35 (4):327-332.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  8
    The Role of Practice in Marxism-Leninism: The Idea of Limits as Impetus in the Development of 17th-Century Physics.Jiri Marek - 1983 - Studies in Soviet Thought 25 (1):1-10.
  38.  9
    “Wahrheit Suchen Und Wahrheit Bekennen.” Alexius Meinong: Skizze Seines Lebens. [REVIEW]Johann Marek - 2002 - Vienna Circle Institute Yearbook 9:408-413.
    There are already numerous monographs and anthologies on Alexius Meinong’s philosophical work, but there has, until now, been no comprehensive biography. Evelyn Dolling has succeeded in filling this gap with her Skizze seines Lebens . Her attempt to delineate Meinongs’s life takes the form of a sketchbook. It consists of several sketches. Some of them are meticulously detailed, as for example the description of Meinong’s struggle to establish a psychological laboratory in Graz. Others consist of just a few strokes, and (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  39.  28
    Reducing Cognitive Complexity in a Hypothetico-Deductive Reasoning Task.Pam Marek, Richard A. Griggs & Cynthia S. Koenig - 2000 - Thinking and Reasoning 6 (3):253 – 265.
    The confusion/non-consequential thinking explanation proposed by Newstead, Girotto, and Legrenzi (1995) for poor performance on Wason's THOG problem (a hypothetico-deductive reasoning task) was examined in three experiments with 300 participants. In general, as the cognitive complexity of the problem and the possibility of non-consequential thinking were reduced, correct performance increased. Significant but weak facilitation (33-40% correct) was found in Experiment 1 for THOG classification instructions that did not include the indeterminate response option. Substantial facilitation (up to 75% correct) was obtained (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40.  28
    Lenin's Relationship to the Ideas of Physicists.Jiří Marek - 1977 - Studies in East European Thought 17 (1):63-80.
    History and the philosophy of science have played a very important role in dialectical materialism; their results have been destined to support the correctness of the ideas of Marxist philosophers, especially in their application in historical materialism.From this point of view, the circumstances of the origin of the works of the Marxist classics cannot be neglected: Engels wrote hisDialectics in Nature in the period of classical physics, and Lenin published hisMaterialism and Empirio-Criticism at the beginning of the 20th century when (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  41.  16
    In Memory of Andrzej Mostowski.Helena Rasiowa & Wiktor Marek - 1977 - Studia Logica 36 (1-2):1 - 8.
  42.  4
    Stałość i zmienność w leksykograficznej kodyfikacji wybranych niemieckich zapożyczeń leksykalnych z grupy rzeczowej „budownictwo” w „Słowniku języka polskiego” pod redakcją Witolda Doroszewskiego oraz w „Słowniku języka polskiego PWN” pod redakcją Elżbiet.Rafał Marek - 2015 - Acta Universitatis Lodziensis. Folia Germanica 11.
    This article presents German loanwords in the Polish language. Its aim is twofold: to discuss words of German origin in Polish, as well as to stress Polish-German language contacts and their influences on vocabulary. The analysis will not only deal with the meaning and etymology of particular words, but will also scrutinize their description in the dictionaries of Polish edited by Doroszewski and Sobol.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  43.  9
    Remarks on Pseudo-Referential Matrices.Iwona Marek - 1987 - Bulletin of the Section of Logic 16 (2):89-91.
    One of the generalizations of R. W´ojcicki’s concept of referential matrix is so-called pseudo-referential matrix . G. Malinowski, who introduced that concept, also considers a particular case of pseudo-referential matrices called discrete pseudo-referential matrices . In this note we want to show how any generalized matrix determines a semantically equivalent discrete pseudo-referential matrix.
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  21
    The Role of Practice in Marxism-Leninism: The Idea of Limits as Impetus in the Development of 17th-Century Physics.Jiri Marek - 1983 - Studies in East European Thought 25 (1):1-10.
  45. Ueber Ernst Machs « Erkenntnis und Irrtum ».Franz Brentano, Roderick M. Chisholm & Johann C. Marek - 1989 - Revue Philosophique de la France Et de l'Etranger 179 (1):135-135.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  46.  25
    Matter in its 'Infinity'.Jiři Marek & L. E. Musberg - 1984 - Studies in East European Thought 27 (1):25-31.
    Consistent application of dialectical materialism leads Marxism-Leninism to the assertion that matter is infinite in its properties. However, the history of physics shows that the various levels of matter possess geometric dimensions that originate at the lowest level and continue through the others. The search for absolute natural constants — which Planck called the most pleasant task of physics — shows the conviction of the physicists that there is a limit to the parameters, a limit beyond which matter is no (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  22
    The Marxian Conception of the Working Class and the Development of Physics.Ji?I. Marek - 1983 - Studies in East European Thought 26 (2):143-150.
    Marx extrapolated the relations of production of the factories of his time into his predictions about the development of the working class. These predictions are among the most important theses of Marxism-Leninism relative to the socialist world-revolution which the working class was to carry out.The physics of Marx'' era was not very developed. Marx could have no inkling of the future development of physics and of its application to technology. This is why his predictions had to be in simple and (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  10
    Zum Programm einer Deskriptiven Psychologie.Johann Christian Marek - 1986 - Grazer Philosophische Studien 28:211-234.
    Die logische Analyse psychologischer Begriffe wird gedeutet als die Untersuchung logisch-kategorialer wie auch inhaltlicher Merkmale des Psychischen im Allgemeinen (Kennzeichen des Erlebnismäßigen, Unterscheidungen zum Nicht-Psychischen) und im Speziellen (Kennzeichen der einzelnen psychischen Phänomene, Unterscheidungen innerhalb des Psychischen). Brentanos deskriptive Psychologie wird als eine derartige analytische Philosophie der Psychologie aufgefaßt, und Chisholms These, daß Wittgensteins Philosophie der Psychologie als deskriptive Psychologie angesehen werden kann, wird mit einigen Einschränkungen und Ergänzungen übernommen. Bei der Darstellung der deskriptiven Psychologie als Begriffsanalyse, als einer Wissenschaft (...)
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  49.  11
    The Complexity of Recursive Constraint Satisfaction Problems.Victor W. Marek & Jeffrey B. Remmel - 2009 - Annals of Pure and Applied Logic 161 (3):447-457.
    We investigate the complexity of finding solutions to infinite recursive constraint satisfaction problems. We show that, in general, the problem of finding a solution to an infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through a recursive tree. We also identify natural classes of infinite recursive constraint satisfaction problems where the problem of finding a solution to the infinite recursive constraint satisfaction problem is equivalent to the problem of finding an infinite path through (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  50.  7
    The Idea and Method of Philosophy. Guidelines for a Theory of Reason.Johann Christian Marek - 1979 - Philosophy and History 12 (2):146-147.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000