Informacja

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

Wyszukujesz frazę "Kripke" wg kryterium: Temat


Tytuł:
Filozoficzne problemy teorii prawdy Kripkego oraz jej wykorzystanie przez V. McGee
Philosophical issues in Kripkes theory of truth and its application by V. McGee
Autorzy:
Pytel, Aleksandra
Opis:
Truth is one of the basic philosophical topics, which has been considered from antiquity to the present day. This concept is connected with the liar paradox – one of the most important paradoxes in the history of philosophy, which is still unsolved and even nowadays, it provokes many discussions. In this paper, I will analyse famous attempt to solve this paradox, presented by Saul Kripke in his article “Outline of a Theory of Truth” from 1975. He supposes that paradoxical sentences are neither true nor false. However, this approach is subject to many objections, particularly one known as the strengthened liar paradox. I will concentrate on the analyses of the Kripke’s theory presented by Vann McGee. He bases his own theory on the formal construction proposed by Kripke, but he makes some significant changes in the former approach. In the first chapter, I will present Kripke’s theory: his basic assumptions and its formal side. I will also analyse the main objection to this theory, the strengthened liar paradox. Next chapter will discuss questions of expressibility and a controversy on so-called semantic self-sufficiency. The third chapter will devoted to the objections by McGee against Kripke, and to the presentation oh his theory. In the last chapter I will analyse various difficulties concerning McGee’s theory. As most of the attempts to solve the liar paradox, this approach is also threatened by the strengthened liar.
Prawda jest jednym z podstawowych, centralnych zagadnień filozoficznych, rozważanych od starożytności aż do dzisiejszych czasów. I to właśnie z tym pojęciem łączy się jeden z największych, wciąż nierozwiązanych paradoksów w historii filozofii — paradoks kłamcy. Budzi on dyskusje aż do dzisiaj. W pracy zajmować się będę jedną z najbardziej znanych prób rozwiązania tego paradoksu została zaprezentowana przez Saula Kripkego w pracy „Outline of a Theory of Truth” z 1975 roku. Opiera się ona na założeniu, że zdania paradoksalne nie są ani prawdziwe, ani fałszywe. Jednak, jak się okaże, podejście to jest narażone na wiele zarzutów, z których najbardziej znanym jest wzmocniony paradoks kłamcy. Szczególny nacisk zostanie położony na analizę tej teorii przeprowadzoną przez Vanna McGee, który opiera swoją własną teorię na konstrukcji zaproponowanej przez Kripkego. McGee, choć bazuje na elementach formalnych pochodzących od Kripkego, jednak dokonuje znaczących zmian w jego podejściu.W pierwszym rozdziale zaprezentowana zostanie teoria Kripkego; zarówno podstawowe założenia, na których jest oparta, jak i jej formalna strona. Omówiony zostanie również najbardziej znany zarzut kierowany przeciwko niej, czyli wzmocniony paradoks kłamcy. Kolejny rozdział omawiał zagadnienia związane z wyrażalnością oraz spór o tzw. Semantyczną samowystarczalność języka. Trzeci rozdział poświęcony jest zarzutom McGee wobec Kripkego oraz przedstawieniu jego własnej teorii. W ostatnim rozdziale omówione zostaną różne trudności związane z teorią McGee. Jak większość prób rozwiązania paradoksu kłamcy, i ta staje przed wzmocnioną wersją tego paradoksu.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Tytuł:
Kripkeański Wittgenstein, faktualizm i znaczenie
Kripke’s Wittgenstein, factualism and meaning
Autorzy:
Łukasik, Adam
Miller, Alexander
Tematy:
Kripke, Kripke’s Wittgenstein, George Wilson, factualism about meaning, meaning fact
Kripke, Kripkeański Wittgenstein, George Wilson, faktualizm w kwestii znaczenia, fakt znaczeniowy
Pokaż więcej
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Powiązania:
https://bibliotekanauki.pl/articles/1622267.pdf  Link otwiera się w nowym oknie
Opis:
The paper provides a detailed discussion of George Wilson’s factualist interpretation of Saul Kripke’s Wittgenstein on Rules and Private Language and presents a new non-factualist interpretation. After exposition of Wilson’s construal of Kripke’s Wittgenstein’s sceptical argument and sceptical solution, it is argued that this interpretation ultimately fails. Two possible interpretations of Wilson’s Kripke’s Wittgenstein’s meaning-fact are considered; one of them is based on Kripke’s Wittgenstein’s remarks on normative conditionals, and the other involves minimalism. It is claimed that on either of these interpretations the meaning-fact proposed by Wilson falls prey to Kripke’s Wittgenstein’s sceptical argument. Regardless of this, it is admitted that Wilson’s factualist interpretation has important advantages. One of them is that it highlights the importance of distinguishing between basic sceptical conclusion and radical sceptical conclusion. In concluding sections a new non-factualist interpretation of Kripke’s Wittgenstein is proposed that preserves this distinction and some other benefits claimed by Wilson for his interpretation.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A certain approach to Kripke semantics for normal modal logics
Autorzy:
Bryll, G.
Sochacki, R.
Tematy:
logika modalna
semantyka Kripke
logika czasowa
logika matematyczna
modal logic
Kripke’s semantics
mathematical logic
Pokaż więcej
Wydawca:
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie. Wydawnictwo Uczelniane
Powiązania:
https://bibliotekanauki.pl/articles/121860.pdf  Link otwiera się w nowym oknie
Opis:
In this paper the authors propose a method of verifying formulae in normal modal logics. In order to show that a formula α is a thesis of a normal modal logic, a set of decomposition rules for any formula is given. These decomposition rules are based on the symbols of assertion and rejection of formulae.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kripkenstein from the mathematical point of view: a preliminary survey
Autorzy:
Janik, Bartosz
Tematy:
Kripke
philosophy of mathematics
non-factualism
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/600535.pdf  Link otwiera się w nowym oknie
Opis:
This paper deals with the problem of the impact of Kripke’s skeptical paradox on the philosophy of mathematics. By perceiving mathematics as a huge rule-following discipline, one could argue that the Kripkean nonfactualist thesis should be adopted within the philosophy of mathematics en bloc to imply a refutation of objectivity and an enforcement of a particular view on the nature of mathematics. In this paper I will discuss this claim. According to Kripke’s skeptical solution we should reject the notion of fact and adopt the use theory of meaning that could be stated as follows: ’One understands the concepts embodied in a language to the extent that one knows how to use the language correctly.’ [Shapiro 1991, 211] [Kripke 1982]. Focusing on mathematical discourse, we should ask: what are the implications of the use theory of meaning for the philosophy of mathematics? Furthermore, is the answer to the skeptical paradox consistent with selected views in philosophy of mathematics? The supposed answer to the first question is that it demands the view that mathematics should be perceived as a strictly pragmatic discipline and the rules of mathematical discourse are mere conventions. But this is too simplistic a view and the matter at hand is far more complicated.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Logiczne i metafizyczne aspekty możliwych światów Saula Aarona Kripkego
Logical and metaphysical aspects of Saul Aaron Kripkes possible worlds
Autorzy:
Sowiński, Bartłomiej
Opis:
Niniejsza praca poświęcona jest prezentacji wybranych, a uznanych przeze mnie za istotne, zagadnień związanych z filozoficznym dorobkiem amerykańskiego filozofa, logika i matematyka Saula Aarona Kripkego, należących do dziedziny metafizyki modalności, rozumianej jako kompleksowa teoria filozoficzno-logiczna, obejmująca problematykę modalności.Przy powyższym założeniu, celem pracy było określenie dziedzictwa filozoficznego (identyfikacja fundamentów logiczno - metafizycznych) traktowanych jako podstawa teorii modalności Kripkego (kripkeańskiej filozofii możliwych światów). Ponadto, w pracy podjęto próbę określenia specyfiki kripkeańskiego możliwego świata od strony jego statusu ontologicznego i od strony epistemologii. W wyniku badań prowadzonych w wyżej wskazanym zakresie, autor dochodzi do następujących wniosków. Po pierwsze, mimo, że koncepcja możliwych światów Saula Aarona Kripkego stanowi jeden z najważniejszych punktów odniesienia teorii filozoficznych XX wieku, intuicje Kripkego w sprawie możliwych światów nie są dobrze opracowane, a czasem pozostają w sprzeczności z aparaturą formalno-logiczną, z której jakoby wywodzi swoje stwierdzenia. Po drugie, jednoznaczna kwalifikacja koncepcji Kripkego nie jest możliwa. Z jednej strony wykazuje ona pewne cechy stanowiska realistycznego, z drugiej strony jej źródła - wywodzone z teoriomnogościowej teorii modelu - wskazują na jej redukcjonistyczny charakter. W sytuacji gdy sam Kripke nie określił dokładnie warunków ontologicznych i epistemologicznych dla możliwych światów, zaś jego koncepcja wywołuje kontrowersje, kwestia tego, czym one są pozostaje otwarta. Przynajmniej do czasu, gdy Kripke sam nie opracuje swoich intuicji w formie przejrzystej siatki pojęciowej.
With this assumption, the aim of the study was to identify the philosophical heritage (the logical and metaphysical foundations) treated as the basis for Kripke's theory of modality and His views on the possible worlds. In addition, the study attempts to determine the specificity of the ontological constitution of the kripkean 'possible world' and connected to it epistemology as well.As a result of research, the author comes to the following conclusions. Firstly, although Kripke's concept of 'possible worlds' is one of the most important references of the philosophical theories of the twentieth century, His intuitions related to it are not well developed, and sometimes in conflict with the apparatus of formal logic, whence Kripke's theory derives. Secondly, unambiguous classification of Kripke's theory is not possible. On the one hand it shows some features of the realistic positions, on the other hand, its source - the settheoretical model-theory - indicate its reductionist character.In a situation where Kripke himself did not specify precisely the ontology and epistemology for His possible worlds, and His statements are causes of controversies, the question of what kripkean possible worlds are remains open. At least until the Kripke himself presents His intuitions in the form of a clear conceptual grid.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne
Tytuł:
From Intuitionism to Brouwers Modal Logic
Autorzy:
Kostrzycka, Zofia
Tematy:
intuitionistic logic
Kripke frames
Brouwer's modal logic
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/1023286.pdf  Link otwiera się w nowym oknie
Opis:
We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication, whereas variables and other positive sentences remain as they are. The proposed translation preserves fragments of the Rieger-Nishimura lattice which is the Lindenbaum algebra of monadic formulas in INT. Unfortunately, INT is not embedded by this mapping into KTB.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Between syntax and semantics of resource oriented logic for ids behavior description
Autorzy:
Perhac, J.
Mihalyi, D.
Novitzka, V.
Tematy:
intrusion detection system
linear logic
Kripke’s semantics
ludics
bezpieczeństwo sieci
system wykrywania włamań
logika liniowa
semantyka Kripke
Pokaż więcej
Wydawca:
Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:
https://bibliotekanauki.pl/articles/122478.pdf  Link otwiera się w nowym oknie
Opis:
Linear logic appears as a suitable logical system for description of dynamic properties of various network activities in computer science. It disposes with new connectives which create new opportunities to describe properties of real network processes, e.g. parallelism, causality and commutativity of duality between processes. We extend this logic with Aristotelian modalities and we formulate their appropriate model. In our contribution we show how a real network attack can be formalized in this logical system as a polarized game.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Some Logics in the Vicinity of Interpretability Logics
Autorzy:
Celani, Sergio A.
Tematy:
interpretability logic
Kripke frames
neighbourhood frames
Veltman semantics
Pokaż więcej
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:
https://bibliotekanauki.pl/articles/43188883.pdf  Link otwiera się w nowym oknie
Opis:
In this paper we shall define semantically some families of propositional modal logics related to the interpretability logic \(\mathbf{IL}\). We will introduce the logics \(\mathbf{BIL}\) and \(\mathbf{BIL}^{+}\) in the propositional language with a modal operator \(\square\) and a binary operator \(\Rightarrow\) such that \(\mathbf{BIL}\subseteq\mathbf{BIL}^{+}\subseteq\mathbf{IL}\). The logic \(\mathbf{BIL}\) is generated by the relational structures \(\left<X,R,N\right>\), called basic frames, where \(\left<X,R\right>\) is a Kripke frame and \(\left<X,N\right>\) is a neighborhood frame. We will prove that the logic \(\mathbf{BIL}^{+}\) is generated by the basic frames where the binary relation \(R\) is definable by the neighborhood relation \(N\) and, therefore, the neighborhood semantics is suitable to study the logic \(\mathbf{BIL}^{+}\) and its extensions. We shall also study some axiomatic extensions of \(\mathsf{\mathbf{BIL}}\) and we will prove that these extensions are sound and complete with respect to a certain classes of basic frames. Finally, we prove that the logic \(\mathbf{BIL}^{+}\) and some of its extensions are complete respect with the class of neighborhood frames.
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kripkes Essentialism
Esencjalizm Kripkego
Autorzy:
Sokołowski, Szymon
Opis:
Tematem pracy jest przybliżenie esencjalizmu Saula A. Kripkego. Przedstawiłem to co Kripke mówił na ten temat, jednocześnie wskazując na to czego przypisać mu nie można. Zarysowałem najważniejsze przykłady, którymi posługuje się Kripke, związane z własnością pochodzenia i rodzaju. Odniosłem się także do tego, jakie miejsce zajmuje esencjalizm w jego teorii nazw. Szczególnie to, jak łączy się z możliwymi światami, sztywnym desygnatorem i identycznością obiektu w poprzek sytuacji kontrfaktycznych. Zanalizowałem także kontrargument Kita Fine'a dotyczący esencjalizmu modalnego, pod kątem tego, czy stanowisko Kripkego się przed nim broni. W końcowej części pracy odniosłem jego poglądy do szerszego kontekstu oraz pokazałem ich związek z założeniami ontologicznymi.
A subject of the article is an aproximation of Saul A. Kripke's essentialism. I presented Kripke's point of view, simultaneously pointing what he didn't say about this. I showed the most important examples of Kripke's essentialism which are connetect with origin and kind property. I also referred to the issue of essentialism - the role it plays in Kripke's theory of names. Especially how it is combined with possible worlds, rigid designator and indentity through the possible worlds. Moreover I analysed Kit Fine's counterargrument to modal essentialism and confronted it with Kripke's theory. In conclusion I related Kripke's essentialism to wider context and presented the link between his theory and ontological commitment.
Dostawca treści:
Repozytorium Uniwersytetu Jagiellońskiego
Inne

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