Results for 'W. Marek'

1000+ found
Order:
  1. Czas i stawanie się w sztucznych i naturalnych układach kognitywnych.Marek W. Bielecki - 1995 - Filozofia Nauki 4.
    In my paper I review the main strategies adopted by two leading schools in cognitive science, symbolic artificial intelligence (AI) and connectionism, in modeling time-dependent phenomena such as learning. In particular, I briefly mention shortcomings of non-monotonic logic approach that dominates symbolic AI. I also discuss the problems that beset the recurrent networks approach advocated by connectionists (e.g., S. Grossberg) and philosophers (e.g., P. Churchland), who focus their attention on oscillatory behavior of such networks. I point out that neither approach (...)
    No categories
     
    Export citation  
     
    Bookmark  
  2. Cognitive Science: Two Cultures or One?Marek W. Bielecki - 1999 - In S. Smets J. P. Van Bendegem G. C. Cornelis (ed.), Metadebates on Science. Vub-Press & Kluwer. pp. 6--31.
  3. Od rzeczywistości snu do rzeczywistości jawy. Refleksja nad światem.Marek W. Bielecki - 2000 - Przeglad Filozoficzny - Nowa Seria 35 (3):135-143.
    No categories
     
    Export citation  
     
    Bookmark  
  4. Rozumienie sieci neuronowych.Marek W. Bielecki - 1998 - Przeglad Filozoficzny - Nowa Seria 27 (3):225-234.
    No categories
     
    Export citation  
     
    Bookmark  
  5. Sztuczna inteligencja. Zdrowy rozsądek i filozofia.Marek W. Bielecki & Jan M. Żytkow - 1989 - Studia Filozoficzne 289 (12).
    No categories
     
    Export citation  
     
    Bookmark  
  6.  18
    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 (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  21
    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  
     
    Bookmark  
  8. Filozofia procesu fizycznego (M. Tempczyk, \"Fizyka a świat realny: elementy filozofii fizyki\", Warszawa 1986).Marek W. Kalinowski - 1988 - Studia Filozoficzne 267 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  9. Koncepcja materii a geometryzacja oddziaływań fizycznych.Marek W. Kalinowski - 1988 - Studia Filozoficzne 267 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  10. Przegląd zagadnień.Marek W. Kalinowski - 1990 - Zagadnienia Naukoznawstwa 26:209.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  5
    Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
  12.  18
    Gaps in the contructable universe.W. Marek & M. Srebrny - 1974 - Annals of Mathematical Logic 6 (3-4):359-394.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13. Nieobecna kategoria myślenia O nauce.Marek Kucia - Myślenie W. Kategoriach Powołaniapowołanie Uczonego - 1991 - Principia 4.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  74
    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 (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  31
    Wanda Szmielew 1918–1976.Marek Kordos, Maria Moszyńska & Lesław W. Szczerba - 1977 - Studia Logica 36 (4):241-244.
  16. The Logic Programming Paradigm: A 25-Year Perspective.Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski & David S. Warren - 2002 - Studia Logica 71 (1):145-148.
     
    Export citation  
     
    Bookmark  
  17.  6
    Computing with default logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.
  18. Observations concerning elementary extensions of ω-models. II.W. Marek - 1973 - Journal of Symbolic Logic 38 (2):227-231.
  19.  19
    Logic programs, well-orderings and forward chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  35
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  18
    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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  17
    Introduction to Mathematics of Satisfiability.Victor W. Marek - 2009 - Taylor & Francis.
    From electronic design problems to resolution proofs to SAT solvers, this book focuses on the satisfiabilityof theories that consist of propositional logic ...
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  7
    No minimal transitive model of Z−.W. Marek & M. Srebrny - 1975 - Mathematical Logic Quarterly 21 (1):225-228.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  29
    The complexity of recursive constraint satisfaction problems.Victor W. Marek & Jeffrey B. Remmel - 2010 - 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 (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Świat według ciała w fenomenologii percepcji M. Merleau-Ponty'ego.Marek Maciejczak - 2001 - Warszawa: Wydawn. Instytutu Filozofii i Socjologii PAN. Edited by Maurice Merleau-Ponty.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  25
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    Ciągłość historii i historia ciągłości: polska filozofia dziejów.Marek N. Jakubowski - 2000 - Toruń: Wydawn. Uniwersytetu Mikołaja Kopernika.
  28.  18
    Wspomnienie - Marek Czyżewski.Marek Czyżewski - 2011 - Etyka 44:118-120.
    Artykuł podejmuje polemikę z obiegowym rozumieniem tolerancji. Autor podkreśla znaczenie podziału na tolerancję jako postawę i na dyskursy o tolerancji. Następnie, w nawiązaniu i częściowo w dyskusji z koncepcją tolerancji zaproponowaną przez Iję Lazari Pawłowską, przedstawione jest rozróżnienie trzech odmian tolerancji, a także rozróżnienie odpowiednich trzech odmian nietolerancji. Rozważane są również niektóre paradoksy związane z tolerancją oraz ze zwalczaniem nietolerancji.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  37
    [recenzja] W.A. Ugarow, Szczególna teoria względności, 1985.Marek Samborski - 1986 - Zagadnienia Filozoficzne W Nauce 8.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. AI and the future of humanity: ChatGPT-4, philosophy and education – Critical responses.Michael A. Peters, Liz Jackson, Marianna Papastephanou, Petar Jandrić, George Lazaroiu, Colin W. Evers, Bill Cope, Mary Kalantzis, Daniel Araya, Marek Tesar, Carl Mika, Lei Chen, Chengbing Wang, Sean Sturm, Sharon Rider & Steve Fuller - forthcoming - Educational Philosophy and Theory.
    Michael A PetersBeijing Normal UniversityChatGPT is an AI chatbot released by OpenAI on November 30, 2022 and a ‘stable release’ on February 13, 2023. It belongs to OpenAI’s GPT-3 family (generativ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  7
    Dylematy tożsamoʹsci: wokʹoł autowizerunku filozofa w powojennej myʹsli francuskiej.Marek Kwiek - 1999 - Poznań: Wydawn. Nauk. Instytutu Filozofii Uniwersytetu im. Adama Mickiewicza w Poznaniu.
    Prezentowana tu książka jest poświęcona relacjom między filozofią a polityką, politycznemu zaangażowaniu filozofii bądź jej ucieczce przed owym zaangażowaniem. W moim ujęciu pytania o autowizerunek filozofa w XX wieku są pytaniami o jego uwikłania, i uwikłania jego filozofii, w politykę. Nigdy wcześniej filozofowie nie żywili takich nadziei na przemodelowanie społeczeństwa z pomocą polityki (i tym się różnili od licznych wcześniejszych utopistów) zgodnie ze swoją filozoficzną wizją jak właśnie w XX wieku. Jest to zarazem książka o tradycyjnych antynomiach i opozycjach filozoficznych: (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    Człowiek w filozofii Karola Wojtyły i Józefa Tischnera [Amadeusz Pala, „Dynamizm człowieka w ujęciu filozoficznym Karola Wojtyły i Józefa Tischnera”].Marek Błaszczyk - 2023 - Studia Philosophica Wratislaviensia 18 (1):103-110.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    W pułapce posthumanizmu.Marek Błaszczyk - 2020 - Studia Philosophica Wratislaviensia 15 (1):149-153.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Whistleblowing, czyli ujawnienie w dobrej wierze.Marek Arszułowicz - 2007 - Prakseologia 147 (147):91-114.
     
    Export citation  
     
    Bookmark  
  35. O pewnym „gordyjskim węźle” w edukacji.Marek Budajczak - 2003 - Colloquia Communia 75 (2):92-97.
    No categories
     
    Export citation  
     
    Bookmark  
  36.  2
    Motywy egzystencjalne w Dwóch ludziach z szafą Romana Polańskiego.Marek Błaszczyk - 2022 - Przeglad Filozoficzny - Nowa Seria:65-87.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  1
    O absurdzie w twórczości Alberta Camusa.Marek Błaszczyk - 2020 - Studia Philosophica Wratislaviensia 15 (2):201-205.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  23
    Infantasies: An EPAT collective project.Andrew Gibbons, Michael A. Peters, Andrea Delaune, Petar Jandrić, Amy N. Sojot, David W. Kupferman, Marek Tesar, Viktor Johansson, Marta Cabral, Nesta Devine & Nina Hood - 2021 - Educational Philosophy and Theory 53 (14):1442-1453.
    This is a collective writing project that is part of the larger design of Infantologies, Infanticides and Infantilizations; a quartet that explores the philosophy of infants from thematic perspectives, that puts infants at the centre of our reflections, and that encourages a different academic style of thinking.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  5
    Problem (a)czasowości Boga.Marek Łagosz - 2020 - Studia Philosophiae Christianae 56 (1):79-102.
    W artykule tym rozważana jest kwestia zmienności Boga, której „pochodną” – biorąc pod uwagę stwierdzenie Arystotelesa, że „substratem” czasu jest ruch – jest tytułowy problem czasowości Boga. Aby uwyraźnić i uchwycić wiążące się z tymi zagadnieniami trudności i dylematy, odwołano się do teologii chrześcijańskiej, a w szczególności do problematyki stworzenia, objawienia, a także – co się z tym wiąże – wcielenia oraz zbawienia. Wyprowadzono wniosek, że należy przyjąć, iż w Bogu realizuje się zupełnie inna niż kauzalna zasada ruchu, stąd też (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  4
    Elementy logiki i teorii mnogości w zadaniach.Wiktor Marek - 1972 - Warszawa: Państwowe Wydawn. Naukowe. Edited by Janusz Onyszkiewicz.
  41. Dylematy i paradoksy identyfikacji ideologicznych w okresie transformacji.Marek Górka - 2010 - Civitas 12 (12).
    No categories
     
    Export citation  
     
    Bookmark  
  42.  12
    Dylematy i paradoksy identyfikacji ideologicznych w okresie transformacji.Marek Górka - 2020 - Civitas. Studia Z Filozofii Polityki 12:77-108.
    The history of political transformation in Poland is an uninterrupted process of forming identifications along party lines, as well as of the political milieus’ searching, for a response to the question regarding the location of their own subjective space within the wider political sphere. It is worthwhile, when we discuss this, to ask whether the building up of a party’s identity is dictated by ideological and programmatic reasons or whether it is an incidental matter. The values and beliefs concealed in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Człowiek a historia w filozofii Jana Jakuba Rousseau.Marek Blaszke - 1983 - Archiwum Historii Filozofii I Myśli Społecznej 29.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  4
    Wolność i trwanie człowieka w służbie wartościom według Romana Ingarden.Marek Czachorowski - 1987 - Roczniki Filozoficzne 35 (2):123-139.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Wykorzystywanie wyników badań naukowych w celach sprzecznych z ich założeniami.Marek Czarkowski - 2009 - Diametros 19:26-34.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  2
    Argument „ze skończoności” jako wariant kosmologicznego uzasadniania istnienia Boga.Marek Łagosz - 2021 - Studia Philosophiae Christianae 57 (1):47-72.
    W artykule analizuję pewną odmianę kosmologicznej argumentacji za istnieniem Boga – „dowód ze skończoności”. W punkcie wyjścia opieram się na intuicjach Georga W.F. Hegla, które rozwijam. W swoich heglowskich inspiracjach ograniczam się do Wykładów z filozofii religii. W konkluzji wskazuję na niebezpieczeństwo pomieszania porządku poznawczego z porządkiem ontycznym. --------------- Zgłoszono: 30/10/2020. Zrecenzowano: 17/12/2020. Zaakceptowano do publikacji: 24/04/2021.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Pietas: spór o filozoficzne podstawy moralnych obowiązków wobec rodziców = Pietas: the controversy over the philosophical bases of moral duties towards parents.Marek Czachorowski - 2014 - Lublin: Wydawnictwo KUL.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Rozum i namiętności w Hume'owskiej teorii działania.Marek Pyka - 1995 - Przeglad Filozoficzny - Nowa Seria 15 (3):75-85.
  49. Umysł i moralność w filozofii Thomasa Nagela.Marek Pyka - 2004 - Diametros 2:82-102.
    No categories
     
    Export citation  
     
    Bookmark  
  50.  16
    Twórczość Henryka Sienkiewicza a cenzura literacka w NRD.Marek Rajch - 2020 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 58 (3):421-434.
    Works by Henryk Sienkiewicz, a Polish writer and the winner of the 1905 Nobel Prize for Literature, were subjected to verification by the DDR’s censorship apparatus several times. Censors considered his novellas which discussed 19th-century social issues as desirable and worth promoting among East German readers. His novel Krzyżacy, which was set in the Middle Ages, was accepted eagerly both by publishing houses and the censorship office as it enabled national socialism in Germany to be viewed in critical terms, as (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000