Works by Kazimierz Trzȩsicki
27 found
Order:
1 filter applied
- The Polish School of Argumentation: A Manifesto.Katarzyna Budzynska,Michal Araszkiewicz,Barbara Bogołȩbska,Piotr Cap,Tadeusz Ciecierski,Kamila Debowska-Kozlowska,Barbara Dunin-Kȩplicz,Marcin Dziubiński,Michał Federowicz,Anna Gomolińska,Andrzej Grabowski,Teresa Hołówka,Łukasz Jochemczyk,Magdalena Kacprzak,Paweł Kawalec,Maciej Kielar,Andrzej Kisielewicz,Marcin Koszowy,Robert Kublikowski,Piotr Kulicki,Anna Kuzio,Piotr Lewiński,Jakub Z. Lichański,Jacek Malinowski,Witold Marciszewski,Edward Nieznański,Janina Pietrzak,Jerzy Pogonowski,Tomasz A. Puczyłowski,Jolanta Rytel,Anna Sawicka,Marcin Selinger,Andrzej Skowron,Joanna Skulska,Marek Smolak,Małgorzata Sokół,Agnieszka Sowińska,Piotr Stalmaszczyk,Tomasz Stawecki,Jarosław Stepaniuk,Alina Strachocka,Wojciech Suchoń,Krzysztof Szymanek,Justyna Tomczyk,Robert Trypuz,Kazimierz Trzȩsicki,Mariusz Urbański,Ewa Wasilewska-Kamińska,Krzysztof A. Wieczorek,Maciej Witek,Urszula Wybraniec-Skardowska,Olena Yaskorska,Maria Załȩska,Konrad Zdanowski & Żure -2014 -Argumentation 28 (3):267-282.Building on our diverse research traditions in the study of reasoning, language and communication, the Polish School of Argumentation integrates various disciplines and institutions across Poland in which scholars are dedicated to understanding the phenomenon of the force of argument. Our primary goal is to craft a methodological programme and establish organisational infrastructure: this is the first key step in facilitating and fostering our research movement, which joins people with a common research focus, complementary skills and an enthusiasm to work (...) together. This statement—the Manifesto—lays the foundations for the research programme of the Polish School of Argumentation. (shrink)
- Medyczna etyka informatyczna. Przedmiot i główne problemy.Kazimierz Trzęsicki -2006 -Archeus. Studia Z Bioetyki I Antropologii Filozoficznej 7:49-68.
- Etyka informatyczna - racje i początki.Kazimierz Trzęsicki -2007 -Archeus. Studia Z Bioetyki I Antropologii Filozoficznej 8:141-170.
- Leibnizjańskie inspiracje informatyki.Kazimierz Trzęsicki -2006 -Filozofia Nauki 3.Leibniz may be considered as the first computer scientist. He made major contributions to engineering and information science. He invented the binary system, fundamental for virtually all modern computer architectures. He built a decimal based machine that executed all four arithmetical operations and outlined a binary computer. The concepts of lingua characteristica (formal language, programming language) and calculus ratiocinator (formal inference engine or computer program) are the base of the modern logic and information science. Leibniz was groping towards hardware and (...) software concepts worked out much later by Charles Babbage and Ada Lovelace. He anticipated the universal Turing machine. (shrink)
- Dlaczego nazwy liczb odczytujemy odwrotnie?Kazimierz Trzęsicki -forthcoming -Archiwum Historii Filozofii I Myśli Społecznej.No categories
- Dlaczego nazwy liczb odczytujemy odwrotnie?Kazimierz Trzęsicki -forthcoming -Archiwum Historii Filozofii I Myśli Społecznej.No categories
- Is discreteness of time necessary for Diodorean master argument.Kazimierz Trzesicki -1987 -Bulletin of the Section of Logic 16 (3):125-131.The well known Master Argument of ancient Stoic logician Diodorus Cronus is an argument in favour of the philosophical doctrine of fatalism. Perhaps in antiquity this argument was a subject of the most celebrated controversy about temporal truth and modality. This argument is a subject of logical analysis, especially in connection with temporal logic, also today. 1 The most elegant tense-logical formulation of the Master Argument has been given by A. N. Prior. Discreteness and irreflexivity of time are semantical assumptions (...) of Prior’s formulation of the argument. The assumption of discreness is troublesome. 2 The problem of this assumption is a subject of M. J. White’s paper “The Necessity of the Past and ModalTense Logic Incompleteness”. 3. (shrink)
- Perspective on Turing paradigm.Kazimierz Trzęsicki -2022 -Zagadnienia Filozoficzne W Nauce 73:281-332.Scientific knowledge is acquired according to some paradigm. Galileo wrote that the “book of nature” was written in mathematical language and could not be understood unless one first understood the language and recognized the characters with which it was written. It is argued that Turing planted the seeds of a new paradigm. According to the Turing Paradigm, the “book of nature” is written in algorithmic language, and science aims to learn how the algorithms change the physical, social, and human universe. (...) Some sources of the Turing Paradigm are pointed out, and a few examples of the application of the Turing Paradigm are discussed. (shrink)
- Introduction.Stanisław Krajewski &Kazimierz Trzęsicki -2016 -Studies in Logic, Grammar and Rhetoric 44 (1):7-11.Examples of possible theological influences upon the development of mathematics are indicated. The best known connection can be found in the realm of infinite sets treated by us as known or graspable, which constitutes a divine-like approach. Also the move to treat infinite processes as if they were one finished object that can be identified with its limits is routine in mathematicians, but refers to seemingly super-human power. For centuries this was seen as wrong and even today some philosophers, for (...) example Brian Rotman, talk critically about “theological mathematics”. Theological metaphors, like “God’s view”, are used even by contemporary mathematicians. While rarely appearing in official texts they are rather easily invoked in “the kitchen of mathematics”. There exist theories developing without the assumption of actual infinity the tools of classical mathematics needed for applications. Conclusion: mathematics could have developed in another way. Finally, several specific examples of historical situations are mentioned where, according to some authors, direct theological input into mathematics appeared: the possibility of the ritual genesis of arithmetic and geometry, the importance of the Indian religious background for the emergence of zero, the genesis of the theories of Cantor and Brouwer, the role of Name-worshipping for the research of the Moscow school of topology. Neither these examples nor the previous illustrations of theological metaphors provide a certain proof that religion or theology was directly influencing the development of mathematical ideas. They do suggest, however, common points and connections that merit further exploration. (shrink)No categories
- Foreword – Cognitive Science: A New Science with a Considerable Tradition.Marciszewski Marciszewski &Kazimierz Trzęsicki -2015 -Studies in Logic, Grammar and Rhetoric 40 (1):7-12.We ask which ideas of cognitive science have their roots in traditional logic, grammar and rhetoric.We also emphasize the presence of cognitive science in the pages of Studies in Logic, Grammar and Rhetoric since its very beginning.
- Introduction with remarks on the history of negation.Adam Olszewski &Kazimierz Trzęsicki -2018 -Studies in Logic, Grammar and Rhetoric 54 (1):7-13.In the introduction to the volume on negation, first the source ways of understanding it from antiquity to modern times are presented, as well as the basic points of contention connected with it. Subsequently, the works contained in this volume are briefly presented in the order in which they appeared.No categories
- Filozofia matematyki (\"Filozofia matematyki. Antologia tekstów klasycznych\", wyb i opr. R. Murawski, Poznań 1986).Kazimierz Trzęsicki -1988 -Studia Filozoficzne 267 (2).No categories
- How are Concepts of Infinity Acquired?Kazimierz Trzęsicki -2015 -Studies in Logic, Grammar and Rhetoric 40 (1):179-217.Concepts of infinity have been subjects of dispute since antiquity. The main problems of this paper are: is the mind able to acquire a concept of infinity? and: how are concepts of infinity acquired? The aim of this paper is neither to say what the meanings of the word “infinity” are nor what infinity is and whether it exists. However, those questions will be mentioned, but only in necessary extent.No categories
- Intuitionism and Indeterminism (Tense-Logical Considerations).Kazimierz Trzesicki -1994 - In Jan Wolenski,Philosophical Logic in Poland. Kluwer Academic Publishers. pp. 271--296.
- Idea of Artificial Intelligence.Kazimierz Trzęsicki -2020 -Studia Humana 9 (3-4):37-65.Artificial Intelligence, both as a hope of making substantial progress, and a fear of the unknown and unimaginable, has its roots in human dreams. These dreams are materialized by means of rational intellectual efforts. We see the beginnings of such a process in Lullus’s fancies. Many scholars and enthusiasts participated in the development of Lullus’s art, ars combinatoria. Amongst them, Athanasius Kircher distinguished himself. Gottfried Leibniz ended the period in which the idea of artificial intelligence was shaped, and started the (...) new period, in which artificial intelligence could be considered part of science, by today’s standards. (shrink)No categories
- Idea sztucznej inteligencji.Kazimierz Trzęsicki -2019 -Filozofia i Nauka. Studia Filozoficzne I Interdyscyplinarne 1 (8):69-96.No categories
- Indeterministic tense operators and the concept of time as a substance.Kazimierz Trzęsicki -2012 -Semiotica 2012 (188).
- In What Sense is God Infinite? A Consideration from the Historical Perspective.Kazimierz Trzęsicki -2018 - In Mirosław Szatkowski,God, Time, Infinity. Berlin, Germany: De Gruyter. pp. 183-218.No categories
- Kategoria semantyczna operatorów czasów gramatycznych.Kazimierz Trzęsicki -1990 -Studia Semiotyczne 16:189-212.No categoriesExport citation
Bookmark - Logical and Methodological Assumptions of the Ajdukiewicz's and Kripke-Putnam's Views of Meaning.Kazimierz Trzesicki -2006 -Poznan Studies in the Philosophy of the Sciences and the Humanities 89:315.
- Logika temporalna w informatyce.Kazimierz Trzęsicki -2010 -Roczniki Filozoficzne 58 (2):181-204.Leibniz zamierzał stworzyć lingua characteristica universalis – język, w którym dałaby się zapisać wszelka wiedza, oraz calculus ratiocinator – metodę umożliwiającą rachunkowe określenie prawdziwości dowolnego zdania tego języka. Taka idea leży u podstaw współczesnej logiki. Taka idea w odniesieniu do poprawności sprzętu i programów leży u podstaw metod logicznych weryfikacji systemów informatycznych.Dziś widzimy, że dalszy rozwój informatyki zależy istotnie od postępu badań logicznych, a logika – ta starożytna dyscyplina – znalazła nowe bogate pole dociekań, zyskała nowe perspektywy badań. Jej zastosowania (...) mogą mieć tak znaczący wymiar praktyczny, o jakim nie śniło się filozofom. (shrink)No categories
- Negation and infinity.Kazimierz Trzęsicki -2018 -Studies in Logic, Grammar and Rhetoric 54 (1):131-148.Infinity and negation are in various relations and interdependencies one to another. The analysis of negation and infinity aims to better understanding them. Semantical, syntactical, and pragmatic issues will be considered.No categories
- Spór o naturę nieskończoności w matematyce.Kazimierz Trzęsicki -1986 -Idea Studia nad strukturą i rozwojem pojęć filozoficznych 1 (1):71-80.No categoriesExport citation Bookmark
- Teza determinizmu a zasady przyczynowości i skutków.Kazimierz Trzęsicki -1988 -Studia Filozoficzne 271 (6-7).No categories
- Wkład logików polskich w światową informatykę.Kazimierz Trzęsicki -2006 -Filozofia Nauki 3.The position of Polish informatics, as well in research as in didactic, has its roots in achievements of Polish mathematicians of Warsaw School and logicians of Lvov-Warsaw School. Jan Lukasiewicz is considered in the world of computer science as the most famous Polish logician. The parenthesis-free notation, invented by him, is known as PN (Polish Notation) and RPN (Reverse Polish Notation). Lukasiewicz created many-valued logic as a separate subject. The idea of multi-valueness is applied to hardware design (many-valued or fuzzy (...) switching, analog computer). Many-valued approach to vague notions and commonsense reasoning is the method of expert systems, databases and knowledge-based systems. Stanis3aw Jaokowski's system of natural deduction is the base of systems of automatic deduction and theorem proving. He created a system of paraconsistent logic. Such logics are used in AI. Kazimierz Ajdukiewicz with his categorial grammar participated in the development of formal grammars, the field significant for programming languages. Andrzej Grzegorczyk had an important contribution to the development of the theory of recursiveness. (shrink)Export citation Bookmark
- Zbiory rozmyte jako zakresy pojęć porządkujących.Kazimierz Trzęsicki -1993 -Studia Semiotyczne 18:125-140.Export citation Bookmark
- Books received. [REVIEW]Janusz Czelakowski,Roger Maddux,Gerhard Schurz &Kazimierz Trzesicki -1986 -Studia Logica 45 (2):425-430.
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server or OpenAthens.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
 Email |  RSS feed |
Editorial team
General Editors:
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Area Editors:
David Bourget
Gwen Bradford
Berit Brogaard
Margaret Cameron
David Chalmers
James Chase
Rafael De Clercq
Ezio Di Nucci
Esa Diaz-Leon
Barry Hallen
Hans Halvorson
Jonathan Ichikawa
Monte Johnson
Michelle Kosch
Øystein Linnebo
Paul Livingston
Brandon Look
Manolo Martínez
Matthew McGrath
Michiru Nagatsu
Susana Nuccetelli
Giuseppe Primiero
Jack Alan Reynolds
Darrell P. Rowbottom
Aleksandra Samonek
Constantine Sandis
Howard Sankey
Jonathan Schaffer
Thomas Senor
Daniel Star
Jussi Suikkanen
Aness Kim Webster
Other editors
Contact us
Learn more about PhilPapers
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation
Server: philpapers-web-6dc498764b-4tfbx uwo