This eighth book of the author on gambling math presents in accessible terms the cold mathematics behind the sparkling slot machines, either physical or virtual. It contains all the mathematical facts grounding the configuration, functionality, outcome, and profits of the slot games. Therefore, it is not a so-called how-to-win book, but a complete, rigorous mathematical guide for the slot player and also for game producers, being unique in this respect. As it is primarily addressed to the slot player, (...) its goal is to present practical applications of the mathematical models of slot games, in order to provide numerical results that a player can use as criteria for gaming decisions or just as information for any slot game and any predicted winning event. These results are focused on probability and expected value, these being the most important parameters for decisional criteria in slots. The book is packed with plenty of figures, tables, and formulas. The content is organized so that readers can skip the theoretical parts and go picking the practical results (numerical, in tables of values where possible, or ready-to-compute formulas) for the desired situation. The practical results are gathered in the last chapter, titled "Practical Applications and Numerical Results," the largest part of the book, for the most popular categories of slot machines, namely with 3, 5, 9, and 16 reels. Any other category of slot games is covered in the theoretical part of the book, where the general formulas apply not only to existing slot games, but also to possible future slot games of any design and configuration. The author does not just throw the slot mathematics to the audience and run away, but offers an ultimate practical contribution with the chapter "How to estimate the number of stops and the symbol distribution on a reel", a surprise for both players and producers, where one can see that mathematics provides players with some statistical methods as well as methods based on physical measurements for retrieving these missing data. Having these data along with the mathematical results of this book, anyone can generate the PAR sheet of any slot machine. In the last decade, mathematics has been taken more and more seriously into account in gaming, as being the essence that governs the games of chance and the only rigorous tool providing information on optimal play, where possible. For the popular game of slots, mathematics already fulfilled its duty by providing all the data that it can provide and that cannot be found on the display of the slot machines - it is all here in this book. (shrink)

Some proponents of the indispensability argument for mathematical realism maintain that the empirical evidence that confirms our best scientific theories and explanations also confirms their pure mathematical components. I show that the falsity of this view follows from three highly plausible theses, two of which concern the nature of mathematical application and the other the nature of empirical confirmation. The first is that the background mathematical theories suitable for use in science are conservative in the sense (...) outlined by Hartry Field. The second is that the empirical relevance of mathematical statements suitable for use in science is mediated by their non-mathematical consequences. The third is that statements receive additional empirical confirmation only by way of generating additional empirical expectations. Since each of these is a thesis we have good reason to endorse, my argument poses a challenge to anyone who argues that science affords empirical grounds for mathematical realism. (shrink)

We give two social aggregation theorems under conditions of risk, one for constant population cases, the other an extension to variable populations. Intra and interpersonal welfare comparisons are encoded in a single ‘individual preorder’. The theorems give axioms that uniquely determine a social preorder in terms of this individual preorder. The social preorders described by these theorems have features that may be considered characteristic of Harsanyi-style utilitarianism, such as indifference to ex ante and ex post equality. However, the theorems are (...) also consistent with the rejection of all of the expected utility axioms, completeness, continuity, and independence, at both the individual and social levels. In that sense, expected utility is inessential to Harsanyi-style utilitarianism. In fact, the variable population theorem imposes only a mild constraint on the individual preorder, while the constant population theorem imposes no constraint at all. We then derive further results under the assumption of our basic axioms. First, the individual preorder satisfies the main expected utility axiom of strong independence if and only if the social preorder has a vector-valued expected total utility representation, covering Harsanyi’s utilitarian theorem as a special case. Second, stronger utilitarian-friendly assumptions, like Pareto or strong separability, are essentially equivalent to strong independence. Third, if the individual preorder satisfies a ‘local expected utility’ condition popular in non-expected utility theory, then the social preorder has a ‘local expected total utility’ representation. Fourth, a wide range of non-expected utility theories nevertheless lead to social preorders of outcomes that have been seen as canonically egalitarian, such as rank-dependent social preorders. Although our aggregation theorems are stated under conditions of risk, they are valid in more general frameworks for representing uncertainty or ambiguity. (shrink)

The objective of the study was to develop a structural model that explores the relationship between Mathematics Performance and students’ self-regulated learning skills, grit, and expectancy-value towards science, technology, engineering and mathematics (STEM). The research collected survey data from 664 senior high school students from 17 STEM high schools, and conducted a covariance-based structural equation modeling (SEM) analysis. The results of the SEM analysis indicate that the Re-specified Self-Regulated Learning Skill – Expectancy-Value towards STEM – Grit – Mathematics Performance (Re-specified (...) SRL-EV-GR-MP) model is the most parsimonious fit, offering the best empirical support for the theoretical model of the study. The research findings suggest that the mathematics performance of senior high school students in STEM curriculum is attributed to their high expectancies for success and perceived values of the STEM tasks, high grit, and high self-regulated learning skills. Moreover, the research also observed evidence of mediating and moderating grit effects in the concurrent effects of expectancy-values towards STEM and self-regulated learning skills towards students’ mathematics performance. (shrink)

Many students consider mathematics as the most dreaded subject in their curriculum, so much so that the term “math phobia” or “math anxiety” is practically a part of clinical psychological literature. This symptom is widespread and students suffer mental disturbances when facing mathematical activity because understanding mathematics is a great task for them. This paper described the students’ cognitive skills performance in Basic Mathematics based on the following logical operations: Classification, Seriation, Logical Multiplication, Compensation, Ratio and Proportional Thinking, Probability (...) Thinking and Correlation Thinking as it serves a critical element of teaching and learning, that is determining the current position of the learners’ mathematical capacity. Its implications for mathematics education were also revealed. A descriptive quantitative design was used in this study. The study included 1011 first-year college students from six state universities in the Philippines who were enrolled in the Bachelor of Science of Secondary Education Program during the first semester of the Academic Year 2019-2020. This study made use of the teacher-made test called the Test on Logical Operations. Findings revealed that the cognitive skills achievement of the first year BSE students from different state universities in the Philippines falls under the category of late concrete operational stage. As a result, students are unable to perform the logical operational skills expected of their age. At their age level, they are expected to be under the formal operational stage based on Piaget’s stages of cognitive development. These findings revealed a weak mathematical education foundation among students which requires immediate attention. This reality should be recognized by educational planners and implementers when making curricular and other instructional decisions. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes (...) that make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For (...) simplified informal calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

In his book On What Matters, Derek Parfit defends a version of moral non-naturalism, a view according to which there are objective normative truths, some of which are moral truths, and we have a reliable way of discovering them. These moral truths do not exist, however, as parts of the natural universe nor in Plato’s heaven. While explaining in what way these truths exist and how we discover them, Parfit makes analogies between morality on the one hand, and mathematics and (...) logic on the other. Moral truths “exist” in a way that numbers exist, and we discover these truths in a similar way as we discover truths about numbers. By the end of the second volume, Parfit also responds to a powerful objection against his view, an objection based on the phenomenon of moral disagreement. If people widely and deeply disagree about what is the moral truth, it is doubtful whether we have a reliable way of discovering it. In his reply, he claims that in ideal conditions for thinking about moral questions, we would all have sufficiently similar moral beliefs. However, we often find ourselves in less-than-ideal conditions due to various factors that distort our ability to agree. Therefore, differences in moral opinion can be expected. In this paper, I draw a connection between these parts of Parfit’s theory and comment on them. Firstly, I argue that Parfit’s analogy with mathematics and logic and his answer to the disagreement objection are in tension because there are important epistemic differences between morality and these fields. If one would try to account for the differences, one would have to sacrifice some measure of similarity between morality and them. Secondly, I comment on Parfit’s reply to the disagreement objection itself. I believe that, although his description of ideal conditions has some potential for reaching moral agreement, it may be difficult to tell if ideal conditions prevail. This obscurity spells further trouble for Parfit’s overall theory. (shrink)

This study aimed to construct structural equation model of students’ competence in mathematics through selected students profile variables. The structural model revealed interesting influence of the profile variables to the competency in mathematics. It can be conveyed that better mother’s work status, higher educational level expected to complete, more confident and did not repeat kinder, have better competency in mathematics. The four variables that directly influenced the competence variables were also influenced with other profile variables such as family background. The (...) family background and confidence level consistently had the highest total effect and indirect effect to the competence in mathematics. Hence, this model can serve as a guide in making programs in the classroom or curriculum in mathematics. (shrink)

The purpose of this study was to evaluate the differentiated learning training program at the mathematics subject teachers' meeting (MGMP). A descriptive quantitative approach was used to identify the successes of the program and areas that require improvement. The sample included 21 mathematics teachers in Sub Rayon 2 of Lebak District. The instruments used were questionnaires in which data on participants' responses to resource persons, materials, and suggestions for future activities were collected, and the results of direct observations. Data analysis (...) was carried out using descriptive statistical methods to describe the overall evaluation results. Based on the findings, it is expected to provide an in-depth view of the differentiated learning program, contribute to the development of the program in the future, and become a guideline for improving the quality of mathematics learning in the Lebak district. The results of this training program evaluation show that the differentiated learning training activities have been well implemented in MGMP Mathematics Sub Rayon 2 Lebak District. This is evidenced by the level of teacher satisfaction in participating in the training, the majority of which were at scores 4 and 5, namely agreeing and strongly agreeing. This was also the case with the resource persons, materials, and training facilities, and organization. It is hoped that in the future continue to carry out ongoing training related to differentiated learning by current needs and to improve the competence of mathematics teachers in particular, as well as teachers of other subjects in general. (shrink)

The purpose of this study was to determine the form of teacher readiness and difficulty when implementing the mathematics curriculum in high school, measured from four teacher competency assessments. Schools in Indonesia are still 50% learning from home until 2022, this situation has an impact on the achievement of student learning outcomes. In 2020, the ministry conducted a survey of 4000 students and the results of the survey and out of 100% of the participants, 58% were of the opinion that (...) online learning was ineffective, 38% lacked attention from the teacher, 35% had poor communication, 62% had poor internet access, and 80% had difficulty learning mathematics online. The method in this research is descriptive qualitative. The technique of collecting data is by means of field observations, interviews and collecting documentary evidence. Data analysis techniques by presenting data, data reduction and intersecting data are drawn into conclusions. The number of people who were observed was 2 with a total of 58 and 13 people interviewed sources. Findings, difficulties arise from unprepared pedagogic competence and professional competence. Teachers have no self-constructed modules, difficulty writing symbols and mathematical proofs online. Students provide an assessment of teacher competence online, from 100% of respondents 80% disagree with pedagogic and 90% disagree with professional competence. This is due to the lack of readiness of the two competencies. In conclusion, online learning is expected by students and teachers to have their own modules. Students argue that the teacher's difficulties when writing symbols, providing examples of questions and proving mathematical formulas can be written in modules and modules can be given to students to study at home. (shrink)

Whether the hands-on experience of creating inventions can promote Students’ interest in pursuing a science, technology, engineering, and mathematics (STEM) career has not been extensively studied. In a quantitative study, we drew on the attitude-behavior-outcome framework to explore the correlates between hands-on making attitude, epistemic curiosities, and career interest. This study targeted students who joined the selection competition for participating in the International Exhibition of Young Inventors (IEYI) in Taiwan. The objective of the invention exhibition is to encourage young students (...) to make innovative projects by applying STEM knowledge and collaborative design. We collected 220 valid data from participants in the 2021 Taiwan IEYI selection competition and conducted a confirmatory factor analysis and structural equation modeling to test the hypotheses. Results indicated that: (1) hands-on making attitude was positively related to two types of epistemic curiosity; (2) interest-type epistemic curiosity (IEC) and deprivation-type epistemic curiosity (DEC) were positively associated with STEM career interest; additionally, DEC had a higher coefficient on STEM career interest than IEC; (3) both types of EC had a mediating role between hands-on making attitude and STEM career interest. It is expected that encouraging students to participate in invention exhibition competitions can raise both types of EC and increase their interest in pursuing STEM careers. (shrink)

Nền kinh tế nước ta đang chuyển biến mạnh mẽ từ nền kinh tế bao cấp sang kinh tế thị trường, nhất là từ khi nước ta gia nhập WTO. Đảng và chính phủ đã đề ra rất nhiều các chính sách để cải tiến các thể chế quản lý nền kinh tế và tài chính. Thị trường chứng khoán Việt Nam đã ra đời và đang đóng một vai trò quan trọng trong việc huy động vốn phục vụ cho (...) việc phát triển nền kinh tế quốc dân. Việc phân tích tác động của các chính sách đến nền kinh tế vĩ mô và nền tài chính, những đối sách của chính phủ ta và chính phủ các nước đối với cuộc khủng khoảng tài chính toàn cầu là các vấn đề rất thời sự đang thu hút sự chú ý của nhiều nhà kinh tế và toán học. (shrink)

In this paper I offer an account of the normative dimension implicit in D. Bernoulli’s expected utility functions by means of an analysis of the juridical metaphors upon which the concept of mathematical expectation was moulded. Following a suggestion by the late E. Coumet, I show how this concept incorporated a certain standard of justice which was put in question by the St. Petersburg paradox. I contend that Bernoulli would have solved it by introducing an alternative normative criterion (...) rather than a positive model of decision making processes. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

Although expected utility theory has proven a fruitful and elegant theory in the finite realm, attempts to generalize it to infinite values have resulted in many paradoxes. In this paper, we argue that the use of John Conway's surreal numbers shall provide a firm mathematical foundation for transfinite decision theory. To that end, we prove a surreal representation theorem and show that our surreal decision theory respects dominance reasoning even in the case of infinite values. We then bring our (...) theory to bear on one of the more venerable decision problems in the literature: Pascal's Wager. Analyzing the wager showcases our theory's virtues and advantages. To that end, we analyze two objections against the wager: Mixed Strategies and Many Gods. After formulating the two objections in the framework of surreal utilities and probabilities, our theory correctly predicts that (1) the pure Pascalian strategy beats all mixed strategies, and (2) what one should do in a Pascalian decision problem depends on what one's credence function is like. Our analysis therefore suggests that although Pascal's Wager is mathematically coherent, it does not deliver what it purports to, a rationally compelling argument that people should lead a religious life regardless of how confident they are in theism and its alternatives. (shrink)

We expect the laws of nature that describe the universe to be exact, but what if that isn't true? In this popular science article, I discuss the possibility that some candidate fundamental laws of nature, such as the Past Hypothesis, may be vague. This possibility is in conflict with the idea that the fundamental laws of nature can always and faithfully be described by classical mathematics. -/- [Bibliographic note: this article is featured on the magazine website under a different title (...) as "The fuzzy law that could break the idea of a mathematical universe" and on the magazine cover as "The Flaw at the Heart of Reality: Why precise mathematical laws can never fully explain the universe." It is a popular version of the article "Nomic Vagueness" that can be found on arXiv: 2006.05298.]. (shrink)

I want to expand the pragmatist view of probability advocated by Roberto Torretti, drawing on the propensity approach. In the first part, I will show how the concept of mathematical expectation originally formalized an Aristotelian principle of justice. In the second half, I will present the game-theoretic approach to probability developed by Shafer and Vovk, showing how it allows us to interpret the original normativity of mathematical expectations. I will finally discuss how this latter view contributes to (...) a pragmatist understanding of probability, as Torretti advocates, although with broader foundations than the physical symmetries of standard propensities. (shrink)

In his classic book “the Foundations of Statistics” Savage developed a formal system of rational decision making. The system is based on (i) a set of possible states of the world, (ii) a set of consequences, (iii) a set of acts, which are functions from states to consequences, and (iv) a preference relation over the acts, which represents the preferences of an idealized rational agent. The goal and the culmination of the enterprise is a representation theorem: Any preference relation that (...) satisfies certain arguably acceptable postulates determines a (finitely additive) probability distribution over the states and a utility assignment to the consequences, such that the preferences among acts are determined by their expected utilities. Additional problematic assumptions are however required in Savage's proofs. First, there is a Boolean algebra of events (sets of states) which determines the richness of the set of acts. The probabilities are assigned to members of this algebra. Savage's proof requires that this be a σ-algebra (i.e., closed under infinite countable unions and intersections), which makes for an extremely rich preference relation. On Savage's view we should not require subjective probabilities to be σ-additive. He therefore finds the insistence on a σ-algebra peculiar and is unhappy with it. But he sees no way of avoiding it. Second, the assignment of utilities requires the constant act assumption: for every consequence there is a constant act, which produces that consequence in every state. This assumption is known to be highly counterintuitive. The present work contains two mathematical results. The first, and the more difficult one, shows that the σ-algebra assumption can be dropped. The second states that, as long as utilities are assigned to finite gambles only, the constant act assumption can be replaced by the more plausible and much weaker assumption that there are at least two non-equivalent constant acts. The second result also employs a novel way of deriving utilities in Savage-style systems -- without appealing to von Neumann-Morgenstern lotteries. The paper discusses the notion of “idealized agent" that underlies Savage's approach, and argues that the simplified system, which is adequate for all the actual purposes for which the system is designed, involves a more realistic notion of an idealized agent. (shrink)

As stochastic independence is essential to the mathematical development of probability theory, it seems that any foundational work on probability should be able to account for this property. Bayesian decision theory appears to be wanting in this respect. Savage’s postulates on preferences under uncertainty entail a subjective expected utility representation, and this asserts only the existence and uniqueness of a subjective probability measure, regardless of its properties. What is missing is a preference condition corresponding to stochastic independence. To fill (...) this significant gap, the article axiomatizes Bayesian decision theory afresh and proves several representation theorems in this novel framework. (shrink)

The INBIOSA project brings together a group of experts across many disciplines who believe that science requires a revolutionary transformative step in order to address many of the vexing challenges presented by the world. It is INBIOSA’s purpose to enable the focused collaboration of an interdisciplinary community of original thinkers. This paper sets out the case for support for this effort. The focus of the transformative research program proposal is biology-centric. We admit that biology to date has been more fact-oriented (...) and less theoretical than physics. However, the key leverageable idea is that careful extension of the science of living systems can be more effectively applied to some of our most vexing modern problems than the prevailing scheme, derived from abstractions in physics. While these have some universal application and demonstrate computational advantages, they are not theoretically mandated for the living. A new set of mathematical abstractions derived from biology can now be similarly extended. This is made possible by leveraging new formal tools to understand abstraction and enable computability. [The latter has a much expanded meaning in our context from the one known and used in computer science and biology today, that is "by rote algorithmic means", since it is not known if a living system is computable in this sense (Mossio et al., 2009).] Two major challenges constitute the effort. The first challenge is to design an original general system of abstractions within the biological domain. The initial issue is descriptive leading to the explanatory. There has not yet been a serious formal examination of the abstractions of the biological domain. What is used today is an amalgam; much is inherited from physics (via the bridging abstractions of chemistry) and there are many new abstractions from advances in mathematics (incentivized by the need for more capable computational analyses). Interspersed are abstractions, concepts and underlying assumptions “native” to biology and distinct from the mechanical language of physics and computation as we know them. A pressing agenda should be to single out the most concrete and at the same time the most fundamental process-units in biology and to recruit them into the descriptive domain. Therefore, the first challenge is to build a coherent formal system of abstractions and operations that is truly native to living systems. Nothing will be thrown away, but many common methods will be philosophically recast, just as in physics relativity subsumed and reinterpreted Newtonian mechanics. -/- This step is required because we need a comprehensible, formal system to apply in many domains. Emphasis should be placed on the distinction between multi-perspective analysis and synthesis and on what could be the basic terms or tools needed. The second challenge is relatively simple: the actual application of this set of biology-centric ways and means to cross-disciplinary problems. In its early stages, this will seem to be a “new science”. This White Paper sets out the case of continuing support of Information and Communication Technology (ICT) for transformative research in biology and information processing centered on paradigm changes in the epistemological, ontological, mathematical and computational bases of the science of living systems. Today, curiously, living systems cannot be said to be anything more than dissipative structures organized internally by genetic information. There is not anything substantially different from abiotic systems other than the empirical nature of their robustness. We believe that there are other new and unique properties and patterns comprehensible at this bio-logical level. The report lays out a fundamental set of approaches to articulate these properties and patterns, and is composed as follows. -/- Sections 1 through 4 (preamble, introduction, motivation and major biomathematical problems) are incipient. Section 5 describes the issues affecting Integral Biomathics and Section 6 -- the aspects of the Grand Challenge we face with this project. Section 7 contemplates the effort to formalize a General Theory of Living Systems (GTLS) from what we have today. The goal is to have a formal system, equivalent to that which exists in the physics community. Here we define how to perceive the role of time in biology. Section 8 describes the initial efforts to apply this general theory of living systems in many domains, with special emphasis on crossdisciplinary problems and multiple domains spanning both “hard” and “soft” sciences. The expected result is a coherent collection of integrated mathematical techniques. Section 9 discusses the first two test cases, project proposals, of our approach. They are designed to demonstrate the ability of our approach to address “wicked problems” which span across physics, chemistry, biology, societies and societal dynamics. The solutions require integrated measurable results at multiple levels known as “grand challenges” to existing methods. Finally, Section 10 adheres to an appeal for action, advocating the necessity for further long-term support of the INBIOSA program. -/- The report is concluded with preliminary non-exclusive list of challenging research themes to address, as well as required administrative actions. The efforts described in the ten sections of this White Paper will proceed concurrently. Collectively, they describe a program that can be managed and measured as it progresses. (shrink)

How can someone reconcile the desire to eat meat, and a tendency toward vegetarian ideals? How should we reconcile contradictory moral values? How can we aggregate different moral theories? How individual preferences can be fairly aggregated to represent a will, norm, or social decision? Conflict resolution and preference aggregation are tasks that intrigue philosophers, economists, sociologists, decision theorists, and many other scholars, being a rich interdisciplinary area for research. When trying to solve questions about moral uncertainty a meta understanding of (...) the concept of normativity can help us to develop strategies to deal with norms themselves. 2nd-order normativity, or norms about norms, is a hierarchical way to think about how to combine many different normative structures and preferences into a single coherent decision. That is what metanormativity is all about, a way to answer: what should we do when we don’t know what to do? In this study, we will review a decision-making strategy dealing with moral uncertainty, Maximization of Expected Choice-Worthiness. This strategy, proposed by William MacAskill, allows for the aggregation and inter-theoretical comparison of different normative structures, cardinal theories, and ordinal theories. In this study, we will exemplify the metanormative methods proposed by MacAskill, using has an example, a series of vegetarian dilemmas. Given the similarity to this metanormative strategy to expected utility theory, we will also show that it is possible to integrate both models to address decision-making problems in situations of empirical and moral uncertainty. We believe that this kind of ethical-mathematical formalism can be useful to help develop strategies to better aggregate moral preferences and solve conflicts. (shrink)

The Found and the Made: science, reason, and the reality of nature is a critical study of the role of abstraction and mathematical modeling in science, and how these affect the relationship of science and society to nature. This is a précis of the book, which questions the bias inherited from our religious and classical roots: that physical reality must be well defined, passive, and inert—a matter of divine or human specification. Determinism, time-reversibility, and isolated systems are persisting artifacts (...) of such a view, along with the notion that nature can be definitively grasped in a ‘theory of everything.’ However, if nature is autonomous in the way that organisms are (and mechanisms are not) it can be expected to self-organize in ways that elude mechanist treatment. Science could advance by taking a more self-reflective stance, acknowledging its role as a form of human cognition and examining the role of its practices and tacit assumptions in producing knowledge. Specifically, it could extend concepts of agency to non-living systems, in order to better explore self-organization in the cosmos at large. Such a shift in thinking might encourage society to extend to nature its natural legal rights. -/- . (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their (...) own, but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

In the course of daily life we solve problems often enough that there is a special term to characterize the activity and the right to expect a scientific theory to explain its dynamics. The classical view in psychology is that to solve a problem a subject must frame it by creating an internal representation of the problem’s structure, usually called a problem space. This space is an internally generable representation that is mathematically identical to a graph structure with nodes and (...) links. The nodes can be annotated with useful information, and the whole representation can be distributed over internal and external structures such as symbolic notations on paper or diagrams. If the representation is distributed across internal and external structures the subject must be able to keep track of activity in the distributed structure. Problem solving proceeds as the subject works from an initial state in mentally supported space, actively constructing possible solution paths, evaluating them and heuristically choosing the best. Control of this exploratory process is not well understood, as it is not always systematic, but various heuristic search algorithms have been proposed and some experimental support has been provided for them. (shrink)

The Sure-Thing Principle famously appears in Savage’s axiomatization of Subjective Expected Utility. Yet Savage introduces it only as an informal, overarching dominance condition motivating his separability postulate P2 and his state-independence postulate P3. Once these axioms are introduced, by and large, he does not discuss the principle any more. In this note, we pick up the analysis of the Sure-Thing Principle where Savage left it. In particular, we show that each of P2 and P3 is equivalent to a dominance condition; (...) that they strengthen in different directions a common, basic dominance axiom; and that they can be explicitly combined in a unified dominance condition that is a candidate formal statement for the Sure-Thing Principle. Based on elementary proofs, our results shed light on some of the most fundamental properties of rational choice under uncertainty. In particular they imply, as corollaries, potential simplifications for Savage’s and the Anscombe- Aumann axiomatizations of Subjective Expected Utility. Most surprisingly perhaps, they reveal that in Savage’s axiomatization, P3 can be weakened to a natural strengthening of so-called Obvious Dominance. (shrink)

Endocrinologists apply the idea of feedback loops to explain how hormones regulate certain bodily functions such as glucose metabolism. In particular, feedback loops focus on the maintenance of the plasma concentrations of glucose within a narrow range. Here, we put forward a different, organicist perspective on the endocrine regulation of glycaemia, by relying on the pivotal concept of closure of constraints. From this perspective, biological systems are understood as organized ones, which means that they are constituted of a set of (...) mutually dependent functional structures acting as constraints, whose maintenance depends on their reciprocal interactions. Closure refers specifically to the mutual dependence among functional constraints in an organism. We show that, when compared to feedback loops, organizational closure can generate much richer descriptions of the processes and constraints at play in the metabolism and regulation of glycaemia, by making explicit the different hierarchical orders involved. We expect that the proposed theoretical framework will open the way to the construction of original mathematical models, which would provide a better understanding of endocrine regulation from an organicist perspective. (shrink)

Bayesian cognitive science is a research programme that relies on modelling resources from Bayesian statistics for studying and understanding mind, brain, and behaviour. Conceiving of mental capacities as computing solutions to inductive problems, Bayesian cognitive scientists develop probabilistic models of mental capacities and evaluate their adequacy based on behavioural and neural data generated by humans (or other cognitive agents) performing a pertinent task. The overarching goal is to identify the mathematical principles, algorithmic procedures, and causal mechanisms that enable cognitive (...) agents to take uncertainty into account and weigh it appropriately in producing adaptive behaviour. -/- The appeal of Bayesian cognitive science derives from its transparency, normativity, and unifying power. Resources from Bayesian statistics allow cognitive scientists to characterise transparently, in terms of random variables and probabilistic dependencies between them, the inductive problems that many mental capacities are presumed to solve. Given this characterisation, researchers can define an upper bound on one’s performance on that problem and use it as a benchmark for interpreting experimental results, formulating hypotheses about why and when deviations from optimal performance should be expected, and seeking explanations of mental capacities within one encompassing theoretical framework. -/- Although critics question the testability, explanatory power, and plausibility of Bayesian models of mental capacities, Bayesian cognitive science has proved itself to be an incredibly fruitful research programme. Fuelled by empirical and theoretical results from psychology, neuroscience, philosophy, computer science, artificial intelligence, and evolution, Bayesian cognitive science has: advanced our understanding of why cognitive systems should keep track of uncertainty and use it to facilitate adaptive behaviour; clarified how the brain might encode information about the uncertainty of its stimuli and perform computations with probability distributions; and crystallised the insight that cognitive agents’ management of uncertainty might be grounded in predictive processes aimed at avoiding surprising exchanges with the environment. (shrink)

The propensity interpretation of fitness (PIF) is commonly taken to be subject to a set of simple counterexamples. We argue that three of the most important of these are not counterexamples to the PIF itself, but only to the traditional mathematical model of this propensity: fitness as expected number of offspring. They fail to demonstrate that a new mathematical model of the PIF could not succeed where this older model fails. We then propose a new formalization of the (...) PIF that avoids these (and other) counterexamples. By producing a counterexample-free model of the PIF, we call into question one of the primary motivations for adopting the statisticalist interpretation of fitness. In addition, this new model has the benefit of being more closely allied with contemporary mathematical biology than the traditional model of the PIF. (shrink)

Previous claims to have resolved the two-envelope paradox have been premature. The paradoxical argument has been exposed as manifestly fallacious if there is an upper limit to the amount of money that may be put in an envelope; but the paradoxical cases which can be described if this limitation is removed do not involve mathematical error, nor can they be explained away in terms of the strangeness of infinity. Only by taking account of the partial sums of the infinite (...) series of expected gains can the paradox be resolved. (shrink)

In the Republic Plato contrasts dialectic with mathematics on the grounds that the former but not the latter gives justifications of some kind for its hypotheses, pursuing this process until it reaches ‘an unhypothetical principle’. But which principles are unhypothetical, and why, is rather dark. One reason for this is the scarcity of forms of that precious word, ‘unhypothetical’ (aνυπoθετος), used only twice by Plato (Rep. 510 b 7, 511 b 6) and just once by Aristotle (Metaph. 1005B14). But that (...) very scarcity also suggests the intriguing possibility that Aristotle has Plato’s text in mind when he uses the word, so we might expect to understand Plato better by grasping how Aristotle took him. That is a notoriously defeasible assumption since plenty of modern accounts of Plato want to save him from Aristotle’s numerous critiques, and hence imply that the master of them that know frequently missed the point when it came to his own master. But surely we can be more confident that Aristotle will give us access to Plato when it appears not merely that he is dealing with the same topic, but using the same rare vocabulary to boot. Hence the understandable temptation to turn to Metaphysics Γ for help in identifying Platonic unhypothetical principles. I shall argue that Aristotle is indeed thinking of Plato’s text when he uses the word for ‘unhypothetical’, and further that what is explicitly an unhypothetical principle for Aristotle might well have been one for Plato too. But later I shall claim that their joint use of a much more common word in the same philosophical context is either coincidence or misunderstanding on Aristotle’s part, for he must mean something different by it from what Plato means. (shrink)

PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of (...) contemporary science requires the acceptance of some sort of Platonistic idealism affirming the existence of abstract, non-temporal, non-material, non-mental entities (numbers, scientific laws, mathematical formulas, etc.). The author is thus in direct opposition to the extreme materialism which had dominated philosophy of science in the first three quarters of this century. The book can be recommended to the scientifically literate, general reader whose acquaintance with these areas is limited to the literature of the 1950’s and before, when it had been assumed that empiricistic materialism was the only philosophy compatible with a scientific outlook. To this group the book presents an eye-opening challenge fulfilling the author’s intention of “shaking up preconceptions and stimulating further discussion”. QUINE’S book is not easy to read, partly because the level of sophistication fluctuates at high frequency between remote extremes and partly because of convoluted English prose style and devilish terminology. Almost all of the minor but troublesome technical errata in the first printing have been corrected [see reviews, e.g., the reviewer, Philos. Sci. 39 (1972), no. 1, 97–99]. In the opinion of the reviewer the book is not suitable for undergraduate instruction, and without external motivation few mathematicians are likely to have the patience to appreciate it. Nevertheless, a careful study of the book will more than repay the effort and one should expect to find frequent references to this book in coming years. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

A cursory glance at the list of Nobel Laureates for Economics is sufficient to confirm Stanovich’s description of the project to evaluate human rationality as seminal. Herbert Simon, Reinhard Selten, John Nash, Daniel Kahneman, and others, were awarded their prizes less for their work in economics, per se, than for their work on rationality, as such. Although philosophical works have for millennia attempted to describe, explicate and evaluate individual and collective aspects of rationality, new impetus was brought to this endeavor (...) over the last century as mathematical logic along with the social and behavioral sciences emerged. Yet more recently, over the last several decades, propelled by the emergence of artificial intelligence, cognitive science, evolutionary psychology, neuropsychology, and related fields, even more sophisticated approaches to the study of rationality have emerged. (shrink)

The following article will attempt to highlight four questions which, in my opinion, are left unanswered (or overlooked) by QBism and to show the answers that the Ontology of Knowledge (OK) can provide. ● How does the subject come to exist for itself, individuated and persistent? ● From what common reality do world, mind, and meaning emerge? ● How does meaning emerge from the mathematical fact of probabilistic expectation? ● Is meaning animated by its own nature?

Here we discuss and hope to solve a problem rooted in the necessity of the study of historical science, the slow deviation of physics education over the past century, and how the loss of crucial contextual tool has debilitated discussion of a very important yet specialized physics sub-topic: the isotropy of the one-way speed of light. Most notably, the information that appears to be most commonly missing is not simply the knowledge of the historical fact that Poincare and Lorentz presented (...) a mathematically equivalent representation of relativity theory contemporary with Einstein’s publication, but the most deleterious outcome is a lack of understanding of how that theory worked within a mechanical wave system to give the same results in all known experiments via an instrumentation-based illusion. Unfortunately those well educated in relativity theory, often haven’t been granted the advantage of contrast this history of development of the theory gives and thus some of the most direct and critical implications of modern theory are often lost on even graduate students. Chief among the implications that should be trivial to a student of relativity is the incompatibility of a mechanical wave concept of light with the modern assumptions of relativity. However, one should also be able to expect a graduate student to also easily comprehend the mathematical necessity of conjoining space with time is only descended from the presumption of isotropic constancy specifically, and further that the mechanics are one and the same as the relativity of simultaneity. However, many published papers appear to lack this understanding. The result is that the modern consensus appears to have arrived at the conclusion that the one-way speed of light is intrinsically untestable and therefore the physics community has accidentally pushed Minkowski spacetime, and most directly, the relativity of simultaneity, into the domain of pseudoscience, leaving only the historical relativistic “ether” described by Mansouri-Sexl test theory (AKA Lorentz Ether Theory) as the only workable alternative. This situation must be re-examined at the lowest possible level to arrive at an appropriate experimental regime. (shrink)

This paper addresses the issue of finite versus countable additivity in Bayesian probability and decision theory -- in particular, Savage's theory of subjective expected utility and personal probability. I show that Savage's reason for not requiring countable additivity in his theory is inconclusive. The assessment leads to an analysis of various highly idealised assumptions commonly adopted in Bayesian theory, where I argue that a healthy dose of, what I call, conceptual realism is often helpful in understanding the interpretational value of (...) sophisticated mathematical structures employed in applied sciences like decision theory. In the last part, I introduce countable additivity into Savage's theory and explore some technical properties in relation to other axioms of the system. (shrink)

This largely expository lecture deals with aspects of traditional solid geometry suitable for applications in logic courses. Polygons are plane or two-dimensional; the simplest are triangles. Polyhedra [or polyhedrons] are solid or three-dimensional; the simplest are tetrahedra [or triangular pyramids, made of four triangles]. -/- A regular polygon has equal sides and equal angles. A polyhedron having congruent faces and congruent [polyhedral] angles is not called regular, as some might expect; rather they are said to be subregular—a word coined for (...) this lecture. To repeat, a subregular polyhedron has congruent faces and congruent [polyhedral] angles. A subregular polyhedron whose faces are all regular polygons is regular—using standard terminology. -/- Geometers before Euclid showed that there are “essentially” only five regular polyhedra: every regular polyhedron is a tetrahedron (4 faces), a hexahedron or cube (6 faces), an octahedron (8 faces), a dodecahedron (12 faces), or an icosahedron (20 faces). -/- The first question is whether there are subregular polyhedra that are not regular. For example, are there tetrahedra having congruent angles and congruent triangular faces but whose faces are not equilateral triangles? -/- Another question is the classification of subregular polyhedra if they exist. For example, considering the fact that the regular tetrahedra all have equilateral triangles as faces, we ask which triangles other than equilaterals are faces of subregular tetrahedra. Similarly, considering the fact that the regular hexahedra all have squares as faces, we ask which quadrangles other than squares are faces of subregular hexahedra. -/- After introductory remarks that include historical and philosophical points, we concentrate on tetrahedra. A triangle that is congruent to each of the four faces of a tetrahedron is called a generator of the tetrahedron. The main result proved is that every acute triangle is a generator of a subregular tetrahedron. The proof includes an algorithm –implementable with scissors and paper –that constructs from any given acute triangle a subregular tetrahedron whose faces are congruent to the given triangle. -/- Algorithm: Given any acute triangle. Construct a similar triangle whose sides are double the sides of the given triangle. Draw the three lines connecting the three midpoints of the sides (making four triangles congruent to the given triangle—a central triangle surrounded by three peripheral triangles). Make three “hinges” along the lines connecting the midpoints. “Fold” the peripheral triangles together (into a tetrahedron). [LIGHTLY EDITED VERSION OF PRINTED ABSTRACT] Acknowledgements: William Lawvere, Colin McLarty, Irvin Miller, Frango Nabrasa, Lawrence Spector, Roberto Torretti, and Richard Vesley. -/- . (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

Inanimate explanation is to be analysed in terms of substances having powers and liabilities to exercise their powers under certain conditions; while personal explanation is to be analysed in terms of persons, their beliefs, powers, and purposes. A crucial criterion for an explanation being probably true is that it is (among explanations leading us to expect the data) the simplest one. Simplicity is a matter of few substances, few kinds of substances, few properties (including powers and liabilities), few kinds of (...) properties, and mathematically simple relations between properties. Explanation of the existence of the universe by the agency of God provides the simplest kind of personal explanation there can be, and one simpler than any inanimate explanation. I defend this view more thoroughly than previously in light of recent challenges. (shrink)

Much recent philosophy of physics has investigated the process of symmetry breaking. Here, I critically assess the alleged symmetry restoration at the fundamental scale. I draw attention to the contingency that gauge symmetries exhibit, that is, the fact that they have been chosen from an infinite space of possibilities. I appeal to this feature of group theory to argue that any metaphysical account of fundamental laws that expects symmetry restoration up to the fundamental level is not fully satisfactory. This is (...) a symmetry argument in line with Curie’s first principle. Further, I argue that this same feature of group theory helps to explain the ‘unreasonable’ effectiveness of mathematics in physics, and that it reduces the philosophical significance that has been attributed to the objectivity of gauge symmetries. (shrink)

This text provides an introduction to the topic of rational decision making as well as a brief overview of the most common biases in judgment and decision making. "Decision Making" is relatively short (300 pages) and richly illustrated with approximately 100 figures. It is suitable for both self-study and as the basis for an upper-division undergraduate course in judgment and decision making. The book is written to be accessible to anybody with minimum knowledge of mathematics (high-school level algebra and some (...) elementary notions of set theory and probability, which are reviewed in the book). At the end of each chapter there is a collection of exercises that are grouped according to that chapter’s sections. Complete and detailed answers for each exercise are given in the last section of each chapter. The book contains a total of 121 fully solved exercises. (shrink)

The role of the cultural assets as one of the pillars of sustainable development is undeniably of great significance in the cultural sustainability of cities. Indeed, the way users understand and interpret cultural heritage sites would be highly critical to managing cultural organizations properly. It means by improving users’ perception of these sites, it can expect a fair distribution of comprehensive awareness among generations about the values of cultural assets. Past studies in spatial psychology have demonstrated that environmental properties can (...) positively Influence human emotions. On the other hand, using computational–mathematical methods used to examine spatio-visual properties have rarely been compared to human perceptions. This paper examines the impact of spatio-visual properties on human perception as a clever cultural management strategy to promote cultural sustainability. It is discussed how environmental features in general, and visibility in particular, can shape the way users interpret cultural heritage. Results indicate that not only visibility of users’ paths within cultural heritage sites can be an influential factor for the development of users’ perception, but also the visibility of the entrance of these complexes can change their understanding. This means that decision-makers, architects, and managers of the cultural organizations can apply these findings as cultural management framework by defining predefined paths in these sites in the way that they possess high visibility and visible entrance. Consequently, the distribution of public awareness among generations can be improved to strengthen the role of cultural aspects in sustainable development. (shrink)

Holding students to high standards and assessing, measuring and evaluating their learning with challenging, authentic problems in the midterm and final exams is the goal of the professors who teach core signal processing concepts. However, the heavy reliance of these subjects on mathematics makes it difficult for students to genuinely grasp the concepts and relate to a conceptual framework. Specifically, analyzing the signals and the functionality of systems in Fourier domain; separating the system level analysis from signal level analysis; and (...) understanding how they are related in time domain and frequency domain are among the most challenging concepts. Students’ lower grades observed over past years in the introductory signal processing course exposed a potential disconnect between the actual level of learning and the high expectations set by the professors. In this paper, we present the active learning techniques that we implemented in one of the summer session offerings of this course in our department. The research explored Peer Instruction, pre-class reading quizzes and post-lecture quizzes. In addition to the mid and end of the quarter survey results, the comparison analysis of the grades students achieved in the active learning integrated course in the second summer session and the standard course offered in first summer session is discussed. According to our results, the developed techniques helped students in the active classroom perform significantly better than their peers participating in standard lectures when tested by challenging questions in their exams. (shrink)

There are (at least) three approaches to quantifying information. The first, algorithmic information or Kolmogorov complexity, takes events as strings and, given a universal Turing machine, quantifies the information content of a string as the length of the shortest program producing it [1]. The second, Shannon information, takes events as belonging to ensembles and quantifies the information resulting from observing the given event in terms of the number of alternate events that have been ruled out [2]. The third, statistical learning (...) theory, has introduced measures of capacity that control (in part) the expected risk of classifiers [3]. These capacities quantify the expectations regarding future data that learning algorithms embed into classifiers. Solomonoff and Hutter have applied algorithmic information to prove remarkable results on universal induction. Shannon information provides the mathematical foundation for communication and coding theory. However, both approaches have shortcomings. Algorithmic information is not computable, severely limiting its practical usefulness. Shannon information refers to ensembles rather than actual events: it makes no sense to compute the Shannon information of a single string – or rather, there are many answers to this question depending on how a related ensemble is constructed. Although there are asymptotic results linking algorithmic and Shannon information, it is unsatisfying that there is such a large gap – a difference in kind – between the two measures. This note describes a new method of quantifying information, effective information, that links algorithmic information to Shannon information, and also links both to capacities arising in statistical learning theory [4, 5]. After introducing the measure, we show that it provides a non-universal analog of Kolmogorov complexity. We then apply it to derive basic capacities in statistical learning theory: empirical VC-entropy and empirical Rademacher complexity. A nice byproduct of our approach is an interpretation of the explanatory power of a learning algorithm in terms of the number of hypotheses it falsifies [6], counted in two different ways for the two capacities. We also discuss how effective information relates to information gain, Shannon and mutual information. (shrink)

A central concept for information retrieval is that of similarity. Although an information retrieval system is expected to return a set of documents most relevant to the query word(s), it is often described as returning a set of documents most similar to the query. The authors argue that in order to reason with similarity we need to model the concept of discriminating power. They offer a simple topological notion called resolution space that provides a rich mathematical framework for reasoning (...) with limited discriminating power, avoiding the vagueness paradox. (shrink)

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...) a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic. (shrink)

This book represents a revised and expanded edition of the author's previous work, 'Modeling of Generancy: A Logical Solution.' While primarily delving into Indian philosophy, it incorporates various aspects of Western philosophy as well. To streamline the content, the author has excluded certain topics from the previous book while adding new ones, ensuring that both volumes hold special importance for the readers. The writing style of the book adopts a textbook approach. Generancy philosophy has emerged as a distinctive school of (...) thought within Indian philosophy, grounded in the acceptance of the Vedas as authoritative. However, the book transcends the confines of Vedic discourse by introducing additional subjects. Mathematics plays a prominent role, enabling attempts to address humanity's incessant curiosity and existential inquiries. Thought-provoking discussions on topics such as the universe, life, and the concept of God are presented. Furthermore, the book extensively explores human happiness, sorrow, and the ultimate purpose of life. It is expected that readers' interest in philosophy will be heightened after engaging with this book. (shrink)

The paper deals with the beginning and the main properties of the science of nature (he peri physeos historiê). According to Themistius (DK 12 A 7), the founder of this kind of Ionic philosophy is Anaximander of Miletus because he was the first who wrote about nature (especially a cosmography and a cosmogony) and developed three main principles of nature: 1. Nature has a mathematical structure (Arist. De coelo I3 295b10-14.32); 2. nature has a physical structure (DK 12 A (...) 10-11); and 3. nature follows natural laws (DK 12 A 9). The origin of this introduction lies in the prolongation of primitive expectations of constancy. It is especially argued that the shift from mythos to logos is characterized by the depersonalization of nature and the introduction of theoretical terms. In fact, the "apeiron" of Anaximander seems to be something similar to a theoretical term, because Anaximander seems to have realized that the explanans of nature cannot be one of its explananda like water (Thales) or air (Anaximenes). (shrink)

Husserl’s commitment to reality is marked by the urgency to return, or rather to a repeated return each time the objective is achieved . He explains this explicitly in The Crisis of European Sciences and Transcendental Phenomenology, taking his cue from Descartes’ Meditations . Reduction, which is the exact name for re- turn, means change of attitude, abandonment of the natural position as naive . Jan Patočka notes in this regard, that today people who have experienced modern sci- ence no (...) longer simply live in the naive natural world . The naive natural world is in- terpreted under species of the mathematical model . So, the gap between meaning as an expectation of experience and meaning within the framework of the model is increasingly evident . If intentionality, according to Husserl and disciples, includ- ing Heidegger, cannot be other than the idea itself, then it is just a something for something . It’s like giving voice to one thing and not another . Commitment to life (Husserl’s Lebenswelt) requires a return to corporeality, as Patočka adds, following Maine de Biran’s accurate insight, that is, of something immediately given, prior to any perceptual experience . The term “matrix” in the title brings to mind the eponymous 1999 film based on the philosophical metaphor of Plato’s cave in the fashion of the digital age . The protagonist, Neo, finds himself living for a long time in the lack of support of reality, precisely because of distrust: something is wrong, and this can only be felt . However, how can the hacker mentality help you under- stand that perhaps it is but a game? (shrink)