Results for 'Tadeusz Tyszka'

29 found
Order:
  1. Constructive mathematics with the knowledge predicate K satisfied by every currently known theorem.Apoloniusz Tyszka - manuscript
    K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Actions, Products, Demonstrations.Tadeusz Ciecierski - 2023 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 30 (1):102-126.
    As it is broadly accepted, typical uses of demonstratives are accompanied by demonstrations. The concept of demonstration, however, manifests the action–product ambiguity analogous to that visible in the opposition between jumping and the resulting jump, talking and the resulting talk or crying and the resulting cry. It is also a heterogeneous concept that enables demonstrations to vary significantly. The present paper discusses action–product ambiguity as applied to demonstrations as well as the heterogeneity of the latter. An account that acknowledges ambiguity (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. W kręgu niemiecko-polskich powinowactw literackich. 30 lat pracy naukowej prof. zw. dr hab. Krzysztofa A. Kuczyńskiego (1971-2001).Tadeusz Dubicki - 2002 - Acta Universitatis Lodziensis. Folia Litteraria Polonica 3:11-18.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Hilbert's 10th Problem for solutions in a subring of Q.Agnieszka Peszek & Apoloniusz Tyszka - 2019 - Scientific Annals of Computer Science 29 (1):101-111.
    Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Das Problem des Bösen in der Philosophie Józef Tischners.Tadeusz Gadacz - 2011 - Argument: Biannual Philosophical Journal 1 (2):259-274.
    English title: The Issue of Evil in Philosophy of Józef Tischner. The paper presents several understandings of evil distinguished by Józef Tischner, like the axiological evil, agathological evil and structural evil. While exposing the phenomenological approach of Tischner, Gadacz discusses evil as ‘a phantom’ that accompanies the very source form of experience which, according to Tischner, stands for the episode of meeting another man. In this perspective evil as a ghost proves to be the source experience as well, alike the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Directives and Context.Tadeusz Ciecierski & Paweł Grabarczyk - 2022 - Argumenta 15:35-53.
    The paper aims to add contextual dependence to the new directival theory of meaning, a functional role semantics based on Kazimierz Ajdukiewicz’s directival theory of meaning. We show that the original formulation of the theory does not have a straight answer on how the meaning of indexicals and demonstratives is established. We illustrate it in the example of some problematic axiomatic and inferential directives containing indexicals. We show that the main reason why developing the new directival theory of meaning in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Statements and open problems on decidable sets X⊆N that contain informal notions and refer to the current knowledge on X.Apoloniusz Tyszka - 2022 - Journal of Applied Computer Science and Mathematics 16 (2):31-35.
    Let f(1)=2, f(2)=4, and let f(n+1)=f(n)! for every integer n≥2. Edmund Landau's conjecture states that the set P(n^2+1) of primes of the form n^2+1 is infinite. Landau's conjecture implies the following unproven statement Φ: card(P(n^2+1))<ω ⇒ P(n^2+1)⊆[2,f(7)]. Let B denote the system of equations: {x_j!=x_k: i,k∈{1,...,9}}∪{x_i⋅x_j=x_k: i,j,k∈{1,...,9}}. The system of equations {x_1!=x_1, x_1 \cdot x_1=x_2, x_2!=x_3, x_3!=x_4, x_4!=x_5, x_5!=x_6, x_6!=x_7, x_7!=x_8, x_8!=x_9} has exactly two solutions in positive integers x_1,...,x_9, namely (1,...,1) and (f(1),...,f(9)). No known system S⊆B with a finite (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Zamiast wstępu.Tadeusz Ciecierski - 2019 - Studia Semiotyczne 33 (2):5-6.
    Leon Koj napisał w zakończeniu do Problemów semiotyki logicznej, że nie sposób sobie wyobrazić semiotyki w Polsce bez Jerzego Pelca. Można opinię tę rozumieć tak, że Jerzy Pelc wywarł na semiotykę polską wpływ, bez którego to, co w niej najlepsze, nie przybrałoby nigdy formy rozwiniętej, nie ujrzałoby światła dziennego oraz nie znalazłoby odbicia w dydaktyce uniwersyteckiej. Jest to opinia trafna, a rozprawy zawarte w niniejszym – poświęconym Jerzemu Pelcowi – tomie Studiów Semiotycznych są oznakami tego wpływu.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Two conjectures on the arithmetic in ℝ and ℂ†.Apoloniusz Tyszka - 2010 - Mathematical Logic Quarterly 56 (2):175-184.
    Let G be an additive subgroup of ℂ, let Wn = {xi = 1, xi + xj = xk: i, j, k ∈ {1, …, n }}, and define En = {xi = 1, xi + xj = xk, xi · xj = xk: i, j, k ∈ {1, …, n }}. We discuss two conjectures. If a system S ⊆ En is consistent over ℝ, then S has a real solution which consists of numbers whose absolute values belong to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Recognition as a Commitment. [REVIEW]Tadeusz Gadacz - 2018 - Diametros (58):87-91.
    Review of the book: Jakub Kloc-Konkołowicz, Anerkennung als Verpflichtung. Klassische Konzepte der Anerkennung und ihre Bedeutungfür die aktuelle Debate, Königshausen & Neumann, Würzburg 2015.
    Download  
     
    Export citation  
     
    Bookmark  
  11. Linguistic Criteria of Intentionality.Ciecierski Tadeusz - 2016 - Studies in Logic, Grammar and Rhetoric 46 (1):35-58.
    The aim of this paper is to discuss theories that attempt to single out the class of intentional states by appealing to factors that are supposedly criterial for intentional sentences. The papers starts with distinguishing two issues that arise when one thinks about intentional expressions: the Taxonomy Problem and the Fundamental Demarcation Problem. The former concerns the relation between the classes of distinct intentional verbs and distinct intentional states. The latter concerns the question about how to distinguish intentional states and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. From Wide Cognition to Mechanisms: A Silent Revolution.Marcin Miłkowski, Robert Clowes, Zuzanna Rucińska, Aleksandra Przegalińska, Tadeusz Zawidzki, Joel Krueger, Adam Gies, Marek McGann, Łukasz Afeltowicz, Witold Wachowski, Fredrik Stjernberg, Victor Loughlin & Mateusz Hohol - 2018 - Frontiers in Psychology 9.
    In this paper, we argue that several recent ‘wide’ perspectives on cognition (embodied, embedded, extended, enactive, and distributed) are only partially relevant to the study of cognition. While these wide accounts override traditional methodological individualism, the study of cognition has already progressed beyond these proposed perspectives towards building integrated explanations of the mechanisms involved, including not only internal submechanisms but also interactions with others, groups, cognitive artifacts, and their environment. The claim is substantiated with reference to recent developments in the (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  13. Michael Dummett o Filozofii Analitycznej.Tadeusz Szubka - 2020 - J. Maciaszek (Ed.), Analiza, Racjonalnosc, Filozofia Religii. Ksiega Jubileuszowa Dedykowana Profesorowi Ryszardowi Kleszczowi, Lodz.
    The British philosopher Michael Dummett (1925–2011) not only had a massive influence on the development of analytical philosophy within the philosophy of language, philosophy of mathematics, and metaphysics, but also contributed significantly to historical and metaphilosophical debates about the nature of this philosophical movement and its proper account. He proposed to define analytical philosophy as philosophy whose aim is the analysis of the structure of thought by way of the analysis of language. Hence, it is philosophy the gist of which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14.  83
    A Note on the Demonstrative Uses of Indexicals.Ciecierski Tadeusz - 2022 - Logique Et Analyse 258:151-166.
    The paper discusses the answering machine puzzle and cases of non-standard uses of ‘I’. It offers an analysis of the phenomena that is conservative with respect to the Kaplanian account of indexicality. The point of departure of the paper is the observation that some proper indexicals have demonstrative uses. It is argued that treating some occurrences of ‘now’ as cases of such uses results in an intuitive and simple solution to the answering machine puzzle. At the same time, treating some (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Wojciech Torzewski, Hermeneutyka jako filozofia dziejowości. Studium myśli Diltheya, Yorcka, Heideggera, Gadamera i Vattima. [REVIEW]Rec Tadeusz Gadacz - 2014 - Argument: Biannual Philosophical Journal 4 (1):173-180.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Tadeusza Czeżowskiego koncepcja etyki naukowej.Stefan Konstańczak - 2012 - Przeglad Filozoficzny - Nowa Seria 83 (3):547-558.
    The article is mainly based on Tadeusz Czeżowski’s publication – “Metaethical considerations”, prepared to be printed but never published. This publication, however, is not a handbook of classical metaethics but a kind of generalization of ethical theories ordering in a way, all known until now ethical systems within philosophy. Thus, Czeżowski does not offer his metaethics as a section of traditional ethics but also as a kind of generalization of all ethics until now, and therefore, all systems worked out (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Praxiology meets Planning Theory of Intention. Kotarbiński and Bratman on Plans.Piotr T. Makowski - 2015 - In Piotr Makowski, Mateusz Bonecki & Krzysztof Nowak-Posadzy (eds.), Praxiology and the Reasons for Action. Transaction Publishers. pp. 43-71.
    Planning organizes our actions and conditions our effective-ness. To understand this philosophical hint better, the author investigates and juxtaposes two important accounts in action theory. He discusses the concept of a plan proposed by Tadeusz Kotarbiński in his praxiology (theory of efcient action), and the so called “planning theory of intention” by Michael E. Bratman. The conceptual meeting of these two proposals helps to remove aws in Kotarbiński’s action theory, it also shows the way, in which we can enrich (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Bratman i prakseologia minimalna.Piotr T. Makowski - 2013 - Ethics in Progress 4 (2):78-86.
    The paper is an introductory essay to the Polish translation of M.E. Bratman’s paper The Fecundity of Planning Agency. Instead of summarizing the main drifts of Bratman’s work, the author tries to show a few important parallels between his approach to action theory and the so-called praxiology (or ‘theory of efficient action’) proposed by Tadeusz Kotarbinski. It occurs that there are important similarities between their approaches both to specific problems in action theory (as: concept of an agent, the role (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Reasons for Being Flexible. Desires, Intentions, and Plans.Piotr T. Makowski - 2016 - In Timo Airaksinen (ed.), Desire: The Concept and its Practical Context. New Brunswick: Transaction Publishers. pp. 59-78.
    The structure of this paper is as follows. My starting point is psychological flexibility (henceforth, PF) as it has been presented in psychology. Here I offer a synthetic view which embraces the most crucial aspects of flexibility, and describes its functional roles and underlying mechanisms. Secondly, I move my attention onto the field of current action theory and discuss two elementary concepts we commonly use when describing our actions: intention and desire. Of course, there are many “theories of desire” and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20. On the Phases of Reism.Barry Smith - 2006 - In Arkadiusz Chrudzimski & Dariusz Łukasiewicz (eds.), Actions, products, and things: Brentano and Polish philosophy. Lancaster: Ontos. pp. 137--183.
    Kotarbiński is one of the leading figures in the Lvov-Warsaw school of Polish philosophy. We summarize the development of Kotarbiński’s thought from his early nominalism and ‘pansomatistic reism’ to the later doctrine of ‘temporal phases’. We show that the surface clarity and simplicity of Kotarbiński’s writings mask a number of profound philosophical difficulties, connected above all with the problem of giving an adequate account of the truth of contingent (tensed) predications. The paper will examine in particular the attempts to resolve (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  21. The Logic of Logical Necessity.Andrew Bacon & Kit Fine - manuscript
    Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. O etyce niezależnej Tadeusza Kotarbińskiego.Przemysław Spryszak - 2016 - Argument: Biannual Philosophical Journal 6 (2):429-454.
    In this paper I briefly discuss principles of “independent ethics” formulated and popularized by the Polish philosopher Tadeusz Kotarbiński. I focus on the notion of “conscience” which seems to play a fundamental role in this moral theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Hortus (In)Conclusus. Polska i Ukraina: rozmowy o filozofii i literaturze (En - Hortus (In)Conclusus. Poland and Ukraine: Talks on Philosophy Literature).Anton Marczyński (ed.) - 2017 - Warsaw, Poland: Barbara Skarga Foundation for Thinking.
    EN: Selection of Marczyński's interviews on philosophy and literature which were recorded in early 2007 for the purpose of his radio broadcast "Hortus (In)Conclusus." Includes interviews with: Marek Bieńczyk, Józef Bremer, Ihor Byczko, Andrij Dachnij, Anna Dziedzic, Mateusz Falkowski, Tadeusz Gadacz, Michał Głowiński, Dorota Hall, Serhij Jospenko, Wachtang Kebuładze, Zbigniew Kloch, Andrzej Kołakowski, Wasyl Lisowyj, Ołeksandr Majewskyj, Anton Marczynski, Julia Marczyńska, Wadym Menżulin, Zbigniew Mikołejko, Monika Milewska, Andrij Okara, Ihor Paśko, Adam Pomorski, Myrosła Popowycz, Jerzy Prokopiuk, Iryna Puchta, Barbara (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Moral conditions for methodologically rational decisions.Jan F. Jacko - 2018 - Poznan Studies in the Philosophy of the Sciences and the Humanities 111:209–223.
    The study’s main thesis is that respect for some moral values is a condition for methodologically rational decisions, namely, decisions which do not satisfy the condition are either not methodologically rational at all, or not fully rational. The paper shows supporting arguments for the thesis in terms of the philosophical theories by Aristotle, Immanuel Kant, Tadeusz Kotarbiński, Max Weber, Jean-Paul Sartre and some other thinkers. Their presentation undergoes phenomenological analysis of the phenomenon of decision making.
    Download  
     
    Export citation  
     
    Bookmark  
  25.  74
    Operator Counterparts of Types of Reasoning.Urszula Wybraniec-Skardowska - 2023 - Logica Universalis 17 (4):511-528.
    Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. The University, Globalization, Central Europe.Marek Kwiek - 2003 - Frankfurt and New York: Peter Lang.
    Book synopsis This book is devoted to the condition of the university under the pressures of globalization, with particular reference to Central Europe. It is intended as a companion volume for all those who combine their academic and disciplinary research with wider interests in the functioning of higher education institutions under the new pressures affecting Central Europe. Drawing on its interdisciplinary nature and the wide range of scholars involved, it intends to outline a useful map of new, often challenging, areas, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Z dziejów literatury polskiej w Niemczech - Hermann Buddensieg.Aneta Jamiałkowska-Pabian - 2002 - Acta Universitatis Lodziensis. Folia Germanica 3:163-171.
    Der Aufsatz wurde zum Anlass des 25. Todestages von Hermann Buddensieg geschrieben. Es wird bestrebt an, die Gestalt dieses Übersetzers, Dichters, Literaturforschers, Philosophen und Publizisten zu erinnern. Es ist ein Versuch, die bisherigen Forschungsergebnisse zu sammeln und unser Wissen über die Aktivität eines Menschen zu ordnen, der in der Geschichte der Aufnahme der polnischen Literatur und Kultur in Deutschland eine Sonderstellung hat. Eine besondere Bedeutung wird seiner kongenialen Übertragung von Pan Tadeusz, seinem Vorsitz bei dem Mickiewicz-Gremium und der Redaktion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. „Ruch Filozoficzny\" i wolność badań naukowych w Polsce w latach 1947-1957.Stefan Konstańczak - 2011 - Ruch Filozoficzny 68 (4):821-838.
    „Ruch Filozoficzny” and the freedom of scientific research in Poland (in 1947-1957 years). Presented article refers to the situation in the Polish philosophy, which took place between 40-50 of the twentieth century. Author’s reflections are carried on the example of attempts to reactivate in the realities of war, the polish philosophical journal “Ruch Filozoficzny” founded in 1911 by Kazimierz Twardowski. Political conditions have made the magazine was renewed twice, at each time was the greatest merit of Tadeusz Czeżowski. He (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. On Certain Values of the Lvov-Warsaw School and Logical Culture: Towards Challenges of Contemporaneousness.Urszula Wybraniec-Skardowska - 2022 - Filozofia Nauki 30 (1):53-66.
    This article explores the question of how the members of the Lvov-Warsaw School promoted values that can be regarded as components of so-called logical culture. The author argues that these values are strictly connected with science. With references to Łukasiewicz, Czeżowski, and Kotarbiński,the article explores how values shape the logical culture and determines society as directed towards values. The article connects the meta-philosophical perspective with the philosophical one.
    Download  
     
    Export citation  
     
    Bookmark