A comprehensive historical overview of formalist ideas in the philosophy of mathematics.

This volume examines the elements of formalism and decisionism in Russian legal thinking and, also, the impact of conservatism on the interplay of these elements. This combination leads to internal contradictions in theorizing about law and rights in Russian legal culture.

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

The relationship between mathematical formalism, physical interpretation and epistemological appraisal in the practice of physical theorizing is considered in the context of Bohmian mechanics. After laying outthe formal mathematical postulates of thetheory and recovering the historical roots ofthe present debate over the meaning of Bohmianmechanics from the early debate over themeaning of Schrödinger's wave mechanics,several contemporary interpretations of Bohmianmechanics in the literature are discussed andcritiqued with respect to the aim of causalexplanation and an alternative interpretationis proposed. Throughout, the over-arching (...) aimis to exhibit the connections betweenmathematical, ontological and methodologicalquestions in physical theory and to reflect onthe rationality of physical theorizing in lightof the present case. (shrink)

In this paper I begin to fashion a theory of musical form that I call historical formalism. Historical formalism posits that our perception of the formal properties of a musical work is informed by considerations not only of artistic categories but also of the historical, sociopolitical, and cultural circumstances within which that work was composed.

Introductory Remarks IN A MAJOR WORK planned for the near future I will attempt to develop a non-formal ethics of Values on the broadest possible basis of ...

This book revisits the theory of the sources of international law from the perspective of formalism.

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. (...) I argue that for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

It is sometimes claimed that formalism and the logical incompatibility thesis together imply that fouls cannot be part of the game. Some philosophers think this proves that therefore strategic fouls are always morally wrong, but other philosophers think this result undermines formalism itself, since strategic fouls clearly are part of the game and are at least sometimes morally permissible. I show that formalism in fact does accommodate strategic fouls and that it is neutral about whether strategic fouls (...) are morally permissible or not. (shrink)

Constitutivists have tried to answer Enoch’s “schmagency” objection by arguing that Enoch fails to appreciate the inescapability of agency. Although these arguments are effective against some versions of the objection, I argue that they leave constitutivism vulnerable to an important worry; namely, that constitutivism leaves us alienated from the moral norms that it claims we must follow. In the first part of the paper, I try to make this vague concern more precise: in a nutshell, it seems that constitutivism cannot (...) provide an adequate account of the relation between the constitutive norms of agency and the particular ends the agent pursues. I then provide a broad outline of an interpretation of Kant’s formalism that is immune to this objection. I conclude that constitutivism is best understood as the upshot of a formalist view of categorical practical principles. (shrink)

Placing the work of key figures in context and addressing such issues as aesthetics, linguistics and the category of literature, form and function or literary ...

When discussing Wilfrid Sellars’s philosophy, very little work has been done to offer a developmental account of his systematic views. More often than not, Sellars’s complex views are presented in a systematic and holistic fashion that ignores any periodization of his work. I argue that there is a metaphilosophical shift in Sellars’s early philosophy that results in substantive changes to his conception of language, linguistic rules, and normativity. Specifically, I claim that Sellars’s shift from a formalist metaphilosophy to one more (...) closely aligned with psychology allows for the construction of a normative conception of language. My central claim is that without his abandonment of earlier metaphilosophical commitments, Sellars could not hold what I call an external conception of normativity. It is this move away from a formalist notion of philosophy that allows Sellars to construct a normative picture of language. I conclude that because this substantive shift in philosophical commitments results from changes in Sellars’s metaphilosophical views, there is insight to be found in a meticulous periodization of his work. (shrink)

Legal decisions and theories are frequently condemned as formalistic, yet little discussion has occurred regarding exactly what the term "'formalism" means. In this Article, Professor Schauer examines divergent uses of the term to elucidate its descriptive content. Conceptions offormalism, he argues, involve the notion that rules constrict the choice of the decisionmaker. Our aversion to formalism stems from denial that the language of rules either can or should constrict choice in this way. Yet Professor Schauer argues that this (...) aversion to formalism should be rethought: At times language both can and should restrict decisionmakers. Consequently, the term "'formalistic" should not be used as a blanket condemnation of a decisionmaking process; instead the debate regarding decision according to rules should be confronted on its own terms. (shrink)

In a narrow sense, the formalistic conception of art cannot range and explain a wide variety of contemporary art phenomena. In a wide sense, formalism – rejecting the reductionist definition of the essence of art, involving the conceptual dimension of the artwork, and expanding the dimension of sensibility – becomes a productive philosophical art theory allowing one to explain and investigate some part of the contemporary art (modern and postmodern) phenomena. In the expanded conception, the basic principles of aesthetic (...) formalism include a wide scale of the principles of the creation and comprehension of the artwork – from an abstract form (perceived by senses) to a conceptual form. The article gives an illustration of these principles discussing abstractionism and surrealism as two different types of the contemporary formalistic visual art. (shrink)

This chapter contains sections titled: The Project of Formalism The Nature of Justification The Structures of Justification The Ground of Justification The Immanent Intelligibility of Law Conclusion References.

The guiding idea behind formalism is that mathematics is not a body of propositions representing an abstract sector of reality but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess. This idea has some intuitive plausibility: consider the tyro toiling at multiplication tables or the student using a standard algorithm for differentiating or integrating a function. It also corresponds to some aspects of the practice (...) of advanced mathematicians in some periods—for example, the treatment of imaginary numbers for some time after Bombelli's introduction of them, and perhaps the attitude of some contemporary mathematicians towards the higher flights of set theory. Finally, it is often the position to which philosophically naïve respondents will gesture towards, when pestered by questions as to the nature of mathematics. (shrink)

Recently, several authors have defended a new version of formalism in the aesthetics of nature and attempted to refute earlier arguments against the doctrine. In this essay, we assess this new formalism by reconsidering the force of antiformalist arguments against both traditional formalism and new formalism. While we find that these arguments remain effective against traditional formalism, new formalism falls largely beyond their scope. We therefore provide a novel line of argument for the insignificance (...) of the formal appreciation of nature. This argument suggests that new formalism is inadequate as a theory of the aesthetics of nature. (shrink)

The traditional exposition of Kantian ethical theory in the business ethics literature is abstract, esoteric, and impractical compared to the more usable presentations of utilitarianism. This situation can be improved by identifying and describing the conceptual dimensions of formalistic ethical reasoning, as contained in the interplay between case and principle, with examples from the business/society literature.

The structure of the rate of variation of the atomic energy for an arbitrary stationary motion of the atom in interaction with a quantum electromagnetic field is investigated. Our main purpose is to rewrite the formalism in Zhu et al. and to deduce the general expressions of the Einstein A coefficients of an atom on an arbitrary stationary trajectory. The total rate of change of the energy and Einstein coefficients of the atom near a plate with finite temperature or (...) acceleration are also investigated. (shrink)

I develop Schopenhauerian musical formalism. First, I present a Schopenhauerian account of music with a background of his metaphysical framework. Then, I define meaningfulness as an analog to a Kantian notion of purposiveness and argue that, in light of Schopenhauer, music is meaningful as a direct manifestation of the universal will. Given the ineffable nature of what music points to, its form lacks any representation of meaning. Music is therefore the mere form of meaningfulness, and it is precisely this (...) mere form that gives rise to the infinite possibilities to ascribe it with a variety of musical meaning. (shrink)

Musical formalism, which strictly limits the type of thing any description of the music can tell us, is ill-equipped to account for contemporary performance practice. If performative interpretations are in a position to tell us something about musical works—that is if performance is a kind of description, as Peter Kivy argues—then we have to loosen the restrictions on notions of musical relevance to make sense of performance. I argue that musical formalism, which strictly limits the type of thing (...) any description of the music can tell us, is inconsistent with Kivy's quite compelling account of performance. This shows the difficulty that actual performances pose to overly rigid conceptions of music. Daniel Barenboim unannounced performance of Wagner in Israel in 2001 shows that the problem of the boundaries of musical relevance is no mere philosophical puzzle. It is a pressing problem in the musical public sphere. (shrink)

Social network research is widely considered atheoretical. In contrast, in this article I argue that network analysis often mixes two distinct theoretical frameworks, creating a logically inconsistent foundation. Relationalism rejects essentialism and a priori categories and insists upon the intersubjectivity of experience and meaning as well as the importance of the content of interactions and their historical setting. Formalism is based on a structuralist interpretation of the theoretical works of Georg Simmel. Simmel laid out a neo-Kantian program of identifying (...) a priori categories of relational types and patterns that operate independently of cultural content or historical setting. Formalism and relationalism are internally consistent theoretical perspectives, but there are tensions between them. To pave the way for stronger middle-range theoretical development, I disaggregate the two approaches and highlight the contradictions that must be addressed or resolved for the construction of any general and inclusive theory. (shrink)

We argue about a conceptual approach to quantum formalism. Starting from philosophical conjectures (Platonism, Idealism and Realism) as basic ontic elements (namely: math world, data world, and state of matter), we will analyze the quantum superposition principle. This analysis bring us to demonstrate that the basic assumptions affect in different ways:(a) the general problem of the information and computability about a system, (b) the nature of the math tool utilized and (c) the correspondent physical reality.

In his remarkable paper Formalism 64, Robinson defends his eponymous position concerning the foundations of mathematics, as follows:Any mention of infinite totalities is literally meaningless.We should act as if infinite totalities really existed. Being the originator of Nonstandard Analysis, it stands to reason that Robinson would have often been faced with the opposing position that ‘some infinite totalities are more meaningful than others’, the textbook example being that of infinitesimals. For instance, Bishop and Connes have made such claims regarding (...) infinitesimals, and Nonstandard Analysis in general, going as far as calling the latter respectively a debasement of meaning and virtual, while accepting as meaningful other infinite totalities and the associated mathematical framework. We shall study the critique of Nonstandard Analysis by Bishop and Connes, and observe that these authors equate ‘meaning’ and ‘computational content’, though their interpretations of said content vary. As we will see, Bishop and Connes claim that the presence of ideal objects in Nonstandard Analysis yields the absence of meaning. We will debunk the Bishop–Connes critique by establishing the contrary, namely that the presence of ideal objects in Nonstandard Analysis yields the ubiquitous presence of computational content. In particular, infinitesimals provide an elegant shorthand for expressing computational content. To this end, we introduce a direct translation between a large class of theorems of Nonstandard Analysis and theorems rich in computational content, similar to the ‘reversals’ from the foundational program Reverse Mathematics. The latter also plays an important role in gauging the scope of this translation. (shrink)

A simple mathematical extension of quantum theory is presented. As well as opening the possibility of alternative methods of calculation, the additional formalism implies a new physical interpretation of the standard theory by providing a picture of an external reality. The new formalism, developed first for the single-particle case, has the advantage of generalizing immediately to quantum field theory and to the description of relativistic phenomena such as particle creation and annihilation.

Rosenberg concludes with a critical reassessment of widely accepted views regarding the relationships among natural languages, mathematical formalisms, and philosophical commitments. The culmination of twenty years' reflection, Beyond Formalism is an original and sophisticated book of importance to both philosophers and linguists.

The development and applicability of complex numbers is often cited in defence of the formalist philosophy of mathematics. This view is rejected through an examination of hamilton's development of the notion of complex numbers as ordered pairs of reals, And his later development of the quaternion theory, Which subsequently formed the basis of vector analysis. Formalism, By protecting informal assumptions from critical scrutiny, Constrained rather than encouraged the development of mathematics.

Goodman’s account of the ‘grue’ paradox stands at a crossroads in the history of twentieth century epistemology. Published in 1954, Fact, Fiction, and Forecast is a reaction to the logical empiricist views that held sway in the first half of the last century and anticipates many of the conventionalist and/or relativist moves popular throughout the second half. Through his evaluation of Hume’s problem of induction, as well as his own novel reformulation of it, Goodman comes to reject a number of (...) the fundamental parts of logical empiricism. In particular, Goodman argues that the formal epistemic methods the logical empiricists wanted to rely upon are insufficient. This leads him to turn towards conventionalism, which is the basis of his rejection of the objective view of knowledge. In his conventionalism he is a precursor of writers such as Hanson, Kuhn and Feyerabend, who, seeing the inadequacy of formalism, sought to fill the gaps it left in epistemic methodology with scientific values, tacit knowledge and linguistic practices. Making use of Susan Haack’s distinction between three different kinds of foundationalism, we analyse Goodman’s position and its relation to the views of the logical empiricists. The two are reflections of each other in that, where the logical empiricists are foundationalists in their views on empirical evidence, methods used and objective criteria of justification, Goodman consistently opts for the corresponding coherentist options. As it turns out, this choice of options makes it impossible for Goodman to deal with the very objections he raises against the logical empiricists. In adding the new problem of induction to the old one, Goodman adds a problem which clearly can not be resolved by a purely syntactic solution. The charge Goodman raises is that logical empiricists cannot determine which predictions are sound and which are not. We argue that his method of identifying acceptable predictions based on the use of entrenchment is, in the end, arbitrary and only postpones the underlying problem. (shrink)

One of the ways our legal system has avoided confronting this ugly reality is through a commitment to legal formalism. Legal formalism allows us to ignore the social determinants that my AUSA friend saw every day as he prosecuted federal drug cases. As my colleague Professor Michael Seidman has suggested, legal formalism, which has been effectively critiqued and displaced by legal realism in many other areas of law, continues to exercise considerable influence over the way we think (...) about criminal law. This formalist approach, in my view, has strongly affected the way we approach the drug problem. One consequence is that we continue to pursue an increasingly futile war on drugs and refuse to see the issue in its broader, realist dimension. A little realism on the subject of drugs, I suggest, would go a long way. There is much to be said for formalism in the criminal law. Formalism, with its commitment to fair procedures, clear rules, and restricted discretion, is a necessary part of any fair system of criminal law. The sanctions involved in the criminal system are too severe to permit them to be allocated in an open ended discretionary or regulatory manner. The criminal law's commitment to formalism is thus not a fault, but a strength. Discretionary regulatory schemes too often invite subjective judgments susceptible to abuse, prejudice, and favoritism. Formalist rules, by contrast, are built on the promise of treating likes alike. Precisely for this reason, however, we ought to reconsider whether the criminal approach makes sense when there is substantial evidence that the commitment to equality has been seriously compromised. Our dual commitments to equality and to the reduction of the human damage that drug abuse inflicts suggest that we should reduce our reliance on the criminal justice system. Alternative approaches, such as treatment and rehabilitation, promise to be both more effective and more fair. (shrink)

Recent literature in experimental philosophy has postulated the existence of the abstract/concrete paradox : the tendency to activate inconsistent intuitions depending on whether a problem to be analyzed is framed in abstract terms or is described as a concrete case. One recent study supports the thesis that this effect influences judicial decision-making, including decision-making by professional judges, in areas such as interpretation of constitutional principles and application of clear-cut rules. Here, following the existing literature in legal theory, we argue that (...) the susceptibility to such an effect might depend on whether decision-makers operate in a legal system characterized by the formalist or particularist approach to legal interpretation, with formalist systems being less susceptible to the effect. To test this hypothesis, we compare the results of experimental studies on ACP run on samples from two countries differing in legal culture: Poland and Brazil. The lack of significant differences between those results suggests that ACP is a robust effect in the legal context. (shrink)

Mīmāṁsā, an Indian hermeneutics provides an exhaustive methodology to interpret Vedic statements. A formalism namely, Mīmāṁsā Inspired Representation of Actions has already been proposed in a preliminary manner. This paper expands the formalism logically and includes Syntax and Semantics covering Soundness and Completeness. Here, several interpretation techniques from Mīmāṁsā have been considered for formalising the statements. Based on these, instructions that denote actions are categorized into positive and prohibitive unconditional imperatives and conditional imperatives that enjoin reason, temporal action (...) and goal. These instructions are evaluated to three values S, V and N. If the instruction is executed with the intention of goal, then it acquires the value of S; if the intention of goal is present and the instruction is not executed, then it assumes the value of V; and if there is no intention of goal, then the instruction is evaluated to N. This formalism has also been applied in different computational settings such as AI planning, Robotics, task analysis and classification of natural language instructions. An outline of these applications and the comparison of this formalism with other relevant theories are also presented in this paper. (shrink)

In this paper we isolate a notion that we call “formalism freeness” from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability. We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic (...) in the 20th century. (shrink)

Economic formalism crowds out the analysis of change and adjustments to change under capitalism. The style of analytical narrative that was practiced by the first generation of neoclassical economists, in contrast, is more productive of genuine economic understanding. Despite Daniel Haus‐man's challenging argument to the contrary, I maintain that Joseph Stiglitz's work is formalist at its core. While I agree with Robert Heilbroner's critique of contemporary economics, there is a limited sense in which nonformalist economics can rely on universalistic (...) assumptions. And Thomas Mayer has provided useful guidelines for focusing nonformalist analysis on real‐world economic problems. (shrink)

Hegel’s aesthetic ideal is the perfect integration of form and content within a work of art. This ideal is incompatible with the predominant 20th-century principle of formalist criticism, that form is the sole important factor in a work of art. Although the formalist dichotomy between form and content has been criticized on philosophical grounds, that does not suffice to justify Hegel’s ideal. Justifying Hegel’s ideal requires detailed art criticism that shows how form and content are, and why they should be, (...) integrated in good works of art. This essay provides some of this criticism. By focusing on the work of the contemporary artist, Robert Turner, this criticism further suggests that Hegel’s aesthetic ideal is still relevant. Moreover, the nature of Turner’s work suggests that art is still relevant in our day in ways Hegel did not expect. (shrink)

Let us look first at poetry. It is well known that by the fifteenth century, lyric poetry had undergone a radical transformation; the early lyric fluidity and formal variability had hardened into the nonlyric and even, some maintain, antilyric forms fixes which characterize the poetic formalism of late medieval France. Dispensing with the details of how and why this occurred, the essential point is that by the end of the Middle Ages, the poet in France and Burgundy saw himself (...) as an artisan of words, not as a singer.6 He refers to himself as a craftsman , and it is plain, sometimes painfully so, to anyone who reads the works that the rhétoriqueur is, indeed, an artisan of forms—or, if you will, an architecte de la parole, a specialist in verbal matter. He works words, sounds, metric and strophic forms into intricate patterns and arranges his elaborate designs in blocks of exact and harmonious symmetry. He is, in fact, from Machaut on, a virtuoso of the verbal equivalent of the architectural art of carrelage which adorned the princely château in which he worked and lived. No one familiar with the period will avoid noticing the strikingly similar types of patters in the poet’s works and in his surroundings.I have gathered elsewhere the visual documentation which bears out Zumthor’s suggestions quoted above with respect to the meticulously constructivist mentality of the Franco-Burgundian artisan. But the analogies I found are much more than perceptual. It is true that the elaborate designs on the walls, floors, ceilings, windows, woodwork, and so forth of the early Renaissance château are, indeed, composed of intricate blocks of material; but their function is not merely decorative , it is also narrative, with emblematic motifs and allegorical figures arrayed in linear patterns of “visual” discourse—the invariable “discours de la gloire” which silently proclaims the magnificence of the patron prince and proprietor of the château .7 6. A summary of internal and external factors in the transformation of lyric to Rhetoric is provided in my review of Die musikalische Erscheinungsform der Trouvèrepoesie by Hans-Herbert S. Räkel , in Romance Philology 34 : 250-58.7. This following collage of fragments from ML was constructed ôto serve as commentary on photographs of tile designs compared with verbal texts, in an earlier version of this paper , from which the examples in figs. 1-4 are taken.Culte de l’objet subtilement travaillé, au-delà de toute fonctionnalité primaire *** primat du labeur ardu, patient, du difficile, de l’inattendu *** les mots mêmes semblent travaillés d’un besoin de scientificité fictive, d’anoblissement par le savoir *** les … mots ne sont plus que les particules d’une parole dont la seule signification est globale *** matériau émancipé des contraintes de la phrase, transposé sur un plan où le signe devient le nom vide de ce signe *** goût du bricolage plutôt que de l’industrie; … du bariolage plus que du fondu et de la nuance; de l’équilibre numéral des parties plus que de la synthèse; du multiple plus que de l’un. Outil forgé martelé d’ “aornures” sans fonction utilitaire; enchâssements cubiques, coniques, pyramidaux, cruciformes du bâtiment … meubles marquetés, forrés de tiroirs minuscules et secrets [and so forth].For the iconography of these examples , see Emile Amé, Less Carrelages émaillés du Moyen Age et de la Renaissance , pp. 61-108. Jonathan Beck is associate professor of French at the University of Arizona. He is the author of Théâtre et propaganda aux débuts de la Réforme , a sequel to his edition and study, Le Concil de Basle: Le Origines du theater réformiste et partisan en France. (shrink)

In this paper we isolate a notion that we call "formalism freeness" from Gödel's 1946 Princeton Bicentennial Lecture, which asks for a transfer of the Turing analysis of computability to the cases of definability and provability We suggest an implementation of Gödel's idea in the case of definability, via versions of the constructible hierarchy based on fragments of second order logic. We also trace the notion of formalism freeness in the very wide context of developments in mathematical logic (...) in the 20th century. (shrink)

ABSTRACT In a recent essay, Sören Stenlund tries to align Wittgenstein’s approach to the foundations and nature of mathematics with the tradition of symbolic mathematics. The characterization of symbolic mathematics made by Stenlund, according to which mathematics is logically separated from its external applications, brings it closer to the formalist position. This raises naturally the question whether Wittgenstein holds a formalist position in philosophy of mathematics. The aim of this paper is to give a negative answer to this question, defending (...) the view that Wittgenstein always thought that there is no logical separation between mathematics and its applications. I will focus on Wittgenstein’s remarks about arithmetic during his middle period, because it is in this period that a formalist reading of his writings is most tempting. I will show how his idea of autonomy of arithmetic is not to be compared with the formalist idea of autonomy, according to which a calculus is “cut off” from its applications. The autonomy of arithmetic, according to Wittgenstein, guarantees its own applicability, thus providing its own raison d’être. RESUMO Em um recente artigo, Sören Stenlund procura alinhar a abordagem de Wittgenstein em relação aos fundamentos e à natureza da matemática com a tradição da matemática simbólica. A caracterização da matemática simbólica feita por Stenlund, de acordo com a qual a matemática é logicamente separada de suas aplicações externas, a aproxima da posição formalista. Isto naturalmente levanta a questão de se Wittgenstein defende uma posição formalista em filosofia da matemática. O objetivo deste artigo é dar uma resposta negativa a esta questão, ao defender que Wittgenstein sempre pensou não haver separação lógica entre a matemática e suas aplicações. Atenção especial será dada às observações de Wittgenstein sobre a aritmética pertencentes ao seu período intermediário, pois é neste período que uma leitura formalista de seus escritos é mais sedutora. Mostrarei como sua ideia de autonomia da aritmética não deve ser comparada à ideia formalista de autonomia, segundo a qual um cálculo é “cortado” de suas aplicações. A autonomia da aritmética, para Wittgenstein, garante ela própria sua aplicabilidade, provendo, assim, sua própria raison d’être. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality (...) of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

This essay presents the Aestheticism of the 19th century as the foundational movement of modernist-formalist aesthetics of the 20th century. The main principle of this movement is what I denominate “productive opacity”. Aestheticism has not been recognized as a philosophical aesthetic theory. However, its definition of artwork as an exclusive kind of form—a deep, opaque form—is among the most precise ever given in the discipline. This essay offers an interpretation of aestheticism as a formalist theory, referred to here as “deep (...) formalism”, focusing on the thinking of leading aestheticists, Walter Pater, Oscar Wilde, and James Whistler. These three thinkers defined artwork as a form saturated with an inextricable content, viz. opaque form. (shrink)

The objective of this article is to provide a formalism to deal with the special theory of relativity (STR, in short) as riewed by Reichenbach, according to which STR involves an ineradicableconventionality of simultaneity. One of the two postulates of STR asserts that, in empty space, the one-way speed of light relative to inertial frames is constant. Experimental evidence, however, is related to the constancy of the round-trip speed of light and has no bearing on one-way speeds. Following Reichenbach's (...) viewpoint, we relax the second postulate of STR, abandoning the constancy of the one-way speed of light to the more realistic one asserting the constancy of the round-trip speed of light. This, in turn, results in a formalism to deal with Reichenbach's special theory of relativity (RSTR, in short) in which the two one-way speeds of light in empty space, C±, in the two senses of a round-trip are arbitrarily selected in such a way that their harmonic mean is the measurable round-trip speed of light, c. Experimentally, RSTR and STR are indistinguishable and, hence, represent the same physical theory. It is only the formalism that we use to deal with STR which is extended in RSTR to accommodate the immeasurability of one-way velocities. The usefulness of the proposed formalism to study special relativity is demonstrated. (shrink)

Carnap's position on mathematical truth in The Logical Syntax of Language has been attacked from two sides: Kreisel argues that it is formalistic but should not be, and Friedman argues that it is not formalistic but needs to be. In this paper I argue that the Carnap of Syntax does not eliminate our ordinary notion of mathematical truth in favour of a formal analogue; so Carnap's notion of mathematical truth is not formalistic. I further argue that there is no conflict (...) between Carnap's use of informal notions and his principle of tolerance; so Carnap's definition of mathematical truth need not be formalistic. CiteULike Connotea Del.icio.us What's this? (shrink)

In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism.