Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

In the basic model of Condorcet’s jury theorem and in the literature that follows, an odd-numbered group of voters is assumed so that the simple majority rule can be used. We show that this assumption is not necessary either in Condorcet’s basic model or in the general framework of dichotomous choice. We first apply simple majority rule to an even-numbered homogeneous fixed-size committee. We then provide a justification for using simple majority rule for an even-numbered heterogeneous fixed-size committee when (...) the competence structure of the committee members is not common knowledge. (shrink)

We reconstruct the group action in the group configuration theorem. We apply it to show that in an ω-categorical theory a finitely based pseudolinear regular type is locally modular, and the geometry associated to a finitely based locally modular regular type is projective geometry over a finite field.

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are (...) not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

The study that George Lakoff and Rafael Núñez call "idea analysis" and begin in their recent book Where mathematics comes from is intended to dissect mathematical concepts into their metaphorical parts, where metaphor is used in the cognitive-science sense promoted by Lakoff and Mark Johnson in Metaphors we live by and subsequent works by each of them and together. Lakoff and Núñez's analysis of the (modern) algebraic concept of group is based on the attribution to contemporary mathematics (...) of what will be widely recognizable by their name for it, the folk theory of essences. I argue that this philosophical basis for their analysis is spurious and supply an alternative analysis of the same concept within their "metaphorical" paradigm but without essences. This analysis, which I hope is more viable than theirs, is intended to support the general applicability of the paradigm by freeing it from outmoded philosophical baggage. (shrink)

This book grew out of lectures. It is intended as an introduction to classical two-valued predicate logic. The restriction to classical logic is not meant to imply that this logic is intrinsically better than other, non-classical logics; however, classical logic is a good introduction to logic because of its simplicity, and a good basis for applications because it is the foundation of classical mathematics, and thus of the exact sciences which are based on it. The book is meant primarily (...) for mathematics students who are already acquainted with some of the fundamental concepts of mathematics, such as that of a group. It should help the reader to see for himself the advantages of a formalisation. The step from the everyday language to a formalised language, which usually creates difficulties, is dis cussed and practised thoroughly. The analysis of the way in which basic mathematical structures are approached in mathematics leads in a natural way to the semantic notion of consequence. One of the substantial achievements of modern logic has been to show that the notion of consequence can be replaced by a provably equivalent notion of derivability which is defined by means of a calculus. Today we know of many calculi which have this property. (shrink)

Let T and T1 be tournaments with n elements, E a basis for T, E′ a basis for T′, and k ≥ 3 an integer. The dual of T is the tournament T” of basis E defined by T = T for all x, y ε E. A hemimorphism from T onto T′ is an isomorphism from T onto T” or onto T. A k-hemimorphism from T onto T′ is a bijection f from E to E′ such that for any (...) subset X of E of order k the restrictions T/X and T1/f are hemimorphic. The set of hemimorphisms of T onto itself has group structure, this group is called the group of hemimorphisms of T. In this work, we study the restrictions to n – 2 elements of a tournament with n elements. In particular, we prove: Let k ≥ 3 be an integer, T a tournament with n elements, where n ≥ k + 5. Then the following statements are equivalent: All restrictions of T to subsets with n – 2 elements are k-hemimorphic. All restrictions of T to subsets with n – 2 elements are 3-hemimorphic. All restrictions of T to subsets with n – 2 elements are hemimorphic. All restrictions of T to subsets with n – 2 elements are isomorphic, Either T is a strict total order, or the group of hemimorphisms of T is 2-homogeneous. (shrink)

Renormalization group (RG) methods are an established strategy to explain how it is possible that microscopically different systems exhibit virtually the same macro behavior when undergoing phase-transitions. I argue – in agreement with Robert Batterman – that RG explanations are non-causal explanations. However, Batterman misidentifies the reason why RG explanations are non-causal: it is not the case that an explanation is non- causal if it ignores causal details. I propose an alternative argument, according to which RG explanations are non-causal (...) explanations because their explanatory power is due to the application mathematical operations, which do not serve the purpose of representing causal relations. (shrink)

A hypergroup, as a generalization of the notion of a group, was introduced by F. Marty in 1934. The first book in hypergroup theory was published by Corsini. Nowadays, hypergroups have found applications to many subjects of pure and applied mathematics, for example, in geometry, topology, cryptography and coding theory, graphs and hypergraphs, probability theory, binary relations, theory of fuzzy and rough sets and automata theory, physics, and also in biological inheritance.

This paper argues that mathematics education curricular policy has slowly effected a reversal in the relationship between mathematics and its publics: from mathematics assuming its users to mathematics defined by its (supposed) users. Mathematics education research itself, its contribution to challenging the former notwithstanding, has often unwittingly supported this shift. While in the mid 1980s the mathematics educators propagating the teaching of mathematics by applications represented a small and unique group, by the (...) mid 1990s those advocating teaching mathematics this way had grown appreciably. A characteristic of this change in conviction is the emphasis on the importance of the context of mathematical thinking and problem-solving. Paradoxically, the consequences of the coupling of mathematics, both with utilitarianism,as other have argued, and with essentialism,as we argue in this paper, have been to narrow its scope (e.g. to a narrow version of 'numeracy') and to distance mathematics from its publics. In the paper we argue that action is needed to counter these trends, and to develop the area of the public understanding of mathematics. Otherwise policies aiming simply to 'popularize' mathematics might exacerbate these consequences. In particular, research is necessary along the lines followed by the social studies of science. For such research-by posing as pertinent the question of describing and accounting for differences between practices of knowledge production, dissemination and use-can help to avoid the assumption of a unique essence of some unitary culture called 'mathematics' and therefore a public (or publics) separated from it. (shrink)

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a sub stantial course on abstract algebra. Consequently, our treatment ofthe sub ject is algebraic. Although we assurne a reasonable level of sophistication in algebra, the text requires little more than the basic notions of group, ring, module, etc. A more detailed knowledge of algebra is required for some of . the exercises. We also (...) assurne a familiarity with the main ideas of set theory, including cardinal numbers and Zorn's Lemma. In this book, we carry out a mathematical study of the logic used in mathematics. We do this by constructing a mathematical model oflogic and applying mathematics to analyse the properties of the model. We therefore regard all our existing knowledge of mathematics as being applicable to the analysis of the model, and in particular we accept set theory as part of the meta-Ianguage. We are not attempting to construct a foundation on which all mathematics is to be based-rather, any conclusions to be drawn about the foundations of mathematics co me only by analogy with the model, and are to be regarded in much the same way as the conclusions drawn from any scientific theory. (shrink)

This study examines interactions in which students help each other with their learning during classroom instruction, forming groups in the process. From a conversation analytic perspective, helping is assumed to be a sequentially organized activity jointly accomplished by the participants. As an activity that proceeds alongside other ongoing classroom activities, helping can be conceived as part of a multiactivity that poses students with multi-faceted interactional and moral challenges. While previous research on helping in educational contexts has primarily focused on the (...) influence of helping on learning outcomes and social dynamics in helping interactions, the present study investigates how students cope with the intricacies of moral commitments inherent in helping as a concurrent activity. The aim of this paper is two-fold. First, we aim to elaborate on how students’ dual involvements – i.e., their involvement in classroom activities while simultaneously providing help – manifest in the ways in which groups are constituted, maintained, and dissolved. The analyses reveal that both the compatibility of helping with the activity already in progress as well as the students’ problem definition are consequential for the sequential and bodily-spatial unfolding of the help interaction, inducing different arrangements that constitute a continuum, at each end of which there is a dominant orientation toward the shared space of helping or toward the individual/collective space. Furthermore, from a methodological perspective, our study aims to demonstrate the extent to which multimodal interaction analysis is applicable when examining naturally occurring groups, in this case, in interactive processes of helping. The study is based on a data corpus that comprises video recordings of mathematics and German lessons from two fifth-grade classrooms. (shrink)

This book contains 21 essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In computer science and mathematics, this gap between foundations and applications is small, as illustrated by essays on the proof theory of non-classical logics, lambda calculus, relating logic programs to inductive definition, and definability in Lindenbaum algebras. Other chapters discuss how to apply model theory to field theory, complex (...) geometry and groups, and how to recover from its automorphism group. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators (...) and the pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

An Elementary Transition to Abstract Mathematics will help students move from introductory courses to those where rigor and proof play a much greater role. The text is organized into five basic parts: the first looks back on selected topics from pre-calculus and calculus, treating them more rigorously, and it covers various proof techniques; the second part covers induction, sets, functions, cardinality, complex numbers, permutations, and matrices; the third part introduces basic number theory including applications to cryptography; the fourth part (...) introduces key objects from abstract algebra; and the final part focuses on polynomials. Features: The material is presented in many short chapters, so that one concept at a time can be absorbed by the student. Two "looking back" chapters at the outset (pre-calculus and calculus) are designed to start the student's transition by working with familiar concepts. Many examples of every concept are given to make the material as concrete as possible and to emphasize the importance of searching for patterns. A conversational writing style is employed throughout in an effort to encourage active learning on the part of the student. (shrink)

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact (...) mathematical constructions. Therefore, they are legitimate components of the theory and the pictures of Cayley graphs are a part of practical mathematical procedures. (shrink)

Clark1880, WGS1984, and ITRF08 are the reference systems used in Iraq. The ITRF08 and WGS84 represent the global reference frames. In the majority of instances, the transformation from one coordinate system to another is required. The ability of the artificial neural network to identify the connection between two coordinate systems without the need for a mathematical model is one of its most significant benefits. In this study, an ANN was employed for two-dimensional coordinate transformation from local Clark1880 to the global (...) reference system ITRF08. To accomplish so, 68 stations with known coordinates in both systems were utilized in this research and were split into two groups: the first set of data was used as the training data and the second set of data was used as the validation data. A root-mean-square error was used to examine the performance of each transformation. The results showed that the RMSE using the ANN was 0.08 m in the east and 0.17 m in the north. The results indicated that the ANN can be used for 2D coordinate transformation with the results that are better than those of the authorized techniques such as 2D conformal transformation and 2D conformal least square. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

The article considers structuralism as a philosophy of mathematics, as based on the commonly accepted explicit mathematical concept of a structure. Such a structure consists of a set with specified functions and relations satisfying specified axioms, which describe the type of the structure. Examples of such structures such as groups and spaces, are described. The viewpoint is now dominant in organizing much of mathematics, but does not cover all mathematics, in particular most applications. It does not explain (...) why certain structures are dominant, not why the same mathematical structure can have so many different and protean realizations. ‘structure’ is just one part of the full situation, which must somehow connect the ideal structures with their varied examples. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents (...) some theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

This paper investigates the role of pictures in mathematics in the particular case of Cayley graphs—the graphic representations of groups. I shall argue that their principal function in that theory—to provide insight into the abstract structure of groups—is performed employing their visual aspect. I suggest that the application of a visual graph theory in the purely non-visual theory of groups resulted in a new effective approach in which pictures have an essential role. Cayley graphs were initially developed as exact (...) mathematical constructions. Therefore, they are legitimate components of the theory (combinatorial and geometric group theory) and the pictures of Cayley graphs are a part of practical mathematical procedures. (shrink)

We prove several results about groups of finite Morley rank without unipotent p-torsion: p-torsion always occurs inside tori, Sylow p-subgroups are conjugate, and p is not the minimal prime divisor of our approximation to the "Weyl group". These results are quickly finding extensive applications within the classification project.

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of (...) Bose‐Einstein statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model. (shrink)

The technique of covers is now well established in semigroup theory. The idea is, given a semigroup S, to find a semigroup having a better understood structure than that of S, and an onto morphism of a specific kind from to S. With the right conditions on , the behaviour of S is closely linked to that of . If S is finite one aims to choose a finite . The celebrated results for inverse semigroups of McAlister in the 1970s (...) form the flagship of this theory.Weakly left quasi-ample semigroups form a quasivariety (of algebras of type(2, 1)), properly containing the classes of groups, and of inverse, left ample, and weakly left ample semigroups. We show how the existence of finite proper covers for semigroups in this quasivariety is a consequence of Ashs powerful theorem for pointlike sets. Our approach is to obtain a cover of a weakly left quasi-ample semigroup S as a subalgebra of S × G, where G is a group. It follows immediately from the fact that weakly left quasi-ample semigroups form a quasivariety, that is weakly left quasi-ample. We can then specialise our covering results to the quasivarieties of weakly left ample, and left ample semigroups. The latter have natural representations as (2, 1)-subalgebras of partial (one-one) transformations, where the unary operation takes a transformation to the identity map in the domain of . In the final part of this paper we consider representations of weakly left quasi-ample semigroups. (shrink)

Bertand’s paradox is a fundamental problem in probability that casts doubt on the applicability of the indifference principle by showing that it may yield contradictory results, depending on the meaning assigned to “randomness”. Jaynes claimed that symmetry requirements solve the paradox by selecting a unique solution to the problem. I show that this is not the case and that every variant obtained from the principle of indifference can also be obtained from Jaynes’ principle of transformation groups. This is because the (...) same symmetries can be mathematically implemented in different ways, depending on the procedure of random selection that one uses. I describe a simple experiment that supports a result from symmetry arguments, but the solution is different from Jaynes’. Jaynes’ method is thus best seen as a tool to obtain probability distributions when the principle of indifference is inconvenient, but it cannot resolve ambiguities inherent in the use of that principle and still depends on explicitly defining the selection procedure. (shrink)

Part 1 of this article exposed a tension between Poincaré’s views of arithmetic and geometry and argued that it could not be resolved by taking geometry to depend on arithmetic. Part 2 aims to resolve the tension by supposing not merely that intuition’s role is to justify induction on the natural numbers but rather that it also functions to acquaint us with the unity of orders and structures and show practices to fit or harmonize with experience. I argue that in (...) this manner, intuition serves the epistemological function of warranting generalizations and justifying practices. In particular, it justifies the application of group-theoretic notions in geometry but not the use of set-theoretic notions in arithmetic. (shrink)

This study aims to determine the opinions of teachers of Religious Culture and Ethics Course (DKAB) about subject-based classroom application in-depth. The research has been carried from qualitative research methods with a case study design. In order to determine the working group of the study, criteria sampling was used in the first stage, and the maximum diversity sampling method was used in the next step. The sample of this research consists of 8 DKAB teachers working in Ankara province. A (...) semi-structured interview form has been used as a data collection tool in the study. The data of the qualitative of this research has been analyzed with both descriptive and content analysis by NVivo 10 program. In order to ensure validity and reliability in the study, credibility, transferability, consistency, and verifiability strategies have been used. When the research data were analyzed, four themes were formed: positive opinions about the application, negative opinions and problems related to the application, contribution of the practice to religious education and training, and recommendations about the application. DKAB teachers find the application more positive than the classroom system. It has been found that the practice of subject-based classrooms is a motivational tool for Primary School students, while it causes some problems for lower secondary school and upper secondary school students.Summary: Learning environments are among the key elements in the acquisition of 21st-century skills. Classrooms are also a part of the learning environment. Classes are the learning environment in which teachers and students spend most of their education and training process. In this context, subject-based classroom application is one of the preferred methods in the arrangement of classrooms.Subject-based classroom application means that the teachers have a special classroom related to their branches in the school building, and students attend the teacher's classroom according to the syllabus. In this practice, the teacher can decorate walls, floor, ceiling, column, and beam of the classroom with students’ study materials such as banner, poster, painting, cartoon to make the course more effective and efficient and to create a psychological atmosphere called classroom atmosphere-air.This application aims to activate the student by enriching the classroom and make learning effective and efficient. The classroom equipped with appropriate equipment and materials provides a favorable environment for the implementation of effective teaching strategies. The application can create “class/classroom culture” by using ordinary meanings and symbols related to the course. It provides students the opportunity to exhibit their products and contributes to students' self-regulation skills development. Besides, real-life practices or practices close to reality can be brought into the classroom. As a result, permanent learning can be realized with the possibility of creating a shared living space and the number of sensory organs participating in learning.This current study aims to address in-depth information about the opinions of Religious Culture and Moral Ethics (DKAB) teachers in primary, secondary, and high schools regarding the subject-based classroom application. When the studies in the literature are examined, it is seen that the studies related to the subject-based classroom application have increased since 2010. However, it is clear that this research is directed towards social studies, geography, science, and mathematics courses and is based on the opinions of students, teachers, and administrators at the secondary school level. In the context of DKAB course, there has been no research including the views of teachers, students, or school administrators regarding the application of subject-based classrooms. This study is carried out revealing perspectives of DKAB teachers by examining their opinions on the subject-based classroom application and contribute to the field. The research was conducted with a case study design from the qualitative research methods. The participants consist of 8 DKAB teachers working in Ankara province. A mixed purposive sampling method was used to determine the study group. In the first stage, the teachers implementing the DKAB classrooms application were taken as criteria. In the next step, the study group was determined within the framework of the maximum diversity sampling method by considering the variables such as school level, gender, age, education level, duration of teachers' work. The data were collected through a semi-structured interview form with expert opinion. In the form, there are nine main questions and probe questions, which include questions related to subject-based classrooms application, the contribution of the application to religious education and training, the contribution of teachers to professional and personal development, the effect of teachers' belonging to the school, the effectiveness, and improvement of the application. Permission has been obtained from the Ankara Provincial Directorate of National Education and participants via consent form for the interview. The interviews were recorded in audio, 169.58-minute audio recording transcripts, and 52-page interview data obtained. The qualitative data of this research has been analyzed with both descriptive and content analysis by NVivo 10 program. In order to ensure validity and reliability in the study, credibility, transferability, consistency, and verifiability strategies have been used.When the data of the research were analyzed, the opinions of DKAB teachers about the subject-based classrooms application categorized under four themes; positive and negative opinions/problems about the practice, the contribution of the practice to religious education and teaching and practical suggestions. Under the theme of positive opinions on the application, positive aspects for the teacher, student, parents, and comparison with the classroom system were formed. According to the participants, the practice of DKAB classroom is a “facilitation” element for the teacher because of the factors such as the teacher not moving around the classroom, not carrying material, having freedom to organize the classroom, and material regularity. In this application, since the teacher has a class of his own, the teacher adopts and owns the classroom and the sense of belonging to school increases. This sense of belonging is felt so strongly that there is even a participant who plans to retire if the application is abandoned. The positive aspects of the application for the students are that; a classroom is a motivating tool, the boards and walls can be used, and the student has the opportunity to exhibit their activities. When compared with the classroom system, it was stated that as a result of the branch classroom practice, the school equipment could be better protected, class order and cleaning easier, and the success of the students would be increased.The negative views of the participants on the application were grouped under the categories of students, teachers, and parents. Not having a fixed class of their own, continually relocating and losing time in recess, staying in the classroom door when the classroom is locked, not adopting the classroom and lack of lockers constitute the negative aspects of the application for the students. The overuse of classrooms, less use of teachers' rooms, lack of communication between colleagues are the negative aspects of the application for the teachers. It was stated by (75%) most of the participants that branch classroom application contributed to the continual learning of students in religious education and teaching. To make the application more functional, DKAB teachers have proposed arrangements such as improving physical infrastructure, enriching teaching materials, and arranging school syllabus and keeping classrooms open. As a result, teachers find the application more positive than the classroom system. While it is a motivation tool for primary school students, it causes some problems for secondary and high school students, such as carrying bags, staying at the door, and wasting time. In this sense, the application is recommended to be applied in primary schools that have a sufficient number of classrooms. Also, the system should be applied in secondary and high schools where the number of students is low, or the number of classrooms is sufficiently provided that the problems experienced by the students are eliminated. School administrations and teachers need to take necessary measures to make the application effective and efficient. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We show that every definable nested family of closed and bounded subsets of a P-minimal field K has nonempty intersection. As an application we answer a question of Darnière and Halupczok showing that P-minimal fields satisfy the “extreme value property”: for every closed and bounded subset [math] and every interpretable continuous function [math] (where [math] denotes the value group), f(U) admits a maximal value. Two further corollaries are obtained as (...) a consequence of their work. The first one shows that every interpretable subset of [math] is already interpretable in the language of rings, answering a question of Cluckers and Halupczok. This implies in particular that every P-minimal field is polynomially bounded. The second one characterizes those P-minimal fields satisfying a classical cell preparation theorem as those having definable Skolem functions, generalizing a result of Mourgues. (shrink)

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.

We review the mathematical theory ofSL(n, R) and its double-covering group $\overline {SL} (n,R)$ , especially forn = 2, 3, 4. After discussing a variety of physical applications, we show that $\overline {SL} (3,R)$ provides holonomic curved space (“world”) spinors with an infinite number of components. We construct the relevant holonomic “manifield” and discuss the gravitational interaction of a proton as an example.

We consider a situation in which individuals search for accurate decisions without direct feedback on their accuracy, but with information about the decisions made by peers in their group. The “wisdom of crowds” hypothesis states that the average judgment of many individuals can give a good estimate of, for example, the outcomes of sporting events and the answers to trivia questions. Two conditions for the application of wisdom of crowds are that estimates should be independent and unbiased. Here, we (...) study how individuals integrate social information when answering trivia questions with answers that range between 0% and 100%. We find that, consistent with the wisdom of crowds hypothesis, average performance improves with group size. However, individuals show a consistent bias to produce estimates that are insufficiently extreme. We find that social information provides significant, albeit small, improvement to group performance. Outliers with answers far from the correct answer move toward the position of the group mean. Given that these outliers also tend to be nearer to 50% than do the answers of other group members, this move creates group polarization away from 50%. By looking at individual performance over different questions we find that some people are more likely to be affected by social influence than others. There is also evidence that people differ in their competence in answering questions, but lack of competence is not significantly correlated with willingness to change guesses. We develop a mathematical model based on these results that postulates a cognitive process in which people first decide whether to take into account peer guesses, and if so, to move in the direction of these guesses. The size of the move is proportional to the distance between their own guess and the average guess of the group. This model closely approximates the distribution of guess movements and shows how outlying incorrect opinions can be systematically removed from a group resulting, in some situations, in improved group performance. However, improvement is only predicted for cases in which the initial guesses of individuals in the group are biased. (shrink)

Category theory is often treated as an algebraic foundation for mathematics, and the widely known algebraization of ZF set theory in terms of this discipline is referenced as “categorical set theory” or “set theory for category theory”. The method of algebraization used in this theory has not been formulated in terms of universal algebra so far. In current paper, a _universal algebraic_ method, i.e. one formulated in terms of universal algebra, is presented and used for algebraization of a ground (...) mereological system described as “quantitative” (QMS) and of the standard set theories built upon it. The QMS is algebraized by using abelian generalized groups (AGGs) generalizing both abelian groups and Boolean algebras. To algebraize set theory, the AGG are enriched with operators to produce _extensional algebras_ (EA) of Tarskian “Boolean algebras with operators” type. EAs explicate the intuition of set theory’ universes (of discourse). The axiomatic set theory presented in this paper, named _extension theory_, previously went through an intuitive phase of development during its use by the author in computer science projects, where it served as the basis for development of a foundational data science framework and an extensional model of natural languages also outlined here. (shrink)

We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new local - global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.

The ArgumentThe belief in the existence of eternal mathematical truth has been part of this science throughout history. Bourbaki, however, introduced an interesting, and rather innovative twist to it, beginning in the mid-1930s. This group of mathematicians advanced the view that mathematics is a science dealing with structures, and that it attains its results through a systematic application of the modern axiomatic method. Like many other mathematicians, past and contemporary, Bourbaki understood the historical development of mathematics as (...) a series of necessary stages inexorably leading to its current state — meaning by this, the specific perspective that Bourbaki had adopted and were promoting. But unlike anyone else, Bourbaki actively put forward the view that their conception of mathematics was not only illuminating and useful for dealing with the current concerns of mathematics, but that this was in fact the ultimate stage in the evolution of mathematics, bound to remain unchanged by any future development of this science. In this way, they were extending in an unprecedented way the domain of validity of the belief in the eternal character of mathematical truths, from the body to the images of mathematical knowledge.Bourbaki were fond of presenting their insistence on the centrality of the modern axiomatic method as a way to ensure the eternal character of mathematical truth as an offshoot of Hilbert's mathematical heritage. A detailed examination of Hilbert's actual conception of the axiomatic method, however, brings to the fore interesting differences between it and Bourbaki's conception, thus underscoring the historically conditioned character of certain, fundamental mathematical beliefs. (shrink)

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight (...) in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems. (shrink)

The present paper will argue that, for too long, many nominalists have concentrated their researches on the question of whether one could make sense of applications of mathematics (especially in science) without presupposing the existence of mathematical objects. This was, no doubt, due to the enormous influence of Quine's "Indispensability Argument", which challenged the nominalist to come up with an explanation of how science could be done without referring to, or quantifying over, mathematical objects. I shall admonish nominalists to (...) enlarge the target of their investigations to include the many uses mathematicians make of concepts such as structures and models to advance pure mathematics. I shall illustrate my reasons for admonishing nominalists to strike out in these new directions by using Hartry Field's nominalistic view of mathematics as a model of a philosophy of mathematics that was developed in just the sort of way I argue one should guard against. I shall support my reasons by providing grounds for rejecting both Field's fictionalism and also his deflationist account of mathematical knowledge—doctrines that were formed largely in response to the Indispensability Argument. I shall then give a refutation of Mark Balaguer's argument for his thesis that fictionalism is "the best version of anti-realistic anti-platonism". (shrink)

This book is a collection of contributions written by philosophers and scientists active in different fields, such as mathematics, logics, social sciences, computer sciences and linguistics. They comment on and discuss various parts of and subjects and propositions introduced in the Handbook of Analytical Philosophy of Medicine from Kadem Sadegh-Zadeh, published by Springer in 2012. This volume reports on the fruitful exchange and debate that arose in the fuzzy community upon the publication of the Handbook. This was not only (...) very much appreciated by the community but also seen as a critical starting point for beginning a new discussion. The results of this discussion, which involved many different perspectives from science and the humanities and was warmly encouraged by Kadem Sadegh-Zadeh himself, are accurately reported in this volume, which is intended to be a critical companion to Kadem Sadegh-Zadeh ́s handbook. Rudolf Seising is currently an adjunct researcher at the European Centre for Soft Computing in Mieres, Asturias (Spain) and a college lecturer at the Faculty of History and Arts, at the Ludwig Maximilians University of Munich (Germany). Marco Elio Tabacchi is currently the Scientific Director of the Italian National Research & Survey Organization Demopolis, and a research assistant in the Soft Computing Group at University of Palermo (Italy). (shrink)

A method is proposed that should facilitate the construction of theories of “submicroscopic particles” (denoted as “theories of microchannels”) in a way similar to the use of group-theoretical methods. The “conceptual analysis” (CA) method is based on the analysis of the basic concepts of a theory; it permits a determination of necessary conditions imposed on the mathematical apparatus (of the theory) which then appear as a mathematical representation of the structures obtained in a formal scheme of a theory. A (...) pertinent conceptual analysis leads to a new definition (“relativization”) of the concept “empirical implication.” The approach may be characterized as “realistic” and “operational.” The application of the CA method is illustrated on the example of quantum theory. In Part I the algebraic structure of a partially ordered, up-ward directed, bounded set is deduced from the rudimentary concepts. In Parts II and III, we shall deduce the Hilbert-space structure (well established in quantum mechanics) from postulates on some essential idealizations accepted in the theory. Whereas Part II is concerned with the idealizations of existing quantum theories based on the Hilbert-space formalism, Part I may be considered as a general basis for a wider class of theories. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

This article develops a media philosophical framework for addressing the intersection of epigenetics and complex dynamical systems in theoretical biology. In particular, it argues that the theoretical humanities need to think critically about the computability of epigenomic regulation, as well as speculatively about the possibility of an epigenomics beyond complexity. The fact that such a conceptual framework does not exist suggests not only a failure to engage with the mathematics of complexity, but also a failure to engage with its (...) history. Both epigenetics and the application of complex dynamical systems to biology originate in the mid-twentieth-century work of Conrad Hal Waddington. The article demonstrates how this genealogy of epigenetic complexity reveals the need for a speculative conception of epigenomic mediation beyond mathematical complexity. Using Whitehead’s philosophy as a conceptual anchor, the “epimedial landscape” serves as a first pass at a media philosophical revision of the complex dynamical systems view of the epigenetic landscape. (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)

Mathematical game theory – developed starting from the publication of The Theory of Games and Economic Behavior , by John von Neumann and Oskar Morgenstern – aims to outline an ideal model of behaviour of rational agents involved in some interaction with other rational agents. For this reason, game theory has immediately attracted the attention of philosophers dealing with practical rationality and, since the fifties, has been applied to the analysis of several issues concerning ethics and philosophy of politics. Here (...) we will focus on one of the most interesting applications of game theory to ethical-political inquiry, i.e., with the game theoretic analysis of some problems related to the evolution of moral norms. Firstly, we will provide a short outline of the development of game theory, which has lead to the formulation of a plurality of different game theories. It will be shown that such theories can be classified in two main groups: rationalistic game theories –in two different versions: classical and epistemic – and evolutionary game theories. Moreover, some basic elements of classical game theory will be introduced and the key ideas of epistemic and evolutionary game theories will be illustrated. Afterwards, the main approaches developed within the ethical-political applications of game theory will be shortly described. Finally, some results obtained in the last twenty years by the researchers who have analysed the evolution of moral norms by the conceptual tools of evolutionary and epistemic game theories, will be examined. (shrink)

This volume contains the proceedings of three special sessions: Algebra and Computer Science, held during the Joint AMS-EMS-SPM meeting in Porto, Portugal, June 10–13, 2015; Groups, Algorithms, and Cryptography, held during the Joint Mathematics Meeting in San Antonio, TX, January 10–13, 2015; and Applications of Algebra to Cryptography, held during the Joint AMS-Israel Mathematical Union meeting in Tel-Aviv, Israel, June 16–19, 2014. Papers contained in this volume address a wide range of topics, from theoretical aspects of algebra, namely (...) class='Hi'>group theory, universal algebra and related areas, to applications in several different areas of computer science. From the computational side, the book aims to reflect the rapidly emerging area of algorithmic problems in algebra, their computational complexity and applications, including information security, constraint satisfaction problems, and decision theory. The book gives special attention to recent advances in quantum computing that highlight the need for a variety of new intractability assumptions and have resulted in a new area called group-based cryptography. (shrink)

Mathematics and logic are indispensable in science, yet how they are deployed and why they are so effective, especially in the natural sciences, is poorly understood. In this paper, I focus on the how by analysing Jean Piaget’s application of mathematics to the empirical content of psychological experiment; however, I do not lose sight of the application’s wider implications on the why. In a case study, I set out how Piaget drew on the stock of mathematical structures to (...) model psychological content, namely, the operations of thought involved in reasoning. In particular, I show how operations of thought form structured wholes that initially resisted modelling by either lattices or groups but could be modelled adequately by modifications of these mathematical structures. Piaget coined the term ‘grouping’ for the modified structure, and I conclude that it represents a non-canonical application of mathematics to the empirical content of experimental psychology. I also touch on the role external factors played in Piaget’s development of the grouping. According to the genetic epistemology conceived by Piaget, the origin of intelligence lies in the biological organism and develops in stages over time, and, via the grouping, Piaget established a genetic relationship between two stages of reasoning. I show how this relationship explains why mathematics and logic fit the psychological content of reasoning whilst simultaneously making their successful deployment in the natural sciences more mysterious. Finally, I turn to the explanation Piaget envisaged for the unreasonable effectiveness of mathematics in the natural sciences and consider some consequences for naturalism and Pythagoreanism. (shrink)

Numerous groups race to discover the gene biomarker whose alteration alone is indicative of a particular disease in all humans. Biomarkers are selected from the most frequently altered genes in large population cohorts. However, thousands of other genes are simultaneously affected, and, in each person, the same disease results from a unique, never-repeatable combination of gene alterations. Therefore, our Genomic Fabric Paradigm (GFP) switches the focus from the alteration of one particular gene to the overall change in selected groups of (...) functionally related genes. Biomarkers are of little therapeutic value, their high alterability indicating low protection by the homeostatic mechanisms as for minor players. Instead of these most alterable genes in all patients, GFP identifies in each patient the genes whose highly protected expression governs major functional pathways by controlling the expression of numerous other genes. Smart manipulation of such (commander) genes would have the maximum therapeutic benefit not for everybody but for the treated person. The genomic fabric is defined as the transcriptome associated with the most interconnected and stably expressed network of genes responsible for a particular functional pathway. The fabric exhibits specificity with respect to race/strain, sex, age, tissue/cell type, and lifestyle and environmental factors. It remodels during development, progression of a disease, and in response to external stimuli. GFP is powered by mathematically advanced analytical tools whose application is illustrated by reprocessing data from previously published gene expression experiments. (shrink)