Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show (...) that, under certain assumptions, geometric and Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

How should your opinion change in light of an epistemic peer's? We show that the pooling rule known as "upco" is the unique answer satisfying some natural desiderata. If your revised opinion will impact your other views by Jeffrey conditionalization, then upco is the only standard pooling rule that ensures the order in which peers are consulted makes no difference. Popular alternatives like linear pooling, geometric pooling, and harmonic pooling cannot boast the same. In (...) fact, no alternative can that possesses four minimal properties these proposals all share. (shrink)

Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic (...) characterisations of each class of pooling functions (most of them classic, but one new) and argue that linear pooling can be justified procedurally, but not epistemically, while the other two pooling methods can be justified epistemically. The choice between them, in turn, depends on whether the individuals' probability assignments are based on shared information or on private information. We conclude by mentioning a number of other pooling methods. (shrink)

How can different individuals' probability assignments to some events be aggregated into a collective probability assignment? Classic results on this problem assume that the set of relevant events -- the agenda -- is a sigma-algebra and is thus closed under disjunction (union) and conjunction (intersection). We drop this demanding assumption and explore probabilistic opinion pooling on general agendas. One might be interested in the probability of rain and that of an interest-rate increase, but not in the probability of rain (...) or an interest-rate increase. We characterize linear pooling and neutral pooling for general agendas, with classic results as special cases for agendas that are sigma-algebras. As an illustrative application, we also consider probabilistic preference aggregation. Finally, we compare our results with existing results on binary judgment aggregation and Arrovian preference aggregation. This paper is the first of two self-contained, but technically related companion papers inspired by binary judgment-aggregation theory. (shrink)

How can different individuals' probability functions on a given sigma-algebra of events be aggregated into a collective probability function? Classic approaches to this problem often require 'event-wise independence': the collective probability for each event should depend only on the individuals' probabilities for that event. In practice, however, some events may be 'basic' and others 'derivative', so that it makes sense first to aggregate the probabilities for the former and then to let these constrain the probabilities for the latter. We formalize (...) this idea by introducing a 'premise-based' approach to probabilistic opinion pooling, and show that, under a variety of assumptions, it leads to linear or neutral opinion pooling on the 'premises'. This paper is the second of two self-contained, but technically related companion papers inspired by binary judgment-aggregation theory. (shrink)

It is often suggested that when opinions differ among individuals in a group, the opinions should be aggregated to form a compromise. This paper compares two approaches to aggregating opinions, linear pooling and what I call opinion agglomeration. In evaluating both strategies, I propose a pragmatic criterion, No Regrets, entailing that an aggregation strategy should prevent groups from buying and selling bets on events at prices regretted by their members. I show that only opinion agglomeration is able to (...) satisfy the demand. I then proceed to give normative and empirical arguments in support of the pragmatic criterion for opinion aggregation, and that ultimately favor opinion agglomeration. (shrink)

We present a minimal pragmatic restriction on the interpretation of the weights in the “Equal Weight View” regarding peer disagreement and show that the view cannot respect it. Based on this result we argue against the view. The restriction is the following one: if an agent, $$\hbox {i}$$ i, assigns an equal or higher weight to another agent, $$\hbox {j}$$ j,, he must be willing—in exchange for a positive and certain payment—to accept an offer to let a completely rational and (...) sympathetic $$\hbox {j}$$ j choose for him whether to accept a bet with positive expected utility. If $$\hbox {i}$$ i assigns a lower weight to $$\hbox {j}$$ j than to himself, he must not be willing to pay any positive price for letting $$\hbox {j}$$ j choose for him. Respecting the constraint entails, we show, that the impact of disagreement on one’s degree of belief is not independent of what the disagreement is discovered to be. (shrink)

A group is often construed as one agent with its own probabilistic beliefs (credences), which are obtained by aggregating those of the individuals, for instance through averaging. In their celebrated “Groupthink”, Russell et al. (2015) require group credences to undergo Bayesian revision whenever new information is learnt, i.e., whenever individual credences undergo Bayesian revision based on this information. To obtain a fully Bayesian group, one should often extend this requirement to non-public or even private information (learnt by not all or (...) just one individual), or to non-representable information (not representable by any event in the domain where credences are held). I pro- pose a taxonomy of six types of ‘group Bayesianism’. They differ in the information for which Bayesian revision of group credences is required: public representable information, private representable information, public non-representable information, etc. Six corre- sponding theorems establish how individual credences must (not) be aggregated to ensure group Bayesianism of any type, respectively. Aggregating through standard averaging is never permitted; instead, different forms of geometric averaging must be used. One theorem—that for public representable information—is essentially Russell et al.’s central result (with minor corrections). Another theorem—that for public non-representable information—fills a gap in the theory of externally Bayesian opinion pooling. (shrink)

Can a group be an orthodox rational agent? This requires the group's aggregate preferences to follow expected utility (static rationality) and to evolve by Bayesian updating (dynamic rationality). Group rationality is possible, but the only preference aggregation rules which achieve it (and are minimally Paretian and continuous) are the linear-geometric rules, which combine individual values linearly and combine individual beliefs geometrically. Linear-geometric preference aggregation contrasts with classic linear-linear preference aggregation, which combines both values and beliefs linearly, (...) but achieves only static rationality. Our characterisation of linear-geometric preference aggregation has two corollaries: a characterisation of linear aggregation of values (Harsanyi's Theorem) and a characterisation of geometric aggregation of beliefs. (shrink)

We present an abstract social aggregation theorem. Society, and each individual, has a preorder that may be interpreted as expressing values or beliefs. The preorders are allowed to violate both completeness and continuity, and the population is allowed to be infinite. The preorders are only assumed to be represented by functions with values in partially ordered vector spaces, and whose product has convex range. This includes all preorders that satisfy strong independence. Any Pareto indifferent social preorder is then shown to (...) be represented by a linear transformation of the representations of the individual preorders. Further Pareto conditions on the social preorder correspond to positivity conditions on the transformation. When all the Pareto conditions hold and the population is finite, the social preorder is represented by a sum of individual preorder representations. We provide two applications. The first yields an extremely general version of Harsanyi's social aggregation theorem. The second generalizes a classic result about linear opinion pooling. (shrink)

How can the propositional attitudes of several individuals be aggregated into overall collective propositional attitudes? Although there are large bodies of work on the aggregation of various special kinds of propositional attitudes, such as preferences, judgments, probabilities and utilities, the aggregation of propositional attitudes is seldom studied in full generality. In this paper, we seek to contribute to filling this gap in the literature. We sketch the ingredients of a general theory of propositional attitude aggregation and prove two new theorems. (...) Our first theorem simultaneously characterizes some prominent aggregation rules in the cases of probability, judgment and preference aggregation, including linear opinion pooling and Arrovian dictatorships. Our second theorem abstracts even further from the specific kinds of attitudes in question and describes the properties of a large class of aggregation rules applicable to a variety of belief-like attitudes. Our approach integrates some previously disconnected areas of investigation. (shrink)

There are many reasons we might want to take the opinions of various individuals and pool them to give the opinions of the group they constitute. If all the individuals in the group have probabilistic opinions about the same propositions, there is a host of pooling functions we might deploy, such as linear or geometric pooling. However, there are also cases where different members of the group assign probabilities to different sets of propositions, which might overlap a (...) lot, a little, or not at all. There are far fewer proposals for how to proceed in these cases, and those there are have undesirable features. I begin by considering four proposals and arguing that they don't work. Then I'll describe my own proposal, which is intended to cover the situation in which we want to pool the individual opinions in order to ascribe an opinion to the group considered as an agent in its own right. (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited (...) to this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

Humankind is currently confronted with a critical challenge that determines its very existence, not only on an individual, racial, or national level but as a whole species: the fight against climate change and environmental degradation. To win this battle, humanity needs innovations and non-linear thinking. Nature has long been a substantial information source for unthinkable discoveries that save human lives. The paper suggests that by understanding the nature, emergence, and mechanism of serendipity, the survival skill of humans, humanity can (...) capitalize on it to learn from nature and generate nature-based innovations that can address the climate and environmental degradation crises. In the era of Artificial Intelligence (AI) proliferation, AI will be a vital tool providing navigational and useful information to leverage the power of serendipity in climate and sustainability science. However, an eco-surplus culture that incorporates core values pertaining to nature and sees environmental sustainability as the conscience of the times needs to be built to direct and control the immense power of AI-leveraged serendipity. Insights applied in this paper are drawn from the book titled “A New Theory of Serendipity: Nature, Emergence and Mechanism”. (shrink)

There can be situations in which, if I contribute to a pool of resources for helping a large number of people, the difference that my contribution makes to any of the people helped from the pool will be imperceptible at best, and maybe even non-existent. And this can be the case where it is also true that giving the same amount directly to one of the intended beneficiaries of the pool would have made a very large difference to her. Can (...) non-contribution to the pool be morally justified on this ground? I argue that it cannot. For, first, this line of thought leaves unaffected any reasons for holding that failing to perform the direct action of benefiting someone greatly would be wrong. But the pooling system of helping people is often better than a system separating the help which is given — better because of the perceptible difference it makes to its beneficiaries. If so, failing to contribute to the pool will be at least as wrong as failing to have helped directly would have been. The paper clarifies and defends an argument of this form, showing how it can be formulated in a way that avoids apparent counterexamples, and identifying the assumptions on which it rests. (shrink)

In this book, the authors introduce the notion of Super linear algebra and super vector spaces using the definition of super matrices defined by Horst (1963). Many theorems on super linear algebra and its properties are proved. Some theorems are left as exercises for the reader. These new class of super linear algebras which can be thought of as a set of linear algebras, following a stipulated condition, will find applications in several fields using computers. The (...) authors feel that such a paradigm shift is essential in this computerized world. (shrink)

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We (...) then consider a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...) values. In this paper, we consider the countably infinite family of multiple-conclusion consequence relations in which classical logic is enriched with one or more contaminating values whose behavior is determined by a linear ordering between them. We consider some motivations and applications for such systems and provide general characterizations for all consequence relations in this family. Finally, we provide sequent calculi for a pair of four-valued logics including two linearly ordered contaminating values before defining two-sided sequent calculi corresponding to each of the infinite family of many-valued logics studied in this paper. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers and (...) logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

We present a technique for the analysis of pattern formation by a class of models for the formation of ocular dominance stripes in the striate cortex of some mammals. The method, which employs the adiabatic approximation to derive a set of ordinary differential equations for patterning modes, has been successfully applied to reaction-diffusion models for striped patterns [1]. Models of ocular dominance stripes have been studied [2,3] by computation, or by linearization of the model equations. These techniques do not provide (...) a rationale for the origin of the stripes. We show here that stripe formation is a non-linear property of the models. Our analysis indicates that stripe selection is closely linked to a property in the dynamics of the models which arises from a symmetry between ipsilateral and contralateral synapses to the visual cortex of a given hemisphere. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount (...) of revenue for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

We study shared intentions in what we call “loose groups”. These are groups that lack a codified organizational structure, and where the communication channels between group members are either unreliable or not completely open. We start by formulating two desiderata for shared intentions in such groups. We then argue that no existing account meets these two desiderata, because they assume either too strong or too weak an epistemic condition, that is, a condition on what the group members know and believe (...) about what the others intend, know, and believe. We propose an alternative, pooled knowledge, and argue that it allows formulating conditions on shared intentions that meet the two desiderata. (shrink)

One of the most important theories in linear programming is the dualistic theory and its basic idea is that for every linear model has dual linear model, so that solving the original linear model gives a solution to the dual model. Therefore, when we solving the linear programming model, we actually obtain solutions for two linear models. In this research, we present a study of the models. The neutrosophic dual and the binary simplex algorithm, (...) which works to find the optimal solution for the original and dual models at the same time. The importance of this algorithm is evident in that it is relied upon in several operations research topics, such as integer programming algorithms, some nonlinear programming algorithms, and sensitivity analysis in linear programming. (shrink)

We present a study of linear models using the concepts of neutrosophic science, the science that was built on the basis that there is no absolute truth, there is no confirmed data, issues cannot be limited to right and wrong only. There is a third state between error and right, an indeterminate, undetermined, uncertain state. It is indeterminacy. Neutrosophic science gave each issue three dimensions, namely (T, I, F), correctness in degrees, indeterminacy in degrees, and error in degrees. It (...) was founded by the American philosopher and mathematician Florentin Smarandache, in 1995 and came as a generalization of fuzzy logic that was founded by the scientist Lotfi. A. Zadeh, in 1965. (shrink)

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the (...) four classes of trees mentioned above. (shrink)

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question (...) of whether there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

The linear programming method is one of the important methods of operations research that has been used to address many practical issues and provided optimal solutions for many institutions and companies, which helped decision makers make ideal decisions through which companies and institutions achieved maximum profit, but these solutions remain ideal and appropriate in If the conditions surrounding the work environment are stable, because any change in the data provided will affect the optimal solution and to avoid losses and (...) achieve maximum profit, we have, in previous research, reformulated the linear models using the concepts of neutrosophic science, the science that takes into account the instability of conditions and fluctuations in the work environment and leaves nothing to chance. While taking data, neutrosophic values carry some indeterminacy, giving a margin of freedom to decision makers. In another research, we reformulated one of the most important methods used to solve linear models, which is the simplex method, using the concepts of this science, and as a continuation of what we did in the previous two researches, we will reformulate in this research. The graphical method for solving linear models using the concepts of neutrosophics. We will also shed light on a case that is rarely mentioned in most operations research references, which is that when the difference between the number of unknowns and the number of constraints is equal to one, two, or three, we can also find the optimal solution graphically for some linear models. This is done by taking advantage of the conditions of non-negativity that linear models have, and we will explain this through an example in which the difference is equal to two. Also, through examples, we will explain the difference between using classical values and neutrosophic values and the extent of this’s impact on the optimal solution. (shrink)

The exploration of the literature indicated that much studies abound in related areas. Much seems yet to be known about the nature of the relationship that exists between managerial variables and the sustainability of graduate programmes. To bridge this gap, we utilized a standardised multiple regression approach to build up linear models that examine three managerial processes (strategic planning, staff and information/communication management) and how they affect three proxies of the sustainability of graduate programmes (availability of funds and facilities, (...) as well as supervision) respectively and cumulatively. Quantitative data were obtained from an entire population of 149 managers (Head of Departments and Deans) in the University of Calabar, Calabar, Nigeria using a questionnaire. Findings emerged, among others, a significant relationship between each of the managerial processes to the sustainability of graduate programmes generally and particularly in terms of availability of funds, facilities and supervision; the three predictor variables partially and jointly accounted for significant proportions in the sustainability of graduate programmes generally and specifically in terms of the various dimensions. Based on this evidence, one general and three partial predictive linear equations, as well as models were derived, while relevant action-based implications for effective management and practice were discussed. (shrink)

The water scarcity crisis is becoming more severe across the globe and recycled water has been suggested as a feasible solution to the crisis. However, expanding the use of potable and recycled public water has been hindered by public acceptance. Previous studies suggest threat perception and trust of provided information have positive linear relationships with recycled water acceptance. However, given the complex filtering role of trust in the human mental process, we argue that the effects of threat perception and (...) trust may have non-linear relationships with acceptance of recycled water for drinking. To support and validate this argument, we employed Bayesian Mindsponge Framework analytics on 726 Spanish residents. We found that individuals more concerned about water shortage are less likely to accept using recycled water for drinking if their trust in the water quality and safety is low. Meanwhile, people more concerned about water shortage are more likely to accept using recycled water for drinking if they trust the water quality and safety. The findings suggest the non-linear relationships between threat perception, trust, and recycled water acceptance while validating mindsponge-based reasoning. Moreover, the results also highlight the importance of trust in influencing the mental process’s outcome: recycled water acceptance. (shrink)

After employing the mindsponge mechanism and 3D information process of creativity to explain the serendipity process in previous chapters, we realize that it may be helpful to delve into the relations between serendipity and the formulation of new values and information connections through non-linear processes. Thus, this chapter summarizes some preliminary attempts to use non-linear information processes to explain serendipity. We also briefly mention the benefits of information exchange among members of social groups and explain this approach.

This paper aims to address the lack of critique of the linear model in geoengineering governance discourse, and to illustrate different considerations for a geoengineering governance framework that is not based on a linear model of technology innovation. Finally, we set to explore a particular approach to geoengineering governance based on Peter-Paul Verbeek’s notion of ‘technology accompaniment’.

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms (...) of the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

In this article, we address an existing lacuna in the sociology of the senses, by employing sociological phenomenology to illuminate the under-researched sense of temperature, as lived by a social group for whom water temperature is particularly salient: competitive pool swimmers. The research contributes to a developing ‘sensory sociology’ that highlights the importance of the socio-cultural framing of the senses and ‘sensory work’, but where there remains a dearth of sociological exploration into senses extending beyond the ‘classic five’ sensorium. Drawing (...) on data from a three-year ethnographic study of competitive swimmers in the UK, our analysis explores the rich sensuousities of swimming, and highlights the role of temperature as fundamentally affecting the affordances offered by the aquatic environment. The article contributes original theoretical perspectives to the sociology of the senses and of sport in addressing the ways in which social actors in the aquatic environment interact, both intersubjectively and intercorporeally, as thermal beings. (shrink)

In this article, the concept of system of symbolic 2-plithogenic linear equations and its solutions are introduced and studied. The Cramer's rule was applied to solve the system of symbolic 2-plithogenic linear equations. Also, provided enough examples for each case to enhance understanding.

The purpose of the article was to explain how the communicative specificity of the digital social media environment is changing the traditional Lasswell’s linear model. The changes that occur in the structural units of the model were explored. This complex was examined based on the material of 18 successful YouTube blogs dedicated to football. It was found that the modern ecosystem of sports journalism is undergoing significant transformations in terms of content and structure. And the fact that modern digital (...) journalism is already perceived by users as a part of everyday life changes the roles of content creators and those who consume this content. The element “With What Effect?” remains relevant and the closest to the classic one, which, due to interactivity and the ability to maximally objectify the effectiveness of content in social media, in modern sports journalism can become the main conceptual factor of digital narrative. (shrink)

The art of Simon Finn has always had a markedly temporal dynamic. Vast structures built and annihilated again and again across different media, their fragmentation across space and time simultaneously methodical and darkly chaotic. Roiling waters and eldritch surfaces held captive in their unrest. Finn’s works render cycles of construction and disintegration, of stasis and motion, in ways that shed light upon the underlying structures of our experience of time while shattering simplistic notions of linearity. This is nowhere more apparent (...) than in Instability, through which Finn allows us to explore the intertwining of personal and historical time, ancestral memory and radical futurity, artefactual form and temporal function. (shrink)

Kruja is a middle-range city located in the center of Albania. The city of Kruja dates back to its existence from the V-VI century and extends to the city around the VI and IX centuries. It becomes the first capital of Albania in the XI-th century, specifically in 1190. This paper is going to deal with only two groups of buildings that are an integral part of the historical city of Kruja, the historical dwellings (XVIII century) and the socialist ones (...) (1960-1985). This paper aims to analyze through linear regressions the relation between two parameters: moisture content and temperature of the indoor walls and floors of the historic and socialist buildings in the city of Kruja. Three types of historic dwelling and three types of socialist apartments have been analyzed, relatively uniformly oriented. The measurements with specific instruments are done on the same day, for three hours. The degree of reactivity is different for both groups of buildings. The historical buildings are more sensitive to temperature rise. They respond invers to it (as the temperature rise, the level of the moisture content decreases), with a higher coefficient than socialist ones, and appear to be more efficient in reducing the level of the moisture, despite the average moisture content being higher. This paper takes into consideration also the analysis of the materials of the construction for both categories. If the level of moisture is reduced, the buildings will be improved and the quality of life indicators of the inhabitance will be improved too. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a (...) scalarization of weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

Linear Algebra is an extremely important field that extends everyday concepts about geometry and algebra into higher spaces. This text serves as a gentle motivating introduction to the principles (and philosophy) behind linear algebra. This is aimed at undergraduate students taking a linear algebra class - in particular engineering students who are expected to understand and use linear algebra to build and design things, however it may also prove helpful for philosophy majors and anyone else interested (...) in the ideas behind linear algebra. Linear algebra is used extensively in statistics, mechanical engineering, circuit theory, signal processing, economics and data science/machine learning. I have found in my teaching career that students tend to struggle the most with motivating the "why" behind the abstract concepts discussed in linear algebra. This can be difficult for professors to understand because we are so used to using the language of linear algebra we take for granted why these questions are important in the first place. In other words, we may understand the “why” (after years of using these tools), but our students may not. This text seeks to explain this “why” in an accessible, engaging way. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems (...) in the traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke (...) resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatisation and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the l.. (shrink)

This paper adopts two modeling tools, namely, multiple linear regression (MLR) and artificial neural networks (ANNs), to predict the concentrations of heavy metals (zinc, boron, and manganese) in surface waters of the Oued Inaouen watershed flowing towards Inaouen, using a set of physical-chemical parameters. XLStat was employed to perform multiple linear and nonlinear regressions, and Statista 10 was chosen to construct neural networks for modeling and prediction. The effectiveness of the ANN- and MLR-based stochastic models was assessed by (...) the determination coefficient (R²), the sum squared error (SSE) and a review of fit graphs. The results demonstrate the value of ANNs for prediction modeling. Drawing on supervised learning and back propagation, the ANN-based prediction models adopt an architecture of [18-15-1] for zinc, [18-11-1] for manganese, and [18-8-1] for boron, and perform effectively with a single cached layer. It was found that the MLR-based prediction models are substantially less accurate than those based on the ANNs. In addition, the physical-chemical parameters being investigated are nonlinearly correlated with the levels of heavy metals in the surface waters of the Oued Inaouen watershed flowing towards Inaouen. (shrink)

Well-being measurements are frequently used to support conclusions about a range of philosophically important issues. This is a problem, because we know too little about the intervals of the relevant scales. I argue that it is plausible that well-being measurements are non-linear, and that common beliefs that they are linear are not truth-tracking, so we are not justified in believing that well-being scales are linear. I then argue that this undermines common appeals to both hypothetical and actual (...) well-being measurements; I first focus on the philosophical literature on prioritarianism and then discuss Kahneman’s Peak-End Rule as a systematic bias. Finally, I discuss general implications for research on well-being, and suggest a better way of representing scales. (shrink)

The model of a closed linear measure space, which can be used to model Aristotle’s treatment of motion (kinesis), can be analogically extended to the qualitative ‘spaces’ implied by his theory of contraries in Physics I and in Metaphysics Iota, and to the dimensionless ‘space’ of the unity of matter and form discussed in book Eta of the Metaphysics. By examining Aristotle’s remarks on contraries, the subject of change, continuity, and the unity of matter and form, Aristotle’s thoughts on (...) motion, on contraries, and on the unity of substance can be brought together under a single interpretive framework, which can provide an approach to interpreting his ontology. (shrink)

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

In the light of the results obtained during the last two decades in analysis of signals by time series, it has become evident that the tools of non linear dynamics have their elective role of application in biological, and, in particular, in neuro-physiological and psycho-physiological studies. The basic concept in non linear analysis of experimental time series is that one of recurrence whose conceptual counterpart is represented from variedness and variability that are the foundations of complexity in dynamic (...) processes. Thus, the recurrence plots and the Recurrence Quantification Analysis (RQA) are discussed. It is shown that RQA represents the most general and correct methodology in investigation of experimental time series. By it we arrive to inspect the inner structure of the time series connected to the signals under investigation. Linked to RQA we prospect also the method CZF, recently introduced by us. It is able to account for a true estimation of variability of signals in time as well as in frequency domain. And, consequently, it may be used in conjunction with classical Fourier analysis, accounting however that it is inappropriate in analysis of non linear and non stationary experimental time series. The use of CZF method in fractal analysis is also considered in addition to standard index as Hurst exponent. A large field of possible applications in neurological as well as in psycho-physiological studies is given. Also, there are given examples of other and (possibly linked) applications as example the analysis of beat-to-beat fluctuations of human heartbeat intervals that is sovereign in psycho-physiological studies. We give applications on some different planes to evidence the particular sensitivity of such methods. We reach the objective to show that the previously exposed methods are also able to predict in advance the advent of ventricular tachycardia and/or of ventricular fibrillation. The RQA analysis gives good results. The CZF method gives the most excellent results showing that it is able to give very significant indexes of prediction. We also apply such methods in investigation of state anxiety, and proposing in detail a quantum like model of such phenomenological status of the mind. (shrink)

Back to the days on childhood, to a regular café on a small village where time goes by.

We argue that the need for commentary in commonly used linear calculi of natural deduction is connected to the “deletion” of illocutionary expressions that express the role of propositions as reasons, assumptions, or inferred propositions. We first analyze the formalization of an informal proof in some common calculi which do not formalize natural language illocutionary expressions, and show that in these calculi the formalizations of the example proof rely on commentary devices that have no counterpart in the original proof. (...) We then present a linear natural deduction calculus that makes use of formal illocutionary expressions in such a way that unique readability for derivations is guaranteed – thus showing that formalizing illocutionary expressions can eliminate the need for commentary. (shrink)

There are possible worlds in which time is circular and finite in duration, forming a loop of, say, 12,000 years. There are also possible worlds in which time is linear and infinite in both directions and in which history is repetitive, consisting of infinitely many 12,000-year epochs, each two of which are exactly alike with respect to all intrinsic, purely qualitative properties. Could one ever have empirical evidence that one inhabits a world of the first kind rather than a (...) world of the second kind? We argue for the affirmative answer, contra Quine, Newton-Smith, and Bergström. Our argument for that conclusion differs from an argument for the same conclusion due to Weir. Weir’s argument is probabilistic and explicitly requires having evidence against determinism. Our argument is a direct appeal to the simplicity of laws, and it involves no probabilistic component. It is modeled on Shoemaker’s argument that one could have evidence of time without change. (shrink)