It has been argued in relation to Old Babylonian mathematical procedure texts that their validity or correctness is self-evident. One “sees” that the procedure is correct without it having, or being accompanied by, any explicit arguments for the correctness of the procedure. Even when agreeing with this view, one might still ask about how is the correctness of a procedure articulated? In this work, we present an articulation of the correctness of ancient Egyptian and (...) Old Babylonian mathematical procedure texts – mathematical texts presenting the solution of problems. We endeavor to make explicit and explain how and why the procedures are reliable over and above the fact that their correctness is intuitive. (shrink)

Récemment savamment rééditée, la contribution qu’Alexandre Kojève offrit à Alexandre Koyré pour son septantième anniversaire s’attache à soutenir, de manière « beaucoup moins canularesque qu’elle ne paraît l’être à première vue », une affirmation que les «procédures historiennes» ne permettraient pas d’énoncer : si les Grecs n’ont pas développé la physique mathématique alors que les savants du XVIe siècle, au premier rang desquels Nicolas Copernic, ont réussi à la faire émerger, c’est parce que les premiers étaient païens alors que les (...) seconds étaient spécifiquement chrétiens ! Seuls ces derniers, grâce au dogme de l’Incarnation, ont en effet été aptes à réussir l’universalisation de l’approche mathématique du monde. N’hésitant pas à lire cette contribution tel qu’il s’avère qu’elle a été lue, c’est-à-dire indépendamment de l’œuvre kojévienne et de sa mise en œuvre d’une «histoire raisonnée», cet article analyse les deux principales sources d’inspiration de ladite thèse, à savoir Pierre Duhem et Alexandre Koyré ; retrace la réception historique de cette contribution ; relève toutes les objections qui, à cette occasion, lui furent adressées ; et, finalement, formule quelques objections supplémentaires. Les lecteurs qui souhaiteront bénéficier de la réédition de ce texte kojévien pour le moins provocateur devraient ainsi être à même de déterminer le degré de crédibilité qu’il convient de lui accorder. * * * Having recently been expertly republished, the contribution that Alexandre Kojève offered to Alexandre Koyré for his seventieth birthday served to support, in a manner that was in fact “much less playful than it initially appeared to be”, a claim that “historical procedures” had suppressed: if the Greeks failed to develop mathematical physics where the scholars of the 16th century, the foremost of whom being Nicolas Copernicus, succeeded, then it must be due to the fact that the former were pagans while the latter were specifically Christian! Only the latter, by virtue of the doctrine of Incarnation, were deemed capable of achieving the universalisation of the mathematical approach to the world. Focussed on interpreting this contribution as it was intended to be read, in other words independently of Kojève’s work and its implementation of a “rational history”, this article endeavours to: analyse the two main sources of inspiration for the aforementioned theory, namely Pierre Duhem and Alexandre Koyré; trace the historical reception of this contribution; highlight all of the objections that it was subject to at the time; and, lastly, formulate a few additional objections. Those readers wishing to make the most of the reissue of this rather provocative Kojèvian text should thus be in a position to determine the degree of credibility that it should be afforded. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

The study investigated the effect of cognitive restructuring on junior secondary school mathematics test anxiety in Oshimili south L.G.A of Delta State. Two research questions and two hypotheses tested at 0.05 level of significance guided the study. Quasi-experimental research design was adopted for this study. The population for this study was a total of 1224 students. These comprised of all the JSS 2 students from Oshimili South Local Government Area of Delta State. Research sample consisted of 120 JSS 2 students (...) with high level of mathematics test anxiety selected through purposive sampling technique. The instrument adopted for this study was Maths anxiety rating scale-R. Data collected from the study were analyzed using mean and ANCOVA. Results obtained from the study indicated that Cognitive restructuring therapy (CRT) was effective on mathematics test anxiety of junior secondary school students. The results equally showed that Cognitive restructuring therapy was more effective on the female students’ mathematics anxiety than their male counterparts. Furthermore, the results indicated a significant difference in the post-test mathematics test anxiety mean scores of students treated with CRT and those in the control group. Also, there was significant difference in the post-test mathematics test anxiety mean scores of male and female students treated with CRT. Based on the findings of this study, some recommendations were noted. The researcher recommended, among others that Schools’ Guidance Counselors should be empowered to make good use of the cognitive restructuring technique, in counseling students who find it difficult to comprehend mathematics skills. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion (...) of an effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

The reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold provides a systematic account of the structure of Leibniz’s metaphysics in terms of its mathematical foundations. However, in doing so, Deleuze draws not only upon the mathematics developed by Leibniz—including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus—but also upon developments in mathematics made by a number of Leibniz’s contemporaries—including Newton’s method of fluxions. He also draws upon a number of (...) subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work—including the theory of functions and singularities, the Weierstrassian theory of analytic continuity, and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the Weierstrassian theory of analytic continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. This essay is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

In this paper, I consider the use of mathematical results in philosophical arguments arriving at conclusions with non-mathematical content, with the view that in general such usage requires additional justification. As a cautionary example, I examine Kreisel’s arguments that the Continuum Hypothesis is determined by the axioms of Zermelo-Fraenkel set theory, and interpret Weston’s 1976 reply as showing that Kreisel fails to provide sufficient justification for the use of his main technical result. If we take the perspective that (...) mathematical results are used in the context of a modelling of something not necessarily mathematical, then the situation is clarified somewhat, and the procedure for arriving at justification for the use of such results becomes clear. I give an example of a particularly strong form this justification might take, using the idea of formalism independence due to Gödel and Kennedy. (shrink)

Various changes and advances have taken place in the ways of teaching and learning. With the encountered global pandemic crisis, flexible learning has been practiced particularly in state universities and colleges. This study sought to determine the level of procedural fluency in College Algebra as well as the difficulties and interventions applied by tertiary students of Cotabato State University (CSU) in the flexible learning set-up. The period covered by the study was during the first semester of the school year 2021-2022. (...) The respondents were a sample of 30 first-year mathematics major students of CSU. It used mixed methods; the quantitative approach was utilized to know the students’ knowledge of procedures in solving mathematical problems while the qualitative approach was utilized to explore the difficulties of the students in learning mathematics as well as the coping strategies that can serve as basis for mathematics intervention program. The findings revealed that most of the respondents have a low level of procedural fluency in College Algebra, particularly emerging in the understanding the problem, devising a strategy, and solving steps while inept in the problem-solving checking process. On the part of new normal learning, difficulties were experienced such as poor knowledge of the prerequisite skills and unstable internet connection. As part of their interventions, facing the encountered problems, practicing repeatedly, and watching online video tutorials were applied. Based on the findings of the study, it is concluded that the first-year students have low level of procedural fluency in College Algebra problem-solving particularly in the Polya’s principles of understanding the problem, devising a plan, carrying out the plan, and checking the answer. Because of the learning challenges encountered by the students, it is recommended to develop step-by-step video tutorials that can address their problem-solving difficulties and supplement their learning in the flexible mode of delivery. (shrink)

We present an approach in which ancient Greek mathematical proofs by Hippocrates of Chios and Euclid are addressed as a form of (guided) intentional reasoning. Schematically, in a proof, we start with a sentence that works as a premise; this sentence is followed by another, the conclusion of what we might take to be an inferential step. That goes on until the last conclusion is reached. Guided by the text, we go through small inferential steps; in each one, we (...) go through an autonomous reasoning process linking the premise to the conclusion. The reasoning process is accompanied by a metareasoning process. Metareasoning gives rise to a feeling-knowing of correctness. In each step/cycle of the proof, we have a feeling-knowing of correctness. Overall, we reach a feeling of correctness for the whole proof. We suggest that this approach allows us to address the issues of how a proof functions, for us, as an enabler to ascertain the correctness of its argument and how we ascertain this correctness. (shrink)

The current technical report of the research project investigating how the mathematical dimension of gambling is reflected in the communication and texts associated with the gambling industry raises the problem of the adequacy of sampling and proposes a new approach in this respect. The qualitative analysis of the reviewed websites is extended to a deeper analysis of language and also to the organization and structure of websites’ content. Although not stated as a goal of the initial project, the (...) research will also try to identify relationships between the specificity of content relative to the mathematical dimension of gambling, and the management and marketing of the website. An overview of the results of the statistical analysis of the current sample is also presented. (shrink)

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome of Kant's (...) terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure (...) is effective. This undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

This paper discusses the 17th-century Latin translation of Proclus’ Commentary on the First Book of Euclid’s Elements, preserved in Madrid, Biblioteca Nacional de España, MS 9871, produced by the Spaniard Vicente Mariner. The author examines the historical context, sources, and motivations behind Mariner’s translation, his intellectual profile, and the potential reasons for translating a mathematical text given his background in literature. Via a comparison of Mariner’s text with the original Greek, this paper delves into Mariner’s translation choices and linguistic (...) nuances to highlight the challenges he faced while translating it. Transcriptions of the collated passage both from Grynaeus’ 1533 editio princeps of Proclus’ text and Mariner’s manuscript are provided in the Appendix. Overall, this paper attempts to shed light on Mariner’s contribution to the Latin reception of Proclus’ work in the early modern period. (shrink)

This is not a mathematics book, but a book about mathematics, which addresses both student and teacher, with a goal as practical as possible, namely to initiate and smooth the way toward the student’s full understanding of the mathematics taught in school. The customary procedural-formal approach to teaching mathematics has resulted in students’ distorted vision of mathematics as a merely formal, instrumental, and computational discipline. Without the conceptual base of mathematics, students develop over time a “mathematical anxiety” and abandon (...) any effort to understand mathematics, which becomes their “traditional enemy” in school. This work materializes the results of the inter- and trans-disciplinary research aimed toward the understanding of mathematics, which concluded that the fields with the potential to contribute to mathematics education in this respect, by unifying the procedural and conceptual approaches, are epistemology and philosophy of mathematics and science, as well as fundamentals and history of mathematics. These results argue that students’ fear of mathematics can be annulled through a conceptual approach, and a student with a good conceptual understanding will be a better problem solver. The author has identified those zones and concepts from the above disciplines that can be adapted and processed for familiarizing the student with this type of knowledge, which should accompany the traditional content of school mathematics. The work was organized so as to create for the reader a unificatory image of the complex nature of mathematics, as well as a conceptual perspective ultimately necessary to the holistic understanding of school mathematics. The author talks about mathematics to convince readers that to understand mathematics means first to understand it as a whole, but also as part of a whole. The nature of mathematics, its primary concepts (like numbers and sets), its structures, language, methods, roles, and applicability, are all presented in their essential content, and the explanation of non-mathematical concepts is done in an accessible language and with many relevant examples. (shrink)

In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably less (...) prevalent in mathematics papers than in physics papers or in general English. Furthermore, we find that the proportion with which mathematicians use expressions related to ‘explaining why’ and ‘explaining how’ is significantly different to the equivalent proportion in physics and in general English. We discuss possible accounts for these differences. (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)

Most published discussions in contemporary metaethics include some textual exegesis of the relevant contemporary authors, but little or none of the historical authors who provide the underpinnings of their general approach. The latter is usually relegated to the historical, or dismissed as expository. Sometimes this can be a useful division of labor. But it can also lead to grave confusion about the views under discussion, and even about whose views are, in fact, under discussion. Elijah Millgram’s article, “Does the Categorical (...) Imperative Give Rise to a Contradiction in the Will?” is a case in point. In it, he takes the New Kantians to task for various flaws in their interpretation of Kant’s moral theory, to be detailed shortly. He concludes with a question and a suggestion. In order to properly dissect the first, “universal law” formulation of the Categorical Imperative, he argues, we first need to understand “why an agent wills the universalization of his maxim” (549). He also suggests that in order to answer this question, we must recur to what Kant himself actually says (550). His question is a good one, and his advice on how to go about answering it is sound. But to take Millgram’s advice is to call this division of labor into question, at least for this case. For it demands close and sustained exegesis, not only of his argument against the New Kantians, but also – in order to assess whether and where they go wrong – of Kant’s text itself. (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the (...) fourth and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

The first learning game to be developed to help students to develop and hone skills in constructing proofs in both the propositional and first-order predicate calculi. It comprises an autotelic (self-motivating) learning approach to assist students in developing skills and strategies of proof in the propositional and predicate calculus. The text of VALIDITY consists of a general introduction that describes earlier studies made of autotelic learning games, paying particular attention to work done at the Law School of Yale University, called (...) the ALL Project (Accelerated Learning of Logic). Following the introduction, the game of VALIDITY is described, first with reference to the propositional calculus, and then in connection with the first-order predicate calculus with identity. Sections in the text are devoted to discussions of the various rules of derivation employed in both calculi. Three appendices follow the main text; these provide a catalogue of sequents and theorems that have been proved for the propositional calculus and for the predicate calculus, and include suggestions for the classroom use of VALIDITY in university-level courses in mathematical logic. (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the (...) fourth and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

We report on an exploratory study of the way eight mid-level undergraduate mathematics majors read and reflected on four student-generated arguments purported to be proofs of a single theorem. The results suggest that mid-level undergraduates tend to focus on surface features of such arguments and that their ability to determine whether arguments are proofs is very limited -- perhaps more so than either they or their instructors recognize. We begin by discussing arguments (purported proofs) regarded as texts and validations (...) of those arguments, i.e., reflections of individuals checking whether such arguments really are proofs of theorems. We relate the way the mathematics research community views proofs and their validations to ideas from reading comprehension and literary theory. We then give a detailed analysis of the four student-generated arguments and finally analyze the eight students' validations of them. (shrink)

In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The (...) results of this empirical study suggest that mathematical explanations do occur in research articles published in mathematics journals, as indicated by the occurrence of explanation indicators. When compared with the use of justification indicators, however, the data suggest that justifications occur much more frequently than explanations in scholarly mathematical practice. The results also suggest that justificatory proofs occur much more frequently than explanatory proofs, thus suggesting that proof may be playing a larger justificatory role than an explanatory role in scholarly mathematical practice. (shrink)

A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud (...) if possible. Don’t miss the silly attempt to recycle Kant’s quip “Concepts without intuitions are empty; intuitions without concepts are blind”. What the paper was aiming at includes the absurdity: “Proofs without definitions are empty; definitions without proofs are, if not blind, then dumb.” But the author even bollixed this. The editor didn’t even notice. The copy-editor missed it. And the author’s proof-reading did not catch it. In order not to torment you I will quote the sentence as it appears: “In a slogan: proofs without definitions are empty, merely the aimless manipulation of signs according to rules; and definitions without proofs are, if no blind, then dumb.”[sic] The rest of my review discusses the paper’s astounding misattribution to contemporary logicians of the information-theoretic approach. This approach was cruelly trashed by Quine in his 1970 Philosophy of Logic, and thereafter ignored by every text I know of. The paper under review attributes generally to modern philosophers and logicians views that were never espoused by any of the prominent logicians—such as Hilbert, Gödel, Tarski, Church, and Quine—apparently in an attempt to distance them from Frege: the focus of the article. On page 310 we find the following paragraph. “In our logics it is assumed that inference potential is given by truth-conditions. Hence, we think, deduction can be nothing more than a matter of making explicit information that is already contained in one’s premises. If the deduction is valid then the information contained in the conclusion must be contained already in the premises; if that information is not contained already in the premises […], then the argument cannot be valid.” Although the paper is meticulous in citing supporting literature for less questionable points, no references are given for this. In fact, the view that deduction is the making explicit of information that is only implicit in premises has not been espoused by any standard symbolic logic books. It has only recently been articulated by a small number of philosophical logicians from a younger generation, for example, in the prize-winning essay by J. Sagüillo, Methodological practice and complementary concepts of logical consequence: Tarski’s model-theoretic consequence and Corcoran’s information-theoretic consequence, History and Philosophy of Logic, 30 (2009), pp. 21–48. The paper omits definitions of key terms including ‘ampliative’, ‘explicatory’, ‘inference potential’, ‘truth-condition’, and ‘information’. The definition of prime number on page 292 is as follows: “To say that a number is prime is to say that it is not divisible without remainder by another number”. This would make one be the only prime number. The paper being reviewed had the benefit of two anonymous referees who contributed “very helpful comments on an earlier draft”. Could these anonymous referees have read the paper? -/- J. Corcoran, U of Buffalo, SUNY -/- PS By the way, if anyone has a paper that has been turned down by other journals, any journal that would publish something like this might be worth trying. (shrink)

This article had its start with another article, concerned with measuring the speed of gravitational waves - "The Measurement of the Light Deflection from Jupiter: Experimental Results" by Ed Fomalont and Sergei Kopeikin (2003) - The Astrophysical Journal 598 (1): 704–711. This starting-point led to many other topics that required explanation or naturally seemed to follow on – Unification of gravity with electromagnetism and the 2 nuclear forces, Speed of electromagnetic waves, Energy of cosmic rays and UHECRs, Digital string theory, (...) Dark energy+gravity+binary digits, Cosmic strings and wormholes from Figure-8 Klein bottles, Massless and massive photons and gravitons, Inverse square+quantum entanglement = God+evolution, Binary digits projected to make Prof. Greene’s cosmic holographic movie, Renormalization of infinity, Colliding subuniverses, Unifying cosmic inflation, TOE (emphasizing “EVERYthing”) = Bose-Einstein renormalized. The text also addresses (in a nonmathematical way) the wavelength of electromagnetic waves, the frequency of gravitational waves, gravitational and electromagnetic waves having identical speed, the gamma-ray burst designated GRB 090510, the smoothness of space, and includes these words – “Gravity produces electromagnetism. Retrocausally (by means of humans travelling into the past of this subuniverse with their electronics); this “Cosmic EM Background” produces base-2 mathematics, which produces gravity. EM interacts with gravity to produce particles, mass – gravity/EM could be termed “the Higgs field” - and the nuclear forces associated with those particles. It makes gravity using BITS that copy the principle of magnetism attracting and repelling, before pasting it into what we call the strong force and dark energy.” . (shrink)

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

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

The study evaluated primary texts' availability and utilisation status in core subjects (English Language, Mathematics, Social Studies and Basic Science) in primary schools’ libraries in Obubra Local Government Area of Cross River State. The researchers formulated six null hypotheses to guide the study. The study adopted the descriptive survey research design. The target population of this study comprised a total of 30,036 teachers and pupils, distributed across the 73 public primary schools. A proportionate stratified sampling technique was used to (...) select 30% and 5% of the available teachers and pupils in each school, resulting in a sample of 270 respondents. Two instruments were used for data collection: Availability and Pupils Utilisation of Primary Texts in Core Subjects Questionnaire (APUPTCSQ) and Teachers Utilization of Primary Texts in Core Subjects Questionnaire (TUPTCSQ). Collected data were analysed using descriptive statistics, while the null hypotheses were all tested at the .05 level of significance using population t-test and independent t-test statistical techniques. Findings revealed that textbooks in core subjects are available to a significant extent; the utilisation status of texts in core subjects is not significantly low; the available books in core subjects are not considerably utilised by the pupils and teachers respectively; factors affecting availability are not substantially different from those affecting utilisation of textbooks in core subjects in the area of study. Based on the study's findings, it was recommended, among others, that textbooks be procured and distributed evenly across all subjects and schools in the Local Government Area by the Government. Outdated books should also be eliminated from the school libraries frequently by the primary school librarians or other people assigned to do so. (shrink)

A textbook by Norwegian anthropologist Thomas Hylland Eriksen tells us that Gregory Bateson criticized the use of the term ‘function’ in social anthropology on the following grounds: it has no place outside of mathematics. But consulting the Bateson text referred to, he does not say that in his section on function and even endorses certain uses of the term “function” in anthropology. I look into these and his criticisms of functionalism, responding to the criticisms.

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Google Translate (GT) is the most widely used translator application in the world. The function of GT is not merely as tools but has become a means in personal communication, learning and business matters. This paper aims to examine the GT accuracy in translating culinary texts. This paper used a semiotic approach to analyze the equivalence of GT from the source language to the target language. The data source as the object of study is French culinary texts retrieved (...) from the internet. It can be concluded that the accuracy of GT in culinary texts lies in words, phrases and sentences. GT does not yet have good accuracy in translating culture between source and target languages. In the semiotic perspective, the GT translation model is the translation from the source language form to the target language form (signifier) by maintaining the concept (meaning). GT does not yet have a translation feature in a cultural context. The advancement in information technology shows that GT, as a human-robot, can replace human translators. (shrink)

Zeno’s Arrow and Nāgārjuna’s Fundamental Wisdom of the Middle Way Chapter 2 contain paradoxical, dialectic arguments thought to indicate that there is no valid explanation of motion, hence there is no physical or generic motion. There are, however, diverse interpretations of the latter text, and I argue they apply to Zeno’s Arrow as well. I also find that many of the interpretations are dependent on a mathematical analysis of material motion through space and time. However, with modern philosophy and (...) physics we find that the link from no explanation to no phenomena is invalid and that there is a valid explanation and understanding of physical motion. Hence, those arguments are both invalid and false, which banishes the MMK/2 and The Arrow under this and derivative interpretations to merely the history of philosophy. However, a view that maintains their relevance is that each is used as a koan or sequence of koans designed to assist students in spiritual meditation practice. This view is partly justified by the realization that both Nāgārjuna and Zeno were likely meditation masters in addition to being logicians. The works are, therefore, not works that should be assessed as having valid arguments and true conclusions by the standards of modern analytic philosophy—contrary to some of the literature—but rather are therapeutic and perhaps more appropriately considered as part of an experientially focused philosophy such as existentialism, phenomenology or religion. (shrink)

Hasan's (1984) Model of Cohesive Harmony Analysis (CHA) represents one of the first attempts within the SFL framework to devise a relatively objective index for measuring a text's coherence. As a development of the classic "cohesion analysis"(Halliday & Hasan 1976), it probes into the coherence of a text by considering discourse structure as being based in both the syntagmatic and the paradigmatic semantic relations between components of clauses. More than thirty years later, it is still widely used as an effective (...) tool for language teaching and linguistic pathology. This paper will trace its origin, introduce its basic concepts and analytical procedure, describe its applications and consider its possible future development. (shrink)

As the journal is effectively defunct, I am uploading a full-text copy, but only of my abstract and article, and some journal front matter. -/- Note that the pagination in the PDF version differs from the official pagination because A4 and 8.5" x 11" differ. -/- Note also that this is not a mere repetition of the argument in /Mind/, nor merely an application of it; there are subtle differences. -/- Finally, although Christians are likely to take this as applicable (...) to a God who can enter time, Jewish readers who wish a full understanding of its intent are referred to M.R. II:13:3. Note that /some/ free will, however miniscule, must remain, exactly as argued. Also, Maimonides speaks differently, albeit metaphorically, elsewhere, and nothing here contradicts his statements. (shrink)

In this review, as well as discussing the pedagogical of this text book, I also discuss Linnebo's approach to the Caesar problem and the use of metaphysical notions to explicate mathematics.

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...) 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.). (shrink)

Epstein and Carnielli's fine textbook on logic and computability is now in its second edition. The readers of this journal might be particularly interested in the timeline `Computability and Undecidability' added in this edition, and the included wall-poster of the same title. The text itself, however, has some aspects which are worth commenting on.

This is a defence of the authenticity of Plato’s Epistula vii against the recent onslaught by Frede and Burnyeat (2015). It focusses on what Ep. vii has to say about writing and the embedded philosophical Digression and evaluates this in the context of other mainly late dialogues. In the Cratylus, Socrates ends with resignation regarding the potential of language study as a source of truth. This is also the case in Ep. vii, where the four means of knowledge (names, definitions, (...) images (diagrams) and knowledge/insight/true opinion) do not offer the essence of reality due to the weakness of language, in this case owing to a diagram with contrary properties. Consequently, name and definition are impermanent and conventional. Contra Burnyeat, definition is not impossible but useful in the acquisition of knowledge. Only after dialectical examination comes a flash of insight into reality. So, reality (truth) must, as in the Cratylus, be studied directly. Significantly for Plato (as opposed to Socrates), the epistemology is illustrated by a mathematical case. Hence it is relevant to look at mathematical procedure in middle and late dialogues. Moreover, the possible role of division is considered. Finally, the critique of writing justified by the Digression is placed in the context of the general aversion to the written word. The epistemology of the Digression is shown to be a fair and competent synopsis of the later Plato’s epistemology. Hence, there seems to be no reason thus far to doubt that Ep. vii is a genuine work of Plato. (shrink)

ACTION-THEORETICALLY EXPLANATORY INTERPRETATIONS AS A MEANS OF SEMANTIC MEANING ANALYSIS The article first develops a general procedure for semantic meaning analysis in difficult cases where the meaning is very uncertain. The procedure consists of searching for one or more possible hypothetical causal explanations of the text, these explanations containing, among other things, the semantic intention of the author, his subjective reasons for this meaning and for the writing down of the text, but also the path of transmission of (...) the text from the writing down to the respective present text version. These hypothetical explanations (interpretations) are deductive-nomological or probabilistic, therefore presuppose corresponding general law hypotheses. If there is only one possible (hypothetical) explanation of the text at hand, this hypothetical explanation is also true. Very often, however, there are several possible explanations. In this case, the probabilities of these possible explanations must be determined; these probabilities then carry over to the individual hypotheses in the explanation (according to Bayes' law). This general procedure of meaning analysis is used in the second part of the article to reconstruct two famous interpretations (by Wapnewski and Hahn) of a poem by Walther von der Vogelweide ("Nemt, frowe, disen kranz"). -/- GERMAN ABSTRACT In dem Artikel wird zunächst ein allgemeines Verfahren zur semantischen Bedeutungsanalyse in schwierigen Fällen entwickelt, in denen die Bedeutung sehr unsicher ist. Das Verfahren besteht darin, daß eine oder mehrere mögliche hypothetische kausale Erklärungen des Textes gesucht werden, wobei diese Erklärungen u.a. die semantische Intention des Autors enthalten, seine subjektiven Gründe für diese Bedeutung und für die Niederschrift des Textes, aber auch den Weg der Tradierung des Textes von der Niederschrift bis zur jeweils vorliegenden Textversion. Diese hypothetischen Erklärungen (Deutungen) sind deduktiv-nomologisch oder probabilistisch, setzen deshalb entsprechende allgemeine Gesetzeshypothesen voraus. Wenn es nur eine mögliche (hypothetische) Erklärung des vorliegenden Textes gibt, ist diese hypothetische Erklärung auch wahr. Sehr häufig gibt es aber mehrere mögliche Erklärungen. In diesem Fall müssen die Wahrscheinlichkeiten dieser möglichen Erklärungen bestimmt werden; diese Wahrscheinlichkeiten übertragen sich dann auch auf die einzelnen Hypothesen in der Erklärung (nach dem Bayesschen Gesetz). Dieses allgemeine Verfahren der Bedeutungsanalyse wird im zweiten Teil des Artikels zur Rekonstruktion zweier berühmter Interpretationen (von Wapnewski und Hahn) eines Gedichts von Walther von der Vogelweide („Nemt, frowe, disen kranz“) verwendet. (shrink)

This paper generalises the classical Condorcet jury theorem from majority voting over two options to plurality voting over multiple options. The paper further discusses the debate between epistemic and procedural democracy and situates its formal results in that debate. The paper finally compares a number of different social choice procedures for many-option choices in terms of their epistemic merits. An appendix explores the implications of some of the present mathematical results for the question of how probable majority cycles (as (...) in Condorcet's paradox) are in large electorates. (shrink)

Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he used (...) several keywords such as "active intuition" and "self-reflection" from Nishida's philosophy. In this paper, we aim to describe a general outline of our project to investigate Takeuti's philosophy of mathematics. In particular, after reviewing Takeuti's proof-theoretic results briefly, we describe some key elements in Takeuti's texts. By explaining these texts, we point out the connection between Takeuti's proof theory and Nishida's philosophy and explain the future goals of our project. (shrink)

During the production process, production companies need to monitor the finished products and ensure their quality, which imposes on them the appointment of inspectors for auditing, and this appointment costs the company amounts that affect the general profit, so it strives to make this cost as low as possible and that the audit process is carried out with high accuracy because in case that the finished products do not conform to the basic specifications of the product, the company is required (...) to pay a fine. In this research, we will formulate the text of the problem appropriately for such a case and then we will build the appropriate mathematical model through which we can obtain the lowest possible cost of inspection, and we will present the study using classical values and neutrosophic values, and we will demonstrate them through an example that shows us the difference between them. (shrink)

This text examines the socio-professional guidance of Comorian migrants residing on La Réunion Island. It mainly questions the process whereby guidance is constructed as a professional situation. To apprehend the complexity of the process, we have drawn on an ethnographical procedure (Woods, 1990) based on a dual source of data—that of the guide and that of the guided—as well as a micro-sociological approach (Thomas, 1923 ; Goffman, 1993 ; Lapassade, 1997) allowing us to link the concepts of situation definition (...) and conflict in situation definition. Finally, the article mobilizes an intercultural approach (Abdallah-Pretceille, 2003 ; Clanet, 1990 ; Camilleri, 1993) which, in reference to a threefold subjectivist, interactionist and situational perspective, aims to shed light on the dimensions of guidance that are otherness and heterogeneity. Ce texte traite de l’accompagnement socioprofessionnel des migrants comoriens résidant dans l’île de La Réunion. Il questionne principalement le processus de construction de l’accompagnement en tant que situation professionnelle. Pour appréhender la complexité de ce processus, nous avons convoqué une démarche ethnographique (Woods, 1990) privilégiant une double entrée : celle de l’accompagnateur et celle de l’accompagné, une approche microsociologique (Thomas, 1923 ; Goffman, 1993 ; Lapassade, 1997) permettant d’articuler les concepts de définition de la situation et de conflit de définition de la situation et enfin une approche interculturelle (Abdallah-Pretceille, 2003 ; Clanet, 1990 ; Camilleri, 1993) visant à élucider, en référence à une triple perspective : subjectiviste, interactionniste et situationnelle, les dimensions altéritaire et hétérogène de l’accompagnement. (shrink)

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes (...) that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom. (shrink)

In texts such as “Richard Rorty’s Pragmatic Turn” Jürgen Habermas defends a theory that associates, on the one hand, the truth-claim raised by a speaker for a proposition p with, on the other hand, the requirement that p be “defendable on the basis of good reasons […] at any time and against anybody”. This, as is known, has been the target of criticisms by Rorty, who−in spite of agreeing with Habermas on the central tenet that the way of evaluating (...) our beliefs must be argumentative practice−declares that the only “ideal presupposed by discourse” is “that of being able to justify your beliefs to a competent audience”. We will consider two texts from 1971, -surprisingly neglected in most approaches to the debate-, in which Habermas did include such a “competence condition” to elucidate the notion of truth. We will discuss whether there are good reasons to relinquish such a condition and to refer, instead, only to the formal or procedural properties of argumentative exchanges, as Habermas does in presenting the notion of “ideal speech situation”. As we will try to argue, there are no such good reasons. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

In the Introduction to the Treatise Hume very enthusiastically announces his project to provide a secure and solid foundation for the sciences by grounding them on his science of man. And Hume indicates in the Abstract that he carries out this project in the Treatise. But most interpreters do not believe that Hume's project comes to fruition. In this paper, I offer a general reading of what I call Hume's ‘foundational project’ in the Treatise, but I focus especially on Book (...) 1. I argue that in Book 1 much of Hume's logic is put in the service of the other sciences, in particular, mathematics and natural philosophy. I concentrate on Hume's negative thesis that many of the ideas central to the sciences are ideas that we cannot form. For Hume, this negative thesis has implications for the sciences, as many of the texts I discuss make evident. I consider and criticize different proposals for understanding these implications: the Criterion of Meaning and the ‘Inconceivability Principle’. I introduce what I call Hume's ‘No Reason to Believe’ Principle, which I argue captures more adequately the link Hume envisions between his logic, in particular his examination of ideas, and the other sciences. (shrink)

This text is part of an on going research. It deals with the relationship between the production and experience of the places on the edge of the Trans-Amazon Highway (BR 230), which cuts the North and a Northeast portion in the East-West direction. Considering its programmatic sense of occupation of the territory, as opposed to the explanation already accepted, which expresses the road as an engineering system, therefore, means to flow, is that I propose to think the road as an (...) everyday living space, emphasizing the educational dimension to understand the existence of places. My purpose is to analyze the spatial imagination underlying the external understanding to the Trans-Amazon, in the educational plan, regarding the unique geographicity produced by local groups living near the road. Methodologically, I seek a dialogue between a phenomenological design and the existentialism, developing field of research procedures, literature review that supports the concepts of spatial imaginations, place and field education, critical reading of official documents in the MEC sites imagery record in dialogue with the representation of those that live on the edge of “Strip”. As an indication of preliminary findings point out: 1. The denial of places as a geopolitical strategy which is materialized in the educational process and planning politics; 2. The inescapable geographicity of groups that self recognize and are related contradictorily to the Trans-Amazon Highway; 3. The Countryside Education as opening or denial of the place, both for those who live it, and for those who do not live it, which can be ignorance widespread factor in terms of knowledge of the Amazon spatiality or coping and creation of a new geographic and cartographic knowledge about the places cut by “Strip”. (shrink)