The present contribution integrates a recent, multilevel approach to metaphor advanced by Kövecses (2017 and later publications), with gestures as a mode of metaphorical expression. In doing so, the paper shows how different elements of conceptual structure, varying from the abstract, recurring image schema, through more complex conceptual domains and frames, to contextually embedded and variable metaphorical scenarios, participate in the metaphoricity of gestures. This application of gestures to the multilevel approach lends direct support to the idea that human conceptual (...) system recruits various semiotic modes – not limited to language – for expressing its content. Image schemas of object and source-path-goal have been shown to participate directly in the domain of transfer, which, when embedded in context of a given communicative situation, has become the conceptual frame of coming out. The frame, when realised via different gestural forms in a shared context across many speakers, turns into a highly context-sensitive, variable, and speech co-expressive gestural metaphorical scenario of coming out is showing an object. (shrink)

It is argued that recent discussion of the principle of the identity of indiscernibles (PII) and quantum mechanics has lost sight of the broader philosophical motivation and significance of PII and that the `received view' of the status of PII in the light of quantum mechanics survives recent criticisms of it by Muller, Saunders, and Seevinck.

In this paper we investigate computable isomorphisms of Boolean algebras with operators (BAOs). We prove that there are examples of polymodal Boolean algebras with finitely many computable isomorphism types. We provide an example of a polymodal BAO such that it has exactly one computable isomorphism type but whose expansions by a constant have more than one computable isomorphism type. We also prove a general result showing that BAOs are complete with respect to the degree spectra of structures, computable dimensions, expansions (...) by constants, and the degree spectra of relations. (shrink)

The classical arguments against metaphysics provided by Immanuel Kant, neopositivists and recently by analytical philosophers focus on the problem of meaning. In my paper I would like to shed a little bit of light on different dimensions of this problem in the metaphysical discourse and make a proposition how to overcome the difficulties that arise from this kind of discourse.

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

Reclamation of a slur involves the creation of a new, positively-valenced meaning that gradually replaces the old pejorative meaning. This means that at a critical stage, the slur is ambiguous. It has been claimed that this ambiguity is polysemy. However, it is far from clear whether the view can explain why the introduction of the new meaning forces the old one out of existence. I argue that this datapoint can be explained by invoking the mechanism of homonymic conflict, and, therefore, (...) that the ambiguity involved in reclamation is homonymy. One generalization that follows from my account is that conventionalized verbal irony, unlike conventionalized metonymy and metaphor, begets homonymy. Along the way, I criticize the standard ways of drawing the distinction between polysemy and homonymy in terms of semantic and etymological relatedness. If the notions of polysemy and homonymy are to be invoked in explanations, they should be understood in terms of how meanings are stored in the mental lexicon. My account also provides an elegant way of conceptualizing the difference between two types of conceptual engineering, namely reclamation and amelioration. (shrink)

In this interview, Tomasz Zarębski speaks with Allan Janik, co-author of _Wittgenstein’s Vienna_ (1973, with Stephen Toulmin), on the occasion of the 50 th anniversary of the publication of this pathbreaking book. The conversation concerns the circumstances, motivations and reasons for his undertaking the work on the book, as well as its reception and place in Wittgenstein scholarship. A large part of the discussion refers to his perspective of Wittgenstein, Toulmin’s philosophical writings, and Janik’s own vision of philosophy. The (...) interview took place in Innsbruck on 23 rd and 25 th August 2023. (shrink)

We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

This is an attempt to formulate (along the line of H. Field's nominalization program) purely qualitative versions of two theories of space time: Galilean and Minkowskian theories. The starting point is to present qualitative theory for affine geometry, which is based only on one primitive predicate: „between”. Then it is shown that with the help of this predicate whole mathematical structure of affine geometry can be reconstructed as a simple definitional extension. As a next step it is shown in details (...) how the same procedure can be carried out for both theories mentioned above. (shrink)

The paper analyses the notion of attempting in the formal framework of stit.

In the late 2010s, various international committees, expert groups, and national strategy boards have voiced the demand to ‘open’ the algorithmic black box, to audit, expound, and demystify artificial intelligence. The opening of the algorithmic black box, however, cannot be seen only as an engineering challenge. In this article, I argue that only the sort of transparency that arises from critique—a method of theoretical examination that, by revealing pre-existing power structures, aims to challenge them—can help us produce technological systems that (...) are less deceptive and more just. I relate the question of AI transparency to the broader challenge of responsible making, contending that future action must aim to systematically reconcile design—as a way of concealing—with critique—as a manner of revealing. (shrink)

The book _Metaphysics in Contemporary Physics_ offers various perspectives on the relation and mutual influence between modern physical theories and analytic metaphysics.

To analyze potential negative consequences of adopting generative AI solutions in the digital afterlife industry (DAI), in this paper we present three speculative design scenarios for AI-enabled simulation of the deceased. We highlight the perspectives of the data donor, data recipient, and service interactant – terms we employ to denote those whose data is used to create ‘deadbots,’ those in possession of the donor’s data after their death, and those who are meant to interact with the end product. We draw (...) on the scenarios to map out several key ethical concerns posed by ‘re-creation services’ and to put forward recommendations on the ethical development of AI systems in this specific area of application. The recommendations, targeted at providers of AI-enabled re-creation services, include suggestions for developing sensitive procedures for retiring deadbots, ensuring meaningful transparency, restricting access to such services to adult users only, and adhering to the principle of mutual consent of both data donors and service interactants. While we suggest practical solutions to the socio-ethical challenges posed by the emergence of re-creation services, we also emphasize the importance of ongoing interdisciplinary research at the intersection of the ethics of AI and the ethics of the DAI. (shrink)

Wyobraźmy sobie następującą scenę. Oto pewien czcigodnie wyglądający, zatopiony w filozoficznych rozmyślaniach mąż stoi nad malowniczą, skalistą zatoką w starożytnej Grecji. Zatoka ta była już wcześniej teatrem wielu morskich potyczek, w których Ateńczycy zmagali się z wrogami. Jej obraz naturalnie nasuwa zatem skojarzenia z minionymi wydarzeniami batalistycznymi. Wtedy to Arystoteles - bo on jest właśnie tym czcigodnym mężem - pod wpływem tej scenerii oraz kultywowanego w ówczesnej Grecji bios theoretikós, zadaje sobie słynne pytanie: czy jutro będzie bitwa morska? Niniejsza praca (...) jest poświęcona jednemu z najbardziej znanych rozumowań greckiego logika i filozofa Diodora Kronosa. Rozumowanie to nazwano rozumowaniem mistrza lub mistrzowskim prawdopodobnie z racji siły, z jaką oddziaływało na słuchaczy. Jak się wydaje, celem rozumowania mistrza było uzasadnienie przekonania, że w świecie empirii nie istnieją czyste możliwości, a więc że to, co jest możliwe, musi się kiedyś zdarzyć. To z kolei sugeruje jakąś formę determinizmu: skoro nie ma możliwości, które nie są i nigdy nie będą zrealizowane. Rozumowanie Diodora nie przetrwało do naszych czasów. Znamy je jedynie z przekazów, które dość lakonicznie opisują jego przedmiot, przesłanki oraz tezę. Jest wiele powodów, nie tylko historycznych, aby sądzić, że Diodor swoim rozumowaniem polemizuje z Arystotelesem. Stagiryta bowiem w swoich klasycznych rozważaniach na temat jutrzejszej bitwy morskiej bronił indeterminizmu, dopuszczając czyste możliwości, a więc zarówno to, że możliwe, iż bitwa morska się zdarzy, jak i to, że możliwe, iż bitwa morska się nie zdarzy. Z tych powodów próba rekonstrukcji oraz analizy rozumowania Diodora powinna nawiązywać do rozważań Arystotelesa, jako że obydwaj myśliciele mają odmienne zdanie na ten sam przedmiot - naturę możliwości, przyszłości i determinizmu, pozostając jednocześnie w ramach tego samego, starożytnego, logiczno-filozoficznego paradygmatu rozważań. Książka nie ma jednak charakteru wyłącznie historycznego. Historia starożytnych rozważań, często przecież nie do końca nam znana lub znana z komentarzy późniejszych doksografów, jest jedynie tłem rozważań bardziej współczesnych. Rozważania te, korzystając z ustaleń filozofii analitycznej oraz narzędzi logiki formalnej, niekiedy mogą nie być nawet wierne kwestiom historycznym, lecz mogą rozwijać elementy merytoryczne, które zostały wyeksponowane przez źródła historyczne. (shrink)

It is shown that the pure implication fragment of the modal logic [3], pp. 385--387) has finitely many non-equivalent formulae in one variable. The exact number of such formulae is not known. We show that this finiteness result is the best possible, since the analogous fragment of S4, and therefore of [3], in two variables has infinitely many non-equivalent formulae.