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ę "dowód," wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 21
Tytuł:
Metafizykalny dowód istnienia Boga
The Metaphysical Proof of the Existence of God
Autorzy:
Moskal, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2015811.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
dowód istnienia Boga
natura Boga
proof of God's existence
nature of God
Opis:
The paper consists of two parts. In the first one the author proposes his own formulation of the metaphysical proof of God's existence. The point of departure in this proof is the affirmation of the existence of many different beings (things). The second part is devoted to a more detailed metaphysical determination of the nature of God.
Źródło:
Roczniki Filozoficzne; 2003, 51, 2; 21-32
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jak oszacować prawdopodobieństwo Zmartwychwstania
How to Assess the Probability of Resurrection
Autorzy:
Swinburne, Richard
Powiązania:
https://bibliotekanauki.pl/articles/2015805.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
zmartwychwstanie
wcielenie
Jezus
dowód historyczny
dowód z tła
prawdopodobieństwo
twierdzenie Bayesa
resurrection
incarnation
Jesus
historical evidence
background evidence
probability
Bayes' theorem
Opis:
The author argues that a historical hypothesis h is probable in so far as it is intrinsically a simple hypothesis and (1) the posterior historical evidence is such as probably would occur if h is true, but not otherwise, (2) the general background evidence makes it probable that h is to be expected under certain conditions, and not otherwise, (3) there is evidence, the ‘prior historical evidence' such as probably would occur if these conditions were satisfied, but not otherwise. By the `posterior historical evidence' is meant the testimony of witnesses and physical traces caused by what happened at the time in question. In the case of the resurrection of Jesus the general background evidence which makes it probable that there is a God of the traditional kind who has good reason to become incarnate in order to provide atonement, to identify with us in our suffering, and to reveal teaching. The prior historical evidence that there was prophet who led the kind of life that incarnate God would need to lead if he had become incarnate for these reason. He will need to show us when some prophet has led the right sort of life that God has lived it, and that can be achieved by his life being culminated by a super-miracle such as the resurrection. The posterior historical evidence is the evidence of witnesses to the empty tomb and the appearances of Jesus. The stronger is the general background evidence, and the stronger is the prior historical evidence showing that one and only one prophet (Jesus) led the right sort of life, the less our need of posterior historical evidence. Given some modest values for (1), (2), (3), there is a very high probability that the resurrection occurred. This is illustrated by feeding some artificially precise values for these probabilities into the relevant theorem of the probability calculus, Bayes' Theorem.
Źródło:
Roczniki Filozoficzne; 2003, 51, 2; 65-82
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Systemy sylogistyki dowodowej
Systems of Demonstrative Syllogistic
Autorzy:
Kulicki, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/2012933.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sylogistyka
dowód
aksjomatyczne odrzucanie
syllogistic
proof
rejected axiomatization
Opis:
Aristotle in Analytica Posteriora presented a notion of proof as a special case of syllogism. In the present paper the remarks of Aristotle on the subject are used as an inspiration for developing formal systems of demonstrative syllogistic, which are supposed to formalize syllogisms that are proofs. We build our systems in the style of J. Łukasiewicz as theories based on classical propositional logic. The difference between our systems and systems of syllogistic known from the literature lays in the interpretation of general positive sentences in which the same name occurs twice (of the form SaS). As a basic assumption of demonstrative syllogistic we accept a negation of such a sentence. We present three systems which differ in the interpretation of specific positive sentences in which the same name occurs twice (of the form SiS). The theories are defined as axiomatic systems. For all of them rejected axiomatizations are also supplied. For two of them a set theoretical  model is also defined. 
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 139-154
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Problem sensu negatywnego sądu egzystencjalnego o Bogu
Autorzy:
Sołtys, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2143978.pdf
Data publikacji:
2021-01-30
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Bóg
istnienie
dowód
sąd negatywny
sąd egzystencjalny
znaczenie
ontologia
język
Opis:
Dans cet article l'auteur examine le sens du jugement existentiel au Dieu. Les recherches présent ont amené à la conclusion, qu'il n'y a pas de possibilité de bien construire un négative jugement existentiel au Dieu, qui possédait le sens, dans la lumière d'affiliée la théorie analytique de la signification. En tout cas bien examinés la négation en cet jugement ne concerne pas de réelle de l'existence de Dieu, mais de Son existence à défini façon, ou de la possession par Lui des certaines propriétés. Ce signifie, qu'en tout cas la négation n'est pas absolue. Cependant, si nous supposons, que le négative jugement existentiel au Dieu nie l'idée de Dieu, alors par cette solution on renonce d'affiliée la théorie analytique de la signification et on reçoit la théorie pragmatique.
Źródło:
Roczniki Teologii Fundamentalnej i Religiologii; 2011, 3; 215-225
2080-8534
Pojawia się w:
Roczniki Teologii Fundamentalnej i Religiologii
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód kinetyczny na istnienie Boga wobec współczesnej matematyki
Kinetic Proof of the Existence of God in the Face of Present Mathematics
Autorzy:
Rydzyńska, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/1918983.pdf
Data publikacji:
2020-10-27
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
In this paper, we analyse the kinetic proof of Saint Thomas of Aquinas of the existence of God. We consider if his assumptions are actual from the point of wiev of present sciences, and we change these assumptions in such a way that they become actual. We make conclusions from these corollaries by using a certain mathematical theorem (Lemma by Kuratowski and Zorn). We receive the following conclusion: There exists, in the Universe, at least one thing which is not moved by something from the Universe. So, the structure of space-time does not exclude the creation or a moving world by God.
Źródło:
Roczniki Filozoficzne; 1993, 41, 3; 127-134
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część I
Mathematical Proof from the Formalistic Viewpoint. Part I
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013332.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Descartes
Berkeley
Peacock
Pasch
formalism
formalizm
Opis:
This article is the first one to examine the evolution of the notion of mathematical proof in a historical perspective. First I present the intuitive, approach of Descartes, according to which mathematical proof is based on self-evident principles. I follow with an analysis of Berkeley’s mathematical instrumentalism and argue that he can be considered a predecessor of modern formalism. The article also deals with the ideas of Peacock and Pasch, and their role in the development of the modern formalistic viewpoint.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 123-138
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
W sprawie pojęcia logiki klasycznej
On the Concept of Classical Logic
Autorzy:
Kwiatkowski, Tadeusz
Powiązania:
https://bibliotekanauki.pl/articles/2013423.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
sylogistyka
semiotyka
dowód
stoicy
Arystoteles
logic
syllogistic logic
semiotics
proof
stoics
Aristotle
Opis:
The subject matter of our considerations here is the concept of classical logic. The author begins with a brief etymological reflection and a presentation of some views ancient philosophers had (from Heraclitus to Plato) and inspired Aristotle’s and stoic discussion of logic. They brought about the first systems of formal logic and rich outlines of other branches of logic in their broad understanding, such as the methodology of sciences and semiotics. Aristotle’s logical discoveries (mainly syllogistic logic of assertoric propositions, syllogistic logic of modal propositions, and theory of scientific proof), and stoics’ discoveries (logic of propositions and semiotics) are the first, highly advanced approaches to classical logic. The later history of logic consisted mainly in the reception of those ancient achievements, or in their semantic enrichment.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 87-118
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Uzupełniające uwagi do mego artykułu Dowód równoważności dwóch sformułowań klasycznej definicji prawdy
Supplementary Remarks to My Paper A Proof of the Equivalence of Two Formulations of the Classical Definition of Truth
Autorzy:
Borkowski, Ludwik
Powiązania:
https://bibliotekanauki.pl/articles/2106908.pdf
Data publikacji:
1990
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
In the paper cited in the title of these remarks the state of affairs described by a proposition is defined as a suitable relation restricted to a sequence of objects. Against this conception the following objection is raised: Under this interpretation the states of affairs deseribed by two false propositions are identical, since each of them − as nonexisting − is equal to the empty set. In consequence the states of affairs described by the negations of these propositions, which are true propositions, are also identical. This objection is not directed against the theorems and proofs given in the above mentioned paper but only it is directed against the applying of the concepts introduced in the paper to suitable examples. The source of the divergenee between the treating of the conception of states of affairs in a natural language and the treating of this conception presented in the above mentioned paper is explained in the present paper. Such a modification of the definition of a state of affairs introduced in the above mentioned paper is now formulated that this objection does not refer to it. The determinant of a relation restricted to a sequence of objects is defined as such an ordered pair that this relation is its first element and the sequence of objects to which it is restricted is its second element. The state of affairs described by a proposition is defined as the determinant of a suitable relation restricted to a sequence of objects. We say that this determinant exists if and only if this relation is nonempty. After introducing suitable definitions, especially the definitions D10−D14, which define the operations of the extended product, extended sum, complement, generalization and particularization of the determinants of relations restricted to sequences of objects, all theorems about states of afairs presented in the above mentioned paper are proved. The states of affairs described by equivalent, and even logically equivalent propositions can be different.
Źródło:
Roczniki Filozoficzne; 1990, 37-38, 1; 325-336
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dowód matematyczny z punktu widzenia formalizmu matematycznego. Część II
Mathematical Proof from the Formalistic Viewpoint. Part II
Autorzy:
Wójtowicz, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/2013331.pdf
Data publikacji:
2007
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
program Hilberta
platonizm Fregego
intuicja matematyczna
Hilbert’s program
Frege’s Platonism
mathematical intuition
Opis:
In the second part I discuss Frege’s and Hilbert views on the nature of mathematical proof, in particular their discussion concerning the problem of implicit definitions. I also discuss Hilbert’s program and conclude with some remarks concerning the problem of the “decline of intuition” in the formalistic conception of mathematical proof.
Źródło:
Roczniki Filozoficzne; 2007, 55, 2; 139-153
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
„Twardy” problem realizmu metafizycznego i współczesny antyrealizm
The “Hard” Problem of Metaphysical Realism and Contemporary Anti- Realism
Autorzy:
Judycki, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2013061.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
realizm
idealizm
antyrealizm
partycypacja
zasada immanencji
dowód ontologiczny
realism
idealism
anti-realism
participation
principle of immanence
ontological proof
Opis:
The aim of the article is to consider the problem of metaphysical realism that is defined as the thesis that there are objects that are independent of human consciousness. The problem was not solved by I. Kant, since he assumed, without a justification, that there are objects (“things in themselves”) that are the causes of human mental states. The author interprets the problem of metaphysical realism in the context of the so-called principle of immanence (“principle of consciousness”), according to which every entity (object) may be treated exclusively as a correlate of consciousness. The principle of immanence is the cause why even causal relations have to be treated as only certain data for the consciousness, and hence they may not be referred to by asserting that there is a factor that is the cause of states of human consciousness. Contemporary anti-realism, as the so-called conceptual realism, does not consider the problem of metaphysical realism in the context of the principle of immanence, and hence it is not a part of the traditional dispute on the existence of the (external) world. The author sees the solution to the problem of metaphysical realism in combining two arguments: in the reference to the ontological proof, which – via God’s veracity – is to “lead outside” the immanence of consciousness, and in the reference to the concept of participation in such a way that the human mind participates in God and it is Him that is the real entity (ens realissimum) that is referred to by the dispute about the existence of the world and the problem of metaphysical realism.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 49-74
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Byt i nieskończoność w filozofii N. Malebranche’a. Dowód na istnienie Boga z prostego oglądu (Część pierwsza)
L’être et l’infini dans la philosophie de N. Malebranche. La preuve de l’existence de Dieude simple vue (Premièrepartie)
Autorzy:
Czerkawski, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2106773.pdf
Data publikacji:
1992
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
Dans les travaux contemporains sur la philosophie de Malebranche, nous rencontrons des interprétations parfois opposées de la preuve de l’existence de Dieu de simple vue. Les différences concernent aussi bien le caractère de cette preuve que sa valeur. On se demande d’abord si nous avons à faire avec une preuve discursive (comme le dit M. Gueroult) ou bien si nous avons à faire avec une preuve par démonstration, consistant en une appréhension directe de l’existence de Dieu (c’est l’avis de H. Gouhier, F. Alquié). La question est également de savoir combien y-a-t-il des versions de cette preuve dans les oeuvres de Malebranche − une, comme le disent par exemple H. Gouhier et F. Alquié, ou quatre comme l’écrit M. Gueroult? Nous pouvons nous demander si la preuve de simple vue peut être vraiment considérée comme preuve ontologique dans le sens du terme donné par Kant? Nous allons tâcher d’y répondre au cours de cet article.
Źródło:
Roczniki Filozoficzne; 1992, 39-40, 1; 255-270
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logos: dyskurs czy dowód? Postaci dialektyki platońskiej
Logos: Discourse or Reason? The Forms of Platonic Dialectics
Autorzy:
Gajda-Krynicka, Janina
Powiązania:
https://bibliotekanauki.pl/articles/2013139.pdf
Data publikacji:
2008
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
kwestia platońska
dialektyka
metoda dialektyczna
procedura synoptyczna
procedura hipotetyczna
procedura diairetyczna
Platonic question
dialectic
the method of dialectic
collection
hypothesis
division
Opis:
The problem discussed in the study is part of the polemics connected with the so-called “Platonic question,” to be precise, it seeks to prove that the so-called two Platonic “critiques” of the writing/text (Plato’s Phaedrus, 275c ff., Letter VII 341c ff.) are not sufficient evidence that, according to Plato, dialectic procedures to discover and know the first forms of being may be realised only in a sensu stricto dialogue, in the act of living speech, and they cannot be fixed in a writing/text. On the basis of the Platonic descriptions of dialectic procedures three forms of dialectic skill (διαλεκτικὴ τέχνη) have been distinguished: synoptic dialectics, which is always a kind of propedeuctics of research in the form of ordering the results of sense perception in sets and trying to find in them a criterion of possibility for this ordering in the form of something one; hypothetical dialectics that calls for a thesis whose object is the ontic status of this one, where it is, and how to verify this thesis in a reliable manner; and diairetic dialectics that allows to elicit from the most general concept some definitions of concrete objects. By analysing the descriptions of dialectic procedures in Platonic texts, numerous statements of the Philosopher himself in the mouth of Socrates, or the Guest of Elea, we may conclude whether these procedures are carried out exclusively in the philosopher’s intellect, and Platonic dialogues are their written form “for voices,” or else they have, among other things, didactic purposes.
Źródło:
Roczniki Filozoficzne; 2008, 56, 2; 43-58
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dawne i obecne umocowania prawne procesu dokumentalnego
Old and Current Legal Powers of the Documentary Process
Autorzy:
Witkowski, Wojciech
Powiązania:
https://bibliotekanauki.pl/articles/2010885.pdf
Data publikacji:
2017
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
proces o nieważność małżeństwa
dowód z dokumentu
przeszkody zrywające
forma kanoniczna
process of the nullity of marriage
proof by document
diriment impediments
canonical form
Opis:
Niniejsze opracowanie zajmuje się zasadniczo genezą oraz aktualnymi prawnymi podstawami procesu dokumentalnego o nieważność małżeństwa. Proces dokumentalny był stosowany już w prawie przedkodeksowym, choć określano go jako proces skrócony. Obecna nazwa tego postępowania znalazła się w Kodeksie z 1983 r. Tak jak dawniej, również w obowiązującym ustawodawstwie, proces dokumentalny jest procedurą nadzwyczajną i ma zastosowanie tylko w ściśle określonych okolicznościach. Zgodnie z kan. 1688 MIDI, proces dokumentalny można zastosować, jeśli z dokumentu, który nie podlega żadnemu sprzeciwowi lub zarzutowi, wynika w sposób pewny istnienie przeszkody zrywającej lub brak formy prawnej, jeśli z taką samą pewnością wiadomo, że dyspensa nie została udzielona albo że pełnomocnik nie posiadał ważnego pełnomocnictwa. Proces dokumentalny jest prowadzony przez trybunał jednoosobowy, a więc przez biskupa diecezjalnego, wikariusza sądowego albo wyznaczonego sędziego. Nowością od wejścia w życie MIDI jest wskazanie urzędu biskupa diecezjalnego, który może wydać wyrok w tym procesie. Postępowanie sądowe sprowadza się do przyjęcia skargi powodowej, wyznaczenia obrońcy węzła oraz wezwania stron. Po przeprowadzeniu dowodzenia na podstawie dokumentu nie przewiduje się publikacji akt. W ramach dyskusji sprawy swoje uwagi przedstawia jedynie obrońca węzła, po czym sędzia wydaje wyrok.
This study fundamentally applies with the genesis and the present legal basis of the documentary process for nullity of marriage. The documentary process was already used in pre-coded law, although it was determined as a summary process. The current name of this procedure was found in the 1983 Code. As in the past, also in the current legislation, the documentary process is an extraordinary procedure and applies only in strictly defined circumstances. According to can. 1688 MIDI documentary process can be applied if a document subject to no contradiction or exception clearly establishes the existence of a diriment impediment or a defect of legitimate form, provided that it is equally certain that no dispensation was given, or establishes the lack of a valid mandate of a proxy. The documentary process is conducted by a sole judge, and it is the diocesan bishop or the judicial vicar or a judge designated. New since the entry into force of MIDI is the indication of the office of the diocesan bishop, who can give a judgment in this process. Court proceedings are reduced to the receiving of libellus, the appointment of the defender of the bond and the citation of the parties. After proof on the basis of the document, no publication of the act is envisaged. As a matter of discussion of the case only defender of the bond presents his observations, after which the judge pronounces the sentence.
Źródło:
Kościół i Prawo; 2017, 6, 2; 207-227
0208-7928
2544-5804
Pojawia się w:
Kościół i Prawo
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Byt i nieskończoność w filozofii N. Malebranchea. Dowód na istnienie Boga z prostego oglądu. (Część druga)
Being and the Infinity in the Philosophy of N. Malebranche. The Proof for the Existence of God by Means of Simple View. (Part II)
Autorzy:
Czerkawski, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2016313.pdf
Data publikacji:
1993
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Opis:
In the reviews of the philosophy of Malebranche we may come across some radically different interpretations of the proof for the existence of God from simple view (la preuve de simple vue). The discrepancies concern both the character of the proof and its value. Is it a discursive proof, or else it depends on the immediate apprehension of the existence of God? How many versions of the proof can one find in the works of Malebranche, one or a few? Is Malebranche, by laying down this proof, in agreement with his own principles of philosophy? Or else he makes the mistake of petitio principii? Is the proof from simple view an ontological one in the Kantian sense? The basic principal purpose of this paper is to answer the above questions. Malebranche claims that we come to know God in a direct manner in His existence. This statement is not, however, a direct and obvious truth, which would not call for a rational justification. It is directly obvious that the human mind gets to know the infinite, that is it has the idea of (in the broad sense of the word) the infinitely perfect Being. It is not, however, directly obvious whether this idea corresponds with the really existing ideatum. It may happen that this idea is only a modification of the knowing mind. The transitions from the infinite as it is comprehended by the mind to the really existing infinite bears the character of reasoning. The latter is carried out in accordance with the Cartesian conception of deduction. Malebranche calls the direct Cartesian deduction a "simple view". One should distinguish two version of the proof for the existence of God from simple view in the works of Malebranche. The first one is based on the premise: "No thing that is finite can represent the infinite". This premise is a complex enthymematic reasoning. It does not satisfy the criteria of being a proof from simple view. The second version, based on the premise "Nothingness is unknowable" satisfies the criteria of knowing by simple view. It is, however, involved with Malebranche's peculiar philosophy of cognition, which determines the criteria of valuable knowing. The proof from simple view is not an ontological proof in the Kantian sense.
Źródło:
Roczniki Filozoficzne; 1993, 41, 1; 103-124
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
SYLOGISTYKA Z TERMINAMI NEGATYWNYMI W SEMANTYCZNIE PRZEJRZYSTYM SFORMUDOWANIU
SYLLOGISTIC WITH NEGATIVE TERMS IN THE SEMANTICALLY TRANSPARENT FORMULATION
Autorzy:
Wojciechowski, Eugeniusz
Powiązania:
https://bibliotekanauki.pl/articles/488243.pdf
Data publikacji:
2014
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sylogistyka z terminami negatywnymi
dowód przez ecthesis
diagramy Eulera
semantycznie przejrzyste sformułowanie
syllogistic with negative terms
proof by ecthesis
Euler’s diagrams
semantically transparent formulation
Opis:
The paper refers to the classic works of Polish authors (Dukasiewicz, SleszyWski, Zawirski) and comprises the idea of proof by ecthesis (originally formulated by Borkowski) with the use of list notation to show that the five diagrams by Euler, which provide a starting point for SleszyWski’s analysis, adequately formulate the system of syllogistic with negative terms (Iwanu` and Wedberg’s axiomatization).
W artykule nawiązuje się do klasycznych prac polskich autorów (Łukasiewicz, Sleszyński, Zawirski), uwzględniając ideę dowodu przez ecthesis, sformułowanej oryginalnie przez Borkowskiego, z wykorzystaniem notacji listowej, by pokazać, że pięć diagramów Eulera, które są punktem wyjścia analizy Sleszyńskiego ujmuje adekwatnie system sylogistyki z terminami negatywnymi (aksjomatyka Wedberga-Iwanusia).
Źródło:
Roczniki Filozoficzne; 2014, 62, 1; 53-70
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 21

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