INTENSIONAL-PRAGMATICAL APPROACH TO D-PROPOSITIONS ANALYSIS: A CASE FOR METAMATHEMATICS

Apply

INTENSIONAL-PRAGMATICAL APPROACH TO D-PROPOSITIONS ANALYSIS: A CASE FOR METAMATHEMATICS

Journal Title: Філософські обрії - Year 2016, Vol 0, Issue 36

Abstract

The paper is dedicated to the problem of analysis of D-propositions in mathematics (from the position of metamathematics). D-propositions, as for Mouloud and Lorenzen, are understood as sets of mathematical proposition which represent the result of conjectures-proofs/refutations process or logical deduction (which, in their turn, consist of singular propositions, represented by P-propositions). The author tries to indicate the insufficiency of the analysis of the course of the proof and the proof system itself in a particular formal system; the algorithms, provided by the formal system; the operational scope of the formal system for the verification of particular exemplified D-proposition. Instead of narrowing the analysis of D-propositions within the formal system itself, it is proposed, following Wittgenstein, to come out of the limits of a singular formal system and to turn to metamathematics, which is seen as the grounding for the construction of each particular formal system within the scope of mathematical knowledge. While analyzing the problem from the metamathematical point of view, it is also proposed to include to the field of analysis the pragmatic aspect. In case for metamathematics, the concept ‘pragmatic’ means: the efficiency of formal system and the judgments derived from it for the salvation of the particular mathematical (as well as trans-mathematical) tasks; the author’s intentions concerning the creation of the formal system and his expectations of its scope and limits. The second metamathematical aspect, which is proposed to be included into the analysis, is the intensional aspect, by which the philosophers shouldn’t see only the meanings of concepts or mathematical propositions. The analysis of intension should also include the research of quality and character of relations between the three classes, which, to author’s mind, are inevitably exist in every formal system: the primordial set of axioms and intensional-extensional meanings of the terms and concepts introduced as the basic elements of formal system set of proofs, grounded on the axioms, from which the particular propositions are derived (the amount of proposition may be potentially infinite or, vice versa, strictly quantified due to the conditions and rules, set by the first class); the singular D-propositions themselves, which are derived from the operations within the scopes of second class (including the false D-propositions, the possibility of falsity of which is an important element of a primordial set of algorithms and axioms, enabling the possibility of falsity of the proposition of a particular type, but not a falsity «in general»). Background of the problem is analyzed within the context of Frege – Russell – Peano interpretation of mathematical knowledge and the theories ‘hard core’ and their criticism by late Ludwig Wittgenstein, particularly, taking into consideration his understanding of the essence of ‘proof’ in mathematics and the concept of ‘mathematical language-game’. The author also appeals to David Liggins’ concepts of ‘causal relation’ and ‘conceptual relation’ which represent the development of Carnap’s intension / extension dichotomy, however, grounded on metaphysics similar to the correspondence theory of truth of Tarsky or Churchland. The foundations of the method of intensional-pragmatical analysis of formal system are, eventually, introduced in 6 paragraphs. To author, the proposed demands to the formal system evaluation, as well as the procedures of analysis themselves, are seen only as a beginning of the new metamathematical research program, which should be complemented by the new procedures and demands, reconceptualized and, surely, argued, as well as moved beyond the D-propositions of the mathematics to other areas of language.

Authors and Affiliations

Мстислав Казаков

Keywords

metamathematics D-propositions intension pragmatics formal systems proof algorithms axioms.

CHRISTIAN PRINCIPLES OF STRUCTURAL ANTHROPOLOGY

The article analyses the anthropological problem of personal realization of human nature, which is caused by the way of its achievement. Ones double naturalness defines opposite ways of personal identification. On one ha...

LEADING MENTAL AND ETHICAL CONCEPTS OF EUROPEAN EXPERIENCECREATION OFSTATE IN ХХ CENTURY:MARGARET THATCHER BY VOYCHEH YARUZELSKY (EXAMPLES TO THE COMPREHENSION IN MODERN STATE-CREATIVE STRATEGIES OF MODERN UKRAINE)

The range of problems, related to home creation of the state in the European christocentric context of the newest twenty-four hours, is studied in the article. The perspective phenomenon of influence of the leading Europ...

EP ID EP496875
DOI -
Views 104
Downloads 0