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


Wyświetlanie 1-3 z 3
Tytuł:
U podstaw sporu o kontrmożliwe okresy warunkowe
About the Basis for the Debate over Counterpossibles
Autorzy:
Sendłak, Maciej
Powiązania:
https://bibliotekanauki.pl/articles/561246.pdf
Data publikacji:
2017
Wydawca:
Polskie Towarzystwo Semiotyczne
Tematy:
kontrfaktyczne okresy warunkowe
kontrmożliwe okresy warunkowe
semantyka światów możliwych
metodologia
Timothy Williamson
counterfactuals
counterpossibles
possible worlds semantics
methodology
Opis:
Przedmiotem prezentowanego artykułu jest spor o wartości logiczne kontrfaktycznych okresów warunkowych z niemożliwym poprzednikiem (tzw. kontrmożliwych okresów warunkowych). Zgodnie z rozpowszechnionymi analizami każdy taki okres warunkowy jest prawdziwy. Pogląd ten określany jest mianem ortodoksyjnego i przeciwstawiany jest mu pogląd nieortodoksyjny, który uznaje, że tylko niektóre spośród kontrmożliwych okresów warunkowych są prawdziwe, a inne są fałszywe. W jednym ze swoich ostatnich tekstów (Counterpossibles) Timothy Williamson argumentował na rzecz tezy, że konsekwencje poglądu nieortodoksyjnego są niespójne z motywacjami leżącymi u podstaw tego poglądu. Celem artykułu jest polemika z krytyką Williamsona oraz wskazanie na możliwość spójnego odczytania postulatów zwolenników stanowiska nieortodoksyjnego.
According to the most popular (so-called “orthodox”) theories, counterfactuals with impossible antecedents are vacuously true. Critiques of this view argue that contrary to this, we tend to consider only some of them true and others to be false. In his recent paper (“Counterpossibles”) Timothy Williamson has ingeniously explained the motivations for the orthodox view and argued that although there are some heuristic reasons that may suggest the plausibility of the unorthodox view, they are fallible. The most important of Williamson’s arguments is that the unorthodox interpretation is inconsistent with the heuristic assumption that supposedly motivates this very view. The aim of this paper is to consider Williamson’s critique and to support the unorthodox approach towards counterpossibles. In order to do so, we argue in favour of the modified version of the heuristic assumption.
Źródło:
Studia Semiotyczne; 2017, 31, 1; 131-151
0137-6608
Pojawia się w:
Studia Semiotyczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modal Boolean Connexive Logics: Semantics and Tableau Approach
Autorzy:
Jarmużek, Tomasz
Malinowski, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/749968.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Boolean connexive logics
connexive logic
modal Boolean connexive logics
modal logics
normal modal logics
possible worlds semantics
relatedness
relating logic
relating semantics
tableau methods
Opis:
In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than the material one. In the final section, we present a tableau approach to the discussed modal logics.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 3; 213-243
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards leibnizian possibility. Formal frame of modal theory of individual concepts
Autorzy:
Świętorzecka, Kordula
Powiązania:
https://bibliotekanauki.pl/articles/430896.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Tematy:
formal ontology
Leibniz Gottfried Wilhelm
theory of concepts
possible worlds semantics
modal free logic
ontologia formalna
Leibniz Godfryd Wilhelm
teoria pojęć
semantyka światów możliwych
modalna logika wolna
Opis:
In the presented analyses we propose a formal complement to a certain version of the semantics of possible worlds inspired by Leibniz’s ideas and provide an adequate logic of it. As the starting point we take the approach of Benson Mates (Leibniz on possible worlds). Mates refers to Leibniz’ philosophy, but also uses tools of contemporary semantics of possible worlds and elaborates on an original conception of predication due to which possible worlds can be identified with collections of certain concepts, and not individuals. We complete a fragmentary description given by Mates in order to analyze if his conception allows for the establishment of this specific idea of a possible world. Our first step is to define a notion of the individual concept and describe possible world semantics in which possible worlds consist of individual concepts of compossible individuals (s-worlds). Our second step is to choose some version of modal free logic with the identity (S5MFLID), which is complete in our reformulation of Mates’ semantics. The connections between standard interpretation of S5MFLID and semantics inspired by Mates show that our logic does not distinguish s-worlds from i-worlds – counterparts of s-worlds that are collections of individuals.
Źródło:
Studia Philosophiae Christianae; 2013, 49, 3; 71-84
0585-5470
Pojawia się w:
Studia Philosophiae Christianae
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    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