Object
Title: Dowód matematyczny z punktu widzenia formalizmu matematycznego. Cz. I
Contributor:
Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
Description:
Artykuł z : Roczniki Filozoficzne. R. 55, nr 2 (2007), s. 123-138.
Place of publishing:
Digitisation sponsor:
Publisher:
Date created:
Date issued:
Extent:
Identifier:
ISSN: 0035-7685 ; oai:dlibra.kul.pl:51277
Call number:
Language:
Relation:
Is version of:
Access rights:
License:
Copyright © - Ustawa z dnia 4 lutego 1994 o prawie autorskim i prawach pokrewnych z późn. zm.
Rights holder:
Digitisation:
Location of original object:
10000 - Biblioteka Główna KUL ; 10024 - Magazyn - Biblioteka Główna KUL
VTLS_035:
Object collections:
- Digital Library KUL > Cultural Heritage > Journals > Journals
- Digital Library KUL > Journals KUL > Czasopisma Towarzystwa Naukowego KUL
- Digital Library KUL > Journals KUL > Czasopisma Towarzystwa Naukowego KUL > Annals of Philosophy
Last modified:
Oct 28, 2020
In our library since:
Oct 28, 2020
Number of object content hits:
1
All available object's versions:
https://dlibra.kul.pl/publication/59285
Show description in RDF format:
Show description in OAI-PMH format:
-
Roczniki Filozoficzne
-
T. 1 (1948)
-
T. 2/3 (1949/1950)
-
T. 4 (1954)
-
T. 5 (1955/1957)
-
T. 6 (1958)
-
T. 7 (1959)
-
T. 8 (1960)
-
T. 9 (1961)
-
T. 10 (1962)
-
T. 11 (1963)
-
T. 12 (1964)
-
T. 13 (1965)
-
T. 14 (1966)
-
T. 15 (1967)
-
T. 16 (1968)
-
T. 17 (1969)
-
T. 18 (1970)
-
T. 19 (1971)
-
T. 20 (1972)
-
T. 21 (1973)
-
T. 22 (1974)
-
T. 23 (1975)
-
T. 24 (1976)
-
T. 25 (1977)
-
T. 26 (1978)
-
T. 27 (1979)
-
T. 28 (1980)
-
T. 29 (1981)
-
T. 30 (1982)
-
T. 31 (1983)
-
T. 32 (1984)
-
T. 33 (1985)
-
T. 33/34 (1985/1986)
-
T. 34 (1986)
-
T. 35 (1987)
-
T. 35/36 (1987/1988)
-
T. 36 (1988)
-
T. 37/38 (1989/1990)
-
T. 39/40 (1991/1992)
-
T. 41 (1993)
-
T. 42 (1994)
-
T. 43 (1995)
-
T. 43/44 (1995/1996)
-
T. 44 (1996)
-
T. 45 (1997)
-
T. 46 (1998)
-
T. 46/47 (1998/1999)
-
T. 47 (1999)
-
T. 48 (2000)
-
T. 48/49 (2000/2001)
-
T. 49 (2001)
-
T. 50 (2002)
-
T. 51 (2003)
-
T. 52 (2004)
-
T. 53 (2005)
-
T. 54 (2006)
-
R. 55 (2007)
-
nr 1
-
nr 2
- Herda, Justyna - Dialog nauki i wiary – analiza wybranych stanowisk.
- Judycki, Stanisław - Co wiemy o istocie dobra?
- Kozanecka, Anna - O wyrażalności niektórych relacji czasowych i własności czasu w języku systemów logiki temporalnej G. H. von Wrighta.
- Obolevitch, Teresa - Ontologizm, czyli Siemiona Franka polemika z pokantowskim epistemologizmem .
- Tański, Marek - Kontrowersje wokół racjonalności technologicznej w Dialogach Stanisława Lema.
- Tkaczyk, Marcin - Zmienna czasowa w starożytnej i średniowiecznej teorii zdań warunkowych.
- Wójtowicz, Krzysztof - Dowód matematyczny z punktu widzenia formalizmu matematycznego. Cz. I
- Wójtowicz, Krzysztof - Dowód matematyczny z punktu widzenia formalizmu matematycznego. Cz. II
- Sainsbury, Mark - Logika filozoficzna.
- Bronk, Andrzej ; Zaremba, Waldemar - Recenzja : Adam Nowaczyk, Poławianie sensu w filozoficznej głębi, Łódź : Wydawnictwo Uniwersytetu Łódzkiego 2006, ss. 211. ISBN 83-7171-966-3
- Gretka, Wojciech - Recenzja : Mieczysław A. Krąpiec, Dlaczego zło, Lublin: Polskie Towarzystwo Tomasza z Akwinu 2005, ss. 225. Biblioteka Filozofii Realistycznej. ISBN 83-60144-10-9
- Hajduk, Zygmunt - Recenzja : Tomasz Rzepiński, Problem niedookreślenia teorii przez dane doświadczenia, Poznań : Wydawnictwo Naukowe Instytutu Filozofii UAM 2006, ss. 310. ISBN 83-7092-084-5.
- Kaczmarek, Jerzy - Recenzja : Paul Bernays, Philosophie des mathématiques, Introduction, traduction et notes par H. Benis Sinaceur, Paris: Libraire Philosophique J. Vrin 2003,ss. 240. Seria: Mathésis. ISBN 978-2-7116-1607-7.
- Krysiewicz, Jakub - Recenzja : Mordechai Ben - Ari, Logika matematyczna w informatyce [oryg. Mathematical Logic for Computer Science], t . z ang. M. Miłkowska, Warszawa: Wydawnictwa Naukowo-Techniczne 2005, ss. 343. Seria: Klasyka Informatyki. ISBN 83-204-2972-2.
- Lechniak, Marek - Recenzja : J. C. Beall, Bas C. Van Fraassen, Possibilities and Paradox. An Introduction to Modal and Many-Valued Logic, Oxford University Press 2003, ss. 233. ISBN 0199259879 (10987654321).
- Lechniak, Marek - Recenzja : John N. Martin, Themes in Neoplatonic and Aristotelian Logic: Order, Negation and Abstraction, London: Ashgate Publishing 2004, ss. 204. ISBN 0-7546-0811-5.
- Roszyk, Maksymilian - Recenzja : Alasdair MacIntyre, The Tasks of Philosophy. Selected Essays, Volume 1,Cambridge: Cambridge University Press 2006, ss. XIV + 215, indeks. ISBN0521854377.
- Schmidt, Roman - Recenzja : Noël Carroll, Filozofia horroru albo paradoksy uczuć, tł. [z ang] i posłowie Mirosław Przylipiak, Gdańsk: słowo/obraz terytoria 2004, ss. 451. ISBN 83-7453-610-1
- Skrzydlewski, Paweł - Recenzja : Arnold Toynbee, O stosunku historyka do religii, tł. Józef Marzęcki, Kęty: Wydawnictwo Marek Derewiecki 2007, ss. 261. Seria: Biblioteka Europejska. ISBN 978-83-89637-67-3.
- Tkaczyk, Marcin - Recenzja : George S. Boolos, John P. Burgess, Richard C. Jeffrey, Computability and Logic, Fourth edition, Cambridge: Cambridge University Press 2003,ss. 355 + 12. ISBN 0-521-00758-5.
- Tkaczyk, Marcin - Recenzja : Marek Lechniak, Elementy logiki dla prawników, Lublin: Wydawnictwo KUL 2006, ss. 193. ISBN 978-83-7363-440-4.
- Turek, Józef - Recenzja : Staniław Butryn, Zarys filozofii Alberta Einsteina, Warszawa: Wydawnictwo IFIS PAN 2006, ss. 264. ISBN 83-7388-117-4.
- Zaręba, Waldemar - Recenzja : Pawe Kawalec, Przyczyna i wyjaśnianie. Studium z filozofii i metodologii nauk, Lublin: Wydawnictwo KUL 2006, ss. 447. ISBN 83-7363-362-6.
- Zonik, Przemysław - Recenzja : Anna Wierzbicka, Semantyka. Jednostki elementarne i uniwersalne [oryg. Semantics: Primes and Universals], tł. Adam Głaz, Lublin: Wydawnictwo UMCS 2006, s. 535, ISBN 83-227-2504-3.
- Żarkowski, Paweł - Recenzja : L. Nathan Oaklander, C. D. Broad’s Ontology of Mind, Frankfurt: Ontos Verlag 2006, ss. 105. Seria: Philosophical Analysis vol. 12. ISBN 3-937202-97-8.
- Tkaczyk, Marcin - Samokrytyczna uwaga o założeniowych systemach logiki modalnej .
- Contents.
- Spis treści.
-
nr 1
-
T. 56 (2008)
-
R. 57 (2009)
-
T. 58 (2010)
-
T. 59 (2011)
-
T. 60 (2012)
-
T. 61 (2013)
-
T. 62 (2014)
-
T. 63 (2015)
-
T. 64 (2016)
-
T. 65 (2017)
-
T. 66 (2018)
-
T. 67 (2019)
-
T. 68 (2020)
-
T. 69 (2021)
-
T. 70 (2022)
-
T. 71 (2023)
-
T. 1 (1948)
| Edition name | Date |
|---|---|
| Wójtowicz, Krzysztof - Dowód matematyczny z punktu widzenia formalizmu matematycznego. Cz. I | Oct 28, 2020 |
