Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Co jsou Russellovy propoziční funkce
100%
EN
The aim of this study is to elucidate the notion of propositional function as exposed by Russell within the no class theory of Principia Mathematica. According to the realistic interpretation, propositional functions are metaphysical objects consisting of individuals, objectual variables and attributes. According to the nominalistic interpretation, however, they are linguistic expressions. I attempt to show that the best accessible interpretation is the linguistic realistic one. Unlike the nominalistic version of the linguistic interpretation – which treats propositional functions as mere sequences of letters – it explains propositional functions as linguistic expressions with their meanings, so to speak, assuming also that abstract objects such as properties do exist.
2
Content available remote Lhářský paradox, význam a pravdivost
100%
EN
Tichý’s solution of two basic kinds of liar paradox is based on the ramified theory of types, which is his own explication of the original proposal of Russell’s. This ramified theory of types is used for the rigorously explained concept of ‘languages’ and the languages in question seem to be similar, in hierarchy at least, to Tarski’s languages. But Tichý avoided the disadvantages of Russell’s and Tarski’s solutions of the liar paradoxes, and he in fact stands between them, at the golden mean. The main point is that Tichý’s own solution is in no way ad hoc because he first provided a crucial reason for hierarchies and only then refuted the paradox. Any language L is construed as mapping from expressions to (logically-explicated) meanings. Because no function is allowed to be among its own values, the name of language L, i.e. ‘L’ (and then any other containing ‘L’), is thus meaningless in L (‘L’ is meaningful only in the metalanguage of L, i.e. ML; but again, ‘ML’ is not meaningful in ML). No sentence is true simpliciter, the truth of a sentence is relative to what it says (means) in a given language. The disambiguated liar sentence contains ‘truth in L’, thus it is clearly meaningless in L. Since a meaningless sentence cannot be true or false, the liar paradox cannot arise. After a detailed exposition and, above all, a thorough defence of Tichý’s approach, we successfully apply the method of his solution to other known kinds of liar paradox.
3
Content available remote Explicitní/implicitní přesvědčení a derivační systémy
63%
EN
The problem of hyperintensional contexts, and the problem of logical omniscience, shows the severe limitation of possible-worlds semantics which is employed also in standard epistemic logic. As a solution, we deploy here hyperintensional semantics according to which the meaning of an expression is an abstract structured algorithm, namely Tichý’s construction. Constructions determine the denotata of expressions. Propositional attitudes are modelled as attitudes towards constructions of truth values. Such a model of belief is, of course, inferentially restrictive. We therefore also propose a model of implicit knowledge, which is the collection of a possible agent’s explicit beliefs which are related through a derivation system mastered by the agent. A derivation system consists of beliefs and derivation rules by means of which the agent may derive beliefs different from the beliefs she is actually related to. Conditions imposed on the set of base beliefs and the set of rules capture the limitations of the agent’s deriving capabilities.
DE
Das Problem hyperintensionaler Zusammenhänge bzw. das Problem der logischen Allwissenheit verweist auf die erhebliche Einschränkung der Semantik der möglichen Welten, die auch von der herkömmlichen epistemischen Logik akzeptiert wird. Als Lösung verwenden wir hier die hyperintensionale Semantik, der gemäß die Bedeutung eines Ausdrucks ein abstrakter strukturierter Algorithmus ist, namentlich die sog. Konstruktion Pavel Tichýs. Die Konstruktionen bestimmen die Begriffsreferenten. Die sog. propositionalen Einstellungen sind daher in dem von uns verfolgtem Ansatz keine Einstellungen im Bezug auf Propositionen, sondern im Bezug auf Konstruktionen von Wahrheitswerten. Dieses Modell der expliziten Überzeugung ist inferentiell restriktiv, weshalb wir hier das Modell einer impliziten Überzeugung vorschlagen. Dieses Modell wird als Komplex expliziter Einstellungen eines Agenten zu verschiedenen Konstruktionen von Wahrheitswerten erläutert, die durch das vom Agenten beherrschte abgeleitete System miteinander verbunden werden. Das abgeleitete System besteht vor allem aus Objekten der Überzeugung und aus Ableitungsregeln, mit deren Hilfe der Agent die Konsequenzen seiner Überzeugungen ableiten kann; eine solche Überzeugung wird als abgeleitet bezeichnet. Die Menge der Überzeugungen und die Menge der Ableitungsregeln unterliegen dabei Bedingungen, die die Einschränkungen der kognitiven Fähigkeit des Agenten erfassen.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.