Mathematical Formalisms and their Realizations

Philosophy ◽  
1952 ◽  
Vol 27 (101) ◽  
pp. 138-147
Author(s):  
G. T. Kneebone

In a short article, published in an earlier volume of Philosophy1 under the title “Philosophy and Mathematics,” I tried to explain the current conception of pure mathematics as the study of abstract structure by construction and elaboration of appropriate axiomatic formalisms. In the present paper I propose to consider certain philosophical problems, of interest to philosophers and mathematicians alike, which have their origin in the relation between such formalisms and any applications to experience that they may possess. Consideration of problems of this kind is no new undertaking, and in Reichenbach's Wahrscheinlichkeitslehre, for instance, a considerable amount of space is devoted to the Anwendungsproblem or problem of application of the formal calculus under consideration. Most such discussions, however, are at bottom an appendage to an account of the formalism itself, and the author's interest is primarily mathematical. The result is that the philosophical issues involved are not given due weight; and it is these philosophical issues that I wish to discuss in the present paper.

2016 ◽  
Vol 44 (1) ◽  
pp. 147-168
Author(s):  
Vladislav Shaposhnikov

Abstract The study is focused on the relation between theology and mathematics in the situation of increasing secularization. My main concern in the second part of this paper is the early-twentieth-century foundational crisis of mathematics. The hypothesis that pure mathematics partially fulfilled the functions of theology at that time is tested on the views of the leading figures of the three main foundationalist programs: Russell, Hilbert and Brouwer.


1970 ◽  
Vol 5 (1) ◽  
pp. 177-199
Author(s):  
Józef Bremer

In his philosophical works Wilfrid Sellars (1912-1989) - like Ludwig Wittgenstein - clearly distinguishes the domain of philosophy from that of empirical sciences. Within the framework of this differentiation he insists on a further sharp distinction between the concepts of empirical or factual linguistics and those of pure semiotic. It is quite clear - thus Sellars's example - that formal logic and pure mathematics are not empirical sciences nor do they constitute branches of any such science. This distinction was historically gained from the development of pure syntax. According to Sellars, pure syntaxis concerned with „rules defining the formal structure of calculi rather than languages'' (Sellars, PPE 182). In a syntactic system understood in this sense we use neither the concepts of designation or truth, nor of verifiability or meaningfulness. The concepts used in logic and mathematics - taken as examples of such systems - are clarified through identification with concepts which occur in the formation and transformation of definitive rules of calculi. In this context, logic and mathematics are normative rather than factual sciences. The basis of their norms is grounded in humanly conceived rules.


2021 ◽  
pp. 102-111
Author(s):  
Erdeni Besud Chu

This is intended to describe the physical Universe as self-excited and self-organized mathematical continuum. There does exist the universal pure (not applied) mathematical machine perceived by the intelligent observers in a capacity of certain material world. In this short article we are able to indicate only some key points of the theory which suggests practically infinite amount of combinatorics.


2016 ◽  
Vol 44 (1) ◽  
pp. 31-54
Author(s):  
Vladislav Shaposhnikov

Abstract The study is focused on the relation between theology and mathematics in the situation of increasing secularization. My main concern is nineteenth-century mathematics. Theology was present in modern mathematics not through its objects or methods, but mainly through popular philosophy, which absolutized mathematics. Moreover, modern pure mathematics was treated as a sort of quasi-theology; a long-standing alliance between theology and mathematics made it habitual to view mathematics as a divine knowledge, so when theology was discarded, mathematics naturally took its place at the top of the system of knowledge. It was that cultural expectation aimed at mathematics that was substantially responsible for a great resonance made by set-theoretic paradoxes, and, finally, the whole picture of modern mathematics.


2021 ◽  
Vol 152 (A2) ◽  
Author(s):  
D Andrews

As part of writing a short article entitled “Ship Design – From Art to Science?” [1] for the Institution’s 150th anniversary celebratory volume [2], the author consulted the Institution’s centenary book by K C Barnaby [3] to get a feel for the formative first hundred years of ship design recorded in the learned papers presented to the Institution. This consultation was motivated by consideration of the papers in the first volume of the Transactions of 1860, which, surprisingly, contained no papers directly on ship design, either on ship design in general or through describing the design intent behind a specific new ship. Rather, like the very first paper by Reverend J Woolley, the remaining 1860 papers concerned themselves with what could be called the application of science (and mathematics) to the practice of naval architecture as an engineering discipline. However this initial focus broadened out in subsequent volumes of the Transactions so that both technical descriptions of significant new ship designs and, more recently, papers on the general practice of ship design have also figured, alongside the presentation of progress in the science of naval architecture. Given that the vast bulk of ships built over this period have been designed like most buildings to a set pattern, or as we naval architects would say based on a (previous) “type ship”, those designs presented in the Institution’s Transactions, and the few other collections of learned societies’ papers, are largely on designs that have been seen to be of particular merit in their novelty and importance. Therefore this review looks at the developments in ship design by drawing on those articles in the Transactions that are design related. In doing so the papers have been conveniently broken down into the three, quite momentous, half centuries over which the Institution has existed. From this historical survey, it is then appropriate to consider how the practice of ship design may develop in the foreseeable future.


1972 ◽  
Vol 56 (395) ◽  
pp. 2-4
Author(s):  
S. L. Parsonson

From its formation to the present time, one of the major concerns of the Committee has been the identification of a common core of mathematical knowledge that pupils with one or two A-levels in mathematics could, and should, be expected to possess. The ‘Core Syllabus in Pure Mathematics’ (published by the Association in 1968 with the support of the Schools Council) was one outcome of that concern. The first report is currently being revised, along with a companion report on Applied Mathematics (and Mathematics Applied).


Author(s):  
John Skorupski

John Stuart Mill, Britain’s major philosopher of the nineteenth century, gave formulations of his country’s empiricist and liberal traditions of comparable importance to those of John Locke. He united enlightenment reason with the historical and psychological insights of romanticism. He held that all knowledge is based on experience, believed that our desires, purposes and beliefs are products of psychological laws of association, and accepted Bentham’s standard of the greatest total happiness of all beings capable of happiness – the principle of ‘utility’. This was Mill’s enlightenment legacy; he infused it with high Romantic notions of culture and character. In epistemology Mill’s empiricism was very radical. He drew a distinction between ‘verbal’ and ‘real’ propositions similar to that which Kant made between analytic and synthetic judgments. However, unlike Kant, Mill held that not only pure mathematics but logic itself contains real propositions and inferences, and unlike Kant, he denied that any synthetic, or real, proposition is a priori. The sciences of logic and mathematics, according to Mill, propound the most general laws of nature and, like all other sciences, are in the last resort grounded inductively on experience. We take principles of logic and mathematics to be a priori because we find it inconceivable that they should not be true. Mill acknowledged the facts which underlie our conviction, facts about unthinkability or imaginative unrepresentability, and he sought to explain these facts in associationist terms. He thought that we are justified in basing logical and mathematical claims on such facts about what is thinkable – but the justification is itself a posteriori. What then is the nature and standing of induction? Mill held that the primitive form of induction is enumerative induction, simple generalization from experience. He did not address Hume’s sceptical problem about enumerative induction. Generalization from experience is our primitive inferential practice and remains our practice when we become reflectively conscious of it – in Mill’s view nothing more needs to be said or can be said. Instead he traced how enumerative induction is internally strengthened by its actual success in establishing regularities, and how it eventually gives rise to more searching methods of inductive inquiry, capable of detecting regularities where enumerative induction alone would not suffice. Thus whereas Hume raised sceptical questions about induction, Mill pushed through an empiricist analysis of deduction. He recognized as primitively legitimate only the disposition to rely on memory and the disposition to generalize from experience. The whole of science, he thought, is built from these. In particular, he did not accept that the mere fact that a hypothesis accounts for data can ever provide a reason for thinking it true (as opposed to thinking it useful). It is always possible that a body of data may be explained equally well by more than one hypothesis. This view, that enumerative induction is the only authoritative source of general truths, was also important in his metaphysics. Accepting as he did that our knowledge of supposed objects external to consciousness consists only in the conscious states they excite in us, he concluded that external objects amount only to ‘permanent possibilities of sensation’. The possibilities are ‘permanent’ in the sense that they can be relied on to obtain if an antecedent condition is realized. Mill was the founder of modern phenomenalism. In ethics, Mill’s governing conviction was that happiness is the sole ultimate human end. As in the case of induction, he appealed to reflective agreement, in this case of desires rather than reasoning dispositions. If happiness was not ‘in theory and in practice, acknowledged to be an end, nothing could ever convince any person that it was so’ (1861a: 234). But he acknowledged that we can will to do what we do not desire to do; we can act from duty, not desire. And he distinguished between desiring a thing as ‘part’ of our happiness and desiring it as a means to our happiness. The virtues can become a part of our happiness, and for Mill they ideally should be so. They have a natural base in our psychology on which moral education can be built. More generally, people can reach a deeper understanding of happiness through education and experience: some forms of happiness are inherently preferred as finer by those able to experience them fully. Thus Mill enlarged but retained Bentham’s view that the happiness of all, considered impartially, is the standard of conduct. His account of how this standard relates to the fabric of everyday norms was charged with the nineteenth century’s historical sense, but also maintained links with Bentham. Justice is a class of exceptionally stringent obligations on society – it is the ‘claim we have on our fellow-creatures to join in making safe for us the very groundwork of our existence’ (1865b: 251). Because rights of justice protect this groundwork they take priority over the direct pursuit of general utility as well as over the private pursuit of personal ends. Mill’s doctrine of liberty dovetails with this account of justice. Here he appealed to rights founded on ‘utility in the largest sense, grounded on the permanent interests of man as a progressive being’ (1859: 224). The principle enunciated in his essay On Liberty (1859) safeguards people’s freedom to pursue their own goals, so long as they do not infringe on the legitimate interests of others: power should not be exercised over people for their own good. Mill defended the principle on two grounds. It enables individuals to realize their potential in their own distinctive way, and, by liberating talents, creativity and energy, it institutes the social conditions for the moral development of culture and character.


Philosophy ◽  
1928 ◽  
Vol 3 (9) ◽  
pp. 3-14
Author(s):  
H. W. B. Joseph

It is often said to-day that mathematics is nothing but an extension or development of logic; indeed, the identity of logic and pure mathematics is alleged so confidently by persons whose mathematical attainments entitle them to consideration when they talk about the subject-matter of mathematics, as to be in danger of being ranked with the truths that an educated man should accept on the authority of the specialist. Yet a little reflection might at least make one hesitate. For whatever else may be said about logic, it is generally allowed to study thinking. Some would say merely that it studies inference; but inference is thinking. Now the mathematician thinks and infers, but he does not study the activity of thinking and inferring; and a study of that activity would never make the discoveries credited to the mathematicians.


Sign in / Sign up

Export Citation Format

Share Document