This book explores a much-neglected area of moral philosophy--the typology of immorality.

The concept of cuteness, which can evoke positive emotions in people, is an essential aspect to consider in artificial intelligence design. This study aimed to investigate whether the use of baby schema designed avatars in computer-mediated communication elicits higher positive attitudes than neutral avatars and whether the ethnicity of the cute avatars influences individuals' perceived level of cuteness. 485 participants from Israel and Japan viewed six avatar images, including three baby schema avatars of different visual characteristics and ethnicities (Caucasian, Asian, (...) and Black) and three neutral avatars. Participants rated their attitudes on each avatar, and the results revealed that the baby schema designed avatars were rated cuter, more likable, approachable, and pleasant than the neutral mature avatars. Cultural differences were also evident, as the Caucasian baby schema avatar was rated cuter among Japanese participants, while the Asian and Black baby schema avatars were rated cuter among Israeli respondents. The study findings suggest that cute avatar design can serve as a powerful tool for promoting positive interactions in computer-mediated communication, especially in cultures that highly value cuteness, such as Japan. However, the subjective nature of cuteness is evident as attitudes toward cuteness varied significantly across cultures and individuals. This research highlights the significance of cultural diversity and emphasizes the importance of considering cuteness as a crucial aspect of artificial intelligence design, particularly when creating avatars intended to elicit positive emotions from users. Therefore, designers should be mindful of potential cultural and individual differences in the perception of cuteness while developing avatars for various applications. (shrink)

The convergence of computing, sensing, and communication technology will soon permit large-scale deployment of self-driving vehicles. This will in turn permit a radical transformation of traffic control technology. This paper makes a case for the importance of addressing questions of social justice in this transformation, and sketches a preliminary framework for doing so. We explain how new forms of traffic control technology have potential implications for several dimensions of social justice, including safety, sustainability, privacy, efficiency, and equal access. Our central (...) focus is on efficiency and equal access as desiderata for traffic control design. We explain the limitations of conventional traffic control in meeting these desiderata, and sketch a preliminary vision for a next-generation traffic control tailored to address better the demands of social justice. One component of this vision is cooperative, hierarchically distributed self-organization among vehicles. Another component of this vision is a priority system enabling selection of priority levels by the user for each vehicle trip in the network, based on the supporting structure of non-monetary credits. (shrink)

Starting from the generalized concept of syntactically and semantically trivial differences between two formal theories introduced by Arsenijević, we show that two systems of the linear continuum, the Cantorian point-based system and the Aristotelian interval-based system that satisfies Cantor's coherence condition, are only trivially different. So, the 'great struggle' (to use Cantor's phrase) between the two contending parties turns out to be 'much ado about nothing'.

Terms do not always cover the same meaning all the time. While translating into another language we have to take care of possible shifts in meaning in each of both languages. Some examples have been shown here from the new translation of Locke‘s Essay into Czech.

This note argues that the appearance of Virtus at the outset of Menoeceus’ sacrifice in Statius’ Thebaid (10.610–80) is modelled on Virgil's Fama (Aen. 4.173–97).

DRAGAN BULATOVIĆ, UMETNOST I MUZEALNOST: ISTORIJSKO-UMETNIČKI GOVOR I NJEGOVI MUZEOLOŠKI ISHODI, GALERIJA MATICE SRPSKE, NOVI SAD, 2016.Miloš Ćipranić.

The right to informed consent, as established in the Supreme Court judgment in Montgomery v Lanarkshire Health Board [2015] UKSC 11, I claim involves a ‘journey of love’ between clinicians and...

This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’s unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to Gödel and general proof theory, one can find a brief summary of Gödel’s notes for the (...) Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here. (shrink)

Cilj ovog rada je razmatranje onih aspekata Bolcanove teorije utemeljivanja koji su značajno anticipirali savremene rasprave o utemeljivanju, i koji su dodatno dali podsticaja da se Bolcanov rad ponovo „otkrije“. Stoga ćemo svaki izneti segment njegovog učenja dovesti u vezu s paralelnim idejama u savremenim teorijama utemeljivanja. Na kraju ćemo razmotriti pitanja o značaju i mestu Bolcanovih uvida u kontekstu recentnih rasprava o istoriji pojma utemeljivanja.

We investigate the partial orderings of the form 〈P(X),⊂〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P}(\mathbb{X}), \subset \rangle}$$\end{document}, where X=〈X,ρ〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X} =\langle X, \rho \rangle }$$\end{document} is a countable binary relational structure and P(X)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{P} (\mathbb{X})}$$\end{document} the set of the domains of its isomorphic substructures and show that if the components of X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} (...) are maximally embeddable and satisfy an additional condition related to connectivity, then the poset 〈P(X),⊂〉\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle \mathbb{P} (\mathbb{X}), \subset \rangle }$$\end{document} is forcing equivalent to a finite power of (P(ω)/ Fin)+, or to the poset (P(ω × ω)/(fin × Fin))+, or to the product (P(Δ)/EDfin)+×((P(ω)/Fin)+)n\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${(P(\Delta )/\fancyscript{e}\fancyscript{d}_{\rm fin})^+ \times ((P(\omega )/{\rm Fin})^+)^n}$$\end{document}, for some n∈ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${n \in \omega}$$\end{document}. In particular we obtain forcing equivalents of the posets of copies of countable equivalence relations, disconnected ultrahomogeneous graphs and some partial orderings. (shrink)

We establish the hierarchy among twelve equivalence relations on the class of relational structures: the equality, the isomorphism, the equimorphism, the full relation, four similarities of structures induced by similarities of their self-embedding monoids and intersections of these equivalence relations. In particular, fixing a language L and a cardinal κ, we consider the interplay between the restrictions of these similarities to the class ModL of all L-structures of size κ. It turns out that, concerning the number of different similarities and (...) the shape of the corresponding Hasse diagram, the class of all structures naturally splits into three parts: finite structures, infinite structures of unary languages, and infinite structures of non-unary languages. (shrink)

Understanding natural phenomena is an important aim of science. Since the turn of the millennium the notion of scientific understanding has been a hot topic of debate in the philosophy of science. A bone of contention in this debate is the role of truth and representational accuracy in scientific understanding. So-called factivists and non-factivists disagree about the extent to which the theories and models that are used to achieve understanding must be true or accurate. In this paper we address this (...) issue by examining a case from the practice of synthetic chemistry. We investigate how understanding is obtained in this field by means of an in-depth analysis of the famous synthesis of periplanone B by W. Clark Still. It turns out that highly idealized models—that are representationally inaccurate and sometimes even inconsistent—and qualitative concepts are essential for understanding the synthetic pathway and accordingly for achieving the synthesis. We compare the results of our case study to various factivist and non-factivist accounts of how idealizations may contribute to scientific understanding and conclude that non-factivism offers a more plausible interpretation of the practice of synthetic chemistry. Moreover, our case study supports a central thesis of the non-factivist theory of scientific understanding developed by De Regt, namely that scientific understanding requires intelligibility rather than representational accuracy, and that idealization is one way to enhance intelligibility. (shrink)

Veliko interesovanje za metafizički pojam utemeljivanja poslednjih desetak godina na savremenoj metafizičkoj sceni dovelo je do pojave onih autora koji ne dele isti entuzijazam kao i njegovi zagovornici. U ovom radu osvrnućemo se na skeptičku poziciju koju zastupa Kris Dejli. Osnovni prigovori njegove kritike zasnovani su na ideji da sam koncept utemeljivanja nije razumljiv, odnosno da zagovornici te koncepcije nisu uspeli da to pokažu. U prvom delu rada iznećemo opšti pregled temeljnih karakteristika pojma utemeljivanja i njegove teorijske funkcije, dok ćemo (...) u drugom delu sagledati glavne Dejlijeve prigovore i pokušati da na njih odgovorimo. Na kraju, u zaključnim razmatranjima sumiraćemo glavne poente do kojih smo prethodnim uvidima došli. Pokazaće se da Dejlijevi prigovori nisu dovoljno jaki da dovedu u pitanje razumljivost govora o utemeljivanju. (shrink)

Die vorliegende Arbeit berücksichtigt die Philosophie und Poetik der Geschichte und der Sprache a priori im poetischen und literarischen Werk von Peter Handke, in seinem poetologischen Essay Ich bin ein Bewohner des Elfenbeinturms und seinem Drama Die Fahrt im Einbaum oder das Stück zum Film vom Krieg, und zwar im Ausgang von der kantianischen Idee der Apriorität der Geschichte. Die Geschichte a priori ist, laut Kant, möglich, „wenn der Wahrsager die Begebenheiten selber macht und veranstaltet, die er zum voraus verkündigt“. (...) Die identische Idee vom Subjekt, das vor der Geschichte besteht, finden wir auch im poetischen Werk von Peter Handke, sowohl in seinen poetologischen Schriften, als auch in seinem dichterischen Werk. Das Ziel der Arbeit ist, durch eine immanente, phänomenologisch-hermeneutische Deutung der Werke des Philosophen und des Schriftstellers die unumstrittene enge Beziehung zwischen ihren geschichtsphilosophischen, bzw. – poetologischen Ideen aufzuweisen und einen allgemeinen philosophisch-dichterischen Rahmen für die Erklärung aller Geschichtsphilosophien ohne Ausnahmen zu geben. (shrink)

Thomas Aquinas says that the eucharistic words of consecration – ‘This is my body’ (‘Hoc est corpus meum’) – are uttered by the consecrating priest both ‘significatively’ (‘significative’) and ‘recitatively’ (‘recitative’). This allows him to simultaneously account for the reference of the indexicals ‘this’ and ‘my’, the first of which must apply to some present substance, and the second of which must refer not to the priest but to Christ. This joint significative and recitative use can be distinguished from other (...) semantic and pragmatic features that the words exhibit, which I call significative productivity and instrumental representation: the words produce what they signify, and the speaker acts as an instrument of another, whom the speaker represents. Other sacramental forms share these features. What’s distinctive about the words of consecration is how they exhibit them – as a recitation. This recitative use can be explained by distinguishing between the sacramental gesture (such as the pouring of holy water or the anointing with oil) and the sacramental speech act (that is, the uttering of words that signify and produce the sacrament). In the eucharist, the sacramental gesture and sacramental speech act are one and the same. Despite identifying this intriguing linguistic phenomenon, Aquinas doesn’t fully explain. Puzzles linger, one of which concerns whether the recited words are also asserted. (shrink)

The game Gls(κ) is played on a complete Boolean algebra B, by two players. White and Black, in κ-many moves (where κ is an infinite cardinal). At the beginning White chooses a non-zero element p ∈ B. In the α-th move White chooses pα ∈ (0.p)p and Black responds choosing iα ∈ {0.1}. White wins the play iff $\bigwedge _{\beta \in \kappa}\bigvee _{\alpha \geq \beta }p_{\alpha}^{i\alpha}=0$ , where $p_{\alpha}^{0}=p_{\alpha}$ and $p_{\alpha}^{1}=p\ p_{\alpha}$ . The corresponding game theoretic properties of c.B.a.'s are (...) investigated. So. Black has a winning strategy (w.s) if κ ≥ π(B) or if B contains a κ -closed dense subset. On the other hand, if White has a w.s., then κ ∈ [h₂(B). π(B)). The existence of w.s. is characterized in a combinatorial way and in terms of forcing. In particular, if 2κ = κ ∈ Reg and forcing by B preserves the regularity of κ, then White has a w.s. iff the power 2κ is collapsed to κ in some extension. It is shown that, under the GCH, for each set S ⊆ Reg there is a c.B.a. B such that White (respectively. Black) has a w.s. for each infinite cardinal κ ∈ S (resp. κ ∉ S). Also it is shown consistent that for each κ ∈ Reg there is a c.B.a. on which the game Gls(κ) is undetermined. (shrink)

A relational structure \ is called reversible iff each bijective homomorphism from \ onto \ is an isomorphism, and linear orders are prototypical examples of such structures. One way to detect new reversible structures of a given relational language L is to notice that the maximal or minimal elements of isomorphism-invariant sets of interpretations of the language L on a fixed domain X determine reversible structures. We isolate certain syntactical conditions providing that a satisfiable \-theory defines a class of interpretations (...) having extreme elements on a fixed domain and detect several classes of reversible structures. For some of these classes, we characterize the corresponding reversible extreme interpretations. In particular, we characterize the reversible countable ultrahomogeneous graphs. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 241 - 271 William of Ockham and John Buridan provide different accounts of the distinction between formal and material consequences. Some consequences – in particular, enthymemes – that Ockham would classify as formal would be classified as material by Buridan. This paper explains this taxonomical discrepancy. It identifies the root of the discrepancy not in a difference between Ockham’s and Buridan’s notions of propositional hylomorphism but rather in Ockham’s endorsement of relational characterizations of (...) consequences. (shrink)

I present an analysis according to which the current state of the definition of substitution leads to a contradiction in the system of Transparent Intensional Logic. I entail the contradiction using only the basic definitions of TIL and standard results. I then analyse the roots of the contradiction and motivate the path I take in resolving the contradiction. I provide a new amended definition of collision-less substitution which blocks the contradiction in a non-ad hoc way. I elaborate on the consequences (...) of the amended definition, namely the invalidity of the Church-Rosser theorem. I present a counterexample to the validity of the theorem in TIL with an amended definition of substitution. (shrink)

To model behavioral and neural correlates of language comprehension in naturalistic environments, researchers have turned to broad‐coverage tools from natural‐language processing and machine learning. Where syntactic structure is explicitly modeled, prior work has relied predominantly on context‐free grammars (CFGs), yet such formalisms are not sufficiently expressive for human languages. Combinatory categorial grammars (CCGs) are sufficiently expressive directly compositional models of grammar with flexible constituency that affords incremental interpretation. In this work, we evaluate whether a more expressive CCG provides a better (...) model than a CFG for human neural signals collected with functional magnetic resonance imaging (fMRI) while participants listen to an audiobook story. We further test between variants of CCG that differ in how they handle optional adjuncts. These evaluations are carried out against a baseline that includes estimates of next‐word predictability from a transformer neural network language model. Such a comparison reveals unique contributions of CCG structure‐building predominantly in the left posterior temporal lobe: CCG‐derived measures offer a superior fit to neural signals compared to those derived from a CFG. These effects are spatially distinct from bilateral superior temporal effects that are unique to predictability. Neural effects for structure‐building are thus separable from predictability during naturalistic listening, and those effects are best characterized by a grammar whose expressive power is motivated on independent linguistic grounds. (shrink)

A maximal almost disjoint (mad) family $\mathscr{A} \subseteq [\omega]^\omega$ is Cohen-stable if and only if it remains maximal in any Cohen generic extension. Otherwise it is Cohen-unstable. It is shown that a mad family, A, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the sets G[A], A ∈A are nowhere dense. An ℵ 0 -mad family, A, is a mad family with the property that given any countable family $\mathscr{B} \subset (...) [\omega]^\omega$ such that each element of B meets infinitely many elements of A in an infinite set there is an element of A meeting each element of B in an infinite set. It is shown that Cohen-stable mad families exist if and only if there exist ℵ 0 -mad families. Either of the conditions b = c or $\mathfrak{a} ) implies that there exist Cohen-stable mad families. Similar results are obtained for splitting families. For example, a splitting family, S, is Cohen-unstable if and only if there is a bijection G from ω to the rationals such that the boundaries of the sets G[S], S ∈S are nowhere dense. Also, Cohen-stable splitting families of cardinality ≤ κ exist if and only if ℵ 0 -splitting families of cardinality ≤ κ exist. (shrink)

This paper presents several important results for Transparent Intensional Logic (TIL). The conversions that are standardly taken to be valid – namely restricted β-conversion by name and β-reduction by value – are shown to be invalid. The core principle on which their validity is based – the so-called Compensation Principle – is also shown to be invalid. Further, the paper demonstrates the flaws of the proof of the Compensation Principle.

Very often moral disagreements can be resolved by appealing to factual considerations because in these cases the parties to the dispute agree as to which factual considerations are relevant. They agree, that is, with respect to their basic moral standards. Hence, when their disagreement about the non-moral facts is resolved, so is their moral disagreement. But sometimes moral disagreement persists in spite of agreement on factual considerations. When this happens, and when neither party is guilty of illogical thinking, we have (...) a case of moral deadlock. (shrink)

Vicarious responsibility exists. It is (also) a species of moral responsibility. Nevertheless, it is seldomly discussed or considered as such in the main debates within moral philosophy. This article presents a case for the relevance of vicarious moral responsibility to several of these discussions. It seeks to provide new insights for the debate between historicism and structuralism and presents a further case for distinguishing between various facets of moral responsibility. Furthermore, the article demonstrates that an agent need not enter into (...) the relation of vicarious responsibility freely in order to be responsible. This idea then allows us to present new cases for compatibilism, demonstrating the consistency of moral responsibility with determinism. (shrink)

Jedna od istaknutih teorijskih koristi pojma utemeljivanja jeste njegova sposobnost da ujedinjuje različite slučajeve metafizičke zavisnosti i determinacije. To pretpostavlja da je sam ovaj pojam jedinstven. Jedinstvo utemeljivanja uobičajeno se prećutno pretpostavljalo među teoretičarima utemeljivanja, ali je s vremenom postalo predmet diskusije usled različitih skeptičkih izazova. U ovom radu ispitaćemo tri najopštije teorije jedinstva utemeljivanja: 1) singularizam − gledište po kojem je je dinstvo utemeljivanja zasnovano na ideji da postoji samo jedna relacija utemeljivanja; 2) generalizam − gledište po kojem utemeljivanje (...) treba razumeti kao generički pojam; i 3) gledište koje tvrdi da jedinstvo utemeljivanja počiva na objektivnim sličnostima među različitim relacijama utemeljivanja. Posebna pažnja biće posvećena trećoj opciji koja je bila u velikoj meri zanemareno gledište. Naša razmatranja će ukazati da ovo stanovište, zahvaljujući svojim inherentnim teorijskim vrlinama, zaslužuje mnogo oz biljniji tretman u metafizičkim raspravama o utemeljivanju. (shrink)