Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Czernecka, Bożena" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 19
Tytuł:
Zasada wyłączonego środka a logika intuicjonistyczna
The Law of Excluded Middle and Intuitionistic Logic
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/968101.pdf
Data publikacji:
2000-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The paper deals with the question of the validity of the Law of Excluded Middle in intuitionistic logic. Because of a different interpretation of the logical connectives, intuitionists reject the intuitionistic (constructive) counterpart of the Law of Excluded Middle. In the intuitionistic approach the meta-linguistic Law of Excluded Middle is not valid, which results in a replacement of a classical definition of truth with an <> definition, which sees the essence of truth in the relation of a sentence to the result of a certain cognitive efforts. A true sentence is a sentence which satisfies the criterion of truth, i.e. is (constructively) provable. Thus, a dispute between classical logic and intuitionistic logic can be described as a dispute between the <> and the <>.
Źródło:
Filozofia Nauki; 2000, 8, 3-4; 45-53
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O związkach między uproszczoną semantyką S. Kripkego dla systemów logiki modalnej a ujęciem algebraicznym syntaktyki tych systemów i ich semantyki
On the Relations between S. Kripkes Simplified Semantics for the Systems of Modal Logic and an Algebraical Approach to the Syntax of these Systems and their Semantics
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/1918700.pdf
Data publikacji:
2020-11-13
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The first part of this paper presents the syntax of several most important systems of contemporary modal propositional logic. The presentation is given in two versions: typical and algebraical. The second part deals with the semantics of the systems in question. Here one highlights especially this semantics which is often regarded in texts as philosophically crucial. The paper seeks to give, as it seems, exhaustive metalogical and strictly logical analyses, which show the relations between the models of set theory, which occur in S. Kripke's semantics, and appropriate algebraic models. The formalization of the algebraic theorems which deal with the completeness of the systems under analysis is the central aim of the third part of this paper.
Źródło:
Roczniki Filozoficzne; 1995, 43, 1; 71-108
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o przedmiocie logiki intuicjonistycznej
A few remarks on the subject of intuitionist logic
Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2016143.pdf
Data publikacji:
2001
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
filozofia logiki
filozofia matematyki
intuicjonizm
Heyting
logic
philosophy of logic
philosophy of mathematics
intuitionism
Opis:
Artykuł jest próbą odpowiedzi na pytanie, co jest przedmiotem logiki intuicjonistycznej. Rozważania opierają się na publikacjach twórców intuicjonizmu, zwłaszcza Heytinga. W tle poczyniono również komentarze na temat logiki klasycznej. Prawa klasycznej logiki zdań ustanawiają pewne obiektywne i jednocześnie najbardziej ogólne związki między faktami i zdarzeniami. Myśliciele zakładają istnienie takich powiązania, które charakteryzują stanowisko ontologiczne. Z drugiej strony prawa logiki intuicjonistycznej ustanawiają związki między konstrukcjami matematycznymi lub właściwościami tych konstrukcji na podstawie uprzednio utworzonych i zbadanych mentalnych konstrukcji matematycznych.
The article is an attempt to answer the question what is the subject of intuitionist logic. The considerations are based on publications by the creators of intuitionism, especially Heyting. In the background, comments were also made on classical logic. The laws of classical propositional logic establish certain objective and also the most general relationships between facts and events. Those thinkers assume the existence of such connections that characterize the ontological position. On the other hand, the laws of intuitionist logic establish relationships between mathematical constructions or the properties of these constructions on the basis of previously created and researched mental mathematical constructions.
In dem Artikel wird versucht, die Frage zu beantworten, was den Gegenstand des intuitionistischen Aussagenkalküls bildet. Die Erwägungen basieren auf den Veröffentlichungen von den Gründern des Intuitionismus, vor allem auf Heyting. Im Hintergrund werden auch Anmerkungen gemacht betreffend des Gegenstandes der klassischen Logik. Die Gesetze der klassischen Aussagenlogik stellen einige objektive und zugleich allgemeinste Zusammenhänge zwischen Sachverhalten, Tatsachen, Begebenheiten fest. Die Existenz, solchen Zusammenhänge nehmen die Denker an, welche die ontologische Stellungnahme kennzeichnet. Die Gesetze des intuitionistischen Aussagenkalküls dagegen stellen Zusammenhänge zwischen mathematischen Konstruktionen oder Eigenschaften dieser Konstruktionen auf Grund von den vorher gebildeten und untersuchten mentalen mathematischen Konstruktionen fest.
Źródło:
Roczniki Filozoficzne; 2001, 49, 1; 151-165
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jana Łukasiewicza ujęcie intuicjonistycznego rachunku zdań
Jan Lukasiewicz’s Account of the Intuitionistic Propositional Logic
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2016230.pdf
Data publikacji:
2000
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The aim of the article was to show Lukas iewicz’s programmatic theses that are contained mainly in his work On the In tu itionistic Propositional Logic and concerning first of all the connections between the intuitionistic and classical sentential calculi. It was also shown that in the same article Lukasiewicz did not put into effect the programmatic theses he proclaimed although he thought that he fulfilled the task formulated in this way. Moreover, an attempt was made to complement some of the theses proposed by the Polish logician in connection with understanding of the principle of excluded middle and logical constants occurring in this principle.
Źródło:
Roczniki Filozoficzne; 2000, 48, 1; 223-238
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o modalnościach de dicto i modalnościach de re
Some Remarks on the De Dicto and De Re Modalities
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/1918699.pdf
Data publikacji:
2020-11-13
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The present paper deals with the philosophical issues born in relation with an analysis of the modal terms. It details the question of the nature of the de dicto modality and de re modality. The paper explains some misunderstandings around the distinction in question, presents an attempt at a translation of the de re modality into the de dicto modality, an attempt which some contemporary philosophers undertake, and critically evaluates this attempt. The paper presents also objections issued most often at the de re modality. Finally, we find here the direction of discussions on the character of modality carried out in classical philosophy of some sort in the point of distinguishing: de dicto − de re.
Źródło:
Roczniki Filozoficzne; 1995, 43, 1; 53-69
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Intuicjonistyczna logika zdań a inne rachunki zdaniowe w ujęciu niektórych autorów
The Intuitionistic Prepositional Logic versus Other Prepositional Calculi according to Some Authors
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2106965.pdf
Data publikacji:
1999
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper addresses two principal questions of philosophical nature connected with the intuitionistic propositional logic. The first deals with the relationship between that logic and the many-valued systems; now, the second concentrates on the relationship between the intuitionistic propositional calculus and the classical propositional calculus. As regards the first issue, the number as well as the way to understand the logical values of the intuitionistic propositional logic have been subjected to analyses. The proposition-making functors in both logics have been discussed. Finally, some differences in the scientific attitude have been pointed out, the attitude that is connected with classical logic and intuitionistic logic.
Źródło:
Roczniki Filozoficzne; 1999, 46-47, 1; 89-109
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie nieobowiązywalności prawa wyłączonego środka w intuicjonistycznym rachunku zdań
The Question of the Non-validity of the Law of Excluded Middle in the Intuitionistic Prepositional Calculus
Autorzy:
Czernecka, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2106966.pdf
Data publikacji:
1999
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
The paper discusses the problem of whether the law of excluded middle is valid or not, a question that has been posed in the intuitionistic propositional calculus. Accordingly, the author investigates how the intuitionists understood the law of excluded middle and the reasons for its refutation. The relationship between the intuitionistic law of excluded middle and its classical equivalent has been established. Moreover, the author sought to answer the main questions which the representatives of intuitionistic logic pose (and answer). The final part of the paper addresses the issue of constructivism as the key element of intuitionistic philosophy.
Źródło:
Roczniki Filozoficzne; 1999, 46-47, 1; 111-132
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On Four Types of Argumentation For Classical Logic
O czterech typach argumentacji na rzecz logiki klasycznej
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/1791005.pdf
Data publikacji:
2021-01-04
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
teza o logice I rzędu
maksyma minimalnego okaleczania
uniwersalność logiki
logika rzeczy
metalogika
W.v.O. Quine
J. Woleński
S. Kiczuk
first-order thesis
maxim of minimum mutilation
universality of logic
logic of things
metalogic
Opis:
My goal of this article is to analyze the argumentation lines for the correctness of standard logic. I also formulate a few critical and comparative remarks. I focus on four the most coherent and complete argumentations which try to justify the distinguished position of classical logic. There are the following argumentations: Willard van O. Quine’s pragmatic-methodological argumentation, Jan Woleński’s philosophical-metalogical argumentation, Stanisław Kiczuk’s ontological-semantic argumentation, argumentation based on metalogic. In my opinion, the thesis concerning the correctness of classical logic is rationally justified by these argumentations. The problem remains whether the analyzed standard logic is the only proper logic.
Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa jest jedyną właściwą logiką.
Źródło:
Roczniki Filozoficzne; 2020, 68, 4; 271-289
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„O pewnym kryterium wyboru poprawnej logiki. Na marginesie uwag Ananda J. Vaidyi
The Criterion of the Choice of a Correct Logic. On Anand J. Vaidya’s Remarks
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2013033.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
poprawny system logiczny
stała logiczna
prawo logiki
logika klasyczna i nieklasyczna
metafizyczny determinizm
correct logical system
logical constant
law of logic
classical and non-classical logic
metaphysical determinism
Opis:
The purpose of this paper is to show the criterion of the choice of a correct logic. According to Vaidya such the criterion may be formulated only on the foundation of a philosophy of logic. The main elements of the laws of logic are logical constants. In fact logic is not the theory of variables, but the theory of logical constants. So, the goal of a correct logical system is to analyse in a proper way what logical constants are.
Źródło:
Roczniki Filozoficzne; 2009, 57, 2; 41-60
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kryteria „logiczności” logiki w ujęciu Susan Haack
The Criterion of the 'Logicality' of Logic According to Susan Haack
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/691284.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of logic
formalism
logic
classical logic
Susan Haack
Opis:
In the philosophy of logic the following questions are discussed: What is logic? Which formal systems are systems of logic? What does make them systems of logic? The paper presents and analyses the answers to these questions given by Susan Haack. She adopted the strategy, called the “hospitable policy”, giving the criterion in which formalism is a logical one. In the article I discuss whether the validity of her solutions is correct.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 50; 140-151
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Praktyczny aspekt logiki (stanowisko Kazimierza Ajdukiewicza)
The Practical Aspect of Logic from the Standpoint of Kazimierz Ajdukiewicz
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/468752.pdf
Data publikacji:
2012
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Ajdukiewicz Kazimierz
first-order logic
logical culture
practical science
Opis:
The aim of this article is to present and discuss the Ajdukiewicz’s concept of the practical aspect of logic. To begin, I describe his concept of the practical importance of science and especially his concept of logic – i.e., the definition and range of logic. The idea of “logical culture” is fundamental to his conceptualization. I also present Ajdukiewicz’s idea that making the course of logic more practical should be required. At the end of the article I discuss the importance of Ajdukiewicz’s view.
Źródło:
Prakseologia; 2012, 152; 223-235
0079-4872
Pojawia się w:
Prakseologia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Monizm contra pluralizm logiczny w kontekście dyskusji W.V.O. Quine – S. Haack
Monism Versus Logical Pluralism in the Context of the Discussion between W.V.O. Quine and S. Haack
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/31232718.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logical monism
non-classical logics
logical pluralism
truth
logical constant
consequence
monizm logiczny
logiki nieklasyczne
pluralizm logiczny
prawda
stała logiczna
wynikanie
Opis:
Jednym z głównych pytań w filozofii logiki jest to, czy jest jedna, czy wiele logik. Pytanie to doczekało się różnych odpowiedzi, które formułują opozycyjne stanowiska: monizm logiczny contra pluralizm logiczny. Za reprezentatywnego przedstawiciela monizmu uznawany jest Willard Van Orman Quine, a pluralizmu — Susan Haack. Oba te stanowiska są kontynuowane współcześnie: monizm (m.in. Michael Dummett, Graham Priest, Timothy Williamson) oraz pluralizm (m.in. Jc Beall i Greg Restall, Johan van Benthem, Ottavio Bueno i Scott Shalkovski, Stewart Shapiro i Roy Cook). Monizm jest znacznie mniej preferowany niż pluralizm. W artykule wskazano na źródła pluralizmu w logice (m.in. wieloznaczność spójników języka naturalnego, prawdy i wynikania) oraz przywołano argumentacje wybranych przedstawicieli tego stanowiska.
One of the main questions in philosophy of logic is whether there is one logic or there are many logics. This question has been answered in many ways. Various answers have formed opposite standpoints: logical monism as against logical pluralism. Willard Van Orman Quine has been acknowledged as a representative of monism and Susan Haack — of pluralism. Both standpoints are maintained now: monism (e.g. Michael Dummett, Graham Priest, Timothy Williamson) or pluralism (e.g. Jc Beall and Greg Restall, Johan van Benthem, Ottavio Bueno and Scott Shalkovski, Stewart Shapiro and Roy Cook). Monism is significantly less preferred than pluralism. In this article, the sources of pluralism in logic have been indicated (among other things, ambiguity of connectives in the natural language, various understanding of truth and of logical consequence). Argumentations of some representatives of this standpoint have been presented.
Źródło:
Roczniki Filozoficzne; 2023, 71, 1; 247-271
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Anita Burdman-Feferman, Solomon Feferman, Alfred Tarski. Życie i logika, przeł. Joanna Golińska-Pilarek, Marian Srebrny
Anita Burdman-Feferman, Solomon Feferman, Alfred Tarski. Życie i logika [Alfred Tarski. Life and Logic], trans. Joanna Golińska-Pilarek, Marian Srebrny
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2012862.pdf
Data publikacji:
2011
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Źródło:
Roczniki Filozoficzne; 2011, 59, 1; 79-84
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uwagi o Susan Haack rozumieniu filozofii logiki
Remarks on Susan Haack’s Conception of Philosophy of Logic
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/2013362.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Susan Haack
filozofia logiki
logika formalna
rachunek formalny
logika rozszerzona
logika dewiacyjna
philosophy of logic
formal logic
formal calculus
extended logic
deviant logic
Opis:
The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
Źródło:
Roczniki Filozoficzne; 2007, 55, 1; 23-46
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Pogranicze logiki i prakseologii w pracach Ewy Żarneckiej-Biały
Borderline Between Logic and Praxiology in Ewa Żarnecka-Biały’s Works
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/468806.pdf
Data publikacji:
2011
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Żarnecka-Biały Ewa
logic
praxiology
Opis:
Żarnecka-Biały presented her views on the nature of logic and praxiology, and the connections between them, in some of her papers. The aim of this article is to refer and discuss some main theses of Żarnecka-Biały’s concerning the logical aspect of praxiology.
Źródło:
Prakseologia; 2011, 151; 223-235
0079-4872
Pojawia się w:
Prakseologia
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 19

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies