1 on the Life and Work of Andrzej Mostowski? STANISŁAW
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
On the Minimal Non-Fregean Grzegorczyk Logic
Joanna Golinska-Pilarek´ On the Minimal Non-Fregean Grzegorczyk Logic To the Memory of Andrzej Grzegorczyk Abstract. The paper concerns Grzegorczyk’s non-Fregean logics that are intended to be a formal representation of the equimeaning relation defined on descriptions. We argue that the main Grzegorczyk logics discussed in the literature are too strong and we propose a new logical system, MGL, which satisfies Grzegorczyk’s fundamental requirements. We present a sound and complete semantics for MGL and we prove that it is decidable. Finally, we show that many non-classical logics are extensions of MGL, which makes it a generic non-Fregean logic. Keywords: Non-Fregean logic, Descriptive equivalence, Equimeaning, Extensionality. Introduction There are plenty of logical systems discussed in the literature which are fo- cused on different aspects of formal representation of real world problems. Over the years, the question as to which logic is adequate has been a matter of lively discussion. One of the fundamental controversies is the philosoph- ical status of classical two-valued logic, and in particular the paradoxes of material implication and equivalence. In order to remedy the dissatisfactory aspects of classical logic, many logical systems have been introduced, such as modal, intuitionistic, relevant, non-Fregean, and paraconsistent logics, among others. In [3] Andrzej Grzegorczyk introduced yet another logical system in- tended to cover the fundamental properties of descriptive equivalence of sentences. His main assumption is that the human language is used pri- marily to create descriptions of reality and logical connectives are the main tool to represent them formally. In order to be able to speak about inter- actions between descriptions—as Grzegorczyk argues—a logical language Presented by Heinrich Wansing; Received February 21, 2015 Studia Logica (2016) 104: 209–234 DOI: 10.1007/s11225-015-9635-y c The Author(s) 2015. -
A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
MATHEMATICAL LOGIC A PHILOSOPHICALLY PLAUSIBLE FORMAL INTERPRETATION OF INTUITIONISTIC LOGIC BY ANDRZEJ GRZEGORCZYK (Communicated by Prof. A. HEYTING at the meeting of September 26, 1964} The notion of forcing introduced by P. J. CoHEN [2] in order to prove the independence of the axiom of choice, may be considered as a modi fication of the notion of fulfilment of a formula by a tree introduced by E. W. BETH [l] p. 447. But the word "forcing" used by Cohen suggests an interesting philosophical interpretation of intuitionistic logic. According to this interpretation, which shall be described in detail, the intuitionistic logic can be understood as the logic of scientific research (rather positivistically conceived) while on the other hand the classical logic is the logic of ontological thought. l. The formal description of scientific research Scientific research (e.g. an experimental investigation) consists of the successive enrichment of the set of data by new established facts obtained by means of our method of inquiry. When making inquiries we question Nature and offer her a set of possible answers. Nature chooses one of them. Hence scientific research may be conceived as a triple R=(J, o, P). The elements of R will be called: J - the information set, i.e. the set of all possible experimental data, o - the initial information, P - the function of possible prolongations of the informations. The set J may be finite or infinite. The elements of J are finite ordered collections of atomic sentences: Pt1(aJ), Pt2(aJ> ak), ... where Ptn are n-place predicates and a1, ak, .. -
I Topics in the Theory of Generative Grammar (The Hague, Paris: Mouton, 1969), P
NOTES I I Topics in the Theory of Generative Grammar (The Hague, Paris: Mouton, 1969), p. 11. 2 John Berryman, 77 Dream Songs (New York: Farrar, Straus and Giroux, 1965), p.5. 3 Time, Vol. 99, No.8, Feb. 21 (1972), p. 8. 4 See my Understanding Understanding (Ithaca: Cornell University Press, 1972), Chap. II for a discussion of "what is said". 5 See my Philosophic Turnings (Ithaca: Cornell University Press, 1966), Chaps. XI - XIII for a discussion of related matters. 6 D. B. Wyndham Lewis and Charles Lee (eds.), The Stuffed Owl: An Anthology of Bad Verse (New York: Capricorn Books, 1962), p. ix. This is the source of some of the verse cited in this essay. 7 The wild Barbary sheep also called an aoudad. 8 Peter Selz with texts by the artist, The Work ofJean Dubuffet (New York: The Museum of Modern Art, 1962), p. 97. 9 Op. cit .. p. 103. 10 John Skelton (1460-1529) wrote a funeral service for the sparrow Philip slain by a cat. I I All Souls College of Oxford University. Christopher Wren the room designer. 12 From Andrew Marvell's poem of the nymph complaining of the death of her faun. 13 Section XIX of the version edited by W. F. Stead. 14 In T. S. Eliot's Fragment of an Agon. IS See T. Roethke's The Meadow Mouse. in his The Far Field. 16 See M. Gell-Mann and E. P. Rosenbaum, 'Elementary Particles', Scientific American (July, 1957), p. 5 - my source for these comments. 17 Landscaped Tables Landscapes of the Mind Stones of Philosophy (New York: Pierre Matisse Gallery, 1952), p. -
Confrontation of Reism with Type-Theoretical Approach and Everyday Experience
STUDIES IN LOGIC, GRAMMAR AND RHETORIC 27 (40) 2012 Witold Marciszewski CONFRONTATION OF REISM WITH TYPE-THEORETICAL APPROACH AND EVERYDAY EXPERIENCE 1. Grzegorczyk’s project for merging reism with type theory Quine’s famous essay “On What There Is” starts from the following remark. A curious thing about the ontological problem is its simplicity. It can be put in three Anglo-Saxon monosyllables” ‘What is there?’ It can be answered, moreover, in a word – ‘Everything’ – and everyone will accept this answer as true. Obviously, such accord is only apparent, since each philosophical doctrine offers its individual answer on what this everything does comprise. How- ever, the strategies of justifying their claims have something in common. Each philosopher tries to distinguish a category of entities whose existence would be most certain, beyond any doubt, and then – on this basis – to demonstrate the existence of other kinds of entities. Let the elements of such a basic category be called prime existents1 The history of philosophy can by summarized through mentioning kinds of entities which were acknowl- edged as prime existents by particular thinkers: by Plato – universal ideas; by Aristotle – substantial individuals; by Democritus – atoms; by Descartes – his own mind; by Hume – sense data; by Brentano (in one phase of his development) – mental phenomena, etc. What in the Aristotelian idiom is called individual substances can be translated into vernacular English as individual things or, even simpler, things – Latin res.2 1 In the use of the term “individual substances” I follow Moran’s [2000, p. 35] account on Brentano’s ontology. 2 Dictionaries contain a long list of everyday meanings of “thing”. -
Jerzy Andrzej Chmurzyński SEARCHING EUROPE's
DIALOGUE AND UNIVERSALISM No. 6–7/2002 Jerzy Andrzej ń SEARCHING ’DESTINATION ABSTRACT According to Andrzej ’vision, Europe has “reached” Christianity as its conjectural ideological termination. This view, though tempting, arouses reservations. First of all, Christianity is not a cultural monolith. There is a huge chasm between the “”with its ideal of perfection exhibited by rational effectiveness, and the Catholic and Orthodox ideal of perfecting oneself in ’sinfulness. Nor can one ig- nore ’deep cultural and religious split into a Latin West and a Byzantine East. Secondly, we have been witnessing diverse cultural and demographic transforma- tions in European civilization, some of which appear to be almost universal. They mani- fest themselves in a “”of individual Christianity, either in the form of “neolibertin- ism”, or in a separation of normative ethics from religious ideology. In this context, counter-cultural movements find ideological support in the American social conscious- ness, as in the ’phenomena of flower children and hippies. These tendencies may have evolved into the developing New Age ideology, although they do not exercise the same degree of influence on the population. Some of them stand in opposition to Judeo- Christian moral principles—especially in their advocacy of permissiveness. Others propagate the traditional values found in Oriental doctrines. All of them are apparently anti–Christian; they may lead Europe in a new, so far unknown direction. The decay of traditional morality was predictable, given the new permissiveness, es- pecially in the area of sexual morality. Some of the effects may be considered alarming in that they appear side by side with an increase in wealth. -
Kazimierz Kuratowski (Warsaw)
Kazimierz Kuratowski (Warsaw) THE PAST AND THE PRESENT OF THE POLISH SCHOOL OF MATHEMATICS I am concentrating in this article on two main subjects. Firstly: I am trying to answer the question what brought about such an “explosion” of mathematics in a country in whose scientific tradition there was hardly any mathematics and which happened at the time when after an over-one-century-long foreign rule the nation was trying hard to reconstruct its now independent country, ravaged by the First World War. Secondly: was this explosion a short-lived enthusiasm or, on the contrary, the Polish school of .mathematics struck roots so deeply that it was sub sequently able to survive the cataclysm of the Second World War and rebuild in the new circumastances — in People’s Poland — the internationally re cognized edifice of Polish mathematics? There will be in this article no mathematical theorems, no definitions or geometrical constructions. I shall be trying to use the language which can be understood without mathematical qualifications. It is therefore my hope that this text will be intelligible not only to mathematicians.1 1. PRECURSORS OF THE POLISH SCHOOL OF MATHEMATICS It was the years 1918—1920 when the Polish School of Mathematics was emerging. Before describing this period and the subsequent years one should, I think, review, be it only summarily, the contemporary state of Polish mathematics. I am going to mention those of its representatives the majority of whom had in fact been active in the 19th century but who also worked in the 20th century and so could influence the formation of the School of Mathematics being thus its precursors as it were. -
Contribution of Warsaw Logicians to Computational Logic
axioms Article Contribution of Warsaw Logicians to Computational Logic Damian Niwi ´nski Institute of Informatics, University of Warsaw, 02-097 Warsaw, Poland; [email protected]; Tel.: +48-22-554-4460 Academic Editor: Urszula Wybraniec-Skardowska Received: 22 April 2016; Accepted: 31 May 2016; Published: 3 June 2016 Abstract: The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer programs should be incorporated into the realm of mathematical logic in order to make a rigorous treatment of program correctness. This gave rise to the concept of algorithmic logic developed since the 1970s by Rasiowa, Salwicki, Mirkowska, and their followers. Together with Pratt’s dynamic logic, algorithmic logic evolved into a mainstream branch of research: logic of programs. In the late 1980s, Warsaw logicians Tiuryn and Urzyczyn categorized various logics of programs, depending on the class of programs involved. Quite unexpectedly, they discovered that some persistent open questions about the expressive power of logics are equivalent to famous open problems in complexity theory. This, along with parallel discoveries by Harel, Immerman and Vardi, contributed to the creation of an important area of theoretical computer science: descriptive complexity. By that time, the modal m-calculus was recognized as a sort of a universal logic of programs. The mid 1990s saw a landmark result by Walukiewicz, who showed completeness of a natural axiomatization for the m-calculus proposed by Kozen. The difficult proof of this result, based on automata theory, opened a path to further investigations. -
Alfred Tarski
Alfred Tarski Born January 14, 1901, Warsaw, Poland; died October 2 7, 1983, Berkeley, Calif.; one of the four greatest logicians of all time. Education: PhD, University of Warsaw, 1924. Professional Experience: instructor, logic, Pedagogical Institute, Fical, Warsaw, 1922-1925; docent (and later adjunct professor), the University of Warsaw, 1925-1939; research associate, Harvard University, 1939-1941; member, Institute for Advanced Study, 1942; Guggenheim Fellow, 1941-1942 and 1955-1956; University of California at Berkeley: lecturer, 1942-1946, professor, 1946-1968, emeritus professor of mathematics, 1968-1983. Honors and Awards: Alfred Jurzykowski Foundation Award, 1966; member, National Academy of Sciences; member, Royal Netherlands Academy of Science; honorary member, Netherlands Mathematical Society; UC Berkeley Citation, 1981. Emeritus professor of mathematics Alfred Tarski, widely regarded as one of the four greatest logicians of all time (along with Aristotle, Gottlob, Frege, and Kurt Gödel), passed away on October 27, 1983, at the age of 82. A great teacher and influential scientific leader as well as a profound thinker, Tarski arrived in Berkeley in 1942 at the age of 41 and built up what is often cited as the outstanding center for research in logic and the foundations of mathematics in the world. His mathematical treatment of the semantics of languages and the concept of truth has had revolutionary consequences, which can be drawn from the possibility of giving a general treatment of the concept of truth in formal mathematical languages in a rigorous mathematical way. Among such consequences is his celebrated theorem that the set of true sentences of any sufficiently expressive formal language cannot be defined in that language itself (although it can be defined in a richer language). -
Bfm:978-3-319-65430-0/1.Pdf
Studies in Universal Logic Series Editor Jean-Yves Béziau (Federal University of Rio de Janeiro and Brazilian Research Council, Rio de Janeiro, Brazil) Editorial Board Members Hajnal Andréka (Hungarian Academy of Sciences, Budapest, Hungary) Mark Burgin (University of California, Los Angeles, USA) Razvan˘ Diaconescu (Romanian Academy, Bucharest, Romania) Andreas Herzig (Centre National de la Recherche Scientifique, Toulouse, France) Arnold Koslow (City University of New York, USA) Jui-Lin Lee (National Formosa University, Huwei Township, Taiwan) Larissa Maksimova (Russian Academy of Sciences, Novosibirsk, Russia) Grzegorz Malinowski (University of Łód´z, Poland) Francesco Paoli (University of Cagliari, Italy) Darko Sarenac (Colorado State University, Fort Collins, USA) Peter Schröder-Heister (University Tübingen, Germany) Vladimir Vasyukov (Russian Academy of Sciences, Moscow, Russia) This series is devoted to the universal approach to logic and the development of a general theory of logics. It covers topics such as global set-ups for fundamental theorems of logic and frameworks for the study of logics, in particular logical matrices, Kripke structures, combination of logics, categorical logic, abstract proof theory, consequence operators, and algebraic logic. It includes also books with historical and philosophical discussions about the nature and scope of logic. Three types of books will appear in the series: graduate textbooks, research monographs, and volumes with contributed papers. More information about this series at http://www.springer.com/series/7391 -
Index of Names
INDEX OF NAMES Adickes, Erich 25 Descartes, Rene 50, 65, 96, 105, 177, Alembert, Jean Ie Rond d' 161 246, 250, 278, 285, 291, 293f, 296f, Ambrose, A. 295 299, 304f Apel, Karl Otto 103, 188f Dewey,John 78,81,84, 100f,118f Aristotle 7, 69, 91, 111, 137, 143, 177, Dingier, Hugo 175 229 Drieschner, M. 144, 158 Ayer, Alfred J. 57,63,80 Ebbinghaus, Julius 25f Baum, Manfred 27f, 32, 37f, 40, 42 Ehrenfest, Paul and T. 157 Bennett, Jonathan 30f, 34, 41, 52, 56, Einstein, Albert 3f, 123f, 132f, 214, 217, 65f, 68f, 71, 73-75, 82, 120, 211 224,229,232 Berkeley, George 7, 253, 279, 303 Elgin, Catherine Z. 223 Bittner, Riidiger 37 Euclid 80, 147~ 150, 155, 175, 187, Bohr, Niels 123, 133, 139, 152, 156, 164, 203-205,213,259,267 166-168 Boole, George 144f, 162f, 169f Feyerabend, Paul 92,100,180,187,192, Bouwsma, O. K. 306 202,216,219,222,231 Boyd, Richard 241 Field, Hartry 214, 224 Brentano, Franz 65 Finkelstein, D. 158 Bubner, Riidiger 77, 80-83, 85,93,99, Fisk, Milton 91 101,106,188 Frege, Gottlob 3, 118, 135 Burian, Richard M. 223, 227f, 230-232, 235,24lf Glitschenberger, R. 188 Gibbs, Josiah W. 157 Carnap, Rudolf 180,281-286,293, 295f, Glansdorff, P. 158 300-302. Godel, Kurt 213 Castell, L. 150 Goldman Alan H. 58,63 Chomsky, Noam 187,189 Gombrich, Ernst H. 86-89 Oarke, Noam 187,189 Goodman, Nelson 187 Clarke, Thompson 295,297 Gram, Moltke S. 51,63 Cohen, Hermann 32,34 Griffiths, Phillips A. -
Introduction. the School: Its Genesis, Development and Significance
Introduction. The School: Its Genesis, Development and Significance Urszula Wybraniec-Skardowska Abstract. The Introduction outlines, in a concise way, the history of the Lvov- Warsaw School – a most unique Polish school of worldwide renown, which pi- oneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic fea- tures of the School was its serious approach towards philosophical studies and teaching of philosophy, dealing with philosophy and propagation of it as an intellectual and moral mission, passion for clarity and precision, as well as ex- change of thoughts, and cooperation with representatives of other disciplines. The genesis is followed by a chronological presentation of the development of the School in the successive years. The author mentions all the key represen- tatives of the School (among others, Ajdukiewicz, Leśniewski, Łukasiewicz, Tarski), accompanying the names with short descriptions of their achieve- ments. The development of the School after Poland’s regaining independence in 1918 meant part of the members moving from Lvov to Warsaw, thus pro- viding the other segment to the name – Warsaw School of Logic. The author dwells longer on the activity of the School during the Interwar period – the time of its greatest prosperity, which ended along with the outbreak of World War 2. Attempts made after the War to recreate the spirit of the School are also outlined and the names of continuators are listed accordingly. -
100Th Anniversary Polish Mathematical Society
Krzysztof R. Apt, Einar Fredriksson 100th anniversary of the Polish Mathematical Society NAW 5/21 nr. 1 maart 2020 53 Krzysztof R. Apt Einar Fredriksson Centrum Wiskunde & Informatica, Amsterdam IOS Press en MIMUW, University of Warsaw Amsterdam [email protected] [email protected] Event PTM Jubilee Congress, 3–7 September 2019, Kraków 100th anniversary Polish Mathematical Society From 3 to 7 September 2019 the Polish Mathematical Society celebrated its 100th anniver- gathered about 200 participants. Ten ar- sary with a Jubilee Congress in Kraków (Cracow), Poland. This is a short account of this rived from abroad, among them John von congress by Krzysztof R. Apt and Einar Fredriksson. Neumann from Budapest and Witold Hure- wicz from Amsterdam. The Polish Mathematical Society (Polskie sue consisted of articles exclusively written Throughout its existence several famous Towarzystwo Matematyczne, in short PTM) by Polish mathematicians, but as a gesture mathematicians were presidents of the PTM. was founded in Kraków (Cracow), 2 April towards the international community they Perhaps the best known are (chronological- 1919, less than half a year after Poland were all written in French (except one writ- ly): Samuel Dickstein, Stefan Banach, Ka- regained independence at the end of the ten in Italian). zimierz Kuratowski, and Wacław Sierpiński. First World War. (Between 1795 and 1918 Kazimierz Kuratowski mentions in his his- To commemorate the 100th anniversary the country was divided between Germany, torical book [1] that from the beginning the of the PTM a Jubilee Congress took place Austria and Russia.) The founding group PTM maintained close contacts with math- in Kraków from 3 to 7 September 2019.