We give a novel approach to proving soundness and completeness for a logic (henceforth: the object-logic) that bypasses truth-in-a-model to work directly with validity. Instead of working with specific worlds in specific models, we reason with eigenworlds (i.e., generic representatives of worlds) in an arbitrary model. This reasoning is captured by a sequent calculus for a _meta_-logic (in this case, first-order classical logic) expressive enough to capture the semantics of the object-logic. Essentially, one has a calculus of validity for the (...) object-logic. The method proceeds through the perspective of reductive logic (as opposed to the more traditional paradigm of deductive logic), using the space of reductions as a medium for showing the behavioural equivalence of reduction in the sequent calculus for the object-logic and in the validity calculus. Rather than study the technique in general, we illustrate it for the logic of Bunched Implications (BI), thus IPL and MILL (without negation) are also treated. Intuitively, BI is the free combination of intuitionistic propositional logic and multiplicative intuitionistic linear logic, which renders its meta-theory is quite complex. The literature on BI contains many similar, but ultimately different, algebraic structures and satisfaction relations that either capture only fragments of the logic (albeit large ones) or have complex clauses for certain connectives (e.g., Beth’s clause for disjunction instead of Kripke’s). It is this complexity that motivates us to use BI as a case-study for this approach to semantics. (shrink)

This completes what I think one may state and defend on physical grounds concerning the foundations of Astrology and the coming year 1602. If those learned in matters of Physics think them worthy of consideration, and communicate to me their objections to them, for the sake of eliciting the truth, I shall, if God grants me the skill, reply to them in my prognostication for the following year. I urge all who make a serious study of philosophy to engage in (...) this contest. For it concerns our worship of God and the welfare of the human race. Meanwhile, I pray from the depths of my soul, through Christ our mediator, that for all and for each the coming year may be a very happy one. (shrink)

We demonstrate how different normalization techniques in GC‐MS analysis impart unique properties to the data, influencing any biological inference. Using simulations, and empirical data, we compare the most commonly used techniques (Total Sum Normalization ‘TSN’; Median Normalization ‘MN’; Probabilistic Quotient Normalization ‘PQN’; Internal Standard Normalization ‘ISN’; External Standard Normalization ‘ESN’; and a compositional data approach ‘CODA’). When differences between biological classes are pronounced, ESN and ISN provides good results, but are less reliable for more subtly differentiated groups. MN, TSN, and (...) CODA approaches produced variable results dependent on the structure of the data, and are prone to false positive biomarker identification. In contrast, PQN exhibits the lowest false positive rate, though with occasionally poor model performance. Because ESN requires extensive pre‐planning, and offers only mixed reliability, and ISN, TSN, MN, and CODA approaches are prone to introducing artefactual differences, we recommend the use of PQN in GC–MS research. (shrink)

In Cratylus 385 b-c Plato argues that if statements () can be true or false, names (),2 as parts () of statements, are also capable of being true or false. From Aristotle onwards this view has often been challenged,3 and R. Robinson put the case against it trenchantly when he wrote:4This argument is bad; for names have no truth-value, and the reason given for saying that they do is a fallacy of division. No one in the dialogue points out that (...) it is bad. … Nevertheless it is fairly probable that Plato saw or at least felt that it is a bad argument, quite different in quality from those he later produces against the nature-theory. (shrink)

The paper discusses the philosophical and historical doctrine of the Russian philosopher and historian George Petrovich Fedotov. The author focuses on the analysis of imperial issues in the works of G.P. Fedotov, especially of his views on the cultural history of the Russian empire and the essence of imperial project in Russia. Fedotov reconsiders the historical experience and revolutionary catastrophe of Russia and searches for the foundations of the social and cultural processes determining the events of Russian history. Fedotov’s works (...) offer a variety of interpretations of the political and cultural phenomenon of empire. This reflects his evolution as a philosopher of history: the focus of his vision shifts from the Medieval Rus to the Empire of Peter the Great, then to the collapsed empire of Nicholas II and finally to the USSR. Fedotov’s concept of Empire evolves into a timeless cultural-philosophical phenomenon but originates from the historical description of the centralization of power in the feudal monarchy of Ivan the Terrible. The evolution of the philosophical and historical views of Fedotov is influenced by the changes of his attitude to the historical conception of Klyuchevsky. In the 1940s Fedotov considers the empire as a universal idea. The concept of empire proposed by Fedotov gives an understanding of the Russian historical development, especially the causes of the decline and fall of the Russian Empire. Fedotov associates the cause of the salvation of Russia with the study of ancient Russian culture, in which he founds a moral and political ideal of the “Republic of Saint Sophia.” The paper shows heuristic potential of Fedotov’s cultural and philosophical ideas on the vocation of spiritual elite and the creative role of personality in the process of nation-building. (shrink)

In the paper, the multilevel concept of methodology of science is reviewed. The author distinguishes five levels in the methodology of science. These levels vary in degree of generality and the nature of the relationship with philosophy. The first, most general level of the methodology of ways of learning of the studies on the application of science to philosophical methods such as dialectical and metaphysical. The doctrine of general scientific ways of knowing is the second, less common level of methodology (...) of science. The essence of scientific methods is studied at this level, given their theoretical rationale. There are heuristic dignity, epistemological possibilities, and the boundaries of applicability are identified. The third level of the methodology of science is the study of the system of general scientific ways of learning applied in any basic science. In addition to knowledge of the essence of these methods for the researcher requires knowledge of the basic problems of this science. The fourth level of the methodology of science is the study of the system of general scientific ways of learning and epistemological problems in any basic science. The fifth level of the methodology of science are the problems of narrower plan. This study questions the use of certain, specific methods of scientific learning. Thus, the methodology of science is complex and has a complicated structure. The two most general level the methodology are philosophical, the next two are common to philosophy and science, the fifth level is of a specifically scientific nature. (shrink)

The pregnant phrasefatale monstrumcomes at a crucial point in the third and longest of the three sentences of the ‘Cleopatra Ode’. Before it Cleopatra is being hissed from the stage of history with cries of disapproval; after it she is recalled to receive plaudit after plaudit for her courage and resolution. The phrase is emphasized by its position at the start of a stanza followed by a marked pause. Prima facie it is the climax of the vituperation, and has often (...) so been taken. T. E. Page, for example, comments: ‘Horace speaks of Cleopatra as not human, but a hideous and portentous creature sent by destiny to cause horror and alarm.’. (shrink)

Tuberculosis (TB) is a potentially fatal infectious disease that, in Aotearoa New Zealand (NZ), inequitably affects Asian, Pacific, Middle Eastern, Latin American, and African (MELAA), and Māori people. Medical research involving genome sequencing of TB samples enables more nuanced understanding of disease strains and their transmission. This could inform highly specific health interventions. However, the collection and management of TB isolate samples for research are currently informed by monocultural biomedical models often lacking key ethical considerations. Drawing on a qualitative kaupapa (...) Māori–consistent study, this paper reports on preliminary discussions with groups of Māori, Pacific, and Afghan people in NZ, whose communities have been harmed by TB and TB stigma. Participants’ discussions highlight key concerns and meanings that ought to inform the development of guidelines and a more robust consultative process for the governance of how TB isolate samples are collected and used both retrospectively and in future research. We argue for ethical processes to be culturally nuanced and community-generated, flexible and meaningful, and situated in relation to the physical and symbolic effects of TB. We discuss the significance of Indigenous data sovereignty, rights, and kāwanatanga (governorship) in shaping a multicultural data sovereignty model. (shrink)

The double slit experiment for a massive scalar particle is described using intuitionistic logic with quantum real numbers as the numerical values of the particle's position and momentum. The model assigns physical reality to single quantum particles. Its truth values are given open subsets of state space interpreted as the ontological conditions of a particle. Each condition determines quantum real number values for all the particle's attributes. Questions, unanswerable in the standard theories, concerning the behaviour of single particles in the (...) experiment are answered. (shrink)

A pure significance test would check the agreement of a statistical model with the observed data even when no alternative model was available. The paper proposes the use of a modified p -value to make such a test. The model will be rejected if something surprising is observed. It is shown that the relation between this measure of surprise and the surprise indices of Weaver and Good is similar to the relationship between a p -value, a corresponding odds-ratio, and a (...) logit or log-odds statistic. The s -value is always larger than the corresponding p -value, and is not uniformly distributed. Difficulties with the whole approach are discussed. (shrink)

Union with Christ was a key doctrine for second-generation Reformed theologian Girolamo Zanchi. As a Thomist, Zanchi shared similar elements with Thomas Aquinas in his understanding of salvation as participatio, but his understanding of union with Christ differed with regard to the difference between infused and imputed righteousness. Unlike Aquinas’s doctrine of infused righteousness, Zanchi argued for imputed righteousness, which was both the foundation for one’s justification in this life as well as appearing before the divine bar at the final (...) judgment. Zanchi’s doctrine of union with Christ has the utmost significance for personal eschatology and the judgment believers undergo at the great assize, insights that are worth retrieving for a clear understanding of the relationship between justification and the final judgement. (shrink)

There is still some confusion over the literary evidence for the methods by which children and others learnt to write in the ancient world. There are four main sources: the analogy between the methods of thegrammatistesand the function of the laws in Plato,Protagoras326c–d, three passages in Quintilian, a passage from one of Seneca's letters and a short analogy in Maximus of Tyre.

The aim of this investigation is to discuss the merits of the three radically divergent views as to the nature and function of the categories held by Kant, Ward and Alexander.