This paper addresses the field of economic measurements of the value of assets, carried out by the methods of independent expert evaluation. The mathematical principles of application, within a comparative methodical approach, of additive and multiplicative models for correcting the cost of single indicator of compared objects have been considered. The differences of mathematical basis of the compared models were analyzed. It has been shown that the ambiguity in the methodology of correction procedure requires studying the advantages and disadvantages of (...) known models, as well as the justification and elaboration of recommendations for their application. Possible forms of correction representation using several alternative units of measurement have been defined; formulas for their interconnection have been built. Analytic expressions have been derived that mathematically describe the algorithms for performing the evaluation correction procedure using various forms of correction representation. The influence of the correction execution model on the characteristics of uncertainty in the independent evaluation result has been analyzed. The scope of two possible types of correction introduction models has been determined. A specific numerical example was used to demonstrate the methodological advantages of using a multiplicative model when summarizing percentage corrections. The independence of the correction result on the sequence of correction introduction has been confirmed. It is proposed to use the selected measure of partial corrections as a criterion for the adequacy of the correction introduction model. It is proved that the result of the independent expert evaluation depends on the chosen model and does not depend on the sequence of correction introduction. The reported study results are important in terms of theory and practice since they make it possible to improve the accuracy and reliability of the result of independent expert evaluation. (shrink)

Levins and Lewontin have contributed significantly to our philosophical understanding of the structures, processes, and purposes of biological mathematical theorizing and modeling. Here I explore their separate and joint pleas to avoid making abstract and ideal scientific models ontologically independent by confusing or conflating our scientific models and the world. I differentiate two views of theorizing and modeling, orthodox and dialectical, in order to examine Levins and Lewontin’s, among others, advocacy of the latter view. I compare the positions of these (...) two views with respect to four points regarding ontological assumptions: (1) the origin of ontological assumptions, (2) the relation of such assumptions to the formal models of the same theory, (3) their use in integrating and negotiating different formal models of distinct theories, and (4) their employment in explanatory activity. Dialectical is here used in both its Hegelian–Marxist sense of opposition and tension between alternative positions and in its Platonic sense of dialogue between advocates of distinct theories. I investigate three case studies, from Levins and Lewontin as well as from a recent paper of mine, that show the relevance and power of the dialectical understanding of theorizing and modeling. (shrink)

This paper presents the unification of all knowledge and the framework of all sciences, so it goes the theory of consciousness, the method to measure consciousness, and the three keys of the Strong AI. “Logicality and non-absoluteness” is found out to be the intrinsicality of nature, so the “Fundamental Law of Nature” is discovered. Then, the “general methodology of research” and the “model system of nature” are developed to explain everything, especially consciousness. The Coupling Theory of Consciousness tells that (...) nature has the MFEs (More Fundamental Element) that couple to show as material and consciousness, and the brain has a CNS (central nervous system)-independent consciousness system that couples to give off the consciousness signals, with their three excitation levels to show as memory, sub-consciousness, and subjective consciousness. As consciousness is not from neurons, the method to measure consciousness via NCC (neural correlates of consciousness) is to find out participants with the same kinds of consciousness systems. And make them to produce paralleled “conscious information processes” to filtrate out the “noise” neural activities, to obtain the “real” NCC data. Examining the property of consciousness may advance not only neuroscience and physics, but also cognitive science and AI technology. First, the “conscious information processing” model has shown that the Strong AI should process the beyond-domain concepts with a self-controlled intention, second, as the “general methodology of research” is just the other name of the “principle of cognition”, we have already known the running style of the Strong AI. Hopefully, we could develop the Strong AI technology to upgrade human civilization very soon. (shrink)

Conditional independence tests have received special attention lately in machine learning and computational intelligence related literature as an important indicator of the relationship among the variables used by their models. In the field of probabilistic graphical models, which includes Bayesian network models, conditional independence tests are especially important for the task of learning the probabilistic graphical model structure from data. In this paper, we propose the full Bayesian significance test for tests of conditional independence for discrete (...) datasets. The full Bayesian significance test is a powerful Bayesian test for precise hypothesis, as an alternative to the frequentist’s significance tests (characterized by the calculation of the p-value). (shrink)

In the latter half of the twentieth century, philosophers of science have argued (implicitly and explicitly) that epistemically rational individuals might compose epistemically irrational groups and that, conversely, epistemically rational groups might be composed of epistemically irrational individuals. We call the conjunction of these two claims the Independence Thesis, as they together imply that methodological prescriptions for scientific communities and those for individual scientists might be logically independent of one another. We develop a formal model of scientific inquiry, (...) define four criteria for individual and group epistemic rationality, and then prove that the four definitions diverge, in the sense that individuals will be judged rational when groups are not and vice versa. We conclude by explaining implications of the inconsistency thesis for (i) descriptive history and sociology of science and (ii) normative prescriptions for scientific communities. (shrink)

In cognitive science, the concept of dissociation has been central to the functional individuation and decomposition of cognitive systems. Setting aside debates about the legitimacy of inferring the existence of dissociable systems from ‘behavioural’ dissociation data, the main idea behind the dissociation approach is that two cognitive systems are dissociable, and thus viewed as distinct, if each can be damaged, or impaired, without affecting the other system’s functions. In this article, I propose a notion of functional independence that does (...) not require dissociability, and describe an approach to the functional decomposition and modelling of cognitive systems that complements the dissociation approach. I show that highly integrated cognitive and neurocognitive systems can be decomposed into non-dissociable but functionally independent components, and argue that this approach can provide a general account of cognitive specialization in terms of a stable structure–function relationship. 1 Introduction2 Functional Independence without Dissociability3 FI Systems and Cognitive Architecture4 FI Systems and Cognitive Specialization. (shrink)

The value of optimality modeling has long been a source of contention amongst population biologists. Here I present a view of the optimality approach as at once playing a crucial explanatory role and yet also depending on external sources of confirmation. Optimality models are not alone in facing this tension between their explanatory value and their dependence on other approaches; I suspect that the scenario is quite common in science. This investigation of the optimality approach thus serves as a case (...) study, on the basis of which I suggest that there is a widely felt tension in science between explanatory independence and broad epistemic interdependence, and that this tension influences scientific methodology. (shrink)

We introduce an independence notion for choice functions, which we call ‘epistemic independence’ following the work by De Cooman et al. [17] for lower previsions, and study it in a multivariate setting. This work is a continuation of earlier work of one of the authors [29], and our results build on the characterization of choice functions in terms of sets of binary preferences recently established by De Bock and De Cooman [11]. We obtain the many-to-one independent natural extension (...) in this framework. Given the generality of choice functions, our expression for the independent natural extension is the most general one we are aware of, and we show how it implies the independent natural extension for sets of desirable gambles, and therefore also for less expressive imprecise-probabilistic models. Once this is in place, we compare this concept of epistemic independence to another independence concept for choice functions proposed by Seidenfeld [28], which De Bock and De Cooman [2] have called S-independence. We show that neither is more general than the other. (shrink)

Under the independence and competence assumptions of Condorcet’s classical jury model, the probability of a correct majority decision converges to certainty as the jury size increases, a seemingly unrealistic result. Using Bayesian networks, we argue that the model’s independence assumption requires that the state of the world (guilty or not guilty) is the latest common cause of all jurors’ votes. But often – arguably in all courtroom cases and in many expert panels – the latest such (...) common cause is a shared ‘body of evidence’ observed by the jurors. In the corresponding Bayesian network, the votes are direct descendants not of the state of the world, but of the body of evidence, which in turn is a direct descendant of the state of the world. We develop a model of jury decisions based on this Bayesian network. Our model permits the possibility of misleading evidence, even for a maximally competent observer, which cannot easily be accommodated in the classical model. We prove that (i) the probability of a correct majority verdict converges to the probability that the body of evidence is not misleading, a value typically below 1; (ii) depending on the required threshold of ‘no reasonable doubt’, it may be impossible, even in an arbitrarily large jury, to establish guilt of a defendant ‘beyond any reasonable doubt’. (shrink)

Bayesian models of legal arguments generally aim to produce a single integrated model, combining each of the legal arguments under consideration. This combined approach implicitly assumes that variables and their relationships can be represented without any contradiction or misalignment, and in a way that makes sense with respect to the competing argument narratives. This paper describes a novel approach to compare and ‘average’ Bayesian models of legal arguments that have been built independently and with no attempt to make them (...) consistent in terms of variables, causal assumptions or parameterization. The approach involves assessing whether competing models of legal arguments are explained or predict facts uncovered before or during the trial process. Those models that are more heavily disconfirmed by the facts are given lower weight, as model plausibility measures, in the Bayesian model comparison and averaging framework adopted. In this way a plurality of arguments is allowed yet a single judgement based on all arguments is possible and rational. (shrink)

We investigate epistemic independence for choice functions in a multivariate setting. This work is a continuation of earlier work of one of the authors [23], and our results build on the characterization of choice functions in terms of sets of binary preferences recently established by De Bock and De Cooman [7]. We obtain the independent natural extension in this framework. Given the generality of choice functions, our expression for the independent natural extension is the most general one we are (...) aware of, and we show how it implies the independent natural extension for sets of desirable gambles, and therefore also for less informative imprecise-probabilistic models. Once this is in place, we compare this concept of epistemic independence to another independence concept for choice functions proposed by Seidenfeld [22], which De Bock and De Cooman [1] have called S-independence. We show that neither is more general than the other. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, (...) theories, and (bottom-up) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (shrink)

Rawls in his later philosophy claims that it is sufficient to accept political conception as true or right, depending on what one's worldview allows, on the basis of whatever reasons one can muster, given one's worldview (doctrine). What political liberalism is interested in is a practical agreement on the political conception and not in our reasons for accepting it. There are deep issues (regarding deep values, purpose of life, metaphysics etc.) which cannot be resolved through invoking common reasons (this is (...) the fact of free reason itself), and trying to resolve them would involve us in interminable debates and would hamper the practical task of agreement on the political conception. Given the absolute necessity of a political society which is stable and enduring, it is thus wise to avoid these issues in founding a political society and choosing its basic principles - this is the pragmatic part of Rawls's position. In this paper I argue that this strategy leads Rawls into a paradox: (i) although the intention is to stay independent of comprehensive doctrines, the political conception is in fact totally (and precariously) dependent on comprehensive doctrines (not just on one doctrine but on each and every major doctrine in society). It is dependent on them: for its conceptualisation as an independent idea, for its justification, for the check of its reasonability in relation to the external world, for the formation of identities and value inculcation and hence for the formation of its model citizen; (ii) the very search for independence makes the political conception more dependent on comprehensive doctrines, and by extension makes it potentially more prone to intervention in and tampering with comprehensive doctrines (it is enough to show that it is a strong conceptual possibility to cast doubt on the whole strategy). Thus, for example, the political conception relies on the hope that “firmly held convictions gradually change” and that it would “in fact . . . have the capacity to shape those doctrines toward itself”. The purpose of the Rawlsian conjecture is to give these “hopes” a concrete, practical form by giving advice to proponents of the comprehensive doctrine on how they can do all this and “try to show them that, despite what they might think, they can still endorse a reasonable political conception”. I further argue that this paradox can be overcome by making the core of political liberalism more flexible. (shrink)

Autonomist accounts of cognitive science suggest that cognitive model building and theory construction (can or should) proceed independently of findings in neuroscience. Common functionalist justifications of autonomy rely on there being relatively few constraints between neural structure and cognitive function (e.g., Weiskopf, 2011). In contrast, an integrative mechanistic perspective stresses the mutual constraining of structure and function (e.g., Piccinini & Craver, 2011; Povich, 2015). In this paper, I show how model-based cognitive neuroscience (MBCN) epitomizes the integrative mechanistic perspective (...) and concentrates the most revolutionary elements of the cognitive neuroscience revolution (Boone & Piccinini, 2016). I also show how the prominent subset account of functional realization supports the integrative mechanistic perspective I take on MBCN and use it to clarify the intralevel and interlevel components of integration. (shrink)

This paper introduces and defends a new principle for when a structural equation model is apt for analyzing actual causation. Any such analysis in terms of these models has two components: a recipe for reading claims of actual causation off an apt model, and an articulation of what makes a model apt. The primary focus in the literature has been on the first component. But the problem of structural isomorphs has made the second especially pressing (Hall 2007; (...) Hitchcock 2007a). Those with realist sympathies have reason to resist the standard response to this problem, which introduces a normative parameter into the metaphysics (Hall 2007; Halpern and Hitchcock 2010, 2015; Halpern 2016a; Menzies 2017; Gallow 2021). However, the only alternative solution in the literature leaves central questions unanswered (Blanchard and Schaffer 2017). I propose an independently motivated aptness requirement, Evident Mediation, that provides the missing details and resolves the structural isomorph problem without need for a normative parameter. (shrink)

A first-order theory T has the Independence Property provided deduction of a statement of type (quantifiers) (P -> (P1 or P2 or .. or Pn)) in T implies that (quantifiers) (P -> Pi) can be deduced in T for some i, 1 <= i <= n). Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first-order theory has the Independence Property for the class of basic formulas (...) provided it can be axiomatized with Horn sentences. The existence of free models is a useful intermediate result. The independence Property is also a tool to decide that a sentence cannot be deduced. We illustrate this with the case of the classical Caratheodory theorem for Pasch-Peano geometries. (shrink)

Non-epistemic values pervade climate modelling, as is now well documented and widely discussed in the philosophy of climate science. Recently, Parker and Winsberg have drawn attention to what can be termed “epistemic inequality”: this is the risk that climate models might more accurately represent the future climates of the geographical regions prioritised by the values of the modellers. In this paper, we promote value management as a way of overcoming epistemic inequality. We argue that value management can be seriously considered (...) as soon as the value-free ideal and inductive risk arguments commonly used to frame the discussions of value influence in climate science are replaced by alternative social accounts of objectivity. We consider objectivity in Longino's sense as well as strong objectivity in Harding's sense to be relevant options here, because they offer concrete proposals that can guide scientific practice in evaluating and designing so-called multi-model ensembles and, in fine, improve their capacity to quantify and express uncertainty in climate projections. (shrink)

Concerns over epistemic opacity abound in contemporary debates on Artificial Intelligence (AI). However, it is not always clear to what extent these concerns refer to the same set of problems. We can observe, first, that the terms 'transparency' and 'opacity' are used either in reference to the computational elements of an AI model or to the models to which they pertain. Second, opacity and transparency might either be understood to refer to the properties of AI systems or to the (...) epistemic situation of human agents with respect to these systems. While these diagnoses are independently discussed in the literature, juxtaposing them and exploring possible interrelations will help to get a view of the relevant distinctions between conceptions of opacity and their empirical bearing. In pursuit of this aim, two pertinent conditions affecting computer models in general and contemporary AI in particular are outlined and discussed: opacity as a problem of computational tractability and opacity as a problem of the universality of the computational method. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms (...) of ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

The Global Financial Crisis of 2007–2009 exacerbated two distinct concerns about the independence of central banks: a concern about legitimacy and a concern about economic justice. This paper explores the legitimacy of independent central banks from the perspective of these two concerns, by presenting two distinct models of central banking and their different claims to political legitimacy and distributive justice. I argue primarily that we should avoid construing central bank independence in binary terms, such that central banks either (...) are, or are not, independent. I will argue that we should instead construe central bank independence in scalar terms, so that independence admits of degree, thus allowing us to develop an account of independence in which central banks can retain it to the extent necessary for economic efficiency, while meeting reasonable concerns regarding democratic legitimacy and economic justice. (shrink)

The early modern distinction between primary and secondary qualities continues to have a significant impact on the debate about the nature of color. An aspect of this distinction that is still influential is the idea that the mind-independence of color requires that it is a primary quality. Thus, using shape as a paradigm example of a primary quality, a longstanding strategy for determining whether color is mind-independent is to consider whether it is sufficiently similar to shape to be a (...) primary quality. However, I’ll argue that the idea that the mind-independence of color requires that it is a primary quality is mistaken, and that, to the contrary, while color is not a primary quality, it is mind-independent. I’ll propose an alternative understanding of what the mind-independence of color requires. This alternative models color perception on an information filter. According to this model, mental qualities that I’ll call media qualities are involved in color perception. The involvement of mental qualities suggests mind-independence. However, I’ll argue, their involvement is modeled after the qualities of a kind of filter that provides access to, but does not constitute, filtered qualities. (shrink)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...) se face significant independent moral objections (Pereboom 2014: 153). Despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular incapacitation, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s (2001, 2013, 2014), taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health-quarantine model (Caruso 2016, 2017a)—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own since it prioritizes prevention and social justice. -/- In Section 1, I begin by (very) briefly summarizing my arguments against free will and basic desert moral responsibility. In Section 2, I then introduce and defend my public health-quarantine model, which is a non-retributive alternative to criminal punishment that prioritizes prevention and social justice. In Sections 3 and 4, I take up and respond to two general objections to the public health-quarantine model. Since objections by Michael Corrado (2016), John Lemos (2016), Saul Smilanksy (2011, 2017), and Victor Tadros (2017) have been addressed in detail elsewhere (see Pereboom 2017a; Pereboom and Caruso 2018), I will here focus on objections that have not yet been addressed. In particular, I will respond to concerns about proportionality, human dignity, and victims’ rights. I will argue that each of these concerns can be met and that in the end the public health-quarantine model offers a superior alternative to retributive punishment and other non-retributive accounts. (shrink)

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘Geometric (...) Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

This paper traces how media representations encouraged enthusiasts, youth and skilled volunteers to participate actively in science and technology during the twentieth century. It assesses how distinctive discourses about scientific amateurs positioned them with respect to professionals in shifting political and cultural environments. In particular, the account assesses the seminal role of a periodical, Scientific American magazine, in shaping and championing an enduring vision of autonomous scientific enthusiasms. Between the 1920s and 1970s, editors Albert G. Ingalls and Clair L. Stong (...) shepherded generations of adult ‘amateur scientists’. Their columns and books popularized a vision of independent nonprofessional research that celebrated the frugal ingenuity and skills of inveterate tinkerers. Some of these attributes have found more recent expression in present-day ‘maker culture’. The topic consequently is relevant to the historiography of scientific practice, science popularization and science education. Its focus on independent nonprofessionals highlights political dimensions of agency and autonomy that have often been implicit for such historical (and contemporary) actors. The paper argues that the Scientific American template of adult scientific amateurism contrasted with other representations: those promoted by earlier periodicals and by a science education organization, Science Service, and by the national demands for recruiting scientific labour during and after the Second World War. The evidence indicates that advocates of the alternative models had distinctive goals and adapted their narrative tactics to reach their intended audiences, which typically were conceived as young persons requiring instruction or mentoring. By contrast, the monthly Scientific American columns established a long-lived and stable image of the independent lay scientist. (shrink)

This work examines the development and performance of federal independent regulatory bodies in Canada in the period up to 1979, with particular attention to the operation of legislative schemes that include executive review and appeal powers. The author assesses the impact of the exercise of these powers on the administrative law process, and proposes new models for the generation, interpretation, implementation, review, and enforcement of regulatory policy. The study includes a series of representative case studies based on documentation and extensive (...) interviews with individuals drawn from government, agencies, and other parties, including counsel for public interest groups. This enables author, writing from her experience as a participant-observer embedded in the public interest legal sector, to draw on the experiences and perspectives of a broad range of participants in the regulatory process, including but not limited to those dealing with the regulated energy, transportation, communications, and foreign investment sectors. Legal principles identified as emergent in leading judicial decisions in administrative law are used to assess the powers and practices used in executive reviews and appeals. The author finds those powers and practices to be flawed and proposes changes. The proposed models are designed to accord with emerging legal principles and avoid flaws of the types identified in the review and appeal provisions. This work, written under contract with the Administrative Law Project of the Law Reform Commission of Canada, formed one part of a comprehensive study of administrative law at the federal level in Canada. (shrink)

A growing body of recent work in informal logic investigates the process of argumentation. Among other things, this work focuses on the ways in which individuals attempt to understand written or verbalised arguments in light of the fact that these are often presented in forms that are incomplete and unmarked. One of its aims is to develop general procedures for natural language argument recognition and reconstruction. Our aim here is to draw on this growing body of knowledge in informal logic (...) in order to take preliminary steps towards developing an architecture for computer systems that are able to recognise and reconstruct natural language arguments. This architecture aims to structure research of an applied and computational nature that strives to implement linguistic systems of various sorts, and to analyse problems in a way that both yields manageable and relatively independent components and also highlights how implementations can interact with existing resources from natural language processing. (shrink)

The theory of imperatives is philosophically relevant since in building it — some of the long standing problems need to be addressed, and presumably some new ones are waiting to be discovered. The relevance of the theory of imperatives for philosophical research is remarkable, but usually recognized only within the field of practical philosophy. Nevertheless, the emphasis can be put on problems of theoretical philosophy. Proper understanding of imperatives is likely to raise doubts about some of our deeply entrenched and (...) tacit presumptions. In philosophy of language it is the presumption that declaratives provide the paradigm for sentence form; in philosophy of science it is the belief that theory construction is independent from the language practice, in logic it is the conviction that logical meaning relations are constituted out of logical terminology, in ontology it is the view that language use is free from ontological commitments. The list is not exhaustive; it includes only those presumptions that this paper concerns. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The potential for Large Language Models (LLMs) to attain technological singularity—the point at which artificial intelligence (AI) surpasses human intellect and autonomously improves itself—is a critical concern in AI research. This paper explores the feasibility of current LLMs achieving singularity by examining the philosophical and practical requirements for such a development. We begin with a historical overview of AI and intelligence amplification, tracing the evolution of LLMs from their origins to state-of-the-art models. We then proposes a theoretical framework to assess (...) whether existing LLM technologies could satisfy the conditions for singularity, with a focus on Recursive Self-Improvement (RSI) and autonomous code generation. We integrate key component technologies, such as Reinforcement Learning from Human Feedback (RLHF) and Direct Preference Optimization (DPO), into our analysis, illustrating how these could enable LLMs to independently enhance their reasoning and problem-solving capabilities. By mapping out a potential singularity model lifecycle and examining the dynamics of exponential growth models, we elucidate the conditions under which LLMs might self-replicate and rapidly escalate their intelligence. We conclude with a discussion of the ethical and safety implications of such developments, underscoring the need for responsible and controlled advancement in AI research to mitigate existential risks. Our work aims to contribute to the ongoing dialogue on the future of AI and the critical importance of proactive measures to ensure its beneficial development. (shrink)

In the introduction I argue that the basic element (or primitive) for constructing the physical universe is "displacement from a prior level", and the basic structure is "a sequence of such displacements" (summarized as postulates 1 and 2). The displacements are then defined as one-dimensional objects with a direction (postulate 3). The relations between these displacements are stated in postulate 4. In section 2 we discuss basic consequences of the postulates, and in section 3 we use the postulates to derive (...) a (3+1)-dimensional structure, interpreted as ordinary space and time. We then derive further properties of space --- isotropy, homogeneity, and a rapid early expansion (i.e. inflation). Time, comporting with experience, is shown to be a one-dimensional stream --- with a direction. In section 4 we associate energy with the displacements, and find that the same factors that construct ordinary space (and make it isotropic and homogeneous) also smear the locations of entities/particles across that space --- thereby providing a mechanism/explanation for that iconic and enigmatic aspect of quantum mechanics. We also determine that there must be a continual, uniformly-distributed stream of (non-zero-point) energy coming into the system that constructs new space (i.e. dark energy). The streaming natures of both time and dark energy are shown to have the same basic cause: the processes that input dark energy into the system, and that construct time, are themselves independent of time --- and so they are continual processes. Further consequences follow from the model, including an explanation for why the presence of energy affects space and time, and why quantum vacuum energy is an exception to this rule (i.e. does not gravitate) --- thereby eliminating the cosmological constant problem. A key benefit of the model is that it liberates us from always having to think about the construction of the universe in terms of spatio-temporal relations and evolution (e.g. the big bang model), which is problematic because presumably (and as we will indeed see) space and time are products of the fundamental construction process, not things that govern it. (shrink)

Borrowing the functional modeling approach common in systems and software engineering, an implementable model of the functions of human consciousness proposed to have the capacity for general problem solving ability transferable to any domain, or true self-aware intelligence, is presented. Being a functional model that is independent of implementation, this model is proposed to also be applicable to artificial consciousness, and to platforms that organize individuals into what is defined here as a first order collective consciousness, or (...) at higher orders into what is defined here as Nth order collective consciousness. Part I of this two-part article includes: Summary; Introduction; Set of Postulates One; Set of Postulates Two; Overview of the Model; Model of Homeostasis; Model of the Functional Units; Model of the Body System; Model of the Other Basic Life Processes; Model of the Other Functional Systems; Model of Perceptions in the Perceptual Fields; Model of Body Processes as Paths in the Perceptual Field; & Model of Conscious Awareness. (shrink)

Human epistemic subjects cannot but employ imperfect and limited tools to gain knowledge. Even in the seemingly simple business of acquiring knowledge of the value of a physical quantity, what the instrument reads or perception tells more often that not does not correspond to real value. However, even though both our perceptual apparatus and measuring instruments are sensible to background noise, under certain conditions, collecting more information of the same quantity using the same tools leads to an improvement of the (...) subject's epistemic condition. The aim of this paper is to formalize this intuition employing a model which extends Williamson (2013) on the arising of Gettier cases in epistemic logic. From a model where each world is univocally represented by the pair r, a defined by the real value and the apparent one, I will be considering a scenario wherein the subject has collected n appearances of the real parameter, so that each world is identified by a n + 1-tuple. On the assumptions that the n data are all independent and regarded by the subject as equally reliable, a plausible model should be able to describe three phenomena. First of all, the more coherent and closer to represent the real value the set of n appearances is, the more knowledge of the real value is gained. Secondly, the more the subject goes on acquiring "good" data, the more she knows. Thirdly, the world where the n apparent values and the real one match is the best world for the subject. Following Williamson, I shall put forth a system for multiple appearances in epistemic logic that aims at modeling these phenomena by describing the interval within which the real value is known to lie. (shrink)

In the contemporary literature Wittgenstein has variously been labelled a fideist, a non-cognitivist and a relativist of sorts. The underlying motivation for these attributions seems to be the thought that the content of a belief can clearly be separated from the attitude taken towards it. Such a ”factorization model’ which construes religious beliefs as consisting of two independent ”factors’ -- the belief’s content and the belief-attitude -- appears to be behind the idea that one could, for example, have the (...) religious attitude alone or that religious content will remain broadly unaffected by a fundamental change in attitude. In this article I will argue that such a ”factorization model’ severely distorts Wittgenstein’s conception of religious belief. (shrink)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms (...) may have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

Recent philosophical attention to climate models has highlighted their weaknesses and uncertainties. Here I address the ways that models gain support through observational data. I review examples of model fit, variety of evidence, and independent support for aspects of the models, contrasting my analysis with that of other philosophers. I also investigate model robustness, which often emerges when comparing climate models simulating the same time period or set of conditions. Starting from Michael Weisberg’s analysis of robustness, I conclude (...) that his approach involves a version of reasoning from variety of evidence, enabling this robustness to be a confirmatory virtue.. (shrink)

When Bertalanffy advocated a new scientific discipline called general system theory, this generalist mode of understanding was to be based on the isomorphism of laws, principles, and models in the different sciences, and on structural uniformities (isomorphies) in the subject matters of those sciences. There is a conceptual shift in Bertalanffy’s work from the logico-mathematical mode to a deeper more complex understanding. There is a corresponding shift in the understanding of isomorphies from the isomorphy of laws and principles to the (...) isomorphy of qualities of real systems. The recognition of isomorphies in real situations and systems has resulted in the creation of the modern generalist mode of understanding and from there the development of discipline-independent-transdisciplinarity. This paper gives an introduction to this form of transdisciplinarity, and explains how this mode of understanding naturally develops a universal transdisciplinary language. (shrink)

A practical viewpoint links reality, representation, and language to calculation by the concept of Turing (1936) machine being the mathematical model of our computers. After the Gödel incompleteness theorems (1931) or the insolvability of the so-called halting problem (Turing 1936; Church 1936) as to a classical machine of Turing, one of the simplest hypotheses is completeness to be suggested for two ones. That is consistent with the provability of completeness by means of two independent Peano arithmetics discussed in Section (...) I. Many modifications of Turing machines cum quantum ones are researched in Section II for the Halting problem and completeness, and the model of two independent Turing machines seems to generalize them. Then, that pair can be postulated as the formal definition of reality therefore being complete unlike any of them standalone, remaining incomplete without its complementary counterpart. Representation is formal defined as a one-to-one mapping between the two Turing machines, and the set of all those mappings can be considered as “language” therefore including metaphors as mappings different than representation. Section III investigates that formal relation of “reality”, “representation”, and “language” modeled by (at least two) Turing machines. The independence of (two) Turing machines is interpreted by means of game theory and especially of the Nash equilibrium in Section IV. Choice and information as the quantity of choices are involved. That approach seems to be equivalent to that based on set theory and the concept of actual infinity in mathematics and allowing of practical implementations. (shrink)

One of the most frequently voiced criticisms of free will skepticism is that it is unable to adequately deal with criminal behavior and that the responses it would permit as justified are insufficient for acceptable social policy. This concern is fueled by two factors. The first is that one of the most prominent justifications for punishing criminals, retributivism, is incompatible with free will skepticism. The second concern is that alternative justifications that are not ruled out by the skeptical view per (...) se face significant independent moral objections. Yet despite these concerns, I maintain that free will skepticism leaves intact other ways to respond to criminal behavior—in particular preventive detention, rehabilitation, and alteration of relevant social conditions—and that these methods are both morally justifiable and sufficient for good social policy. The position I defend is similar to Derk Pereboom’s, taking as its starting point his quarantine analogy, but it sets out to develop the quarantine model within a broader justificatory framework drawn from public health ethics. The resulting model—which I call the public health -quarantine model—provides a framework for justifying quarantine and criminal sanctions that is more humane than retributivism and preferable to other non-retributive alternatives. It also provides a broader approach to criminal behavior than Pereboom’s quarantine analogy does on its own. (shrink)

Today's climate models are supported in a couple of ways that receive little attention from philosophers or climate scientists. In addition to standard 'model fit', wherein a model's simulation is compared to observational data, there is an additional type of confirmation available through the variety of instances of model fit. When a model performs well at fitting first one variable and then another, the probability of the model under some standard confirmation function, say, likelihood, goes (...) up more than under each individual case of fit alone. Thus, two instances of fit of distinct variables of a global climate model using distinct data sets considered collectively will provide stronger evidence for a model than either one of the instances considered individually. This has consequences for model robustness. Sets of models that produce robust results will, if their assumptions vary enough and they each are observationally sound, provide reasons to endorse common structures found in those models. Finally, independent empirical support for aspects and assumptions of the model provides an additional confirmational virtue for climate models, contrary to what is implied by some current philosophical writing on this topic. (shrink)

In this paper I distinguish various ways in which empirical claims about evolutionary and ecological models can be supported by data. I describe three basic factors bearing on confirmation of empirical claims: fit of the model to data; independent testing of various aspects of the model, and variety of evident. A brief description of the kinds of confirmation is followed by examples of each kind, drawn from a range of evolutionary and ecological theories. I conclude that the greater (...) complexity and precision of my approach, as compared to, for instance, a Popperian approach, can facilitate detailed analysis and comparison of empirical claims. (shrink)

What if subconscious brain processes are actually independent consciousnesses, each resembling an independent advisor whispering advice to the main consciousness, or “I”? This multi-consciousness model would support free will, as our choices are informed by other consciousnesses, not the subconscious. Each independent consciousness allows a movable perspective through its rich representation of the world and constantly seeks harmony and resonance between its internal concepts, other consciousnesses, external reality, and the genetic worm hole to the evolutionary past.

We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

With the fast pace of AI development, the problem of preventing its global catastrophic risks arises. However, no satisfactory solution has been found. From several possibilities, the confinement of AI in a box is considered as a low-quality possible solution for AI safety. However, some treacherous AIs can be stopped by effective confinement if it is used as an additional measure. Here, we proposed an idealized model of the best possible confinement by aggregating all known ideas in the field (...) of AI boxing. We model the confinement based on the principles used in the safety engineering of nuclear power plants. We show that AI confinement should be implemented in several levels of defense. These levels include 1) AI design in fail-safe manner 2) limiting its capabilities, preventing self-improving and circuit breakers on treacherous turn 3) isolation from the outside world and, lastly, as the final hope 4) outside measures oriented on stopping AI in the wild. We demonstrate that the substantial number (more than 50 ideas listed in the article) of mutually independent measures could provide a relatively high probability of the containment of a human-level AI but may be not sufficient to preserve runaway of superintelligent AI. Thus, these measures will work only if they are used to prevent superintelligent AI creation, but not for containing superintelligence. We suggest that there could be a safe operation threshold, on which AI is useful, but is not able to hack containment system from the inside, the same way as a safe level of chain reaction inside nuclear power plants is maintained. However, overall, a failure of the confinement is inevitable, so we need to use the full AGI limited number of times (AI-ticks). (shrink)

What would be an adequate theory of social understanding? In the last decade, the philosophical debate has focused on Theory Theory, Simulation Theory and Interaction Theory as the three possible candidates. In the following, we look carefully at each of these and describe its main advantages and disadvantages. Based on this critical analysis, we formulate the need for a new account of social understanding. We propose the Person Model Theory as an independent new account which has greater explanatory power (...) compared to the existing theories. (shrink)

Following the 26th General Conference on Weights and Measures are fixed the numerical values of the 4 physical constants ($h, c, e, k_B$). This is premised on the independence of these constants. This article discusses a model of a mathematical electron from which can be defined the Planck units as geometrical objects (mass M=1, time T=2$\pi$ ...). In this model these objects are interrelated via this electron geometry such that once we have assigned values to 2 Planck (...) units then we have fixed the values for all Planck units. As all constants can then be defined using geometrical forms (in terms of 2 fixed mathematical constants, 2 unit-specific scalars and a defined relationship between the units $kg, m, s, A$), the least precise CODATA 2014 constants ($G, h, e, m_e, k_B$...) can then be solved via the most precise ($c, \mu_0, \alpha, R_\infty$), with numerical precision limited by the precision of the fine structure constant $\alpha$. In terms of this model we now for example have 2 separate values for elementary charge, calculated from ($c, \alpha, R_\infty$) and the 2017 revision. (shrink)

Recent research has relied on trolley-type sacrificial moral dilemmas to study utilitarian versus nonutili- tarian modes of moral decision-making. This research has generated important insights into people’s attitudes toward instrumental harm—that is, the sacrifice of an individual to save a greater number. But this approach also has serious limitations. Most notably, it ignores the positive, altruistic core of utilitarianism, which is characterized by impartial concern for the well-being of everyone, whether near or far. Here, we develop, refine, and validate a (...) new scale—the Oxford Utilitarianism Scale—to dissociate individual differences in the ‘negative’ (permissive attitude toward instrumental harm) and ‘positive’ (impartial concern for the greater good) dimensions of utilitarian thinking as manifested in the general population. We show that these are two independent dimensions of proto-utilitarian tendencies in the lay population, each exhibiting a distinct psychological profile. Empathic concern, identification with the whole of humanity, and concern for future generations were positively associated with impartial beneficence but negatively associated with instrumental harm; and although instrumental harm was associated with subclinical psychopathy, impartial beneficence was associated with higher religiosity. Importantly, although these two dimensions were independent in the lay population, they were closely associated in a sample of moral philosophers. Acknowledging this dissociation between the instrumental harm and impartial beneficence components of utilitarian thinking in ordinary people can clarify existing debates about the nature of moral psychology and its relation to moral philosophy as well as generate fruitful avenues for further research. (shrink)

The abstract concept of indeterministic free will is distinguished from the phenomenon of free will. Evidence for the abstract concept is examined and critically compared with various designs of automata. It is concluded that there is no evidence to support the abstract concept of indeterministic free will, it is inconceivable that a test could be constructed to distinguish an indeterministic agent from a complicated automaton. Testing the free will of an alien visitor is introduced to separate prejudices about who has (...) free will from objective experiments. The phenomenon of free will is modelled with a deterministic decision making agent. The agent values ‘independence’ and satisfies a desire for independence by responding to ‘challenges’. When the agent generates challenges internally it will establish a record of being able to do otherwise. In principle a computer could be built with a free will property. The model also explains false attributions of free will (superstitions). (shrink)

The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used the latter (...) model to argue that time travelers can change the past within such model. We show a way to debunk Loss’s argument, so that the general tenet about the impossibility of changing the past within B-theoretical models is maintained. (shrink)