Ancient Greek mathematics developed the original feature of being deductive mathematics. This article attempts to give a explanation f or this achievement. The focus is on the use of a fixed system of linguistic formulae in Greek mathematical texts. It is shown that the structure of this system was especially adapted for the easy computation of operations of substitution on such formulae, that is, of replacing one element in a fixed formula by another, and it is further argued that (...) such operations of substitution were the main logical tool required by Greek mathematical deduction. The conclusion explains why, assuming the validity of the description above, this historical level is the best explanatory level for the phenomenon of Greek mathematical deduction. (shrink)

This paper explores two questions central to understanding the nature of formulaic sequences: (1) What are they for? and (2) What determines how many there are? The “Communicative Impact” model draws into a single account how language is shaped by cognitive processing on the one hand and socio-interactional function on the other: Formulaic sequences play a range of coordinated roles in neutralizing unanticipated perturbations in the cognitive management of language, so the speaker's socio-interactional goals can still be achieved. One role (...) involves compensatory actions to sustain fluency. However, these actions are themselves context-sensitive, so the balance of types of formulaic sequence will vary according to situation. The model applies equally to temporary cognitive pressure and chronic problems such as dementia and limited linguistic competency in a foreign language. (shrink)

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.

Ritualistic formulae and acts pervade the political, legal, societal and religious life of the ancient world. In many instances there are striking similarities between the formulae of the Greco-Roman world and those of the Near East. Often illumination exists from one to the other. Here I wish to notice a few passages in Greek drama where I think such illumination is possible.

Breastfeeding is analogous to pregnancy as an experience, in its exclusiveness to women, and in its cost and the effects it has on equitable share of labor. Therefore, the history of formula feeding provides useful insights into the future of full ectogenesis, which could evolve into a more severe version of what formula feeding is today: simplify life for some women and provide couples with a more equitable share of work at the cost of stigma, guilt and a (...) daily diet of studies purporting to show the benefits of natural pregnancy. Making pregnancy an optional route to motherhood would make women's life trajectory more similar to men's and thus put pressure on women to compete with men on the ground shaped by men's preferences. Despite being a treasured experience of many women today, bearing children could become the luxury of the few, the province of the very poor and a choice working women will pay a high price for as women who choose pregnancy become stigmatized as self-indulgent or unprofessional and penalized for it in the workplace. At the same time, scarce societal resources that could be used to support pregnant women and working mothers would instead be directed toward proving to women or even forcing them to gestate children "the right way." While not necessarily threatening on its own, when added to formula feeding, IVF, stem-cell produced ova and sex robots, full ectogenesis could diminish men's stake in women's wellbeing and even existence. (shrink)

In The Formula, Luke Dormehl takes readers inside the world of numbers, asking how we came to believe in the all-conquering power of algorithms; introducing the mathematicians, artificial intelligence experts and Silicon Valley entrepreneurs who are shaping this brave new world, and ultimately asking how we survive in an era where numbers can sometimes seem to create as many problems as they solve.

This is a survey article in which I explore some important recent work on the topic in question, Kant’s formula of the end in itself (or “formula of humanity”). I first provide an overview of the formulation, including what the formula seems roughly to be saying, and what Kant’s main argument for it seems to be. I then call the reader’s attention to a variety of questions one might have about the import of and argument for this (...) formula, alluding to some of the works in which philosophers have recently raised or tried to answer these questions. Then, for the bulk of the paper, I focus my discussion on two issues of contention: the identity of the “end in itself” that the formula refers to, and the relation between the value of the end in itself and the value of other ends. I do not attempt to argue for a particular position of my own regarding these issues. Instead, I explain a number of the more interesting or influential recent attempts to answer these questions, compare these approaches in various ways, draw implications from them, and raise concerns about some of them. I also suggest that an important link connects the question about the identity of the end in itself and the question about the relation between the value of the end in itself in relation to the value of other ends: How one answers these questions commits one to a position on the thorny issue of whether, how, and how fully, autonomy is manifested through empirical (not simply pure) practical reason. (shrink)

This paper provides a methodologically original construction of Kant’s “Formula of Universal Law” . A formal structure consisting of possible worlds and games—a “game frame”—is used to implement Kant’s concept of a maxim and to define the two tests FUL comprises: the “contradiction in conception” and “contradiction in the will” tests. The paper makes two contributions. Firstly, the model provides a formal account of the variables that are built into FUL: agents, maxims, intentions, actions, and outcomes. This establishes a (...) clear benchmark for understanding how the mechanics of FUL actually work. Secondly, the analysis of the resulting framework sheds new light on discussions about the implications of FUL. On the basis of this, we suggest a move to “comprehensive Kantianism’, which is the application of FUL to systems of maxims rather than to isolated maxims. (shrink)

Speakers routinely rely on a vast store of fixed and semi-fixed institutionalized utterances. In our mother tongue, we know how to combine pre-patterned phrases, complete semi-fixed expressions, and produce deviant versions for humorous effect. There are analogies with the way traditional folk musicians embellish tunes with a largely fixed structure, and the way jazz musicians improvise, and also with oral traditions in which poets composed or improvised tales during performance by using fixed formulas and formulaic phrases (though without the metrical (...) requirements of Homeric poetry). In written literature, the use of ready-made language was long disparaged as the opposite of creativity, but Barthes describes both speech and literature in general as consisting entirely of transformations of words that have already been set in order, and describes individual style as essentially a citational process, and the transformation of earlier formulae. Formulaic language can be shown to underlie much linguistic creativity. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas (...) and results, and outline further research perspectives. (shrink)

O processo de conversão ao Cristianismo, em sua versão ortodoxa, dos povos bárbaros assentados em território do Antigo Império Romano, durante os séculos V e VIl, evidencia o empenho das autoridades religiosas capazes de forjar variadas estratégias na busca do seu intento. Nesse sentido, destaca-se a atuação de Martinho de Braga pelo seu sistemático trabalho de evangelização, do que fez parte a redação de variadas obras. Entre estas desejamos sublinhar De Formula Vitae Honestae, obra de caráter político e moral (...) dirigida aos príncipes do referido reino, reproduzida inúmeras vezes na Idade Média a partir do século XII e inserida no conjunto de escritos conhecidos como espelho dos príncipes. (shrink)

Tomada desde Artaud por Deleuze ya desde la redacción de Lógica del sentido, la expresión de cuerpo sin órganos no deja de causar al menos perplejidad. En su enunciación se traman puntos cruciales de la filosofía de Deleuze desde su teoría del acontecimiento y de la diferencia, pasando por una definición y una analítica del deseo, hasta una determinada noción de vida que articularía el proceso de su generación. Sin desestimar lo anterior y los profusos usos y determinaciones actuales que (...) ha cobrado esta noción, nuestro propósito es vincular al CsO con la concepción de vida, que según nuestra lectura, se halla en la base de su formulación. Esto permanece en el texto como subyacente, y nuestra propuesta se inscribe en determinar el grado de influjo que posee el vitalismo de Bergson en la concepción de esta fórmula: desde este punto de vista es plausible sostener que el CsO es una operación que se funda de modo crucial en una lectura atenta al élan vital de bergsoniano. En suma, si el CsO es una involución creadora por definición de su proceso, no es sino porque su puesta en marcha significa y se efectúa en una constante y radical lucha que implica cada vez el desmontaje o desmembramiento de la idea de organismo.Taken from Artaud by Deleuze and from the writing of Logic of Sense, the expression of a body without organs continues to cause at least perplexity. In his statement plots crucial points in the philosophy of Deleuze from his theory of the event and the difference, to an analytical definition and the desire, to a certain concept of life that would articulate the process of their conception. Without underestimating the above and the profuse use and current measurements that has claimed this, our aim is to link the BwO with the conception of life, which according to our reading, is at the source of their formulation. This remains the underlying text, and our proposal settle on to determine the degree of influence that has the vitalism of Bergson in the design of this formula: From this point of view is plausible that the CSO is an operation that is based on crucially on a careful reading of the bergsonian élan vital. In brief, if the BwO is an involution of their creative process by definition, is merely because their start-up means and takes place in a constant struggle and radical increasingly involves the subtraction or dismantling of the idea of organism. (shrink)

En los debates recientes sobre la fórmula de la humanidad del imperativo categórico se intenta comprender los insumos conceptuales de dicha fórmula a partir de obras kantianas que no son propiamente la Fundamentación de la metafísica de las costumbres. Este proceder se ampara en la falsa suposición de que en la GMS no hay un significado claro o concreto de lo que encarnarían términos como humanidad (Mensch) o fin en sí mismo (Zweck an sich selbst). En virtud de lo anterior, (...) en este artículo buscaré analizar acuciosa y detalladamente qué es lo que tiene que decir Kant concretamente en GMS AA IV 42719-42833, puesto que ahí sí hay una argumentación que se construye progresivamente desde la noción de fin hasta la equivalencia de la naturaleza racional como fin en sí mismo, lo cual considero que es central para una comprensión adecuada de la fórmula de la humanidad presentada posteriormente. (shrink)

A Fórmula Porchat — ou seja, a intuição de um conflito das filosofias de caráter indecidível – possui papel tanto propedêutico quanto compulsório para um tratamento não dogmático da história dos sistemas filosóficos. Ao mesmo tempo em que reconhece tal papel, o presente artigo pretende indicar o caráter problemático da correspondência entre “conflito das filosofias” e “indecidibilidade filosófica”. Para tal, sustenta que o sentimento de indecidibilidade filosófica tem como referência impensada uma nostalgia da decidibilidade. O artigo sugere, ainda, o abandono (...) do tema da indecidibilidade, como um falso problema filosófico, e sustenta a necessidade de considerar os efeitos da prática filosófica sobre a configuração da vida comum e de tomar tais efeitos como formas de decidibilidade. Para tal é necessário considerar a atividade filosófica como inscrita no campo maior da manufatura da experiência humana. (shrink)

Kant’s most prominent formulation of the Categorical Imperative, known as the Formula of Universal Law (FUL), is generally thought to demand that one act only on maxims that one can will as universal laws without this generating a contradiction. Kant's view is standardly summarized as requiring the 'universalizability' of one's maxims and described in terms of the distinction between 'contradictions in conception' and 'contradictions in the will'. Focusing on the underappreciated significance of the simultaneity condition included in the FUL, (...) I argue, by contrast, that the principle is better read as requiring that one be able to will two things simultaneously without self-contradiction, namely, that a maxim be one's own and that it be a universal law. This amounts to a new interpretation of the FUL with significant interpretive and philosophical advantages. (shrink)

Este artículo demuestra de un modo fáctico la utilidad del test de proporcionalidad y la fórmula del peso del profesor Robert Alexy en la práctica de los tribunales constitucionales y de otros altos tribunales. Para ello se aplica detenidamente este modelo a la Decisión del Tribunal Constitucional alemán de 2015 en el que se falla a favor de la compatibilidad del uso del velo por profesoras funcionarias que trabajan en la enseñanza pública con la neutralidad del Estado. Se examinan los (...) tres pasos de la ponderación el principio de adecuación o idoneidad, el principio de necesidad y la proporcionalidad en sentido estricto, concluyendo que esta nueva decisión del primer senado del Tribunal Constitucional federal alemán de 2015 aplica correctamente el principio de la proporcionalidad estricta. Primero porque establece adecuadamente que el grado de insatisfacción de la paz escolar o de los derechos de los padres debe medirse y calificarse a la vista de conflictos reales. Segundo porque al examinar la importancia de satisfacer el derecho de libertad religiosa de las profesoras y las consecuencias negativas de la ley prohibitiva del Land juzga que ello supone una lesión grave y que es una medida desproporcionada e innecesaria. Una Ley prohibitiva general basada en un peligro abstracto es contraria a la LF y una injerencia desmedida en un DF porque no permite la ponderación del caso concreto. Por ello, en el tercer paso se concluye que la importancia de satisfacer los derechos de las profesoras justifica que ceda la libertad negativa religiosa de los alumnos y que prevalezca la liberta religiosa positiva. Con la excepción de casos en los que haya conflictos reales. En estos últimos, ponderadas las circunstancias cabría ciertas prohibiciones temporales transitorias del uso del velo en lugares concretos, un extremo que por nuestra parte no hemos considerado adecuado. (shrink)

This chapter contains sections titled: What Should We Treat as an End in Itself? Value and Ends The Argument for the Humanity Formulation How Particular Duties Follow Final Thoughts Bibliography.

Kantians are increasingly deserting the universal law formula in favor of the humanity formula. The former, they argue, is open to various decisive objections; the two are not equivalent; and it is only by appealing to the humanity formula that Kant can reliably generate substantive implications from his theory of an acceptable sort. These assessments of the universal law formula, which clash starkly with Kant's own assessment of it, are based on various widely accepted interpretative assumptions. (...) These assumptions, it is argued in this article, depend on misleading translations of key terms; selective attention to Kant's concrete examples; not taking seriously Kant's theoretical claims about the relations among his various ideas; and a failure to take into account Kant's idiosyncratic definitions of key concepts. The article seeks to right these interpretative wrongs, and finds that the universal law formula is not open to many of the standard objections. (shrink)

Proof-theoretic semantics (P-tS) is the paradigm of semantics in which meaning in logic is based on proof (as opposed to truth). A particular instance of P-tS for intuitionistic propositional logic (IPL) is its base-extension semantics (B-eS). This semantics is given by a relation called support, explaining the meaning of the logical constants, which is parameterized by systems of rules called bases that provide the semantics of atomic propositions. In this paper, we interpret bases as collections of definite formulae and use (...) the operational view of them as provided by uniform proof-search—the proof-theoretic foundation of logic programming (LP)—to establish the completeness of IPL for the B-eS. This perspective allows negation, a subtle issue in P-tS, to be understood in terms of the negation-as-failure protocol in LP. Specifically, while the denial of a proposition is traditionally understood as the assertion of its negation, in B-eS we may understand the denial of a proposition as the failure to find a proof of it. In this way, assertion and denial are both prime concepts in P-tS. (shrink)

En esta nota discutimos una forma generaldel Teorema de Deducción (TD) para sistemas modales de primer orden, la cual permite derivar varias otras formulaciones del mismoque aparecen en la literatura, así como su relación con la Fórmula de Barcan.

The study examined the development of Chinese as a second language learners’ formulaic knowledge through comparing the processing of Chinese idioms versus non-idiomatic formulaic sequences (FSs) by advanced-level learners (ALs), super-advanced learners (SLs), and native speakers (NSs). Using two phrase acceptability judgment tasks with and without think-aloud protocols, we collected data on participants’ processing accuracy, processing speed, and processing strategies of reading the two types of FSs. Four processing patterns emerged from the analyses of the datasets. First, learners’ processing accuracy (...) and speed increased along with their proficiency. Second, learners’ idiom processing ability was generally lower than that of non-idiom processing ability, but they demonstrated an improving trend as their proficiency level increased. Third, learners’ use of processing strategies did not change much as proficiency rose and demonstrated a categorical difference from NSs. Fourth, all three groups exhibited poorer productive idiom knowledge than productive non-idiom knowledge. The overall findings denote that second language learners’ formulaic knowledge can evolve beyond the lexical plateau as learners move from the advanced to a higher proficiency level, but the productive idiom knowledge can be a long-term problem. The findings provide implications for measuring and teaching Chinese formulaic knowledge at the higher-than-advanced stage. (shrink)

Another sort of thing resembles works of art in combining existence, message and a kind of presentation, namely, symbols. Hence it seems reasonable to take works of art as symbols. And yet works of art are a special kind of symbol, because in them presentation has a double function. All symbols directly present their meaning; indeed the essential function of symbols is to serve as vehicles for conveying us into the immediate presence of what they mean. But works of art (...) have a second presentational mode of functioning. They also present themselves; and this is true both for abstract and for representational art. (shrink)

This paper is concerned with the normative content of Kant's formula of humanity (FH). More specifically, does FH, as some seem to think, imply the specific and rigid prescriptions in 'standard' deontological theories? To this latter question, I argue, the answer is 'no'. I propose reading FH largely through the formula of autonomy and the formula of the kingdom of ends, where I understand FA to describe the nature of the capacity of humanity-a capacity for self-governance. The (...) latter, I suggest, is akin to the capacity for planning and intentional action described in Michael Bratman's work. A significant part of what FH requires, I then propose, is that we exercise these capacities for planning in such a way that we accommodate and coordinate with the (permissible) plans and intentions of others. Kant himself, as do many commentators, emphasizes the idea that our human capacities give us a distinctive kind of value. On my interpretation, by contrast, what is fundamentally important is not the value of the capacities but rather what they make possible: distinctive ways of mistreating (using) persons, but also a distinctive kind of morally desirable relationship. CiteULike Connotea Del.icio.us What's this? (shrink)

It is shown that the well-known disparity in classical electrodynamics between the power losses calculated from the radiation reaction and that from Larmor’s formula, is succinctly understood when a proper distinction is made between quantities expressed in terms of a “real time” and those expressed in terms of a retarded time. It is explicitly shown that an accelerated charge, taken to be a sphere of vanishingly small radius \, experiences at any time a self-force proportional to the acceleration it (...) had at a time \ earlier, while the rate of work done on the charge is obtained by a scalar product of the self-force with the instantaneous value of its velocity. Now if the retarded value of acceleration is expressed in terms of the present values of acceleration, then we get the rate of work done according to the radiation reaction equation, however if we instead express the present value of velocity in terms of its time-retarded value, then we get back the familiar Larmor’s radiation formula. From this simple relation between the two we show that they differ because Larmor’s formula, in contrast with the radiation reaction, is written not in terms of the real-time values of quantities specifying the charge motion but is instead expressed in terms of the time-retarded values. Moreover, it is explicitly shown that the difference in the two formulas for radiative power loss exactly matches the difference in the temporal rate of the change of energy in the self-fields between the retarded and real times. From this it becomes obvious that the ad hoc introduction of an acceleration-dependent energy term, usually referred to in the prevalent literature as Schott-term, in order to make the two formulas comply with each other, is redundant. (shrink)

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a (...) bridge principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

This article suggests a novel way to advance a current debate in the philosophy of mathematics. The debate concerns the role of diagrams and visual reasoning in proofs—which I take to concern the criteria of legitimate representation of mathematical thought. Drawing on the so-called ‘maverick’ approach to philosophy of mathematics, I turn to mathematical practice itself to adjudicate in this debate, and in particular to category theory, because there (a) diagrams obviously play a major role, and (b) category theory itself (...) addresses questions of representation and information preservation over mappings. We obtain a mathematical answer to a philosophical question: a good mathematical representation can be characterized as a category theoretic natural transformation. (shrink)

In this article, we provide three generators of propositional formulae for arbitrary languages, which uniformly sample three different formulae spaces. They take the same three parameters as input, namely, a desired depth, a set of atomics and a set of logical constants (with specified arities). The first generator returns formulae of exactly the given depth, using all or some of the propositional letters. The second does the same but samples up-to the given depth. The third generator outputs formulae with exactly (...) the desired depth and all the atomics in the set. To make the generators uniform (i.e. to make them return every formula in their space with the same probability), we will prove various cardinality results about those spaces. (shrink)

I criticize the widely accepted “practical” interpretation of the universality test contained in Kant’s first formula of the categorical imperative in the Groundwork of the Metaphysics of Morals – the formula of the universal law of nature. I argue that this interpretation does not work for contradictions in conception because it wrongly takes contradictions in the will as the model for them and, as a consequence, cannot establish a clear distinction between the two kinds of contradiction. This interpretation (...) also assumes an understanding of universality that departs from Kant’s own and, cannot, for this reason, capture the kind of contradiction that he explicitly claims to establish. I provide an alternative interpretation, which I call revised logical interpretation, that allows us to account for contradictions in conception, including those examples that the practical interpretation cannot handle, as well as to establish a clear distinction between the two kinds of contradiction. (shrink)

The formula of universal law (FUL) is a natural starting point for philosophers interested in a Kantian perspective on the morality of abortion. I argue, however, that FUL does not yield much in the way of promising or substantive conclusions regarding the morality of abortion. I first reveal how two philosophers' (Hare's and Gensler's) attempts to use Kantian considerations of universality and prescriptivity fail to provide analyses of abortion that are either compelling or true to Kant=s understanding of FUL. (...) I then turn to some recent interpretations of Kant=s FUL contradiction in conception (CC) and contradiction in will (CW) tests. I argue that none of the interpretations of the CC testBincluding the practical interpretation favored by KorsgaardBdoes much to reveal moral problems with maxims of abortion. The CW test (as developed by Herman) is more helpful. Nevertheless, I argue that neither by considering abortion maxims as a subset of maxims of convenience killing, nor by considering such maxims as maxims of refusing to aid, can the CW test generate a general prohibition of abortion. At best, the CW test illuminates the abortion issue because by forcing us to think about how killing a fetus differs from killing other human beings, what attitudes we may reasonably have toward a fetus, and whether Kant's moral theory must be amended to do justice to the problem of abortion. But to pursue these questions, we must look beyond FUL; Kant’s formula of humanity and doctrine of virtue may well have more to offer. (shrink)

This article theorises a group of mothers’ experiences of shame as a result of feeding infant formula to their children. Drawing on interviews with formula and breastfeeding mothers, the author brings together insights from scholarship on shame, feminist scholarship on reproductive labour and the Marxist notion of estranged labour to demonstrate that shame causes the formula-feeding mothers in this study, who initially wanted to breastfeed, to be estranged in their labour as mothers. The article addresses a gap (...) in qualitative infant-feeding scholarship, which focuses primarily on breastfeeding. It provides an empathic account framing breastfeeding and formula-feeding mothers as potential allies against ‘controlling images’ of motherhood who face different facets of the same pressure to fulfil idealised roles. Both scholarly work on reproductive labour, and public programmes supporting new mothers, should account more seriously for the experiences of formula feeding mothers. (shrink)

In two recent articles I have argued that Kant’s legal and political philosophy can shed new light on his much-contested account of moral autonomy and that important changes in his political theory help to explain why in his later work the Formula of Autonomy disappears. In the present essay, I respond to comments by Sorin Baiasu and Marie Newhouse, who argue that the changes in Kant’s political theory fail to explain the disappearance of the Formula of Autonomy, since (...) in both phases Kant held that laws are given by the people’s representatives. I offer additional support for my original argument by developing a more detailed account of Kant’s conception of the relation between the legislating representatives and the people they are taken to represent. I argue that Kant’s conception of the proper representation relation changed, and that it changed so fundamentally that the analogy at the basis of the Formula of Autonomy was no longer apt, thus providing a plausible explanation for its disappearance. I also address several related comments and propose an explanation for why Kant dropped the very idea of autonomy as a property of the will. (shrink)

This article is a study of formulaic passages in the Sanskrit Avadanasataka. Alongside a preliminary discussion of work on oral studies within Buddhism, and some recourse to wider oral studies on Indian texts, the focus of this article is a two-part study of formulae and constituents of formulae. The first part of the article details formulaic sections from the Avadanasataka, from short formulae about wealthy merchants to lengthy counterparts that detail the consequences of a Buddha's smile. The second part looks (...) in detail at constituents of the formulaic passages. The passages are constructed around semantic lists, which either constitute the whole formulaic phrase or passages, or can be identified as the building blocks for the passages. To my knowledge this is the first study of semantic list-based formulae in a Sanskrit text. (shrink)

По данным опросов, около 40 % граждан России и Западной Европы часто задумываются о смысле жизни, еще около 30 - делают это иногда. Работаем мы или отдыхаем, размышляем о своих отношениях с людьми или об устройстве Вселенной, нам никак не уйти от странного вопроса: А зачем все это Вероятно, не ответив на него, мы не сможем справиться с периодически возникающим страхом одиночества и смерти, не поймем, что же делать со свободой, к которой так стремимся. Никакого смысла нет; смысл в самой (...) жизни; смысл у каждого свой; смысл в счастье; в любви; в исполнении долга; в продолжении рода; в работе; в самореализации; в познании Бога; в эволюции человечества и т. д. В предлагаемой книге каждая из двух десятков самых распространенных формулировок смысла жизни подвергается критическому анализу. Но прежде определяется само понятие "смысл" и систематизируются его типы. В качестве аргументов использована обширная философская, психологическая и религиозная литература. (shrink)