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ę "istnienie" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 80
Tytuł:
Existence in optimal control problems of certain Fredholm integral equations
Autorzy:
Roubicek, T.
Schmidt, W.
Powiązania:
https://bibliotekanauki.pl/articles/206876.pdf
Data publikacji:
2001
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
ciało zorientowane
istnienie
miara Younga
relaksacja
równanie całkowe
sterowanie optymalne
existence
integral equation
optimal control
orientor field
relaxation
Young measures
Opis:
Existence of an optimal control for certain systems governed by nonlinear Fredholm integral equations that are of a Hammerstein type wlith respect to the control is proved under convexity of the orientor field by using a relaxed problem. Then, this convexity assumption is put away by finer analysis of the maximum principle. Illustrative examples are presented.
Źródło:
Control and Cybernetics; 2001, 30, 3; 303-322
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Jak mówić o bycie? Przyczynek do typologizacji metafizyk
How to speak about being? A contribution to the typology of metaphysics
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/2015960.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
metafizyka
ontologia
byt
istnienie
metaphysics
ontology
being
existence
Opis:
I suggest to distinguish the following three types of metaphysics: (1) the metaphysics of undifferentiated being (Parmenides, B. Russell, W. V. O. Quine, M. A. Krąpiec, M. Przełęcki): to be (in the existential use) and to exist mean the same, all objects are/exist in the only one way (i.e. all objects are real), there are no nonexistent objects; (2) the metaphysics of differentiated being (Plato?, Ch. Wolff, A. Meinong, K. Twardowski, J. J. Jadacki): the meaning of to exist is the one of many meanings of to be, all objects are but not all objects exist, there are nonexistent objects; (3) the metaphysics of ways of existence (Aristotle, Thomas Aquinas?, R. Ingarden, A. B. Stępień): to be (in the existential use) and to exist mean the same, there are some different ways of being/existence (i.e. some objects are real, other objects are ideal or intentional, etc.), there are no nonexistent objects – if something does not exist in some way, it does not exist at all. I consider in details the above-mentioned metaphysics. One can give some objections to each of them but there are some possibilities of their defence. How to choose one of given metaphysics? It seems that the choice of metaphysics is the choice of some uses of the words to be-to exist and its ontological commitments. I prefer the metaphysics of ways of existence because its universe is not too poor or too rich. This metaphysics is „the golden mean” between the metaphysics of undifferentiated being and the metaphysics of differentiated being.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 497-515
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O argumencie moralnym za istnieniem Boga
On the Moral Argument for the Existence of God
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/2015607.pdf
Data publikacji:
2004
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
argumenty na istnienie Boga
moralność (etyka)
Immanuel Kant
rekonstrukcja logiczna (logika)
najwyższe dobro
szczęście
arguments for the existence of God
morality (ethics)
logical reconstruction (logic)
the ultimate good
happiness
Opis:
The text analyses various examples of moral arguments for the existence of God. Taking advantage of the ideas from the writings of Kant and his interpreters, we sought to reconstruct them logically, conferring on them a form as reliable as possible. All the arguments have been divided into three groups: practical version, theoretical version, mixed version (thought to be optimal).1) Practical version. It starts from our desires, beliefs, obligations etc. and combines them with desires, beliefs, and obligations with regard to God. There are different varieties of this version. We have discussed in more detail its deontic variety based on the assumption: „we should carry out the ultimate good” (the state of happiness conditioned by virtue). Owing additional assumptions (conceptual and psychological) and corresponding simple logical operations we arrive at the conclusion: „we should believe that God exists.” Reliability, however, of such a week conclusion is undermined by the ambiguous character of the statement „we should carry out the ultimate good.” Rather, we should say that we are obliged to carry out moral law, and thereby expect a just reward. Faith in God is conducive to such efforts, inasmuch as they refer to the morality comprehended in a maximalist manner, justice, and happiness.2) Theoretical version. We have pinpointed its two varieties: „the requirement of the lawgiver” and „the requirement of justice.” In the first variety on the basis of the existence of morality we deduce the existence of God as its „author,” for no other creature has a corresponding power, moral and metaphysical, to establish (execute) universal and unconditional moral obligations. In the second variety God appears to safeguard the carrying out a just reward (punishment, inherent in morality itself) for the satisfaction (violation) of these obligations. The debate about the value of the first argument is reduced to the debate about whether morality is indeed characterised by such features whose existence cannot be explained without reference to God. The main debate connected with the second argument is whether the fact of morality entails the ontic (not only deontic) necessity of a just judgement (and its related reward or punishment) of those who are submitted to morality.3) Mixed version. According to some varieties of the practical version, it takes on a human desire to reach the ultimate good at the point of departure. This desire, natural and right, regards the existence of this good as an indicator. Hence it is possible to transfer from the practical sphere to the theoretical one. If it is well-known that the ultimate good exists, we can ask about its cause. Reasoning – similar to the one given in the previous point – leads to a belief that God is this cause. One may doubt, however, whether our natural and right desires are always reliable indicators that their objects exist.4) The above analyses have unveiled the assumptions and difficulties of all the versions of the family of arguments under consideration. Does this mean that the arguments are not efficient? Not in the least. This means only that they are efficient under certain conditions. These conditions, like anything in philosophy, make up the object of everlasting debates.
Źródło:
Roczniki Filozoficzne; 2004, 52, 2; 391-428
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
How to prove existence in shape optimization
Autorzy:
Bucur, D.
Powiązania:
https://bibliotekanauki.pl/articles/970143.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
istnienie
wartość własna
optymalizacja kształtu
existence
eigenvalues
shape optimization
Opis:
This paper deals with the existence question in optimal design. We present, a general variational technique for proving existence, and give several examples concerning functionals of eigenvalues and of energy type. In particular, we show how the isoperi-metric problem for the Dirichlet eigenvalues of an elliptic operator of general order fits into this frame.
Źródło:
Control and Cybernetics; 2005, 34, 1; 103-116
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A realization problem for positive continuous-time systems with reduced numbers of delays
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/908389.pdf
Data publikacji:
2006
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
czas ciągły
opóźnienie
istnienie
obliczanie
positive realization
continuous-time system
delay
existence
computation
Opis:
A realization problem for positive, continuous-time linear systems with reduced numbers of delays in state and in control is formulated and solved. Sufficient conditions for the existence of positive realizations with reduced numbers of delays of a given proper transfer function are established. A procedure for the computation of positive realizations with reduced numbers of delays is presented and illustrated by an example.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2006, 16, 3; 325-331
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
La théologie d’Aristote comme finalisation dans la perspective physique
Teologia Arystotelesa jako punkt dojścia w perspektywie fizycznej
The theology of Aristotle as a finality in the physical perspective
Autorzy:
Piwowarczyk, Roman
Powiązania:
https://bibliotekanauki.pl/articles/502420.pdf
Data publikacji:
2006
Wydawca:
Wyższe Seminarium Duchowne w Łodzi
Tematy:
filozofia
metafizyka
teologia naturalna
argumenty na istnienie Boga
Opis:
Poszukiwanie Bytu Najdoskonalszego, Pełni Aktu, Myśli myśli czy po prostu Boga przybiera u Stagiryty co najmniej trzy różne formy. Stara się on wskazać na jego obecność poprzez filozoficzne analizy w perspektywie fizycznej, noetycznej i metafizycznej. W niniejszym artykule autor stara się przedstawić poszczególne elementy perspektywy fizycznej jako jednej z trzech perspektyw filozofii teoretycznej, w której Arystoteles wskazuje na konieczność istnienia Boga. Przybiera on w tej perspektywie imię Pierwszego Poruszyciela. Aby osiągnąć ten cel, analizuje on złożoność wszelkiego ruchu w świecie materialnym i opiera się na dwóch zasadach: 1) każdy poruszający się byt jest poruszany przez inny byt; 2) poszukując ostatecznej przyczyny ruchu nie można cofać się w nieskończoność.
Źródło:
Łódzkie Studia Teologiczne; 2006, 15; 179-190
1231-1634
Pojawia się w:
Łódzkie Studia Teologiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Positive partial realization problem for linear discrete-time systems
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/929624.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
system dodatni
istnienie
obliczanie
system liniowy
system dyskretno-czasowy
positive systems
partial realization
existence
computation
linear system
discrete-time systems
Opis:
A partial realization problem for positive linear discrete-time systems is addressed. Sufficient conditions for the existence of its solution are established. A procedure for the computation of a positive partial realization for a given finite sequence of the values of the impulse response is proposed. The procedure is illustrated by four numerical examples.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2007, 17, 2; 165-171
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Bóg, modalność, esencjalizm. Pewna wersja szkotystycznego dowodu tezy o istnieniu Boga
God, Modality and Essentialism. A Version of the Scotist Proof for God’s Existence
Autorzy:
Tkaczyk, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2013049.pdf
Data publikacji:
2009
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
Duns Szkot
dowód na istnienie Boga
logika modalna
esencjalizm
Duns Scotus
proof for God’s existence
modal logic
essentialism
Opis:
A proof for God’s existence, inspired by Duns Scotus’s Tractatus de primo principio, is analyzed. The conclusion is based on three premises arranged in the matrix of a specific modal logic. The premises are: 1. it is possible for the world to be created by God; 2. if the world is created by God, then God exists; 3. if God exists, then God exists necessarily. In comparison to the original Scotus’s work the concept of essential order has been removed and replaced with a concept of creation. Modal expressions of the proof have been analyzed with an application of essentialism of Aristotle and Ibn Sina – the version of essentialism accepted by Scotus. Scotus’s underlying modal logic has been reconstructed and discussed in two versions: 1. as a modal logic with one pair of natural modalities; 2. as a multimodal logic with two pairs of modalities – natural and logical. The concept of natural modality is based on the essentialism discussed, the concept of logical modality is based on Scotus’s idea of non repugnantia terminorum.
Źródło:
Roczniki Filozoficzne; 2009, 57, 1; 231-256
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Istota (bytu) w ujęciu Arystotelesa i św. Tomasza z Akwinu
The Essence (of Being) in Aristotle’s and Saint Thomas Aquinas’ Formulation
Autorzy:
Maryniarczyk, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/2012932.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
istota
istnienie
filozofie esencjalne
essence
existence
essentialist philosophies
Opis:
In ancient and medieval philosophy three traditions may be pointed to, in which three conceptions were formed of understanding of the essence. One of them is the identity conception of the essence, according to which “essence” is another name for pre-element. The second one may be called epistemological; according to this conception the essence is what is signified with the definition of the thing. And the third conception may be called metaphysical (relational), where the essence is understood as one of the constitutive elements of being that may fulfill the function of the subject, and also of the correlate of the act of existence. The problem of understanding the essence of being, especially in Aristotle’s philosophy, lies at the foundations of the so-called essentialist philosophies, that is ones, for which something general, constant and unchanging, with different statuses of being, are the subject of analyses. No wonder then that the accepted conception of the object of academic study of cognition and the general conception of cognition are at the foundations of understanding of the essence (of being). For this reason the issue of understanding the essence (of being) does not occur in the non-compositional conceptions of being and interpretations of reality that tend to monism, but it does appear and assumes the form of a dispute, along with accepting the compositional conception of being and distinguishing of the cognition order and the being order, which we first of all owe to Aristotle. He tied understanding of the essence with the proper object of philosophical cognition.  In the Middle Ages the issue of the essence (of being) assumed a new form of explanation owing to St Thomas Aquinas. He tied understanding of the essence and its correlate, that is the act of existence, and rejected understanding of the essence as an arrangement of necessary features, which are realized on various levels of being: in individuals, in cognitive approaches (generic), and in pure capacities that were induced by Avicenna and developed by John Duns Scott and other philosophers of that age. It is owing to these two latter ones that the issue of the essence was transferred from metaphysics to epistemology and became binding for essentialist trends in modern and contemporary philosophy.
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 155-173
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wątki egidiańskie i tomistyczne w koncepcji esse Jana Wersora
The Themes of Giles’s of Rome and Thomas Aquinas’s in the Concept of esse in John Versor’s Philosophy
Autorzy:
Płotka, Magdalena
Powiązania:
https://bibliotekanauki.pl/articles/2012900.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia średniowieczna
metafizyka
istnienie
Jan Wersor
tomizm
medieval philosophy
metaphysics
existence
John Wersor
Thomism
Opis:
The aim of this article is to show that John Versor’s concept of esse presented in his commentary on De ente et essentia by Thomas Aquinas is not in accordance with the Thomistic view. Versor distinguishes two kinds of esse: esse essentiae and esse existentiae. The former pertains to non-substantial beings, and the latter pertains only to the substances. Additionally, esse existentiae is regarded as the proper act of substance. This theory of “double esse” is not to be found in Aquinas’ works; yet, it has been worked out by Giles of Rome, who seems to be the source of inspiration for Versor. Moreover, the further influences of Giles of Rome upon Versor’s philosophy can be found in his consideration of real difference between essence and existence. Therefore, in respect of the concept of esse, due to influences of Giles of Rome, John Versor cannot be regarded as the follower of Thomas Aquinas in the strict sense.
Źródło:
Roczniki Filozoficzne; 2010, 58, 2; 81-95
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zagadnienie sceptycyzmu w kontekście wpływu myśli Locke’a na filozofię Berkeleya
Scepticism and the Influence of the Lockean Thought on Berkeley’s Philosophy
Autorzy:
Szałek, Piotr K.
Powiązania:
https://bibliotekanauki.pl/articles/2012927.pdf
Data publikacji:
2010
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
J. Locke
G. Berkeley
istnienie
materia
korpuskularyzm
sceptycyzm
percepcja
existence
matter
corpuscularism
scepticism
perception
Opis:
The paper seeks to answer the question about the actual influence of the Lockean thought on Berkeley’s philosophy. It promotes the view that though scepticism that arises from the representational theory of perception is an important factor for motivating Berkeley to built his anti-sceptical strategy, it is the so-called corpuscular scepticism that was in fact an essential element of this influence. The latter was a consequence of assuming the notion of corpuscular, yet unknown material substance by Locke, and motivated Berkeley to consider an argument for rejection of the existence of such substance. The Berkeleian anti-sceptical argument here seems congenial to the Cartesian origins of his definition of existence, and enables us to combine the Lockean perspective with the Cartesian reading of sources of Berkeley’s philosophy.
Źródło:
Roczniki Filozoficzne; 2010, 58, 1; 229-246
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Sterowanie optymalne systemami o parametrach rozłożonych z opóźnieniami
Optimal Control of Distributed Parameter Systems with Delays
Autorzy:
Kowalewski, A.
Powiązania:
https://bibliotekanauki.pl/articles/274661.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
sterowanie optymalne
warunki optymalności
istnienie i jednoznaczność
opóźnienia czasowe
optimal control
optimality conditions
existence and uniqueness of solutions
time delays
Opis:
W artykule dokonano przeglądu problematyki sterowania optymalnego systemami o parametrach rozłożonych z opóźnieniami w warunkach brzegowych. Zaprezentowano podstawowe zagadnienia dotyczące systemów o parametrach rozłożonych takie jak: istnienie i jednoznaczność rozwiązań, sterowanie optymalne rozłożone i brzegowe, sterowanie optymalne ze sprzężeniem zwrotnym, sterowanie czasowo-optymalne, sterowalność oraz modele matematyczne systemów o parametrach rozłożonych.
In this article the review of optimal control problems for distributed parameter systems with boundary conditions involving time delays is performed. The principal problems, namely: existence and uniqueness of solutions, distributed and boundary optimal control, optimal feedback control, controllability and mathematical models of distributed parameter systems are presented.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 12; 57-59
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Determination of the set of Metzler matrices for given stable polynomials
Wyznaczanie zbioru macierzy Metzlera dla danych stabilnych wielomianów
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/151847.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
wyznaczanie
istnienie
macierz Metzlera
wielomian stabilny
determination
existence
Metzler matrix
stable polynomial
Opis:
The problem of determination of the set of Metzler matrices for given stable polynomials is formulated and partly solved. For stable polynomial of the second degree there exists a set of Metzler matrices if and only if the polynomial has only real negatives zeros. If the stable polynomial has only real negative zeros then the set of corresponding Metzler matrices is given by the set of lower or upper triangular matrices with diagonal entries equal to the negative real zeros and any nonnegative off-diagonal entries. Sufficient condition are establish for the existence of the set of Metzler matrices for stable polynomials with a real negative zeros and the complex conjugate zeros).
W artykule sformułowani i częściowo rozwiązano problem wyznaczania zbioru macierzy Metzlera dla danych stabilnych wielomianów. Wykazano, ze dla stabilnych wielomianów stopnia drugiego istnieje zbiór macierzy Metzlera wtedy i tylko wtedy, gdy wielomian ten ma tylko ujemne pierwiastki rzeczywiste. Jeżeli stabilny wielomian dowolnego stopnia ma tylko pierwiastki rzeczywiste, to odpowiadający jemu zbiór macierzy Metzlera jest dany zbiorem macierzy dolno lub górno-trójkątnych z elementami na głównej przekątnej równych ujemnym zerom tego wielomianu oraz nieujemnymi elementami poza główną przekątną. Warunkiem koniecznym na to, aby dla danego stabilnego wielomianu istniał zbiór macierzy Metzlera jest posiadanie przez ten wielomian co najmniej dwóch zer przeczystych. Podano warunki dostateczne na istnienie zbioru macierzy Metzlera dla danych stabilnych wielomianów z ujemnymi zerami rzeczywistymi i zespolonymi parami sprzężonymi.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 5, 5; 407-412
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Existence and determination of the set of Metzler matrices for given stable polynomials
Autorzy:
Kaczorek, T.
Powiązania:
https://bibliotekanauki.pl/articles/331407.pdf
Data publikacji:
2012
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
oznaczanie
istnienie
macierz Metzlera
wielomian
stabilność
determination
existence
Metzler matrix
polynomial
stability
Opis:
The problem of the existence and determination of the set of Metzler matrices for given stable polynomials is formulated and solved. Necessary and sufficient conditions are established for the existence of the set of Metzler matrices for given stable polynomials. A procedure for finding the set of Metzler matrices for given stable polynomials is proposed and illustrated with numerical examples.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2012, 22, 2; 389-399
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologiczny dowód Gödla z ograniczoną redukcją modalności
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/705971.pdf
Data publikacji:
2012-09-01
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
dowód ontologiczny
K. Gödel
dowód na istnienie Boga
teodycea,formalizacja
Opis:
Prezentowane rozważania są efektem poszukiwania możliwie słabej podstawy formalnej dla modalnej wersji ontologicznego argumentu na konieczne istnienie Boga, naszkicowanego przez K. Gödla. Dotychczasowe modalne rekonstrukcje notatki Gödla Ontologischer Beweis (1970) najczęściej opierają argumentację Gödla na różnych kwantyfikatorowych rozszerzeniach logiki modalnej S5 lub B. System S5, jako podstawa formalna zamierzona przez samego autora, umożliwia określoną konstrukcję argumentu ontologicznego, jednak z drugiej strony ten sposób rozumienia modalności może być uważany także za źródło słabości opartej na nim teorii Absolutu - redukcja modalności S5 (i B) może dawać okazję do formułowania krytyki w stylu Gaunilona. Standardowe rozszerzenie S5 lub B do logiki kwantyfikatorowej jest uwikłane w dalsze komplikacje: w odpowiednio rozbudowanej standardowej semantyce światów możliwych rozstrzyga się, że modele tych logik mają stałe uniwersum indywiduów. Tymczasem to rozstrzygnięcie nie ma związku z zasadniczym problemem rozważanym w formalizmie Gödla. W proponowanej wersji argumentu Gödla ograniczam redukcję modalności S5 do wybranego specyficznego kontekstu dotyczącego istnienia Absolutu. Logiką, która pozwala zachować konstrukcję argumentacji Gödla, okazuje się system S4. Otrzymaną teorię wiążę z semantyką światów możliwych z możliwie zmiennymi uniwersami. Istnienie indywiduów wyrażam za pomocą kwantyfikatora Ǝ interpretowanego aktualistycznie, bez użycia pierwotnego predykatu istnienia.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2012, 3; 21-34
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 80

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