Urn models were developed by Veikko Rantala to provide a non-standard semantics for first-order logic in which the domains, over which the quantifiers range, are allowed to vary. Rantala uses game-theoretical semantics in his presentation, and the present paper is a study of urn models from a more classical, truth-conditional point of view. An axiomatic system for urn logic is set out and completeness is proved by the method of maximal consistent sets.

Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.

This heuristic article introduces a generalization of the idea of drawing colored balls from an urn so as to allow mutually incompatible experiments to be represented, thereby providing a device for thinking about quantum logic and other non-classical statistical situations in a concrete way. Such models have proven valuable in generating examples and counterexamples and in making abstract definitions in quantum logic seem more intuitive.

En 1931, Ludwig Wittgenstein a identifié l'architecte et le critique culturel Adolf Loos comme une des dix personnes qui ont exercé la plus grande influence sur son développement intellectuel. Dans cet article est examinée l'influence de Loos sur Wittgenstein, en particulier son importance dans le projet de Wittgenstein pour la maison de sa soeur, ainsi que celle exercée sur les idées concernant la langue et léthique exprimées dans le Tractacus.

Le philosophe mit le pied sur la première marche du futurotron. C'était la première fois qu'il utilisait cet appareil pour ses recherches. Bien qu'il vienne seulement d'être mis au point et qu'il ne soit encore qu'à l'état de prototype, ce futurotron pouvait décidément rendre de grands services. De nombreux chercheurs de différentes disciplines l'avaient d'ailleurs déjà utilisé de manière très fructueuse. Le philosophe prit place aux côtés du pilote sur le siège avant de la machine. - Quel est le principe (...) de fonctionnement de la machine? demanda-t-il. - Ce serait un peu long à vous expliquer. C'est basé sur la mécanique quantique. Le pilote demanda, pressé: - Quelle époque avez-vous choisie? - Je souhaite effectuer une investigation en l'an 2150. Le pilote plaça le sélecteur sur l'année 2150. - Bien. Nous allons commencer. Etes-vous prêt? - Oui. Le futurotron se mit à ronronner. Un flash lumineux intense s'ensuivit. Au bout de quelques minutes, une image floue apparut sur l'écran géant du prototype. Peu à peu, l'image devint plus nette, et puis finalement parfaitement précise. Le philosophe se mit à observer l'écran avec une extrême acuité. Il distinguait nettement des êtres, d'apparence humaine, qui étaient assis dans ce qui semblait être une salle de conférences. En les regardant attentivement, il constata que ceux-ci présentaient les caractéristiques de notre espèce actuelle. Leur physionomie était humaine, mais pourtant il y avait chez eux quelque chose de différent... Dans ce qui paraissait être une projection publique, le philosophe distinguait nettement un faisceau lumineux et coloré qui provenait du front de l'un des êtres placé au centre de la salle, et s'élargissait pour former ce qui constituait l'image projetée d'une véritable scène tridimensionnelle. Les autres individus, assis autour, regardaient attentivement la scène. La projection était d'une netteté parfaite, et d'un réalisme saisissant. On y distinguait nettement deux personnes qui déambulaient en conversant, dans un paysage représentant une plage superbe, battue par les vagues. Le pilote interrompit soudain: - Voilà, c'est fini.. (shrink)

Complementarity was first encountered in quantum mechanics. In what follows we shall present finite deterministic models featuring complementarity. The type of complementarity discussed in this chapter grew out of an attempt to understand quantum complementarity by some finite, deterministic, quasi-classical (automaton) model.

This text provides an overview of the International Scientific Workshop (Conference) “Transcendental Turn in Contemporary Philosophy — 9: metaphysics, epistemology, theory of consciousness, cognitive science and artificial intelligence, theology”, held in Moscow on April 11–13, 2024, at the sites of the State Academic University of the Humanities and the Russian State University for the Humanities. The review examines both the reports on Kant’s transcendental metaphysics, made at the session “How metaphysics (as a science) is possible: on the way to transcendental (...) metaphysics”, dedicated to the 300th anniversary of I.Kant, and reports on phenomenological problems, which were heard at the sessions “The Transcendental subject: Plato, Kant, Husserl”, “Transcendentalism and Phenomenology — 1: consciousness and cognition”, “Transcendentalism and phenomenology — 2: consciousness and reality”, “How is transcendental theology possible?” and “Transcendentalism, cognitive science and the problems of AI”. The author analyses the reports of the seminar participants, grouping them around topics and problems, to certain extents covered in these reports: the project of Kant’s transcendental metaphysics, the peculiarities of the phenomenological approach to consciousness, the status and understanding of reality in phenomenology, the concept of a transcendental subject in a historical and philosophical perspective, etc. This approach makes it possible to present the current field of work of modern transcendentalists and phenomenologists and identify areas of future possible research. (shrink)

This article presents a review of papers of the international scientific seminar “Transcendental Turn in Modern Philosophy — 8: Metaphysics, epistemology, transcendental cognitive science and artificial intelligence,” which was held on April 20–22, 2023 in Moscow. The topics reviewed were the following: “Transcendental Philosophy: Ontology, Metaphysics of Experience or Epistemology,” “Transcendentalism, Cognitive Science and Artificial Intelligence,” “Reception and Development of Transcendental (Phenomenological) Approach in Modern Philosophy,” as well as “Transcendental Phenomenology: Ontology and/or Gnoseology”. The author analyzes the presentations of the (...) participants, grouping them around the following thematic and problematic nodes: the transcendental foundations of cognitive sciences, the understanding and status of the transcendental unity of apperception, the relationship between gnoseology and ontology in phenomenological research, receptivity and construction in forming the subject of knowledge, etc. This approach makes it possible to identify different, sometimes opposing positions of the participants on the same question and to outline ways to overcome the contradictions. (shrink)

This chapter considers the following signaling game. Nature plays first from the set {1, 2}. Player 1 (the Sender) sees this and plays from the set {_A, B_}. Player 2 (the Receiver) sees only Player 1’s play and plays from the set {1, 2}. Both players win if Player 2’s play equals Nature’s play and lose otherwise. Players are told whether they have won or lost, and the game is repeated. An urn scheme for learning coordination is as follows. Each (...) node of the decision tree for Players 1 and 2 contains an urn with balls of two colors for the two possible decisions. Players make decisions by drawing from the appropriate urns. After a win, each ball drawn is reinforced by adding another of the same color to the urn. A number of equilibria are possible for this game other than the optimal ones. The argument presented here shows that the urn scheme achieves asymptotically optimal coordination. (shrink)

Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences (consequences for which epistemic closure certainly holds) from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an (...) expressive fragment of classical game semantics that weakens the dependence relations between quantifiers occurring in a formula, we can formalize, for a broad array of examples, epistemic scenarios in which an individual ignores the validity of some first-order sentence. On the other hand, urn semantics offers a disproportionate restriction of logical omniscience. Therefore, an improvement of this system is needed to obtain a better solution of the problem. In this paper, I argue that our linguistic competence in using quantifiers requires a sort of basic hypothetical logical knowledge that can be formulated as follows: when inquiring after the truth-value of ∀xφ, an individual might be unaware of all substitutional instances this sentence accepts, but at least she must know that, if an element a is given, then ∀xφ holds only if φ(x/a) is true. This thesis accepts game-theoretic formalization in terms of a refinement of urn semantics. I maintain that the system so obtained (US+) affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+. As a consequence of this result, we will see that the ideal reasoner depicted by US+ only knows the validity of first-order formulas whose Herbrand witnesses can be trivially found, a fact that provides strong evidence that our refinement of urn semantics captures a relevant sense of logical obviousness. (shrink)

We conducted a set of experiments to compare the effect of ambiguity in single-person decisions and games. Our results suggest that ambiguity has a bigger impact in games than in ball and urn problems. We find that ambiguity has the opposite effect in games of strategic substitutes and complements. This confirms a theoretical prediction made by Eichberger and Kelsey. In addition, we note that subjects’ ambiguity attitudes appear to be context dependent: ambiguity loving in single-person decisions and ambiguity averse in (...) games. This is consistent with the findings of Kelsey and le Roux. (shrink)

Die Ansicht, dass Leibniz urn 1700 oder einige Zeit danach ein überzeugter Idealist war oder wurde, der allein an die Realität der Geister und ihrer Ideen glaubte, hält sich merkwürdigerweise in der neueren Sekundärliteratur. In diesem Beitrag beurteilen wir die Textgrundlage für diese Behauptung nach von uns für solide gehaltenen Kriterien einer historischen Interpretation, wobei sich die Behauptung unserer Ansicht nach als unzureichend erweist. Obwohl Leibniz zur Überzeugung gelangt war, dass wirkliche "Atome" der Natur keine Ausdehnung hätten, war er sein (...) Leben hindurch auf die Geistesunabhängigkeit lebender Kreaturen festgelegt, in der Art, die eindeutig Idealismus ausschließt. Wir versuchen, die tieferen Gründe für die Beharrlichkeit der idealistischen Sichtweise, trotz ihrer textlichen und konzeptualen Schwierigkeiten, aufzudecken, indem wir sie letztlich in den ahistorischen Präferenzen der Kommentatoren lokalisieren. (shrink)

Imagine two urns, each with a thousand beads - in one all the beads are blue while in the other only one of the thousand is blue. If one of these urns is pushed forward (based on the toss of a fair coin) and the single bead then randomly drawn from it is blue, we must infer that it is a thousand times more probable that the urn pushed forward is the purely blue one. The hypothesis that this was instead (...) the urn with only one blue bead would require that the occurrence of the evidence, the blue bead being drawn, was something improbable - and it is improbable that something improbable is what has occurred. Next consider an example of only one urn with no prior description. By the same reasoning as above, if all the first beads randomly drawn are blue, it is becoming more and more probable that the beads in the urn are generally blue. (Otherwise something improbable would be happening in another colour not appearing; and what’s improbable is improbable.) It is therefore probable also that the next bead drawn will be blue. This is induction. As Hume would have said, we could not know a priori, given this evidence, that the next bead will be blue. But, as he overlooked, we can know a priori, given this evidence, that it is probable that the next bead will be blue. In neither urn example has the belief regarding the beads been formed as a Humean habit of expectation after many observations of beads. (In the first case there is only one observation. The second could be modified to have all the beads drawn out at once.) Rather the belief is a product of a priori reasoning about probability. Next imagine that a coin has been tossed a thousand times and landed heads every time. There was a fair and a loaded coin. According to the same reasoning, it is overwhelmingly more probable that the coin used was the loaded one. For that the fair coin had so landed is most improbable. The hypothesis that there is no external world makes the orderliness in my current experience improbable - much like getting all heads with a fair coin. (Uncaused sensation would most probably be chaotic.) The most probable hypothesis is that of things like those we believe in causing this orderliness - as the coin’s being loaded would have caused all heads. The hypothesis that my experience has been made to take this pattern by a Cartesian malicious demon or by scientists controlling my brain in a vat can only falsely seem to make the character of the experience probable by sneaking in an inherently improbable ad hoc specification that this sort of pattern of experience was that which they were aiming at producing - like an ad hoc specification that the fair coin was one that by chance landed heads all thousand times. We may thus reject such hypotheses as improbable. So this is the problem of induction solved and scepticism answered through a priori reasoning. (shrink)

This chapter clarifies and discusses the problem of bounded rationality. This is the problem of accounting for the normative connections between logically-related contents whilst avoiding logical idealisation. This is a very serious problem, close to a paradox, which deserves serious consideration. This chapter sets out the problem in more detail and argues that a number of proposed solutions, including paraconsistent approaches and Hintikka’s Urn models, do not work. An illuminating parallel is drawn with the sorites paradox, which underpins the problem (...) of vagueness. A full solution to the problem of bounded rationality is developed in chapters 7 and 8. (shrink)

Leibniz verwendet viele Bilder, urn die Eigenschaften und Aktivitäten Gottes zu erklären, denn verstehen können Menschen seine Vollkommenheiten nicht. Durch eine Analyse der Gottesbilder aus einigen zentralen Werken wird gezeigt, daß Leibniz für die Vernunftwahrheiten Gottes mehrere Metaphern gebraucht, hauptsächlich nach dem Modell von Naturereignissen. Für die Glaubenswahrheiten Gottes werden dagegen viele Analogien aufgeführt, die vor allem an menschlichen Modellen ausgerichtet sind. Trotzdem bleiben diese Bilder deterministisch.

Am 4. November 1915 legte EINSTEIN seine beriihmte Arbeit "Zur allgemeinen Relativitatstheorie" der PreuBischen Akademie der Wissenschaften zu Berlin vor. 50 Jahre spater organisierte die Deutsche Akademie der Wissenschaften im Andenken daran eine dreitagige Konferenz, in deren Verlauf auch eine Gedenkfeier abgehalten wurde. Ich hatte die Ehre, eine Gedenkrede iiber EINSTEIN und sein Werk zu halten. In der Zwischenzeit wurde unser Wissen urn viele wichtige neue Zusatze erweitert. Wir sehen nun, daB die Dynamik der Einsteinschen Theorie in einem Superraum ablauft. (...) Seine Struktur und seine Eigenschaften sind von graBter Bedeutung. Infolgedessen habe ich jenen Teil meines Berichtes von 1965, der iiber die Quantengeometrodynamik handelt, geandert und erweitert, urn vom § 12 an unser Wissen iiber den Super­ raum zusammenzufassen. Einige Teile des hier enthaltenen Materials sind schon friiher in anderer Form erschienen. Der Autor dankt fiir die Erlaubnis, dieses Material wieder ab­ drucken zu lassen, den folgenden Verlagen: Akademie-Verlag, Berlin; W. A. Benjamin, Inc., New York; Gordon and Breach, New York; und Springer-Verlag, New York und Heidelberg, sowie den Organisatoren jener Konferenzen, auf denen diese Beitrage vorgelegt wurden: Einstein-Symposium aus Deutsche Akademie der Wissenschaften zu Berlin, 1965; International School of Non-Linear Mathematics and Physics, Miinchen, J uli 1966; Academie Internationale de Philo sophie des Sciences, Oberwolfach/Freiburg i. Br., Juli 1966; Society of Engineering Science, Raleigh, North Carolina, Oktober 1966; Colloque Internationale sur Fluides et Champ Gravitationel en Relativite Generale, Paris, J uni 1967; und Battelle Ren­ contres in Mathematics and Physics, Seattle, Juli 1967. (shrink)

David Lewis (1969) introduced sender-receiver games as a way of investigating how meaningful language might evolve from initially random signals. In this report I investigate the conditions under which Lewis signaling games evolve to perfect signaling systems under various learning dynamics. While the 2-state/2- term Lewis signaling game with basic urn learning always approaches a signaling system, I will show that with more than two states suboptimal pooling equilibria can evolve. Inhomogeneous state distributions increase the likelihood of pooling equilibria, but (...) learning strategies with negative reinforcement or certain sorts of mutation can decrease the likelihood of, and even eliminate, pooling equilibria. Both Moran and APR learning strategies (Bereby-Meyer and Erev 1998) are shown to promote successful convergence to signaling systems. A model is presented that illustrates how a language that codes state-act pairs in an order-based grammar might evolve in the context of a Lewis signaling game. The terms, grammar, and the corresponding partitions of the state space co-evolve to generate a language whose structure appears to reflect canonical natural kinds. The evolution of these apparent natural kinds, however, is entirely in service of the rewards that accompany successful distinctions between the sender and receiver. Any metaphysics grounded on the structure of a natural language that evolved in this way would track arbitrary, but pragmatically useful distinctions. (shrink)

We use probability-matching variations on Ellsberg’s single-urn experiment to assess three questions: (1) How sensitive are ambiguity attitudes to changes from a gain to a loss frame? (2) How sensitive are ambiguity attitudes to making ambiguity easier to recognize? (3) What is the relation between subjects’ consistency of choice and the ambiguity attitudes their choices display? Contrary to most other studies, we find that a switch from a gain to a loss frame does not lead to a switch from ambiguity (...) aversion to ambiguity neutrality and/or ambiguity seeking. We also find that making ambiguity easier to recognize has little effect. Finally, we find that while ambiguity aversion does not depend on consistency, other attitudes do: consistent choosers are much more likely to be ambiguity neutral, while ambiguity seeking is much more frequent among highly inconsistent choosers. (shrink)

We consider the following signaling game. Nature plays first from the set {1, 2}. Player 1 (the Sender) sees this and plays from the set {A, B}. Player 2 (the Receiver) sees only Player 1’s play and plays from the set {1, 2}. Both players win if Player 2’s play equals Nature’s play and lose otherwise. Players are told whether they have won or lost, and the game is repeated. An urn scheme for learning coordination in this game is as (...) follows. Each node of the desicion tree for Players 1 and 2 contains an urn with balls of two colors for the two possible decisions. Players make decisions by drawing from the appropriate urns. After a win, each ball that was drawn is reinforced by adding another of the same color to the urn. A number of equilibria are possible for this game other than the optimal ones. However, we show that the urn scheme achieves asymptotically optimal coordination. (shrink)

Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced his systems of basic deontic logic of urn model actions in early 1980s. Nowadays such logics are considered mainly within propositional dynamic (...) logic (PDL). Two approaches can be distinguished: in one of them deontic operators are introduced using dynamic operators and the notion of violation, in the other at least some of them are taken as primitive. The second approach may be further divided into the systems based on Boolean algebra of actions and the systems built on the top of standard PDL. In the present paper we are interested in the systems of deontic action logic based on Boolean algebra. We present axiomatizations of six systems and set theoretical models for them. We also show the relations among them and the position of some existing theories on the resulting picture. Such a presentation allows the reader to see the spectrum of possibilities of formalization of the subject. (shrink)

This open access book addresses the physical phenomenon of events that seem to occur spontaneously and without any known cause. These are to be contrasted with events that happen in a determined, predictable, lawful, and causal way. All our knowledge is based on self-reflexive theorizing, as well as on operational means of empirical perception. Some of the questions that arise are the following: are these limitations reflected by our models? Under what circumstances does chance kick in? Is chance in physics (...) merely epistemic? In other words, do we simply not know enough, or use too crude levels of description for our predictions? Or are certain events "truly", that is, irreducibly, random? The book tries to answer some of these questions by introducing intrinsic, embedded observers and provable unknowns; that is, observables and procedures which are certified to be unknowable or undoable. A review of quantum mechanics is presented which is inspired by quantum logic. Postulated quantum knowables are reviewed. More exotic unknowns originate in the assumption of classical continua, and in finite automata and generalized urn models, which mimic complementarity and yet maintain value definiteness. Traditional conceptions of free will, miracles and dualistic interfaces are based on gaps in an otherwise deterministic universe. (shrink)

The “Fish Happiness” anecdote in the Zhuangzi is a literary gem, a well-wrought urn, which simultaneously reflects and informs the “Autumn Floods” chapter,1 as well as the text as a whole.2 Despite its polish and surface clarity, the anecdote has afforded a variety of readings. Its points and assumptions tend to be muted or understated in pun, so the reader is pressed to bring his or her own intellectual wits to bear. Indeed, one wonders if the fish happiness anecdote wasn’t (...) intended as a sort of Rorschach test for the reader.3In what follows I offer a reading, nudge some insights from the happy-fish anecdote, and share some philosophical reflections. Given Zhuangzi’s avowed skepticism regarding positions and... (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Die vorliegende Arbeit ist die umgearbeitete Fassung einer Disser tation, die im Sommersemester 1964 von der Philosophischen Fa kultiit der Universitat KOln angenommen wurde. In der Dissertation standen die beiden folgenden Problembereiche im Zentrum der Betrachtung: die Funktion des teleologischen Geschichtsdenkens flir die transzendentale Phanomenologie und Husserls Riickgang auf die vorwissenschaftliche Lebenswelt, so wie er sich aus der Epoche von den objektiven Wissenschaften ergibt. Diese Themen sind in die umfassenderen Zusammenhange dieser Untersuchung eingegangen. Ihre Aufgabe ist es, Husserls Spatwerk in (...) seiner Ein heitlichkeit und Geschlossenheit aus dem Blickpunkt des Riick ganges von der objektiven Wissenschaft auf die Lebenswelt in einer neuen Perspektive sichtbar werden zu lassen. Sie gibt von dieser Warte aus einen Durchblick durch Husserls Spatphilosophie. Ich mochte an dieser Stelle Herrn Professor Dr. Ludwig Land grebe flir seine Forderung meiner Bemiihungen urn die Endgestalt des Husserlschen Denkens danken. Gedankt sei auch dem Direktor des Husserl-Archivs zu Lowen, Herrn Professor Dr. Dr. h.c. H. L. Van Breda flir seine Unterstiitzung und die freundliche Erlaubnis, aus unveroffentlichten Manuskripten Husserls zitieren zu diirfen. (shrink)

SummaryThe crux of Quine's argument against synonymy— and therewith for a version of pragmatism, and independent/y against mentalism — is his challenge to the other side to explain the behavioural difference between the disposition to employ two predicates, say, interchangeably because of habitually “believing“ them coextensive, and the disposition to do so because of “meaning” the same by each. Since synonymy is taught behaviourally, the distinction in question must make a difference behaviourally, but not necessarily one explainable wholly non‐mentalistically. The (...) distinction is drawn in terms of what would extinguish the disposition. The resultant concept of cognitive synonymy is then used to clarify the difference between trivial and non‐trivial necessary truth, and explain how logical deduction by tautological steps can lead to new knowledge.RésuméLe noeud de I'argumentation de Quine contre la synonymie— et donc pour une version de pragmatisme et indépendamment contre le mentalisme — réside dans le défi lancéà la partie adverse d'expliquer en termes de comportement la différence entre d'une part la disposition à utiliser deux prédicats de façon »interchangeable« parce qu'on les »tcroit« habituellement coextensifs, et d'autre part la disposition à le faire parce que l'un et l'autre »signifiant« la même chose. Puisque la synonymie est prise dans un sens comportemental, cette distinction doit se manifester par une différence de comportement, mais n'est pas nécessairement totalement explicable sans recourir au mental. La distinction est faite en considérant ce qui supprimerait la disposition à les utiliser de façon interchangeable. Le concept de “lsynonymie cognitive” qui se dégage de cette analyse est ensuite utilisé pour clarifier la différence entre des várités nécessaires triviales et non triviales et pour expliquer comment une deduction logique par pas tautologiques peut conduire à des connaissances nouvelles.ZusammenfassungDer entscheidende Punkt in Quines Argument gegen die Synonymitrtt— und damit für eine bestimmte Version des Pragmatismus und unabhängig davon gegen den Mentalismus — ist seine Aufforderung, den verhaltensmässigen Unterschied zu erklaen zwischen einerseits der Disposition, zwei Prädikate in austauschbarer Weise zu verwenden, weil man sie gewohnheitsmässig für Koextensiv hält, und andererseits der Disposition, dies zu tun, weil sie gleiche »Bedeutung« haben. Da die Synonymitlit behaviouristisch gelehrt und gelernt wird, muss die zur Diskussion stehende Unterscheidung verhaltensmässig einen Unterschied ausmachen, welcher jedoch nicht notwendigerweise ganz in nicht‐mentalistischer Termen erklärbar ist. Die Unterscheidung wird in Termen formuliert die die Disposition aufheben warden. Der Begriff der kognitiven Synonyrnitlft. der daraus resultiert, wird dann verwendet, urn den Unterschied zwischen trivialen und nicht‐trivialen notwendigen Wahrheiten zu erläutern und um zu erkläen, wie eine logische Deduktion durch tautologische Schritte zu neuem Wissen führen kann. (shrink)