It is widely held that under ordinal utility, utility differences are ill-defined. Allegedly, for these to be well-defined (without turning to choice under risk or the like), one should adopt as a new kind of primitive quaternary relations, instead of the traditional binary relations underlying ordinal utility functions. Correlatively, it is also widely held that the key structural properties of quaternary relations are entirely arbitrary from an ordinal point of view. These properties would be, in a nutshell, the hallmark of (...) cardinal utility. While much is obviously true in these two tenets, this note explains why, as stated, they should be abandoned. Any ordinal utility function induces a rich quaternary relation. There is such a thing as ordinal utility differences. Furthermore, this induced quaternary relation respects, apart from completeness, the most standard structural properties of quaternary relations. These properties are, from an ordinal point of view, anything but arbitrary; from a quaternary perspective only completeness should be considered the hallmark—if any—of cardinal utility. These facts are explained to be especially relevant to the critical appreciation of the ordinalist methodology. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises (...) this move. (shrink)

There is a widely held view on measurement inferences, that goes back to Stevens’s ([1946]) theory of measurement scales and ‘permissible statistics’. This view defends the following prohibition: you should not make inferences from averages taken with ordinal scales (versus quantitative scales: interval or ratio). This prohibition is general—it applies to all ordinal scales—and it is sometimes endorsed without qualification. Adhering to it dramatically limits the research that the social and biomedical sciences can conduct. I provide a Bayesian analysis of (...) this inferential problem, determining when measurements from ordinal scales can be used to confirm hypotheses about relative group averages. The prohibition, I conclude, cannot be upheld, even in a qualified sense. The beliefs needed to make average comparisons are less demanding than those appropriate for quantitative scales. I illustrate with the alleged paradigm ordinal scale, Mohs’ scale of mineral hardness, arguing that the literature has mischaracterized it. (shrink)

Georg Cantor's absolute infinity, the paradoxical Burali-Forti class Ω of all ordinals, is a monstrous non-entity for which being called a "class" is an undeserved dignity. This must be the ultimate vexation for mathematical philosophers who hold on to some residual sense of realism in set theory. By careful use of Ω, we can rescue Georg Cantor's 1899 "proof" sketch of the Well-Ordering Theorem––being generous, considering his declining health. We take the contrapositive of Cantor's suggestion and add Zermelo's choice function. (...) This results in a concise and uncomplicated proof of the Well-Ordering Theorem. (shrink)

ABSTRACT (ENG) One of the concerns of Greek philosophy centred on the question of how a manifold and ordered universe arose out of the primitive state of things. From the mythical accounts dating around the seventh century B.C. to the cosmologies of the Classical period in Ancient Greece, many theories have been proposed in order to answer to this question. How these theories differ in positing a “something” that pre-existed the ordered cosmos has been widely discussed. However, scholars have rarely (...) made explicit how they differ in style of thought. In the span of four centuries the first deductive arguments of the Eleatic philosophers culminated in the emergence of logical proof and a form of explanation of natural phenomena, which consisted of searching for the simplest and fewest premises and deducting implications. In this paper it will be discussed how, at distinct stages of its development, the deductive thinking informed the solutions proposed to solve the chaos-order problem, that of how an ordered universe has been possible. -/- ABSTRACT (ITA) Una delle più importanti questioni della filosofia greca è stata quella di comprendere come sia stato possibile un universo ordinato a partire da uno stato primordiale. Dalle teogonie del VII secolo a.C. fino alle cosmologie dei filosofi dell’età classica, sono state proposte diverse teorie per dare risposta a questa domanda. Come esse differiscano nel postulare l’esistenza di un “qualcosa” di primordiale che preesisteva all’ordine del cosmo è stato molto discusso. Pochi studiosi, però, le hanno esaminate sullo sfondo della lenta evoluzione del pensiero deduttivo, culminata nella dimostrazione in geometria e in una forma di spiegazione dei fenomeni che consisteva nel cercare semplici premesse e inferire conclusioni. In questo articolo si mostrerà come il lento affermarsi della spiegazione razionale prima, dell’argomento deduttivo e della dimostrazione in geometria poi, abbiano dato forma alle diverse risposte al problema caos-ordine, e in particolare alla domanda su come sia sorto un universo ordinato. (shrink)

Visual imagery is a form of sensory imagination, involving subjective experiences typically described as similar to perception, but which occur in the absence of corresponding external stimuli. We used the Activation Likelihood Estimation algorithm (ALE) to identify regions consistently activated by visual imagery across 40 neuroimaging studies, the first such meta-analysis. We also employed a recently developed multi-modal parcellation of the human brain to attribute stereotactic co-ordinates to one of 180 anatomical regions, the first time this approach has been combined (...) with the ALE algorithm. We identified a total 634 foci, based on measurements from 464 participants. Our overall comparison identified activation in the superior parietal lobule, particularly in the left hemisphere, consistent with the proposed ‘top-down’ role for this brain region in imagery. Inferior premotor areas and the inferior frontal sulcus were reliably activated, a finding consistent with the prominent semantic demands made by many visual imagery tasks. We observed bilateral activation in several areas associated with the integration of eye movements and visual information, including the supplementary and cingulate eye fields (SCEFs) and the frontal eye fields (FEFs), suggesting that enactive processes are important in visual imagery. V1 was typically activated during visual imagery, even when participants have their eyes closed, consistent with influential depictive theories of visual imagery. Temporal lobe activation was restricted to area PH and regions of the fusiform gyrus, adjacent to the fusiform face complex (FFC). These results provide a secure foundation for future work to characterise in greater detail the functional contributions of specific areas to visual imagery. (shrink)

The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...) reduction - the worst reduction sequence - it is the lowest upper bound on the length of reduction sequences. The main commitment of the introduced method is that it is constructive and elementary, produced only through analyzing structural and combinatorial properties of derivations and lambda terms, without appeal to any sophisticated mathematical tool. Together with the exposition of the method, it is presented a comparative study of some articles in the literature that also get strong normalization by means we can identify with the natural ordinal methods. Among them we highlight Howard[1968], which performs an ordinal analysis of Godel’s Dialectica interpretation for intuitionistic first order arithmetic. We reveal a fact about this article not noted by the author himself: a syntactic proof of strong normalization theorem for the system of typified lambda calculus λ⊃ is a consequence of its results. This would be the first strong normalization proof in the literature. (written in Portuguese). (shrink)

Gauthier and Hobbes reduce Prisoners Dilemmas to co-ordination problems (CPs). Many think rational, face-to-face agents can solve any CP by agreed fiat. But though an agent can rationally use a symmetry-breaking technique (ST) to decide between equal options, groups cannot unless their members' STs luckily converge. Failing this, the CP is escapable only by one agent's non-rational stubbornness, or by the group's "conquest" by an outside force. Implications: one's strategic rationality is group-relative; there are some optimums groups in principle cannot (...) rationally choose; thus justice cannot always be a rationally contracted optimum. Howard Sobel provides the point of departure. (shrink)

The symbolic argument against women's ordination supposes that the theological significance of Christ's sex is his saving relationship to the Church, which takes the form of that of a bridegroom and his bride. It infers that a male priest alone is fit to represent Christ in his capacity as the Saviour of the Church, and thus that only men should be ordained. Since the emergence of the symbolic argument, however, scholars have rediscovered a long tradition of understanding Christ's saving relationship (...) to the Church in maternal terms. While remaining neutral on whether women ultimately ought to be ordained or not, I argue that the Jesus as Mother tradition undermines the symbolic argument against women's ordination. Other critics of the symbolic argument tend to contest what is seen as its ‘literalist’ or ‘essentialist’ or overly gendered-valanced assumptions about priestly representation. I show that even if we grant to the symbolic argument more gendered and ‘essentialist’ views on each of the major points of disagreement in these debates, women might still be fit to represent Christ because of the maternal ways that Christ has traditionally been thought to relate to the Church. As a result, the symbolic argument may be repurposed to support women's ordination rather than undermine it. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. In this (...) paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

For wise men and academics, the order of the world had been an implicit truth for a long time. Nobody had doubted it. The purpose of philosophy and theological discourse has always been to record and contemplate the mundane and celestial world. Because it has a Creator, the universe (and the human being) are in complete order (id est they are in orderliness), in a rigorous hierarchy and, at the same time, they have a meaning, a purpose, they are part (...) of a meaningful whole. In an orderly world, life instantly acquires meaning. This venerable certainty has become, in time, a simple hypothesis. Philosophers are no longer sure that the world is orderly. The following essays comment on the decay of a certainty and, in the end, on its loss. Borges and Georges Perec dared to record (with bitter irony) this loss. And this tripartite essay will speak about them. (shrink)

Seguendo l’esposizione data in (Orsi 2012), riguardante una comparazione fra alcuni aspetti dell’opera di Carl Schmitt e di Jürgen Habermas in filosofia politica, centrata sulla nozione di ordine ed inquadrata, nelle sue basi, entro la sociologia delle religioni di Max Weber, sarà possibile, oltre l’individuazione in essa di un comune punto di convergenza fra il pensiero dei questi autori nella nozione di ordine, portare avanti, su un piano teoretico di livello superiore, un ulteriore raffronto più orientato verso la metodologia della (...) ricerca filosofica così come intesa da Martin Heidegger, la quale permetterà tra l’altro di vedere sia Schmitt che Habermas da un altro possibile punto di vista prospettico. (shrink)

Conceptul și fenomenul Noua Ordinea Mondială (NOM) a suferit o evoluție semnificativă în a doua jumătate a secolului XX, fiecare deceniu contribuind la dezvoltarea sa prin forțele de eliberare națională, urmărirea justiției sociale la scară mondială și intenția teoreticienilor de a avansa înțelegerea teoretică și conceptuală a acestui fenomen. NOM poate fi mai bine abordată dacă separăm (i) NOM ca fenomen real, (ii) NOM și conspirații, și (iii) NOM ca un concept rezultat al dezbaterilor teoretice și formulările unor versiuni pe (...) baza caracteristicilor fenomenului real NOM. În această lucrare doar menționez conspirațiile care există, dar nu sunt interesat și nici nu extind sau analizez valoarea de adevăr a conspirațiilor. În această lucrare am explorat și aprofundat conceptul, semnificația și fenomenul Noua Ordine Mondială printr-o abordare structurată conform ordinii logice folosite de Ludwig Wittgenstein (în cea mai mare măsură) și Thomas Hobbes, urmărind atingerea a cinci obiective cheie: (i) prezentarea unei metode noi de a construi un concept pornind de la bazele etimologice, (ii) explorarea semnificațiilor atașate fiecărui termen, apoi a reuniunii celor trei termeni (nou + ordine + mondial), (iii) examinarea procesului și formarea unui concept bazat pe trei termeni specifici, (iv) explorarea fenomenului NOM în mai multe etape pentru a observa conceptele, teoriile și domeniile care se învârt și fac parte din subiectul central NOM, (v) verificarea si extragerea punctelor și a liniilor cheie a dezbaterilor teoretice existente în literatura de specialitate, și exemple reale din politica mondială care fac parte din conceptul și fenomenul NOM. Folosind metoda lui Ludwig Wittgenstein, am încercat să demonstrez nu doar conținutul NOM ca și concept, ci și procesul și forma construcției conceptului. Această abordare permite o înțelegere atomistă a modului în care ideile complexe sunt construite din elementele lor de bază, și cum aceste elemente sunt împletite pentru a crea un cadru conceptual teoretic coerent. E timpul să explorezi și să înțelegi conceptul, semnificația și fenomenul Noua Ordine Mondială aşa cum este. (shrink)

The editor's introduction discusses Clarence I. Lewis's conceptual pragmatism when compared with post-empiricist epistemology and argues that several Cartesian assumptions play a major role in the work, not unlike those of Logical Positivism. The suggestion is made that the Cartesian legacy still hidden in Logical Positivism turns out to be a rather heavy ballast for Lewis’s project of restructuring epistemology in a pragmatist key. More in detail, the sore point is the nature of inter-subjectivity. For Lewis, no less than for (...) the Logical Positivists at the time of the Protocols Controversy and Husserl in the Cartesian Meditations, this is a problem without a solution. The reason is that all these philosophers are apparently unable to realize that the existence of a plurality of knowing subjects cannot be treated at once both as a speculative problem and a methodological one. Lewis, thanks to his pragmatist approach both comes closer to the right answer and offers an even more naïve unsatisfactory solution to the pseudo-problem under discussion. The fact that he has clear in mind that inter-subjectivity means not only a plurality of linguistic utterances but also a co-existence of different kinds of practical behaviour. Eventually, the very idea of mind, the key-idea in the book, suffers from the above mentioned tension. In fact, if inter-subjective communication and action is considered at a methodological level, the very idea of mind would not need an analysis, and no kind of ‘reflexive’ analysis. Methodology might be limited to a ‘naïve’ level where the existence of the world and a plurality of subjects be taken as a bedrock of uncritically accepted evidence. Philosophical reflection on ultimate evidence, instead, would take a different approach, maybe the one Wittgenstein was putting into practice in the same years when Mind and the world order was written, namely it would be bound to question the very meaning of the idea of ‘mind’ as an undue fiction – the same carried out by Descartes – when he assumed the Cogito to be at once a body of self-evident truths and a thing or substance, the familiar Platonic idea of psyche or soul. (shrink)

Till just few decades ago, scholars used to use the label ‘Ockhamism’ to mark a turning-point in the history of mediaeval philosophy, above all in the history of natural philosophy. That turning-point was exemplified by the once so-called ‘Buridanian school’, today known simply as ‘Parisian school of natural philosophy’, whose leading representative was for sure John Buridan. But looking carefully at some crucial points of the Picard master’s idea of ‘nature’, concerning specifically the relationship between God and secondary causes on (...) one side, and the role played by free will, both the divine and the human one, on the other side, one will find out that Buridan’s ‘Ockhamism’ is at least questionable: Scotus’ modal logic is the conceptual framework, within which he redetermines the boundaries of natural laws, but the ‘pure ockhamist’ idea of the prevalence of the will on the intellect in God’s nature is the source of an image of the world in which voluntary behaviours and natural laws are intertwined. Therefore, Buridan’s natural philosophy results as a peculiar synthesis of two of the main divergent lines of thinking of late mediaeval philosophy. (shrink)

Dopo mezzo secolo di oblio, la natura della coscienza è ora l'argomento più caldo nelle scienze comportamentali e nella filosofia. A partire dal lavoro pionieristico di Ludwig Wittgenstein negli anni '30 (i libri blu e brown) e dagli anni '50 ad oggi dal suo logico successore John Searle, ho creato la seguente tabella come euristica per promuovere questo studio. Le righe mostrano vari aspetti o modi di studio e le colonne mostrano i processi involontari e i comportamenti volontari che comprendono (...) i due sistemi (processi duali) della struttura logica della coscienza (LSC), che possono anche essere considerati come la struttura logica della razionalità (LSR-Searle), del comportamento (LSB), della personalità (LSP), della realtà (LSOR), dell'intenzionalità (LSI) -il termine filosofico, filosofico la Psicologia Descrittiva della Coscienza (DPC) , la Psicologia descrittiva del Pensiero (DPT) –o meglio, il Linguaggio della Psicologia Descrittiva del Pensiero (LDPT), termini introdotti qui e nei miei altri scritti molto recenti. Coloro che desiderano un quadro aggiornato completo per il comportamento umano dalla moderna vista a due systems possono consultare il mio libro 'La struttura logica dellafilosofia, psicologia, Mind e il linguaggio in Ludwig Wittgenstein e John Searle' 2nd ed (2019). Coloro che sono interessati a più dei miei scritti possono vedere 'Talking Monkeys--Filosofia, Psicologia, Scienza, Religione e Politica su un Pianeta Condannato--Articoli e Recensioni 2006-2019 3rd ed (2019) e Suicidal Utopian Delusions nel 21st Century 4th ed (2019). (shrink)

We reexamine some of the classic problems connected with the use of cardinal utility functions in decision theory, and discuss Patrick Suppes's contributions to this field in light of a reinterpretation we propose for these problems. We analytically decompose the doctrine of ordinalism, which only accepts ordinal utility functions, and distinguish between several doctrines of cardinalism, depending on what components of ordinalism they specifically reject. We identify Suppes's doctrine with the major deviation from ordinalism that conceives of (...) utility functions as representing preference differences, while being non- etheless empirically related to choices. We highlight the originality, promises and limits of this choice-based cardinalism. (shrink)

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes (...) of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on). (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on truth and (...) the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

We adjust the notion of typicality originated with Russell, which was introduced and studied in a previous paper for general first-order structures, to make it expressible in the language of set theory. The adopted definition of the class ${\rm NT}$ of nontypical sets comes out as a natural strengthening of Russell's initial definition, which employs properties of small (minority) extensions, when the latter are restricted to the various levels $V_\zeta$ of $V$. This strengthening leads to defining ${\rm NT}$ as the (...) class of sets that belong to some countable ordinal definable set. It follows that ${\rm OD}\subseteq {\rm NT}$ and hence ${\rm HOD}\subseteq {\rm HNT}$. It is proved that the class ${\rm HNT}$ of hereditarily nontypical sets is an inner model of ${\rm ZF}$. Moreover the (relative) consistency of $V\neq {\rm NT}$ is established, by showing that in many forcing extensions $M[G]$ the generic set $G$ is a typical element of $M[G]$, a fact which is fully in accord with the intuitive meaning of typicality. In particular it is consistent that there exist continuum many typical reals. In addition it follows from a result of Kanovei and Lyubetsky that ${\rm HOD}\neq {\rm HNT}$ is also relatively consistent. In particular it is consistent that ${\cal P}(\omega)\cap {\rm OD}\subsetneq{\cal P}(\omega)\cap {\rm NT}$. However many questions remain open, among them the consistency of ${\rm HOD}\neq {\rm HNT}\neq V$, ${\rm HOD}={\rm HNT}\neq V$ and ${\rm HOD}\neq {\rm HNT}= V$. (shrink)

This quantitative study utilized the descriptive method of research that aimed to assess the implementation of environmental conservation practices in Baybay City Leyte with 92 officials and 115 zone residents of the 23 barangays in the city. Data were gathered through online and pen-paper surveys using frequency mean and Chi-square test. Barangay officials & Zone residents showed the same level of awareness of the environmental conservation practices implemented in Baybay City. Based on the results, the highest average weighted mean environmental (...) conservation practices were the Ordinance on Solid Waste Management. Whereas, the Ordinance on the Use of Plastics Bags has the lowest average weighted mean. There is no significant difference in the level of awareness of the environmental conservation practices between the barangay officials and zone residents. The findings on the level of implementation of the environmental conservation practices, barangay officials asserted a high level of implementation while zone residents claim to have implemented of all the (3) ordinances. For barangay officials, the Ordinance on Solid Waste Management had the highest weighted mean. While the Ordinance on the Use of Plastics Bags had the lowest weighted mean. Whereas, for the zone residents the Ordinance on Regulating the Use of Plastics Bags had the highest weighted mean. While the Ordinance on Anti-Littering and Prohibiting Persons from Throwing any Refuse or Garbage, Spitting, or Improper Urinating into Streets and Canals had the lowest weighted mean. There is a significant difference in the level of implementation of the environmental conservation practices between the barangay officials and zone residents on the Ordinance on Anti-Littering and Prohibiting Persons from Throwing any Refuse or Garbage, Spitting, Improper Urinating into Streets and Canal and Ordinance on Solid Waste Management. However, there is no significant difference in the level of implementation of environmental conservation practices in the Ordinance of the Use of Plastics Bags. (shrink)

From classical mechanics, in particular the motion in a straight line, together set theory and ordinal number theory, we prove a not-classical behaviour, a discontinuous motion and emission.

Ordinal polytheism is motivated by the cosmological and design arguments. It is also motivated by Leibnizian–Lewisian modal realism. Just as there are many universes, so there are many gods. Gods are necessary concrete grounds of universes. The god-universe relation is one-to-one. Ordinal polytheism argues for a hierarchy of ranks of ever more perfect gods, one rank for every ordinal number. Since there are no maximally perfect gods, ordinal polytheism avoids many of the familiar problems of monotheism. It links theology with (...) counterpart theory, mathematics and computer science. And it entails that the system of universes has an attractive axiological structure. (shrink)

This paper develops co-ordinated multiple-domain supervenience relations to model determination and dependence relations between complex entities and their constituents by appealing to R-related pairs and by making use of associated isomorphisms. Supervenience relations are devised for order-sensitive and repetition-sensitive mereologies, for mereological systems that make room for many-many composition relations, as well as for hierarchical mereologies that incorporate compositional and hylomorphic structure. Finally, mappings are provided for theories that consider wholes to be prior to their parts.

in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference frame (e.g. that (...) of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

Decision-making under normative uncertainty requires an agent to aggregate the assessments of options given by rival normative theories into a single assessment that tells her what to do in light of her uncertainty. But what if the assessments of rival theories differ not just in their content but in their structure -- e.g., some are merely ordinal while others are cardinal? This paper describes and evaluates three general approaches to this "problem of structural diversity": structural enrichment, structural depletion, and multi-stage (...) aggregation. All three approaches have notable drawbacks, but I tentatively defend multi-stage aggregation as least bad of the three. (shrink)

According to contextualist theories in metaethics, when you use a moral term in a context, the context plays an ineliminable part in determining what natural property will be the semantic value of the term. Furthermore, on subjectivist and relativist versions of these views, it is either the speaker's own moral code or her moral community's moral code that constitutes the reference-fixing context. One standard objection to views of this type is that they fail to enable us to disagree in ordinary (...) conversations. In this chapter, I develop a new response to this objection on the basis of Kai von Fintel and Anthony Gillies' notion of proposition clouds. I argue that, because we live in a multicultural society, the conversational contexts we face will fail to disambiguate between all the things we could mean. This is why we can at best put into play proposition clouds when we make moral utterances. All the propositions in such clouds are then available for rejection and acceptance on the behalf of our audiences. The norms of conversation then guide us to make informative contributions to the conversation - accept and reject propositions in a way that leads to co-ordination of action and choice. (shrink)

According to comparativism, degrees of belief are reducible to a system of purely ordinal comparisons of relative confidence. (For example, being more confident that P than that Q, or being equally confident that P and that Q.) In this paper, I raise several general challenges for comparativism, relating to (i) its capacity to illuminate apparently meaningful claims regarding intervals and ratios of strengths of belief, (ii) its capacity to draw enough intuitively meaningful and theoretically relevant distinctions between doxastic states, and (...) (iii) its capacity to handle common instances of irrationality. (shrink)

The contemporary revival of Eucharistic ecclesiology has occurred alongside a new understanding of the episcopacy as a distinct grade of holy orders. Both of these developments make possible a new synthetic understanding of the presbyterate, building on classical theological approaches to orders that incorporate both of these perspectives. In this essay, I will attempt to show how the theology of the presbyterate articulated by Thomas Aquinas might help supplement and be supplemented by that of John Zizioulas. The synthesis I propose (...) has the merit of corresponding with much of the classical approach to orders, while advancing a new thesis on the Eucharistic role of the presbyterate that establishes a clearer connection between contemporary ecclesiology and the theology of holy orders. (shrink)

Are widely used measurements in the human sciences (say happiness surveys or depression scales) quantitative or merely ordinal? If they are merely ordinal, could they be developed into quantitative measurements, just like in the progression from thermoscopes to thermometers? Taking inspiration from recent philosophy of measurement, some practitioners express optimism about future human science measurements. The so-called quantity objection stands out for having the only chance of settling the debate in favour of the pessimists. It claims that the problem lies (...) not with current, or likely future, measurement practices in the human sciences, but with human science attributes themselves—they just are not quantitative, but merely ordinal. Hence, they cannot not (thus will not) be measured quantitatively. The argument has a long and distinguished pedigree. This paper assesses old and recent versions of it, namely: the objection made originally to Fechner’s psychophysics by von Kries (among others) and Michell’s recent version of this objection. To do so, the paper first draws important distinctions between different versions of the argument that have been overlooked. Then, it argues that none of the versions of the quantity objection provide a good reason for the optimists to give up their optimism. In particular, Michell’s argument characterizes the measurand (that is, the attribute to be measured) in a way that optimists do not and need not accept. Yet the optimists’ defence articulated here brings with it serious burdens to discharge. The ball is in their court. (shrink)

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions to (...) the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

Harry Wolfson’s celebrated two-volume study of Spinoza – The Philosophy of Spinoza: Unfolding the Latent Process of His Reasoning – appeared in 1934 with Harvard University Press. The book originated in a series of five studies Wolfson published in the Chronicon Spinozanum between 1921 and 1926. In the Chronicon, Wolfson announced that the studies published in the journal are instalments from a planned larger work, to be titled: “Spinoza, the Last of the Mediaevals: A Study of the Ethica Ordine Geometrico (...) Demonstrata in the light of a hypothetically constructed Ethica More Scholastico Rabbinicoque Demonstrata.” In the preface to the 1934 book, Wolfson notes that the original title “had to be abandoned, as it did not seem advisable to have the title begin with the word ‘Spinoza’”. Thus, whatever stylistic reasons motivated Wolfson to amend the title, he was clearly not withdrawing from his view of Spinoza’s Ethics as being “More Scholastico Rabbinicoque Demonstrata.”. (shrink)

In this paper, we introduce a quasi-set theory without atoms. The quasi-sets (qsets) can have as elements completely indiscernible things which do not turn out to be the very same thing as it would be implied if its underlying logic was classical logic. A quasi-set can have a cardinal, called its quasi-cardinal, but this is made so that, at least for the finite case, the quasi-cardinal is not an ordinal, and hence the indistinguishable elements of a quasi-set cannot be ordered. (...) In the last sections, we show how the theory can be used to ground a quantum metaphysics of properties, which sees the quantum entities as bundles of properties, and we also introduce a new approach for the use of quantifiers in quantum physics. (shrink)

We argue that a semantics for counterfactual conditionals in terms of comparative overall similarity faces a formal limitation due to Arrow’s impossibility theorem from social choice theory. According to Lewis’s account, the truth-conditions for counterfactual conditionals are given in terms of the comparative overall similarity between possible worlds, which is in turn determined by various aspects of similarity between possible worlds. We argue that a function from aspects of similarity to overall similarity should satisfy certain plausible constraints while Arrow’s impossibility (...) theorem rules out that such a function satisfies all the constraints simultaneously. We argue that a way out of this impasse is to represent aspectual similarity in terms of ranking functions instead of representing it in a purely ordinal fashion. Further, we argue against the claim that the determination of overall similarity by aspects of similarity faces a difficulty in addition to the Arrovian limitation, namely the incommensurability of different aspects of similarity. The phenomena that have been cited as evidence for such incommensurability are best explained by ordinary vagueness. (shrink)

Quantum information is discussed as the universal substance of the world. It is interpreted as that generalization of classical information, which includes both finite and transfinite ordinal numbers. On the other hand, any wave function and thus any state of any quantum system is just one value of quantum information. Information and its generalization as quantum information are considered as quantities of elementary choices. Their units are correspondingly a bit and a qubit. The course of time is what generates choices (...) by itself, thus quantum information and any item in the world in final analysis. The course of time generates necessarily choices so: The future is absolutely unorderable in principle while the past is always well-ordered and thus unchangeable. The present as the mediation between them needs the well-ordered theorem equivalent to the axiom of choice. The latter guarantees the choice even among the elements of an infinite set, which is the case of quantum information. The concrete and abstract objects share information as their common base, which is quantum as to the formers and classical as to the latter. The general quantities of matter in physics, mass and energy can be considered as particular cases of quantum information. The link between choice and abstraction in set theory allows of “Hume’s principle” to be interpreted in terms of quantum mechanics as equivalence of “many” and “much” underlying quantum information. Quantum information as the universal substance of the world calls for the unity of physics and mathematics rather than that of the concrete and abstract objects and thus for a form of quantum neo-Pythagoreanism in final analysis. (shrink)

Information and communication technologies (ICTs) place a crucial emphasis on accountability, intellectual property rights, neutrality, openness, privacy, transparency, and trust; they provide a platform or infrastructure of social norms and expectations. Developing the concept of infraethics, this paper argues that all societies need rules for effective co-ordination and collaboration of their infrastructures, and that their design and maintenance is one of the crucial challenges for our own world today. -/- .

A god is a cosmic designer-creator. Atheism says the number of gods is 0. But it is hard to defeat the minimal thesis that some possible universe is actualized by some possible god. Monotheists say the number of gods is 1. Yet no degree of perfection can be coherently assigned to any unique god. Lewis says the number of gods is at least the second beth number. Yet polytheists cannot defend an arbitrary plural number of gods. An alternative is that, (...) for every ordinal, there is a god whose perfection is proportional to it. The n -th god actualizes the best universe(s) in the n -th level of an axiological hierarchy of possible universes. Despite its unorthodoxy, ordinal polytheism has many metaphysically attractive features and merits more serious study. (shrink)

I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's (e.g., recursiveness; well-ordering principles; continuity at transfinite limits; minimality; and identification of n with the set of all numbers less than n). I give a detailed mathematical demonstration that 0 is { } and for every natural number n, n is the set of all natural (...) numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals. (shrink)

A number of Christian theologians and philosophers have been critical of overly moralizing approaches to the doctrine of sin, but nearly all Christian thinkers maintain that moral fault is necessary or sufficient for sin to obtain. Call this the “Moral Consensus.” I begin by clarifying the relevance of impurities to the biblical cataloguing of sins. I then present four extensional problems for the Moral Consensus on sin, based on the biblical catalogue of sins: (1) moral over-demandingness, (2) agential unfairness, (3) (...) moral repugnance, and (4) moral atrocity. Next, I survey several partial solutions to these problems, suggested by the recent philosophical literature. Then I evaluate two largely unexplored solutions: (a) genuine sin dilemmas and (b) defeasible sinfulness. I argue that (a) creates more problems than it solves and that, while (b) is well-motivated and solves or eases each of the above problems, (b) leaves many biblical ordinances about sin morally misleading, creating (5) a pedagogical problem of evil. I conclude by arguing that (5) places hefty explanatory burdens on those who would appeal to (b) to resolve the four extensional problems discussed in this paper. So Christian thinkers may need to consider a more radical separation of sin and moral fault. (shrink)

Human aesthetic practices show a sensitivity to the ways that the appearance of an artefact manifests skills and other qualities of the maker. We investigate a possible origin for this kind of sensibility, locating it in the need for co-ordination of skill-transmission in the Acheulean stone tool culture. We argue that our narrative supports the idea that Acheulian agents were aesthetic agents. In line with this we offer what may seem an absurd comparison: between the Acheulian and the Quattrocento. In (...) making it we display some hidden richness in what counts as an aesthetic response to an artefact. We conclude with a brief review of rival explanations—biological and/or cultural—of how this skills-based sensibility became a regular feature of human aesthetic practices. (shrink)

Our visual experience of the world is one of diverse objects and events, each with particular colors, shapes, and motions. This experience is so coherent, so immediate, and so effortless that it seems to result from a single system that lets us experience everything in our field of view. But however appealing, this belief is mistaken: there are severe limits on what can be visually experienced. -/- For example, in a display for air-traffic control it is important to track all (...) moving items. For a single item, this can be done without problem. Three or four can also be tracked, although some degree of effort may be needed. As the number is increased further, accurate tracking becomes more and more difficult—and eventually, impossible. Performance is evidently affected by a factor within the observer which enables certain kinds of perception to occur, but is limited in some way. This factor is generally referred to as attention. -/- At various times, attention has been associated with clarity of perception, intensity of perception, consciousness, selection, or the allocation of a limited “resource” enabling various operations (see Hatfield, 1998). During the past several decades, considerable progress has been achieved by focusing on the idea of selection (Broadbent, 1982). In particular, attention can be productively viewed as contingently selective processing. This can be embodied in various ways by various processes—there need not be a single quantity identified with all forms of attention, or a single site where it operates (Allport, 1993; Tsotsos, 2011). Although “paying attention” is often considered to be a unitary operation, it may simply refer to the control of one or more selective processes, ideally in a co-ordinated way. While this view has some cost in terms of conceptual simplicity, it can help make sense of a large set of phenomena. -/- This article surveys several of the major issues in our understanding of attention and how it relates to perception. It focuses on vision, since many—if not all—considerations are similar for all sensory modalities, and the level of understanding achieved in this domain is currently the most advanced. (shrink)

Inductively defined structures are ubiquitous in mathematics; their specification is unambiguous and their properties are powerful. All fields of mathematical logic feature these structures prominently: the formula of a language, the set of theorems, the natural numbers, the primitive recursive functions, the constructive number classes and segments of the cumulative hierarchy of sets. -/- This dissertation gives a mathematical characterization of a species of inductively defined structures, called accessible domains, which include all of the above examples except the set of (...) theorems. The concept of an accessible domain comes from Wilfried Sieg's analysis of proof-theoretic practices, starting with his dissertation. In particular, he noticed the special epistemological character of elements of an accessible domain: they can always be uniquely identified with their build-up. Generally, the unique build-up of elements justifies the principles of induction and recursion. -/- I use category theory to give an abstract characterization of accessible domains. I claim that accessible domains are all instances of initial algebras for endofunctors. Grounded in the historical roots of Sieg's discussions, this dissertation shows how the properties of initial algebras for endofunctors and accessible domains coincide in a satisfying and natural way. -/- Filling out this characterization, I show how important examples of accessible domains fit into this broad characterization. I first characterize some accessible domains by relatively simple functors (e.g. finite, polynomial, those that preserve certain colimits) where we can see how iterating the functor can produce the accessible domain. Then I describe accessible domains that result from more involved specifications (e.g. ordinals and segments of the cumulative hierarchies associated with CZF, IZF, and ZF) by relying heavily on algebraic set theory. I end with a discussion of some of the methodological features of category theory in particular that helped characterize accessible domains. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can be (...) overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

In his 1927 Analysis of Matter and elsewhere, Russell argued that we can successfully infer the structure of the external world from that of our explanatory schemes. While nothing guarantees that the intrinsic qualities of experiences are shared by their objects, he held that the relations tying together those relata perforce mirror relations that actually obtain (these being expressible in the formal idiom of the Principia Mathematica). This claim was subsequently criticized by the Cambridge mathematician Max Newman as true but (...) trivial, insofar as from a closed body of observations (or “Ramsey sentence”) one can always generate other equally-satisfactory networks of relations, provided they respect the original set’s cardinality. Since any model thus generated will be empirically adequate, “[t]he defence is therefore driven back from the fairly safe fictitious-real classification to the much less tenable ‘trivial’ and ‘important’” (Newman 1928). Given the definitional rigour afforded by the initial appeal to isomorphism (via one-to-one correspondences in extension), the received assessment, shared by Russell himself, is that retreating to a pragmatic adjudication would betoken a fatal blow. However, I suggest that reliance on “importance” can be avoided if we incorporate an impersonal criterion of diachronic precedence. When collecting observations, an ordinality emerges alongside the cardinality which gives that underived structure an irrevocable epistemological privilege. Hence, I argue that, all other things being equal, any construct parasitic on an antecedent theory ought to be regarded as inferior/dispensable, since it was generated by an algorithm lacking the world-involving pedigree of its host structure. (shrink)