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.

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.

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”.

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)

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)

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)

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.

Amodel for inventing newsignals is introduced in the context of sender–receiver games with reinforcement learning. If the invention parameter is set to zero, it reduces to basic Roth–Erev learning applied to acts rather than strategies, as in Argiento et al. (Stoch. Process. Appl. 119:373–390, 2009). If every act is uniformly reinforced in every state it reduces to the Chinese Restaurant Process—also known as the Hoppe–Pólya urn—applied to each act. The dynamics can move players from one signaling game to another during (...) the learning process. Invention helps agents avoid pooling and partial pooling equilibria. (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)

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)

Published originally in: Patoluoto, I., Saarinen, E., Stenman, P.,. Vexing Questions, An Urnful of Essays in Honour of Veikko Rantala on the Occasion of His Fiftieth Birthday. Reports from the Department of Philosophy, University of Helsinki, 3, pp. 12–18.

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)

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)

This article gives an interpretation of F. Nietzsche's The Birth of Tragedy (1872) as a text that exemplifies the theory that it advances in its own textual practice. In order to show this, the author explains first the way in which Nietzsche undoes the distinction between science and art in the text and then embodies this undoing by a kind of writing which is both theoretical in the sense of being a theory about tragedy and is art itself in the (...) sense of being a tragedy. He shows further why writing in this way was necessary according to Nietzsche's understanding of tragedy. The key to the present interpretation is the identification of Socrates as the tragic hero of the piece. The article concludes with a few considerations of how Nietzshe's identification of Socrates with Dionysus can help lead us beyond Dionysus. /// O presente artigo pretende ser uma interpretação da obra A Origem da Tragédia (1872) de Friedrich Nietzsche, enquanto texto que põe em prática a sua própria teoria. Para demonstrar isto mesmo, o autor começa por explicar o modo como Nietzsche abole no texto a distinção entre ciência e arte para depois exemplificar esta mesma abolição mediante urn tipo de escrita que é simultaneamente teórico no sentido de ser uma teoria acerca da tragédia e arte propriamente dita no sentido de ser ele próprio uma tragédia. Mostra-se também até que ponto este modo de escrever era necessário tendo em conta a noção nietzschiana de tragédia. No centro desta interpretação está a identificação de Sócrates com o herói trágico da peça. O artigo conclui com algumas considerações acerca do modo como a identificação operada por Nietzsche entre Sócrates e Dionisio nos pode justamente ajudar a ultrapassar esta última figura. (shrink)

//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS003181910004328X/resource/na me/firstPage-S003181910004328Xa.jpg.

//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0031819100047185/resource/na me/firstPage-S0031819100047185a.jpg.

Mitte der 80er Jahre bildete sich an der Universitat-Gesamthochschule Pader born eine Diskussionsgruppe, die unzufrieden daIiiber war, wie mit Vielfalt bzw. Alternativen in den Kulturwissenschaften umgegangen wird. Diese Unzufriedenheit bezog sieh auf die verschiedensten Gebiete. Selbst dort, wo vielfiiltige Positionen in Forschung und Lehre dargestellt werden, geschieht dies selten systematisch vergleichend. Auch werden hierbei keine Methoden entwickelt, die herausfinden lassen, ob es sieh bei den verschiedenen Positio nen urn Alternativen handelt und wie unter ihnen gegebeneofalls LOsungen als die vorerst besten (...) auszuzeichnen sind. Ohne Klarung dieses Problemkreises istnicht zu sehen, in welchem AusmaB wissenschaftliches Wissen zu verant worten ist. Angesiehts der grundlegenden technischen Herausforderungen und der Bedeu tung des wissenschaftlichen Wissens hierfiir wurde die Frage drangend, wie die angesprochene Lage zu verbessern sei. Es stellte sieh bald heraus, daB es sinnvoll sein muBte, einen neuen Typ einer wissenschaftlichen Diskussions zeitschrift zu griinden, die nieht nur Forschungen prasentiert, sondern selbst als Forschungsprojekt fur die Suche nach einem besseren Umgang mit Alternativenkonzipiertist. Ende der80erJahregriindetesieheineInitiativgruppe fur die Zeitschrift 'Ethik und Sozialwissenschaften' und konstituierte die FORSCHUNGSGRUPPE ERW AGUNGSKULTIJR, die seit 1990 diese Zeitschrift heraus gibt und Forschungsergebnisse in Arbeitspapieren veroffentlicht. Ergebnisse der Forschungen dieser Gruppe sind in diesem Band abgedruckt. (shrink)

conceito de fenomeno (Erscheinung) cumpre um papel fundamental na filosofia de Kant. Na Critica da Razáo Pura', constitui a chave que abre todas as portas da filosofia transcendental e as fecha à metafisica tradicional. Isto parece ser urn ponto pacifico para os kantianos e para muitos outros o que, contudo, tem gerado urna ampla polemica é o estatuto de legitimidade deste conceito, sobretudo em funçao de suas implicações. 0 presente texto pretende elucidar algumas dessas implicações à luz dos argumentos de (...) Kant e de objeções que foram levantadas por filosofos e interpretes desde a epoca do Idealismo a Alemáo .Meu intuito é o de evidenciar urn problema. Sugiro que o conceito implica urn paradoxo, mas que este nada se deve imputar a um erro de Kant, e sim a uma dificuldade essencial a todo discurso teorico do ponto de vista de sua fundamentaçáo. (shrink)

//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0031819100038961/resource/na me/firstPage-S0031819100038961a.jpg.

//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS003181910004287X/resource/na me/firstPage-S003181910004287Xa.jpg.

//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0031819100051238/resource/na me/firstPage-S0031819100051238a.jpg.