We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...) book would be needed for that. Instead, we have tried to select material that is of interest in its own right or exemplifies noteworthy features in interesting ways. Here are some themes that have guided us throughout the writing: • The back-and-forth between philosophy and modal logic. There has been a good deal of give-and-take in the past. Carnap tried to use his modal logic to throw light on old philosophical questions, thereby inspiring others to continue his work and still others to criticise it. He certainly provoked Quine, who in his turn provided—and continues to provide—a healthy challenge to modal logicians. And Kripke’s and David Lewis’s philosophies are connected, in interesting ways, with their modal logic. Analytic philosophy would have been a lot different without modal logic! • The interpretation problem. The problem of providing a certain modal logic with an intuitive interpretation should not be conflated with the problem of providing a formal system with a model-theoretic semantics. An intuitively appealing model-theoretic semantics may be an important step towards solving the interpretation problem, but only a step. One may compare this situation with that in probability theory, where definitions of concepts like ‘outcome space’ and ‘random variable’ are orthogonal to questions about “interpretations” of the concept of probability. • The value of formalisation. Modal logic sets standards of precision, which are a challenge to—and sometimes a model for—philosophy. Classical philosophical questions can be sharpened and seen from a new perspective when formulated in a framework of modal logic. On the other hand, representing old questions in a formal garb has its dangers, such as simplification and distortion. • Why modal logic rather than classical (first or higher order) logic? The idioms of modal logic—today there are many!—seem better to correspond to human ways of thinking than ordinary extensional logic. (Cf. Chomsky’s conjecture that the NP + VP pattern is wired into the human brain.) In his An Essay in Modal Logic (1951) von Wright distinguished between four kinds of modalities: alethic (modes of truth: necessity, possibility and impossibility), epistemic (modes of being known: known to be true, known to be false, undecided), deontic (modes of obligation: obligatory, permitted, forbidden) and existential (modes of existence: universality, existence, emptiness). The existential modalities are not usually counted as modalities, but the other three categories are exemplified in three sections into which this chapter is divided. Section 1 is devoted to alethic modal logic and reviews some main themes at the heart of philosophical modal logic. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two different uses that modal logic or indeed any logic can have: it may be applied to already existing (non-logical) theory, or it can be used to develop new theory. (shrink)

Most descriptions of higher-order vagueness in terms of traditional modal logic generate so-called higher-order vagueness paradoxes. The one that doesn't is problematic otherwise. Consequently, the present trend is toward more complex, non-standard theories. However, there is no need for this.In this paper I introduce a theory of higher-order vagueness that is paradox-free and can be expressed in the first-order extension of a normal modal system that is complete with respect to single-domain Kripke-frame semantics. This is the system QS4M+BF+FIN. (...) It corresponds to the class of transitive, reflexive and final frames. With borderlineness defined logically as usual, it then follows that something is borderline precisely when it is higher-order borderline, and that a predicate is vague precisely when it is higher-order vague.Like Williamson's, the theory proposed here has no clear borderline cases in Sorites sequences. I argue that objections that there must be clear borderline cases ensue from the confusion of two notions of borderlineness—one associated with genuine higher-order vagueness, the other employed to sort objects into categories—and that the higher-order vagueness paradoxes result from superimposing the second notion onto the first. Lastly, I address some further potential objections. (shrink)

The aim in this chapter is to explore the similarities and differences between the city symphony film genre of the 1920s and 1930s and the contemporary virtual city walking tours that are popular on YouTube these days, eventually discussing the change in representation of the individual in daily life over a century. The city symphony was born with modernism in the early 20th century initially to present an interpretation of the city with daily activities, human beings, their interaction with industrial (...) technology and the urban environment. A significant and pioneering film of the genre is by Walter Ruttmann titled Berlin: Symphony of a Metropolis (1927) which I will try to analyze its filmic elements in order to draft a summary of the style and vision of the director and his contemporaries. On the other hand, the virtual city walking tours on YouTube represent a very different representation of urban exploration. These videos show various cities through the act of simple walking recorded in a long one-take POV shot with a gimbal-camera. Despite minor differences in terms of commentary and music use, these videos are quite similar to each other when compared to city symphony films in general. The methodological approach for analyzing and interpreting these films and videos is guided by the neoformalist approach proposed by Bordwell and Thompson in the 1980s, along with Noël Carroll’s view on critical evaluation. Since this post-theoretical approach is non-formulaic in terms of its methodology, it fits the two examples I will provide that are stylistically very distant. After establishing the form and style of the works, I will try to follow Carroll’s suggestions in order to critically interpret, analyze and evaluate the works. The comparison between the city symphony film and virtual city walking tour reveals a complex interplay between continuity and change in regards to the individual. While both share a rather common goal of capturing the essence of urban life their differences are to be found in their stylistic choices and their interpretations of the goal itself. The city films of the 1920s and 30s were avant-garde expressions that combined artistic innovation with socio-political commentary. They were often experimental, using montage sequences, juxtaposition and abstract imagery to convey the ever changing industrialized modern city life. Ruttmann’s Berlin is emblematic of this approach, offering a poetic and critical reflection on urban existence. In contrast, the virtual city walking tours on YouTube are more accessible and immediate. They provide a first-person perspective that allows viewers to virtually traverse different cities, experiencing sights and sounds without the mediation of artistic abstraction. The similarity in these videos suggests a standardized format that prioritizes immersion over critique. This article offers a valuable contribution to the understanding of urban representation of the individual in film and digital media. By comparing the city symphony film with virtual city walking tours, I try to illuminate the evolving relationship between art, technology and urban life. I argue that not only is there a completely different representation of the individual within the frame, but there is also ethical considerations to be put forth regarding the one that makes the frame, or the camera. In the end I argue that the human-ness of a work of art or any type of video is more important than immersiveness. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...) last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

In the present paper a new semantic framework for modelling the distinction between implicit and explicit belief is proposed and contrasted with the currently standard framework based on the idea that explicit belief can be construed as implicit belief accompanied by awareness. It is argued that within this new framework it is possible to get both a more intuitive interpretation of the aforementioned distinction and a straightforward solution to two critical problems to which the standard view is subjected. (...) A system of logic for belief is introduced and proved to be complete with respect to the class of all frames for implicit and explicit belief constructed in accord to the new view. (shrink)

I set up two axiomatic theories of inductive support within the framework of Kolmogorovian probability theory. I call these theories ‘Popperian theories of inductive support’ because I think that their specific axioms express the core meaning of the word ‘inductive support’ as used by Popper (and, presumably, by many others, including some inductivists). As is to be expected from Popperian theories of inductive support, the main theorem of each of them is an anti-induction theorem, the stronger one of them saying, (...) in fact, that the relation of inductive support is identical with the empty relation. It seems to me that an axiomatic treatment of the idea(s) of inductive support within orthodox probability theory could be worthwhile for at least three reasons. Firstly, an axiomatic treatment demands from the builder of a theory of inductive support to state clearly in the form of specific axioms what he means by ‘inductive support’. Perhaps the discussion of the new anti-induction proofs of Karl Popper and David Miller would have been more fruitful if they had given an explicit definition of what inductive support is or should be. Secondly, an axiomatic treatment of the idea(s) of inductive support within Kolmogorovian probability theory might be accommodating to those philosophers who do not completely trust Popperian probability theory for having theorems which orthodox Kolmogorovian probability theory lacks; a transparent derivation of anti-induction theorems within a Kolmogorovian frame might bring additional persuasive power to the original anti-induction proofs of Popper and Miller, developed within the framework of Popperian probability theory. Thirdly, one of the main advantages of the axiomatic method is that it facilitates criticism of its products: the axiomatic theories. On the one hand, it is much easier than usual to check whether those statements which have been distinguished as theorems really are theorems of the theory under examination. On the other hand, after we have convinced ourselves that these statements are indeed theorems, we can take a critical look at the axioms—especially if we have a negative attitude towards one of the theorems. Since anti-induction theorems are not popular at all, the adequacy of some of the axioms they are derived from will certainly be doubted. If doubt should lead to a search for alternative axioms, sheer negative attitudes might develop into constructive criticism and even lead to new discoveries. -/- I proceed as follows. In section 1, I start with a small but sufficiently strong axiomatic theory of deductive dependence, closely following Popper and Miller (1987). In section 2, I extend that starting theory to an elementary Kolmogorovian theory of unconditional probability, which I extend, in section 3, to an elementary Kolmogorovian theory of conditional probability, which in its turn gets extended, in section 4, to a standard theory of probabilistic dependence, which also gets extended, in section 5, to a standard theory of probabilistic support, the main theorem of which will be a theorem about the incompatibility of probabilistic support and deductive independence. In section 6, I extend the theory of probabilistic support to a weak Popperian theory of inductive support, which I extend, in section 7, to a strong Popperian theory of inductive support. In section 8, I reconsider Popper's anti-inductivist theses in the light of the anti-induction theorems. I conclude the paper with a short discussion of possible objections to our anti-induction theorems, paying special attention to the topic of deductive relevance, which has so far been neglected in the discussion of the anti-induction proofs of Popper and Miller. (shrink)

We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and (...) complete for the basic positive distributive substructural logic $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$ (the relevant logic $\mathsf {R}^+$, without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

In this paper, I challenge the standard reading of complete virtue (ἀρετή τελεία) in those disputed passages of Nicomachean Ethics and Eudemian Ethics. I argue that, for Aristotle, complete virtue is neither (i) wisdom nor (ii) a whole set of all virtues. Rather, it is a term used by Aristotle to denote any virtue that is in its complete or perfect form. In light of this reading, I offer a pluralist interpretation of Aristotelian happiness. I argue that for Aristotle, (...) the life-long exercise of a predominant virtue—as long as it is exercised in its complete or perfect form—will suffice for human happiness. The so-called inclusivist and intellectualist notions of Aristotelian happiness, thus understood, are merely two forms (viz. the composite and the non-composite form) of the pluralist notion of Aristotelian happiness. And if I am right, my pluralist interpretation provides an alternative, if not better, solution to the long-standing problem of “dual happiness” in Aristotle. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the (...) class='Hi'>standard interpretation assumes that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

The aim of the research is to identify the relationship between the performance criteria and the achievement of the objectives of supervision which is represented in the performance of the job at the Islamic University in Gaza Strip. To achieve the objectives of the research, the researchers used the descriptive analytical approach to collect information. The questionnaire consisted of (22) paragraphs distributed to three categories of employees of the Islamic University (senior management, faculty members, their assistants and members of the (...) administrative board). A random sample of 314 employees was selected, 276 responses were retrieved with a return rate of 88.1%. The SPSS program was used to enter, process, and analyze the data. The results of the study showed a positive relationship between the performance criteria and the achievement of the control objectives represented by the job performance in the Islamic University from the point of view of the members (senior management, faculty and their assistants and the administrative board). The researchers also recommended a number of recommendations, including the provision of an appropriate level of control system components today through the continuous updating and development of performance standards and the need to provide the necessary physical and financial resources to continue the development and achievement within the university. Expand the development of technology in the various activities of the university through the construction of a complete and integrated system to support the control systems in the university to suit its size. The researchers also recommended the follow-up, review of the performance standards and work to modify them in line with the mission of the university and the goals that the university seeks to reach. (shrink)

Uncertainty is recognized as a key issue in water resources research, amongst other sciences. Discussions of uncertainty typically focus on tools and techniques applied within an analysis, e.g. uncertainty quantification and model validation. But uncertainty is also addressed outside the analysis, in writing scientific publications. The language that authors use conveys their perspective of the role of uncertainty when interpreting a claim —what we call here “framing” the uncertainty. This article promotes awareness of uncertainty framing in four ways. 1) It (...) proposes a typology of eighteen uncertainty frames, addressing five questions about uncertainty. 2) It describes the context in which uncertainty framing occurs. This is an interdisciplinary topic, involving philosophy of science, science studies, linguistics, rhetoric, and argumentation. 3) We analyze the use of uncertainty frames in a sample of 177 abstracts from the Water Resources Research journal in 2015. This helped develop and tentatively verify the typology, and provides a snapshot of current practice. 4) Provocative recommendations promote adjustments for a more influential, dynamic science. Current practice in uncertainty framing might be described as carefully-considered incremental science. In addition to uncertainty quantification and degree of belief (present in ~5% of abstracts), uncertainty is addressed by a combination of limiting scope, deferring to further work (~25%) and indicating evidence is sufficient (~40%) – or uncertainty is completely ignored (~8%). There is a need for public debate within our discipline to decide in what context different uncertainty frames are appropriate. Uncertainty framing cannot remain a hidden practice evaluated only by lone reviewers. (shrink)

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein (...) and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. (shrink)

Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...) logically equivalent to the set of four atomic propositions: “Matthew wrote Greek”, “Mark wrote Greek”, “Luke wrote Greek”, and “John wrote Greek”. The universe of discourse is the set of evangelists. We presuppose standard first-order logic. -/- As many logic texts teach, the first of these two premise-conclusion arguments—sometimes called a complete enumerative induction— is invalid in the sense that its conclusion does not follow from its premises. To get a counterargument, replace ‘Matthew’, ‘Mark’, ‘Luke’, and ‘John’ by ‘two’,’four’, ‘six’ and ‘eight’; replace ‘wrote Greek’ by ‘are even’; and replace ‘evangelist’ by ‘number’. This replacement converts the first argument into one having true premises and false conclusion. -/- But the same replacement performed on the second argument does no such thing: it converts the second premise into the falsehood “Every number is two, four, six, or eight”. As many logic texts teach, there is no replacement that converts the second argument into one with all true premises and false conclusion. The second is valid; its conclusion is deducible from its two premises using an instructive natural deduction. -/- This paper “does the math” behind the above examples. The theorem could be stated informally: the above examples are typical. (shrink)

The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of (...) K, using a novel generalisation of the standard semantics. (shrink)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and (...) the propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

The impossibility theorem of Dekel, Lipman and Rustichini has been thought to demonstrate that standard state-space models cannot be used to represent unawareness. We first show that Dekel, Lipman and Rustichini do not establish this claim. We then distinguish three notions of awareness, and argue that although one of them may not be adequately modeled using standard state spaces, there is no reason to think that standard state spaces cannot provide models of the other two notions. In (...) fact, standard space models of these forms of awareness are attractively simple. They allow us to prove completeness and decidability results with ease, to carry over standard techniques from decision theory, and to add propositional quantifiers straightforwardly. (shrink)

Whereas there is extensive documentation that attribute framing influences the content of peoples thought, we generally know less about how it affects the processes assumed to precede those thoughts. While existing explanations for attribute framing effects rely completely on valence-based associative processing, the results obtained in the present study are also consistent with the notion that negative framing stimulates more effortful and thorough information processing than positive framing. Specifically, results from a simulated business decision-making experiment showed that decision makers receiving (...) negatively framed information had significantly better recall than those receiving positively framed information. Furthermore, decision makers in the negative framing condition were less confident than decision makers in the positively framed condition. Finally, compared to a no-framing condition, decision makers receiving positive framing deviated significantly more in evaluation than decision makers receiving negative framing did. (shrink)

There is a standard way of interpreting physicalism. This is as a completeness thesis of some kind. Completeness physicalists believe there is or in principle could be some future physics that provides a complete explanatory or ontological basis for our universe. And this provides a sense in which physics is special among the sciences, the sense in which it is fundamental. This paper contrasts this standard completeness physicalism with what is a more plausible maximality physicalism. (...) Maximality physicalists believe physics is special only in its providing an epistemic framework that is ontologically or explanatorily superior in some respect. This paper shows how completeness physicalists cannot, while maximality physicalists can, provide an adequate explanation of the empirical support for and the pragmatic usefulness of physicalism. It also shows how maximality physicalism is better supported in light of several developments from late twentieth century philosophy of science. (shrink)

The 'completeness of physics' is the key premise in the causal argument for physicalism. Standard formulations of it fail to rule out emergent downwards causation. I argue that it must do this if it is tare in a valid causal argument for physicalism. Drawing on the notion of conferring causal power, I formulate a suitable principle, 'strong completeness'. I investigate the metaphysical implications of distinguishing this principle from emergent downwards causation, and I argue that categoricalist accounts of (...) properties are better equipped to sustain the distinction than dispositional essentialist accounts. Finally, I argue that the additional evidence needed for strong completeness renders the causal argument otiose for any properties amenable to scientific reduction. (shrink)

We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that (...) it has the finite frame property and its satisfiability problem is in EXPTIME. All these results easily extend to temporal and other multi-modal logics. Finally, we show that there are modal formulas which are almost surely valid in the finite, yet fail in the countable random frame, and hence do not follow from the extension axioms. Therefore the analog of Fagin's transfer theorem for almost sure validity in first-order logic fails for modal logic. (shrink)

This article posits and defends an argument that a cosmopolitan common mind approach is essential for resolving global challenges that cannot be resolved by individuals working independently from one another, such as achieving global peace, cleaning the environment, and improving public health. A ‘cosmopolitan common mind’ refers to an intersubjective recognition across states, cultures, or continents. This argument of the cosmopolitan common mind is centred on Philip Pettit’s theory of the common mind and ethical cosmopolitanism. Pettit argues that a common (...) mind is a shared mind. The standard account of cosmopolitanism claims all human beings are members of the human community. This account is based on three key ideals: individualism, egalitarianism, and universalism. Cosmopolitanism considers individuals rather than nations or states, giving them equal moral status across the world without any discrimination. A cosmopolitan common mind can direct collective action across cultures or continents to resolve global problems. Terrorism and climate change are global problems that are not the products of individual actions but collective actions. For instance, pollution is created by many people working together. If people all together create pollution, they all together can stop it. The problems of establishing global peace and clean ecology are similar to preventing pollution because they are beyond the ability of any lone individual to solve. If it is not impossible, there is a need to develop a cosmopolitan common mind to acquire the common good. The research concludes that the cosmopolitan common mind approach can be a promising framework for resolving contemporary challenges. In qualitative research methodology, I use empirically informed philosophical analysis to critically evaluate documentary resources, including journal papers, academic books, and the proceedings of conferences and congresses. (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the axiom (...) of choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

Summary Giancarlo Trombini presents the continuation of his research on the question of which criteria can be used to assess the progress of therapy in an objectively verifiable way and to make the decision on the completion of therapy. In the first phase of his research, the phenomenological criterion of a qualitative change in the patient’s relations toward the positive and higher complexity was proposed for this purpose. In terms of the working method in analytic therapy, this meant concretely: attention (...) should be paid to what development is shown in the comparison of the relationships that occur in the dream narrative and in the subsequent associations. This criterion was therefore given the name manifest dream/association comparison (MDAC)—comparison between the manifest dream and the subsequent associations. The idea can easily be transferred to those therapy methods, which do not primarily work with reports of dream memories and subsequent associations—also, in other ways of working, it is possible to pay attention, in the way suggested by Trombini, to the qualitative development of the relationships which are thematized by the clients in the course of an hour. To this first criterion, another phenomenological criterion is now added in the present article: that of the “concluding therapeutic turn” (CTT). If the patient’s development reaches this turn in the course of the therapy in one session, this indicates, according to Trombini, that the therapy can soon be concluded. The fulfillment of this criterion can be recognized by the fact that in the sequence of dream narration and subsequent associations in a session, a relational dynamic toward the positive and higher complexity becomes recognizable and that is, at the same time, connected with a reconciliation of the three temporal reference systems (past, present, and future). The achievement of this CTT indicates that the patient is aware of the changes made in therapy and makes it evident to the therapist that the therapy is nearing completion. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

To relate theories of affordance and frame with the tradition of formal aesthetics, philosophical iconology and the life sciences (keyword Vitality Semiotics) is the starting point of the paper. According to this approach, the structural preconditions of images, as determined by materials, techniques and the composition of the design means, become essential. Through these structures, the producers are able to set impulses that become decisive for the interpretation of space and time or the "scene" as a dynamic event. Against (...) the social and cultural background of the recipients the "scene" gains a meaning to their life. This means to understand the productʼs conception and composition as an affordance which determines the framework of the reception conditions. The benefit of this approach lies in the identification of changes in the self-understanding and thus of trends in to new standards of societies. This is to be illustrated by Exekiasʼ drinking bowl around 540/30 BC in Munich. (shrink)

In this essay, we suggest practical ways to shift the framing of crisis standards of care toward disability justice. We elaborate on the vision statement provided in the 2010 Institute of Medicine (National Academy of Medicine) “Summary of Guidance for Establishing Crisis Standards of Care for Use in Disaster Situations,” which emphasizes fairness; equitable processes; community and provider engagement, education, and communication; and the rule of law. We argue that interpreting these elements through disability justice entails a commitment to both (...) distributive and recognitive justice. The disability rights movement's demand “Nothing about us, without us” requires substantive inclusion of disabled people in decision‐making related to their interests, including in crisis planning before, during, and after a pandemic like Covid‐19. (shrink)

Most artworks—or at least most among those standardly subject to philosophical scrutiny—appear to be singular, stand-alone works. However, some artworks (indeed, perhaps a good many) are by contrast best viewed in terms of some larger grouping or ordering of artworks. i.e., as a series. The operative art-theoretic notion of series in which I am interested here is that of an individual and distinct artwork that is itself non-trivially composed of a non-trivial sequence of artworks (e.g., Walter de Maria’s Statement Series, (...) Krzysztof Kieslowski’s Three Colors)—as opposed to an art-historically informative or art critically productive thematically, stylistically, or formally unified ordering or grouping of individual and distinct artworks within an artist’s larger body of work (e.g., Kiki Smith’s Blue Print series, Dan Flavin’s Monuments to V. Tatlin series, Jeff Koons’ Made in Heaven series, Robert Rauschenberg’s Tribute 21 series). Given this, my aim is simply to sketch a minimal descriptive and classificatory framework for serial art within which certain informative distinctions may be made and further philosophical enquiry may productively take place. (shrink)

Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity (QG), where novel empirical data is lacking. One principle widely adopted in the search for QG is UV completion: the idea that a theory should (formally) hold up to all possible high energies. We argue---/contra/ standard scientific practice---that UV-completion is poorly-motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. For this, we (...) explore the reasons for expecting, or desiring, a UV-complete theory, as well as analyse how UV completion is used, and how it should be used, in various specific approaches to QG. (shrink)

1000 time-travelers travel back in time, each with the intention of killing their own infant-self. If there is no branching time, then on pain of bringing about a logical contradiction, all must fail. But this seems inexplicable: what is to ensure that the time-travelers are stopped? For a time, this inexplicability objection was thought to provide evidence that there is something incoherent about the possibility of backwards time travel in a universe without branching time. There is now near-consensus, however, that (...) the objection has no bite: there is nothing inexplicable about the mass failure. Lewis, Sider and Ismael independently argue that since it is built into the description of the class of cases considered that the time-travelers must fail – and so we consider only unsuccessful attempts – there is no mystery. Smith argues that the absence of possible worlds at which auto-infanticide is committed suffices as a complete explanation for the failures. And Baron and Colyvan maintain that available causal and logical explanations jointly account for everything that needs accounting for. I argue that these are wrong. There is remaining, problematic inexplicability. For backwards time travel not to lead to logical contradiction, something would need to do logic’s bidding, after all. (shrink)

It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order (...) class='Hi'>completeness is concerned. In this short note we confirm that the missing axiom is derivable from his stated axioms and inference rules, and hence the logic system in the Begriffsschrift is indeed first-order complete. (shrink)

This thesis presents an interpretation of David Hume’s essay ‘Of the Standard of Taste’. The most distinguishing feature of this interpretation is the emphasis placed on the significance of Hume’s general philosophical position in a faithful reading of this philosophical classic. The success of this interpretation will show that Hume’s essay should be read as an integral part of his system of philosophy. There are three parts in this thesis. The first part is an overview of some key aspects (...) of Hume’s philosophy which are relevant to my interpretation. Unlike many contemporary philosophers in the analytic tradition, Hume is a systematic thinker. A faithful reading of his works should take his general philosophical framework seriously. Therefore, this overview of his system serves as the general background of the next two parts. The second part is a discussion of Hume’s aesthetic thought. More specifically, it provides an exposition of his view on beauty and judgements of beauty. This part completes the stage-setting for the development of my interpretation, by helping the reader form a more specific conceptual framework for understanding Hume’s essay. The third part develops an interpretation of ‘Of the Standard of Taste’ according to what has been provided in the previous two parts. It starts with an outline of the essay, which indicates Hume’s aim in writing it. After that, a few sections are devoted to some central elements of the essay. The last section of this part discusses four controversies concerning Hume’s essay. These discussions establish the strength of this interpretation, or at least, the fruitful prospect of an interpretative project that integrates Hume’s essay into his whole system. (shrink)

We have ignored for a century that the incompleteness of Quantum Theory (QT) is inseparable from the incompleteness of Special Relativity (RT). In this article, I claim that the latter has been gravely incomplete vis à vis the former from 1927 until today. But completing RT in the light of QT is not as simple as merely postulating nonlocality and stochasticity as “elements of reality” (which is de facto done by most physicists and pragmatic philosophers); otherwise, RT would not still (...) be in a “peaceful” conflict with QT after a century. Vice versa, I contend that QT is incomplete vis à vis RT, though not for the reasons claimed in the iconic EPR paper. We then show how to complete the Ontology, Foundation, and Structure of both RT and QT and merge them into an internally consistent embracive theory I call QR/TOPI. This theory offers a more cogent and simpler avenue to integrate RT with QT than positing exotic causal structures like ‘retrocausality’, ‘future-input dependence’, ‘superdeterminism’ – not to mention the extravagant ‘Many-Worlds’, ‘Many-Minds’, ‘Parallel-Lives’, and other interpretations of QT like Many-Histories, QBism, etc. -/- QR/TOPI provides the “radical conceptual renewal” wished by John Bell so as to integrate probability and nonlocality into an upgraded RT and, reciprocally, to integrate Frame-Invariance into QT while at the same time, as demanded by 2022 Nobel laureate Anton Zeilinger, providing basic physical meaning to the resulting encompassing theory. The old outcast notion of absolute simultaneity is resurrected without any conflict with Einstein’s relative simultaneity, while Frame-Invariance is preserved via our Quantumlike Transformation (QLT), which is an extension of the Lorentz Transformation (LT): QLT includes what LT excludes: nonlocality. -/- Section 1 examines the philosophical foundations of Space and Time, focusing on RT, its plethora of empirical validations, and the tenets which make it incompatible with QT. Section 2 incorporates stochasticity into RT. Sections 3 through 5 gradually introduce QR/TOPI for mono-, bi-, and tri-quanton systems, with full consideration of Bell Theorem, nonlocality, teleportation, and their implications. Section 6 attempts to review the current status quo. Section 7 makes the case for the incompleteness of RT and QT. Section 8 explains how to complete and integrate both theories so as to formally develop QR/TOPI. Finally, in Section 9, via multiple experimental setups, I zero in on Zeilinger’s basic question: “what does this really mean in a basic way?”. (shrink)

Though Einstein explained time dilation without recourse to a universal frame of reference, he erred by abolishing universal present moments. Relative simultaneity is insufficiently relativistic insofar as it depends on the absolute equality of reference frames in the measurement of the timing of events. Yet any given set of events privileges the frame in which the events take place. Relative to those events, the privileged frame yields the correct measurement of their timing while all other frames yield (...) an incorrect measurement. Instead of multiple frames occupying multiple times, one frame is correct and all others incorrect within a shared present moment. With the collapse of relative simultaneity, we may regard time as a succession of universal moments. Absolute simultaneity, in turn, explains why an accelerated inertial frame dilates in time rather than regressing to a prior moment relative to non-accelerated frames. In the context of flowing time, absolute simultaneity predicts time dilation while relative simultaneity predicts time regression. Einstein's explanation of time dilation is therefore incomplete. (shrink)

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

Failure of substitutivity of coreferential terms, one of the hallmarks of referential opacity, is standardly explained in terms of the presence of an expression (such as a verb of propositional attitude, a modal adverb or quotation marks) with opacity-inducing properties. It is thus assumed that any term in a complex expression for which substitutivity fails will be within the scope of an expression of one of these types, and that where there is an expression of one of these types there (...) will be failure of substitutivity for terms within its scope. I shall discuss a series of examples that have been thought to challenge this explanation by exhibiting failure of substitutivity of coreferential terms for positions not within the scope of any of the standard opacity-inducing expressions. If these examples are genuine, then the usual explanations of opacity are either incomplete – because there are sources of opacity other than those standardly identified, or completely mistaken – because the standardly identified expressions are not causes of opacity. I will argue, however, that the examples only exhibit failure of substitutivity of non-coreferential terms, and, hence, do not present a challenge to standard explanations of opacity. (shrink)

In this paper we distinguish between various kinds of doxastic theories. One distinction is between informal and formal doxastic theories. AGM-type theories of belief change are of the former kind, while Hintikka’s logic of knowledge and belief is of the latter. Then we distinguish between static theories that study the unchanging beliefs of a certain agent and dynamic theories that investigate not only the constraints that can reasonably be imposed on the doxastic states of a rational agent but also rationality (...) constraints on the changes of doxastic state that may occur in such agents. An additional distinction is that between non-introspective theories and introspective ones. Non-introspective theories investigate agents that have opinions about the external world but no higher-order opinions about their own doxasticnstates. Standard AGM-type theories as well as the currently existing versions of Segerberg’s dynamic doxastic logic (DDL) are non-introspective. Hintikka-style doxastic logic is of course introspective but it is a static theory. Thus, the challenge remains to devise doxastic theories that are both dynamic and introspective. We outline the semantics for truly introspective dynamic doxastic logic, i.e., a dynamic doxastic logic that allows us to describe agents who have both the ability to form higher-order beliefs and to reflect upon and change their minds about their own (higher-order) beliefs. This extension of DDL demands that we give up the Preservation condition on revision. We make some suggestions as to how such a non-preservative revision operation can be constructed. We also consider extending DDL with conditionals satisfying the Ramsey test and show that Gärdenfors’ well-known impossibility result applies to such a framework. Also in this case, Preservation has to be given up. (shrink)

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of (...) the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area. (shrink)

I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without (...) resorting to non-classical logics, or to non-normal or impossible worlds semantics. The framework combines, instead, a standard semantics for propositional S5 with a simple mereology of contents. (shrink)

Bermúdez argues for rational framing effects in the form of quasi-cyclical preferences. This is supposed to refute the extensionality principle in standard decision theory. In response, I argue that it is better to analyze seemingly quasi-cyclical preferences as ceteris paribus preferences. Furthermore, if frames are included as objects of choice, we can acknowledge rational framing effects without rejecting extensionality.

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)

Standard approaches to ontological simplicity focus either on the number of things or types a theory posits or on the number of fundamental things or types a theory posits. In this paper, I suggest a ground-theoretic approach that focuses on the number of something else. After getting clear on what this approach amounts to, I motivate it, defend it, and complete it.

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that (...) the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

A complete theory of the permissibility of sex must not only determine the permissibility of sex between typical adult humans. In addition, it must also adequately take into consideration sex acts involving non-human animals, children, and humans with intellectual disabilities. However, when trying to develop a non-discriminatory account that includes these beings, two worrying problems of animal sex arise. To surpass them, I argue for a reformulation of the standard theory. To produce a truly inclusive account our theory should (...) be focused on assent, dissent, the significance of sex, and the similarity of the beings engaging in the sex act. (shrink)

Trust can be thought of as a three place relation: A trusts B to do X. Trustworthiness has two components: competence (does the trustee have the relevant skills, knowledge and abilities to do X?) and willingness (is the trustee intending or aiming to do X?). This chapter is about the willingness component, and the different motivations that a trustee may have for fulfilling trust. The standard assumption in economics is that agents are self-regarding, maximizing their own consumption of goods (...) and services. This is too restrictive. In particular, people may be concerned with the outcomes of others, and they may be concerned to follow ethical principles. I distinguish weak trustworthiness, which places no restrictions on B’s motivation for doing X, from strong trustworthiness, where the behaviour must have a particular non-selfish motivation, in finance the fiduciary commitment to promote the interests of the truster. I discuss why strong trustworthiness may be more efficient and also normatively preferable to weak. In finance, there is asymmetric information between buyer and seller, which creates a need for trustworthy assessment of products. It also creates an ambiguity about whether the relationship is one of buyer and seller, governed by caveat emptor, or a fiduciary relationship of advisor and client. This means that there are two possible reasons why trust may be breached: because the trustee didn’t realise that the truster framed the relationship as a fiduciary one, or because the trustee did realise but actively sought to take advantage of the trust. Correspondingly, there are two possible types of agent: normal people who are not always self-regarding and who are trust responsive (if they believe that they are being trusted then they are likely to fulfill that trust), and knaves, after Hume’s character who is always motivated by his own private interest. We can increase the trustworthiness of normal people by getting them to re-frame the situation as one of trust, so they will be strongly trustworthy (i.e. change of institutional culture), and by providing non-monetary incentives (the correct choice of incentive will depend on exactly what their non-selfish motivation is). Knaves need sanctions, which can make them weakly trustworthy. However, this is a delicate balance because sanctions can crowd out normative frames. We can also increase the trustworthiness of financiers by making finance less attractive to knaves; changing the mix of types in finance could help support the necessary cultural change. (shrink)

We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.

Standard theories of rational decision making and rational preference embrace the idea that there is something special about the present. Standard decision theory, for example, demands that agents privilege the perspective of the present (i.e., the time of decision) in evaluating what to do. When forming preferences, most philosophers believe that a similar focus on the present is justified, at least in the sense that rationality requires or permits future experiences to be given more weight than past ones. (...) In this dissertation, I examine such theories in light of the expected success of the agents who follow them. In Chapters 2 and 3, I show that this bias toward the present is a liability: it tends to make agents less successful than they might otherwise be. I also show how these problems can be avoided: In the case of rational decision making, we must privilege the beginning rather than the present (what I call “inceptive maximization”). In the case of rational preferences, we must be completely temporally neutral. -/- In chapters 4 and 5 I introduce a larger framework in which to interpret these results. My core thesis is that practical rationality is a form of conditional reliability. Practically rational decisions, preferences, intentions, or other relevant factors reliably produce whatever we take to be of value, conditional on an agent’s beliefs. This focus on value-conduciveness is thus the analog of the focus on truth-conduciveness in reliability theories of epistemic norms. Like reliabilism in epistemology, I show that practical reliabilism is supported by a methodologically naturalistic approach to normativity. In this way and others, I argue that epistemic and practical reliabilism interconnect to create an overarching theory of normativity. (shrink)

The standard model of cosmology is acclaimed in physics as accurate, robust, well-tested, our best scientific theory of the cosmos, but it has had serious anomalies for a while, including the Hubble tension, anomalous galaxies, and the completely unexplained nature of dark energy and dark matter. And lurking behind it all is the lack of a unified theory: General Relativity (GR) and quantum mechanics (QM) are inconsistent. Now startling new observations by the James Webb Space Telescope (JWST) in 2022 (...) of the early universe present the strongest challenge yet to the standard model, and whispers have started that this shows there is something wrong with the fundamental theory, General Relativity itself. This would be a crisis for cosmology. But haven’t they tested this theory already, and shown it is correct? How could it turn out wrong at this late stage? Here we compare the standard cosmology with an alternative fundamental theory, that has a strikingly different overall cosmological behavior: a simple cyclic expansion function. It is simple and deterministic. There are only two or three general parameters. The interesting result is that this alternative cosmology: (A) closely matches the expansion observed and modelled through the CDM standard model, now going back to red-shifts of 5-15; and (B) it also predicts unexpected early galaxy formation now being reported by the JWST. The point here is not to try to prove this alternative theory however, but rather show how it compares to the conventional cosmology. This show us clearly how weak the empirical evidence for the standard model really is against a counterfactual fundamental theory. Some results established in science are robust against theory change, but we find the standard cosmological model and the implications drawn from it are not robust at all. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)