There exists a huge number of numerical methods that iteratively construct approximations to the solution y(x) of an ordinary differential equation (ODE) y′(x) = f(x,y) starting from an initial value y_0=y(x_0) and using a finite approximation step h that influences the accuracy of the obtained approximation. In this paper, a new framework for solving ODEs is presented for a new kind of a computer – the Infinity Computer (it has been patented and its working prototype exists). The (...) new computer is able to work numerically with finite, infinite, and infinitesimal numbers giving so the possibility to use different infinitesimals numerically and, in particular, to take advantage of infinitesimal values of h. To show the potential of the new framework a number of results is established. It is proved that the Infinity Computer is able to calculate derivatives of the solution y(x) and to reconstruct its Taylor expansion of a desired order numerically without finding the respective derivatives analytically (or symbolically) by the successive derivation of the ODE as it is usually done when the Taylor method is applied. Methods using approximations of derivatives obtained thanks to infinitesimals are discussed and a technique for an automatic control of rounding errors is introduced. Numerical examples are given. (shrink)

The Koch snowflake is one of the first fractals that were mathematically described. It is interesting because it has an infinite perimeter in the limit but its limit area is finite. In this paper, a recently proposed computational methodology allowing one to execute numerical computations with infinities and infinitesimals is applied to study the Koch snowflake at infinity. Numerical computations with actual infinite and infinitesimal numbers can be executed on the Infinity Computer being a new supercomputer patented in (...) USA and EU. It is revealed in the paper that at infinity the snowflake is not unique, i.e., different snowflakes can be distinguished for different infinite numbers of steps executed during the process of their generation. It is then shown that for any given infinite number n of steps it becomes possible to calculate the exact infinite number, Nn, of sides of the snowflake, the exact infinitesimal length, Ln, of each side and the exact infinite perimeter, Pn, of the Koch snowflake as the result of multiplication of the infinite Nn by the infinitesimal Ln. It is established that for different infinite n and k the infinite perimeters Pn and Pk are also different and the difference can be infinite. It is shown that the finite areas An and Ak of the snowflakes can be also calculated exactly (up to infinitesimals) for different infinite n and k and the difference An − Ak results to be infinitesimal. Finally, snowflakes constructed starting from different initial conditions are also studied and their quantitative characteristics at infinity are computed. (shrink)

Very often traditional approaches studying dynamics of self-similarity processes are not able to give their quantitative characteristics at infinity and, as a consequence, use limits to overcome this difficulty. For example, it is well know that the limit area of Sierpinski’s carpet and volume of Menger’s sponge are equal to zero. It is shown in this paper that recently introduced infinite and infinitesimal numbers allow us to use exact expressions instead of limits and to calculate exact infinitesimal values (...) of areas and volumes at various points at infinity even if the chosen moment of the observation is infinitely faraway on the time axis from the starting point. It is interesting that traditional results that can be obtained without the usage of infinite and infinitesimal numbers can be produced just as finite approximations of the new ones. (shrink)

There exist many applications where it is necessary to approximate numerically derivatives of a function which is given by a computer procedure. In particular, all the fields of optimization have a special interest in such a kind of information. In this paper, a new way to do this is presented for a new kind of a computer - the Infinity Computer - able to work numerically with finite, infinite, and infinitesimal number. It is proved that the Infinity Computer (...) is able to calculate values of derivatives of a higher order for a wide class of functions represented by computer procedures. It is shown that the ability to compute derivatives of arbitrary order automatically and accurate to working precision is an intrinsic property of the Infinity Computer related to its way of functioning. Numerical examples illustrating the new concepts and numerical tools are given. (shrink)

The goal of this paper consists of developing a new (more physical and numerical in comparison with standard and non-standard analysis approaches) point of view on Calculus with functions assuming infinite and infinitesimal values. It uses recently introduced infinite and infinitesimal numbers being in accordance with the principle ‘The part is less than the whole’ observed in the physical world around us. These numbers have a strong practical advantage with respect to traditional approaches: they are representable at a (...) new kind of a computer – the Infinity Computer – able to work numerically with all of them. An introduction to the theory of physical and mathematical continuity and differentiation (including subdifferentials) for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains is developed in the paper. This theory allows one to work with derivatives that can assume not only finite but infinite and infinitesimal values, as well. It is emphasized that the newly introduced notion of the physical continuity allows one to see the same mathematical object as a continuous or a discrete one, in dependence on the wish of the researcher, i.e., as it happens in the physical world where the same object can be viewed as a continuous or a discrete in dependence on the instrument of the observation used by the researcher. Connections between pure mathematical concepts and their computational realizations are continuously emphasized through the text. Numerous examples are given. (shrink)

In this survey, a recent computational methodology paying a special attention to the separation of mathematical objects from numeral systems involved in their representation is described. It has been introduced with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework in all the situations requiring these notions. The methodology does not contradict Cantor’s and non-standard analysis views and is based on the Euclid’s Common Notion no. 5 “The whole is greater than the (...) part” applied to all quantities (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The methodology uses a computational device called the Infinity Computer (patented in USA and EU) working numerically (recall that traditional theories work with infinities and infinitesimals only symbolically) with infinite and infinitesimal numbers that can be written in a positional numeral system with an infinite radix. It is argued that numeral systems involved in computations limit our capabilities to compute and lead to ambiguities in theoretical assertions, as well. The introduced methodology gives the possibility to use the same numeral system for measuring infinite sets, working with divergent series, probability, fractals, optimization problems, numerical differentiation, ODEs, etc. (recall that traditionally different numerals lemniscate; Aleph zero, etc. are used in different situations related to infinity). Numerous numerical examples and theoretical illustrations are given. The accuracy of the achieved results is continuously compared with those obtained by traditional tools used to work with infinities and infinitesimals. In particular, it is shown that the new approach allows one to observe mathematical objects involved in the Hypotheses of Continuum and the Riemann zeta function with a higher accuracy than it is done by traditional tools. It is stressed that the hardness of both problems is not related to their nature but is a consequence of the weakness of traditional numeral systems used to study them. It is shown that the introduced methodology and numeral system change our perception of the mathematical objects studied in the two problems. (shrink)

New algorithms for the numerical solution of Ordinary Differential Equations (ODEs) with initial condition are proposed. They are designed for work on a new kind of a supercomputer – the Infinity Computer, – that is able to deal numerically with finite, infinite and infinitesimal numbers. Due to this fact, the Infinity Computer allows one to calculate the exact derivatives of functions using infinitesimal values of the stepsize. As a consequence, the new methods described in this paper are (...) able to work with the exact values of the derivatives, instead of their approximations. (shrink)

A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle ‘The part is less than the whole’ introduced by Ancient Greeks and applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). It is shown that it becomes possible to write down finite, infinite, and infinitesimal numbers by a finite number of symbols as (...) particular cases of a unique framework. The new methodology has allowed us to introduce the Infinity Computer working with such numbers (its simulator has already been realized). Examples dealing with divergent series, infinite sets, and limits are given. (shrink)

A recently developed computational methodology for executing numerical calculations with infinities and infinitesimals is described in this paper. The approach developed has a pronounced applied character and is based on the principle “The part is less than the whole” introduced by the ancient Greeks. This principle is applied to all numbers (finite, infinite, and infinitesimal) and to all sets and processes (finite and infinite). The point of view on infinities and infinitesimals (and in general, on Mathematics) presented (...) in this paper uses strongly physical ideas emphasizing interrelations that hold between a mathematical object under observation and the tools used for this observation. It is shown how a new numeral system allowing one to express different infinite and infinitesimal quantities in a unique framework can be used for theoretical and computational purposes. Numerous examples dealing with infinite sets, divergent series, limits, and probability theory are given. (shrink)

The paper uses two historical examples, public health (1840-1880) and town planning (1945-1975) in Britain, to analyse the challenges faced by goal-driven research, an increasingly important trend in science policy, as exemplified by the prominence of calls for addressing Grand Challenges. Two key points are argued. (1) Given that the aim of research addressing social or global problems is to contribute to improving things, this research should include all the steps necessary to bring science and technology to fruition. This (...) need is captured by the idea of practical integration, which brings this type of research under the umbrella of collective practical reason rather than under the aegis of science. Achieving practical integration is difficult for many reasons: the complexity of social needs, the plurality of values at stake, the limitation of our knowledge, the elusive nature of the skills needed to deal with uncertainty, incomplete information and asymmetries of power. Nevertheless, drawing from the lessons of the case studies, it is argued that (2) practical integration needs a proper balance between values, institutions and knowledge: i.e. a combination of mutual support and mutual limitation. Pursuing such a balance provides a flexible strategy for approximating practical integration. (shrink)

Traditional computers work with finite numbers. Situations where the usage of infinite or infinitesimal quantities is required are studied mainly theoretically. In this paper, a recently introduced computational methodology (that is not related to the non-standard analysis) is used to work with finite, infinite, and infinitesimal numbers numerically. This can be done on a new kind of a computer – the Infinity Computer – able to work with all these types of numbers. The new computational tools (...) both give possibilities to execute computations of a new type and open new horizons for creating new mathematical models where a computational usage of infinite and/or infinitesimal numbers can be useful. A number of numerical examples showing the potential of the new approach and dealing with divergent series, limits, probability theory, linear algebra, and calculation of volumes of objects consisting of parts of different dimensions are given. (shrink)

The analysis of multimodal argumentation in advertising is a crucial and problematic area of research. While its importance is growing in a time characterized by images and pictorial messages, the methods used for interpreting and reconstructing the structure of arguments expressed through verbal and visual means capture only isolated dimensions of this complex phenomenon. This paper intends to propose and illustrate a methodology for the reconstruction and analysis of “double-mode” arguments in advertisements, combining the instruments developed in social semiotics, (...) pragmatics, and argumentation theory. An advertisement is processed through a five-step path. The analysis of its context, text genre, and images leads to a first representation of the messages that it encodes both pictorially and verbally (step 1). These first semantic representations are further enriched by including their polyphonic articulations and presuppositions (step 2), their explicatures (step 3), and their dialogical functions and illocutionary forces (step 4). These pragmatic steps retrieve the commitment structure of the ad, which allows a further argument analysis conducted through argumentation schemes (step 5). (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various (...) ways can be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive languages like higher-order logic are ideally suited for representing and reasoning about structured knowledge. Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values. The main technical problem studied in this paper is the following: Given a set of sentences, each having some probability of being (...) true, what probability should be ascribed to other (query) sentences? A natural wish-list, among others, is that the probability distribution (i) is consistent with the knowledge base, (ii) allows for a consistent inference procedure and in particular (iii) reduces to deductive logic in the limit of probabilities being 0 and 1, (iv) allows (Bayesian) inductive reasoning and (v) learning in the limit and in particular (vi) allows confirmation of universally quantified hypotheses/sentences. We translate this wish-list into technical requirements for a prior probability and show that probabilities satisfying all our criteria exist. We also give explicit constructions and several general characterizations of probabilities that satisfy some or all of the criteria and various (counter) examples. We also derive necessary and sufficient conditions for extending beliefs about finitely many sentences to suitable probabilities over all sentences, and in particular least dogmatic or least biased ones. We conclude with a brief outlook on how the developed theory might be used and approximated in autonomous reasoning agents. Our theory is a step towards a globally consistent and empirically satisfactory unification of probability and logic. (shrink)

We present an algorithm for concept combination inspired and informed by the research in cognitive and experimental psychology. Dealing with concept combination requires, from a symbolic AI perspective, to cope with competitive needs: the need for compositionality and the need to account for typicality effects. Building on our previous work on weighted logic, the proposed algorithm can be seen as a step towards the management of both these needs. More precisely, following a proposal of Hampton [1], it combines two weighted (...) Description Logic formulas, each defining a concept, using the following general strategy. First it selects all the features needed for the combination, based on the logical distinc- tion between necessary and impossible features. Second, it determines the threshold and assigns new weights to the features of the combined concept trying to preserve the relevance and the necessity of the features. We illustrate how the algorithm works exploiting some paradigmatic examples discussed in the cognitive literature. (shrink)

Hegel's Science of Logic makes the just not low claim to be an absolute, ultimate-grounded knowledge. This project, which could not be more ambitious, has no good press in our post-metaphysical age. However: That absolute knowledge absolutely cannot exist, cannot be claimed without self-contradiction. On the other hand, there can be no doubt about the fundamental finiteness of knowledge. But can absolute knowledge be finite knowledge? This leads to the problem of a self-explication of logic (in the sense of (...) Hegel) and further, as will be shown, to a new definition of the dialectical procedure. The stringency of which results from the fact that always exactly that implicit content is explicated that was generated by the preceding explication step itself and is thus concretely comprehensible. At the same time, a new implicit content is generated by this act of explication, which requires a new explication step, and so forth. In the dialectical procedure reinterpreted in this way, dialectical arguments are not beheld, guessed at or even surreptitiously obtained, but are methodically accountable. Thereby dialectics is understood as a self-explication of logic by logical means and thus as a proof of the possibility of ultimate-grounding in the form of absolute and nevertheless finite – and thus also fallible – knowledge. (shrink)

Numerous problems arising in engineering applications can have several objectives to be satisfied. An important class of problems of this kind is lexicographic multi-objective problems where the first objective is incomparably more important than the second one which, in its turn, is incomparably more important than the third one, etc. In this paper, Lexicographic Multi-Objective Linear Programming (LMOLP) problems are considered. To tackle them, traditional approaches either require solution of a series of linear programming problems or apply a scalarization of (...) weighted multiple objectives into a single-objective function. The latter approach requires finding a set of weights that guarantees the equivalence of the original problem and the single-objective one and the search of correct weights can be very time consuming. In this work a new approach for solving LMOLP problems using a recently introduced computational methodology allowing one to work numerically with infinities and infinitesimals is proposed. It is shown that a smart application of infinitesimal weights allows one to construct a single-objective problem avoiding the necessity to determine finite weights. The equivalence between the original multi-objective problem and the new single-objective one is proved. A simplex-based algorithm working with finite and infinitesimal numbers is proposed, implemented, and discussed. Results of some numerical experiments are provided. (shrink)

A new computational methodology allowing one to work in a new way with infinities and infinitesimals is presented in this paper. The new approach, among other things, gives the possibility to calculate the number of elements of certain infinite sets, avoids indeterminate forms and various kinds of divergences. This methodology has been used by the author as a starting point in developing a new kind of computer – the Infinity Computer – able to execute computations and to store in its (...) memory not only finite numbers but also infinite and infinitesimal ones. (shrink)

A computational methodology called Grossone Infinity Computing introduced with the intention to allow one to work with infinities and infinitesimals numerically has been applied recently to a number of problems in numerical mathematics (optimization, numerical differentiation, numerical algorithms for solving ODEs, etc.). The possibility to use a specially developed computational device called the Infinity Computer (patented in USA and EU) for working with infinite and infinitesimal numbers numerically gives an additional advantage to this approach in comparison with traditional methodologies (...) studying infinities and infinitesimals only symbolically. The grossone methodology uses the Euclid’s Common Notion no. 5 ‘The whole is greater than the part’ and applies it to finite, infinite, and infinitesimal quantities and to finite and infinite sets and processes. It does not contradict Cantor’s and non-standard analysis views on infinity and can be considered as an applied development of their ideas. In this paper we consider infinite series and a particular attention is dedicated to divergent series with alternate signs. The Riemann series theorem states that conditionally convergent series can be rearranged in such a way that they either diverge or converge to an arbitrary real number. It is shown here that Riemann’s result is a consequence of the fact that symbol ∞ used traditionally does not allow us to express quantitatively the number of addends in the series, in other words, it just shows that the number of summands is infinite and does not allows us to count them. The usage of the grossone methodology allows us to see that (as it happens in the case where the number of addends is finite) rearrangements do not change the result for any sum with a fixed infinite number of summands. There are considered some traditional summation techniques such as Ramanujan summation producing results where to divergent series containing infinitely many positive integers negative results are assigned. It is shown that the careful counting of the number of addends in infinite series allows us to avoid this kind of results if grossone-based numerals are used. (shrink)

J. Schauder introduced the notion of basis in a Banach space in 1927. If a Banach space has a basis then it is also separable. The problem whether every separable Banach space has a Schauder basis appeared for the first time in 1931 in Banach's book "Theory of Linear Operations". If a Banach space has a Schauder basis it also has the approximation property. A Banach space X has the approximation property if for every Banach space Y the (...) finite rank operators are dense in the closed subspace of all compact operators from Y to X. Both problems were solved in the negative in 1972 by Per Enflo. His proof was almost immediately simplified by A. M. Davie, who using a probabilistic lemma constructed a separable closed subspace of l_inifnity without the approximation property. In this thesis we present some of the equivalent properties to the approximation property due to A. Grothendieck, and we make a detailed exposition of the proof by A. M. Davie. (shrink)

Academia is a competitive environment. Early Career Researchers (ECRs) are limited in experience and resources and especially need achievements to secure and expand their careers. To help with these issues, this book offers a new approach for conducting research using the combination of mindsponge innovative thinking and Bayesian analytics. This is not just another analytics book. 1. A new perspective on psychological processes: Mindsponge is a novel approach for examining the human mind’s information processing mechanism. This conceptual framework is used (...) to construct models in studies. The framework is highly flexible and widely applicable for many different types of information processes. The mindsponge approach can help researchers discover interesting ideas or even formulate their very own theories when investigating psychosocial phenomena. This approach brings a fresh wind to the current landscape of social sciences and humanities (SSH). 2. Easy-to-follow analysis protocol: The Bayesian Mindsponge Framework (BMF analytics) is useful in terms of computing and visualizing power but also easy to learn and apply. Contrary to being intimidating, the Bayesian analytics section of this book is presented in a reader-friendly manner with a detailed yet clear step-by-step procedure. Examples are from published BMF articles, allowing readers to immediately practice the method and quickly create their own applications. With educational purposes in mind, the book is very suitable for ECRs who are looking to innovate their research methods. 3. Advocating for low-cost, high-quality research: Doing science can be very costly. Mindsponge innovative thinking and BMF analytics help produce impactful studies using openly available data on online repositories. This is based on the authors’ previous works and experiences. The book presents examples of employing the open R package bayesvl on secondary data from different sources. With less financial constraints, researchers can have more freedom of thought to pursue their curiosity and creativity. ECRs in low- and middle-income countries may find this aspect crucial in their careers. 4. Support and collaboration: The authors share their insights from experiences in the academic publishing system to help readers get through the processes of manuscript writing and peer-reviewing more easily. The authors are also ready to support other researchers with further inquiries and collaboration opportunities at the following website, mindsponge(dot)info. This book is for: a) ECRs whose only abundant resources are their innovation capacity and strength of will; b) Researchers in SSH who want to explore a novel approach to thinking and study conducting; c) Low- and middle-income countries’ researchers looking for a cost-effective research protocol; and, d) Innovative thinkers who want to turn their interesting thoughts into good publications. (shrink)

All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access to mathematics education. (...) By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)

In this paper, a number of traditional models related to the percolation theory has been considered by means of new computational methodology that does not use Cantor’s ideas and describes infinite and infinitesimal numbers in accordance with the principle ‘The part is less than the whole’. It gives a possibility to work with finite, infinite, and infinitesimal quantities numerically by using a new kind of a compute - the Infinity Computer – introduced recently in [18]. The new (...) approach does not contradict Cantor. In contrast, it can be viewed as an evolution of his deep ideas regarding the existence of different infinite numbers in a more applied way. Site percolation and gradient percolation have been studied by applying the new computational tools. It has been established that in an infinite system the phase transition point is not really a point as with respect of traditional approach. In light of new arithmetic it appears as a critical interval, rather than a critical point. Depending on “microscope” we use this interval could be regarded as finite, infinite and infinitesimal short interval. Using new approach we observed that in vicinity of percolation threshold we have many different infinite clusters instead of one infinite cluster that appears in traditional consideration. (shrink)

Pascal’s Wager involves expected utilities. In this chapter, we examine the Wager in light of two main features of expected utility theory: utilities and probabilities. We discuss infinite and finite utilities, and zero, infinitesimal, extremely low, imprecise, and undefined probabilities. These have all come up in recent literature regarding Pascal’s Wager. We consider the problems each creates and suggest prospects for the Wager in light of these problems.

A well known and referenced global result is the nilpotent characterisation of the finite p-groups. This un doubtedly transends into neutrosophy. Hence, this fact of the neutrosophic nilpotent p-groups is worth critical studying and comprehensive analysis. The nilpotent characterisation depicts that there exists a derived series (Lower Central) which must terminate at {ϵ} (an identity), after a finite number of steps. Now, Suppose that G(I) is a neutrosophic p-group of class at least m ≥ 3. We show (...) in this paper that Lm−1(G(I)) is abelian and hence G(I) possesses a characteristic abelian neutrosophic subgroup which is not supposed to be contained in Z(G(I)). Furthermore, If L3(G(I)) = 1 such that pm is the highest order of an element of G(I)/L2(G(I)) (where G(I) is any neutrosophic p-group) then no element of L2(G(I)) has an order higher than pm. (shrink)

This work deals with problems involving infinities and infinitesimals. It explores the ideas behind zero, its relationship to ontological nothingness, finititude (such as finite numbers and quantities), and the infinite. The idea of infinity and zero are closely related, despite what many perceive as an intuitive inverse relationship. The symbol 0 generally refers to nothingness, whereas the symbol infinity refers to ``so much'' that it cannot be quantified or captured. The notion of finititude rests somewhere between complete nothingness and (...) something having no end. -/- My concern is that many of the philosophers arguing for or against the ontology (or possibility) of an actual infinite set are unaware or unfamiliar with the mathematical literature attempting to clearly and rigorously define these terms. I believe it is a mistake to leave mathematicians out of this conversation, as analysts in particular have defined (and used) infinity in a way that is relevant to the ongoing debate between philosophers. -/- For this paper, I have selected examples from Principles of Analysis by Walter Rudin, which has become a standard text for Real Analysis classes taken by pure mathematicians and engineers. I will also restrict the scope of examples to Euclidean spaces for simplicity. Finally, I will be using addition, + and multiplication * in their usual way. (shrink)

This study considers the problem of using approximate way for realizing the neural supervisor for nonlinear multivariable systems. The Nonlinear Autoregressive-Moving Average (NARMA) model is an exact transformation of the input-output behavior of finite-dimensional nonlinear discrete time dynamical organization in a hoodlum of the equilibrium state. However, it is not convenient for intention of adaptive control using neural networks due to its nonlinear dependence on the control input. Hence, quite often, approximate technique are used for realizing the neural supervisor (...) to overcome computational complexity. In this study, we introduce two classes of ideal which are approximations to the NARMA model and which are linear in the control input, namely NARMA-L1 and NARMA-L2. The latter fact substantially simplifies both the theoretical breakdown as well as the practical request of the controller. Extensive imitation studies have shown that the neural controller designed using the proposed approximate models perform very well and in dozens situation even better than an approximate controller designed using the exact NARMA Model. In view of their mathematical tractability as well as their fate in simulation studies, a matter is made in this study that such approximate input-output paragon warrants a detailed study in their own right. (shrink)

The four antinomies of Zeno of Elea continue to be provoking issues that remain relevant for the foundation of science. Aristotle used this antinomy to arrive at a deeper understanding of movement : it is a fluent continuum that he considers to be a whole. The parts, if any, are only potentially present. Similarly, quantum mechanics states that movement is quantized ; things move or change in nonreducible steps, the so-called quanta. This view is in contrast to classical mechanics, (...) where infinitesimally small steps are permitted. The objective of the present study is to show the merits of the Aristotelian approach. Examples from modern science serve to illustrate the philosophical statements. (shrink)

The limitations and unsuitability of the twentieth century intellectual marvel, the quantum mechanics for the task of unraveling working of human consciousness is critically analyzed. The inbuilt traits of the probabilistic, approximate and imprecise nature of quantum mechanical approach are brought out. -/- The limitations and the unsuitability of using such knowledge for the understanding of precise, correct, finite and definite happenings of activities relating to human consciousness and mind, which are not quantum in nature, are pointed out. -/- (...) Analytical methods interpreting philosophical and Indian spiritual analyses suiting the unraveling of working of human consciousness and mind over the deductive approach of quantum physics and advanced mathematics are highlighted. A model of human consciousness and mental functions is presented taking ideas from the Upanishads and related texts. -/- Comparisons with theological interpretations of Upanishadic insight are dealt with to have an idea of working of human consciousness and mind in relation to spirituality. (shrink)

Is it sensical to ascribe psychological predicates to AI systems like chatbots based on large language models (LLMs)? People have intuitively started ascribing emotions or consciousness to social AI (‘affective artificial agents’), with consequences that range from love to suicide. The philosophical question of whether such ascriptions are warranted is thus very relevant. This paper advances the argument that LLMs instantiate language users in Ludwig Wittgenstein’s sense but that ascribing psychological predicates to these systems remains a functionalist temptation. Social AIs (...) are not full-blown language users, but rather more like Italo Calvino’s literature machines. The ideas of LLMs as Wittgensteinian language users and Calvino’s literature-producing writing machine are combined. This sheds light on the misguided functionalist temptation inherent in moving from equating the two to the ascription of psychological predicates to social AI. Finally, the framework of mortal computation is used to show that social AIs lack the basic autopoiesis needed for narrative façons de parler and their role in the sensemaking of human (inter)action. Such psychological predicate ascriptions could make sense: the transition ‘from quantity to quality’ can take place, but its route lies somewhere between life and death, not between affective artifacts and emotion approximation by literature machines. (shrink)

In this paper, I want to look at the way in which Deleuze's reading of Kant's transcendental dialectic influences some of the key thèmes of Différence and Répétition. As we shall see, in the transcendental dialectic, Kant takes the step of claiming that reason, in its natural functioning, is prone to misadventures. Whereas for Descartes, for instance, error takes place between two faculties, such as when reason (wrongly) infers that a stick in water is bent on the basis of sensé (...) impressions, Kant postulâtes that reason générâtes illusions internally purely in the course of its natural function. It is thèse illusions which lead reason into antinomy, as on the basis of thèse illusions, it is led to posit an illegitimate concept of the world as a totality. Further, for Kant, the antinomies represent an indirect proof of transcendental idealism, as it is only with the additional assumption of the noumenon, as that which falls outside of appearance, that we are able to résolve the antinomies. Deleuze's work on the image of thought clearly owes a great deal to Kant's theory of transcendental illusion, but the connections between Kant's transcendental dialectic and the structure of Différence and Répétition go deeper than this. Whereas Kant's problem is that reason générâtes contradictions when it assumes that the unconditioned can be given to reason, Deleuze's problem is the impossibility of developing a concept of différence within représentation. Between thèse two problems, there are significant structural parallels - in particular, the attempt to think outside the dichotomy of the finite and the infinité, and the attempt to prevent the application of spatio-temporal predicates to the noumenon. The antinomy of représentation for Deleuze is the inability of représentation to think différence apart from as purely representational or as undifferenciated abyss. As we shall see, Deleuze gives an explanation of this antinomy in terms of the differential calculus, and the notion of the differential in particular. While thèse parallels exist between Kant and Deleuze's thought, there are also some important différences. Although the differential is not determined in relation to représentation, this does not mean that it lacks ail détermination. This opens up a possibility not available in Kant's philosophy, that is, a thinking beyond the limit of représentation. As we shall see, Kant closes off this possibility by giving reason a heuristic function which in effect reinstates représentation. Kant makes this move precisely because the lack of spatiotemporal déterminations of the noumenal means for Kant that the noumenal lacks déterminations altogether. (shrink)

This article argues that Max Scheler’s conception of “religious acts” and his criticisms of types of “difference” help rethink the relevance of discernment and decision making, especially today, in an age in which we are faced with an unprecedented range of "options" in nearly every area of social lives. After elucidating Scheler’s engagements with religion in On the Eternal in Man, his work is then applied to rethinking more deeply the four steps of Christian discernment developed by the 5th (...) century Mystic, John Cassian. Since Scheler’s work offers detailed and passionate depictions of the religious relevance of "values", it is an untapped resource for expanding upon Cassian’s still relevant work on discernment; an expansion that is necessary in order to demonstrate the often overlooked importance of discernment. This article concludes by employing the work of these two thinkers to show how discernment can help “sort-out,” like good "money changers", the differences between 1) finite values and supreme values, 2) an authentic and inauthentic doctrine of God 3) true differences and superficial differences, and 4) the social imaginaries of theomorphism and anthropomorphism. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

Architecture and Deconstruction Case of Peter Eisenman and Bernard Tschumi -/- Introduction Towards deconstruction in architecture Intensive relations between philosophical deconstruction and architecture, which were present in the late 1980s and early 1990s, belong to the past and therefore may be described from a greater than before distance. Within these relations three basic variations can be distinguished: the first one, in which philosophy of deconstruction deals with architectural terms but does not interfere with real architecture, the second one, in which (...) a collaboration between Jacques Derrida and a group of architects interested in his concepts is commenced, and the third one, in which completed or only designed objects or new concepts of deconstruction created by architects gain their supremacy over philosophy. The following book analyses these three possible ways, first of all with the reference to Peter Eisenman and Bernard Tschumi. -/- Peter Eisenman -/- Misreading… and Other Errors -/- The issue of relations between Peter Eisenman’s work and philosophy of deconstruction may be referred to his activity more than ten years preceding his direct collaboration with Jacques Derrida (in 1985) and organisation of the exhibition Deconstructivist Architecture at Museum of Modern Art in New York (in 1988). As soon as at the stage of designing the first houses (House I-III, 1967-1970), which almost entirely inscribed in formalistic aesthetics of Modernism, the architect analysed the problem of architecture dependence on its assumptions. All his later designs may be treated as consequence of this initial interest in relations between practice and theory, and at the same time as an introduction to manipulations later on led at the level of metaphysics of architecture. Beginning with the issue of presence, considered in comments to House VI (1972), the number of ideas having their analogies in philosophy of deconstruction increased. The text entitled The End of the Classical: The End of the Beginning, The End of the End (1984), in which Eisenman criticised questions of representation in architecture, its delusive strive for truth and comparably unattainable attempts at ultimate definition of elementary rules, should be acclaimed the breaking point. This attitude was extended by numerous strategies disturbing architecture rules defined at metaphysical level in an essay Moving Arrows, Eros, and Other Errors: an Architecture of Absence (1986). The issue of Eisenman’s passage from formalism to deconstruction has already been much discussed in the literature (Rosalind Krauss, Thomas Patin among others), still it should be mentioned that the threads similar to Derrida’s concept included in Eisenman’s writing reveal untranslatability of architecture and philosophy. -/- Choral Works or Separate tricks -/- In 1985-1986 a series of seven disputes between Jacques Derrida and Peter Eisenman took place. The pretext for them were designs concerning Parc de la Villette in Paris. The situation of many months of collaboration between a notable philosopher of the second half of the 20th c. and an architect that already had a huge theoretical oeuvre, ended up with a publication of a large volume entitled Chora L Works and it became at the same time a vast study area for historians of contemporary architecture and philosophers. Derrida’s contribution to concept works were his considerations over the idea of chôra, the properties related to this concept were about to be reflected in shapes of the park. Therefore, Chora L Works became an example of the abilities of contemporary art, both in its capability of translation from philosophical ideas to artistic forms and its resistance to tradition of representing in architecture some phenomena and values originating outside this discipline. In the final period of their collaboration both interlocutors started to polemicise with each other more decidedly, what became a separate part of their thought exchange. The exchange of letters between Derrida and Eisenman at the turn of 1989 ended up the period of their direct contacts, nevertheless, at this time precisely a large group of experts in issues of deconstruction joined the discussion and extended the revealed in the former dispute problems into more than ten years of further considerations and publications. Except for a long text by Jeffrey Kipnis, who had participated in the meetings of the philosopher and the architect, there appeared also comments of researchers of artistic theories (K. Michael Hays, Thomas Patin), philosophers (Andrew Benjamin), and even experts in Greek literature (Maria Theodorou or Ann Bergren). Following these debates a contemporary reflection on architecture has saturated with indeed numerous concepts originating in philosophy of deconstruction. -/- Architecture which imitates mute philosophy -/- The series of Jacques Derrida and Peter Eisenman meetings, which took place in the period of 1985-1987, induced many authors to make comments. Some of them (Jeffrey Kipnis, Ann Bergren, Maria Theodorou) developed the subject of chôra which was introduced to the discussion by Derrida. The problem that was about to be solved was the question of tying up the concept of chôra with architecture, including Eisenman’s architecture and the series of meetings within frames of Chora L Works project. Kipnis on this occasion paid attention to chôra and its character of anachronia which infects any being created within chôra. In other words any event has its counterpart (analogon) in another, earlier event. He demonstrated the similarity of structure of many events and statements from the times of Derrida and Eisenman’s meetings to the almost identical behaviour of figures in Plato’s dialogue Timaeus. The loss of beginning present in this phenomenon was appropriate to both features of chôra and the effects of typical analyses of philosophy of deconstruction. Bergren’s analyses focused on accentuating gender of chôra, which, according to this author, had been neglected hitherto in discussions. She collated chôra descriptions with characteristics of women in myths, early Greek epic and philosophy and she arrived at a conclusion that chôra has features of a single woman and a married one at the same time. And yet Theodorou’s studies showed that in the Homeric epics chôra is not treated as an idea but is related with single things and events. The other part of the comments (represented by Andrew Benjamin and K. Michael Hays’ utterances) concerns Eisenman’s attitude to tradition which was treated as a variety of iteration understood philosophically. Benjamin commenced his considerations at the point of closeness between a definition of tradition and a concept of chôra understood as perpetuation (placement). A problematic issue was for him Eisenman’s complex relation to tradition based on its contest and affirmation at the same time. Overcoming the simple subordination to tradition – according to Benjamin – was based on awareness of the role of repetition in culture not known before. Hays made an attempt to explain the pleasure and torment of repetition with the support of Sigmund Freud and Roland Barthes’ concepts. According to Hays repetitions are attempts of a single being to a certain primal state perceived as free of any tension. In a similar way Rosalind Krauss explained a motif of a grate present in Modernistic art and also exceptionally frequent in Eisenman’s work. -/- Annex Architecture is still writing Balzac novels. Peter Eisenman and literature -/- Architecture’s approach to writing, script or literature, present within Peter Eisenman’s work, is an exceptional phenomenon, furthermore a complex one. The article considers four possible relations. The first one relates to Eisenman’s characteristics as a person extremely gifted with the ability to wordplay, which very ‘play’ reveals skills to create architectural images. In the second approach the attention has been paid to Eisenman’s interests – in the first period of his oeuvre – in linguistic works by Noam Chomsky and his transformational-generative grammar. The third kind of relations applied to overcoming the need for autonomy of architecture (and of modernist aesthetics at the same time) and renew interests in questions of meaning in architecture. The fourth sort of relations occurred when Eisenman started to create reflections of historic or literary narrations in architecture – ‘stone stories’ and architectural fictions of their kind. -/- Bernard Tschumi -/- From perversion to deconstruction In Bernard Tschumi’s writings from the 1970s and 1980s we can find a transposition of important threads of post-structuralist ideas deriving from Georges Bataille, Roland Barthes and Jacques Derrida’s works. The analysis of the architect’s writings also shows roots in Phillippe Sollers, Michel Foucault and Denis Hollier’s works. The analysis of borrowed elements from the beginnings of Tschumi’s theoretical activity may be helpful in explaining the contents of his later writings motre inspired by philosophy of deconstruction. The set of his earliest views was inspired by Marxism, Neo Marxism and French Structuralism, mainly by the writings of Henri Levebre and Guy Debord. From the thought of Levebre Tschumi took interest for city as not only a question of urbanistics but also a political issue. From Debord’s concepts he borrowed a conviction about the role of situational violation for changes in the society structure. Some of these beliefs were preserved in his own concepts of architecture as an event. From this period derived also his will to change conservative elements of social structure not by means of political revolution but of theoretical and creative activity. Tschumi acknowledged that the effective way of the proceedings towards achieving his aims would be accepting the role of both a critical intellectualist and architecture expert who would not hide away his left-wing orientation. The speculations defined by the architect as ‘revolting analyses’ were about to characterise contradictions which tear the society apart, penetrate architecture and constitute the basis of culture. Spreading away of the conscience of false assumptions hidden away in various disciplines could have weakened cohesion of a conservative society and influence the will to change among the elites. This way the beginnings of political revolution were rooted in philosophy of architecture. In 1977 Tschumi published his text entitled The Pleasure of Architecture inspired by Roland Barthes’s The Pleasure of the Text, it also included some concepts derived from Georges Bataille and Jacques Derrida. First of all the author used Barthes’s concept which made an assumption that literary activity is pervaded by the spirit of resistance towards social rules, and Tschudi transferred this remark onto architecture. From the ideas of Bataille, acquainted via Holier’s work, he derived his belief that two concepts of space, a conceptual one (defined as Pyramid) and a sensual one (defined as Labirynth), not losing their distinct features, they join in the concept of experienced space which exceeds contradictions. The exceeding itself was defined as the basic rule of architecture and it was referred to situations in which architecture not only negates social needs, but also disavows its own tradition. Crossing the borders applies not only to political issues or permanent rules of the very discipline but also interfering with other fields (especially literature and film). The fact that architecture is associated with organising events turned Tschumi’s attention to questions of violence that result from upsetting architectural order of a given building by its users and the one hand, and on the other from forcing the users to specific acts imposed by this very order. The analysis of the concepts used by Tschumi in his early writings indicates that they are close to definitions that would occur in his reflection in the following years influenced by philosophy of deconstruction. -/- Approaching deconstruction Tschumi in his theories developed in the 1980s presumed that the current social world had undergone a deep process of decay, and the reaction against which ought to be based on ordering-up actions, and also preserving the main outline of disintegration of the whole and its elements in the state of conflict. The statements concerning the nature of the contemporary to Tschumi social relations were applied by him to the world of architecture, this led him to coming up with designing strategies that took into consideration the destabilised character of conditions in which works of architecture were created. New ways of conduct invented by Tschumi drew their inspiration from literature and research on literature, psychoanalysis, structural linguistics, structuralism and post structuralism, and eventually also deconstruction philosophy. The proposed methods were opposed by their author both to functionalism continuity trends and postmodern architecture. Tschumi’s proposals contradicted any forms of conservatism or traditionalism in political sphere as well as in reference to tendencies in architecture. They were not simple contradictions of social or architectural rules, they intrude them from the inside, weaken or escalate the already existing incongruities, they move the boundaries between the areas. Revolutionary illusions about the possibility of radical changes were replaced with strategies which completed, tainted or test former rules in the series of formal games of permutation and combination. Quite different from avant-garde formalism Tschumi’s games were not about maintaining the autonomy of a given area, but on the contrary – polluting it with other areas’ influences. Tschumi enjoyed demonstrating illusions of architecture concerning simple relations between form and function, or between form and meaning. Making use of Freud, Lacan and Foucault’s research he introduced a category of “madness” into architecture allowing an observation that the recognised norms are nothing but merely ones of many possible principles of behaviour, and their recognised status resulted from unjustified hindering innovativeness which is crucial for architecture. To reborn architecture’s capability of changing Tschumi also made use of Barthes’s discoveries concerning rules of narration and works by writers who applied in their writing knowledge on linguistics. Making a work’s author unclear by various mechanical transformations of its elements was however apparent only, and formal rigours imposed on the process of designing liberated possibilities difficult to obtain in more traditional creative action. Another mode of acting introduced by Tschumi was combining his work of elements deriving from outside architecture; joining space records with notation of motion and events accompanying architectural objects among others. These architectural and extra-architectural elements were not unified, on the contrary their heterogenous and conflictual character was stressed. This is how shock, anxiety and instability, typical for live in great metropolises, infiltrated architecture. Taking some ideas of deconstruction philosophy as a pattern Tschumi also took into critical consideration in his essays traditional in architecture oppositions between form and figuration, or theory and practice. By combining various inspirations he eventually worked out an idea of architectural event, which he understood as a series of actions contesting its own field, redefining its sources, principles and elements. An event, understood in this way, was not so much producing works as rather creating conditions of their production and at the same time designing the society different from a hierarchic one. -/- Park of deconstruction Among numerous philosophical strategies of deconstruction most frequently used was questioning the practice of strong opposition of two reasons. In many cases Bernard Tschumi’s writings just consider functioning of the conflict juxtaposition of the ideas of structure and ornament or theory and practice in history of architecture. Violation of traditional relations between terms of this kind, both old and modern, raised Jacques Derrida’s objections, when he was induced for the first time to co-operate with architects’ milieu. During this long lasting thought exchange the philosopher eventually acknowledged Bernard Tschumi’s arguments for reasoning the encroachment of architecture’s fundamental rules. Deconstruction applied in architecture was not a simple transposition or analogy of practices that had been applied by philosophy of deconstruction. We may even say that considering architectural terms became an important formula of deconstruction. Architecture understood in philosophical way became something beyond the practice and theory of its own discipline, a sort of metaphysics of both philosophy and architecture. The deliberate encroachment of simplicity of dividing architecture into theory and practice, for the first time became a clear aim for Tschumi in his drawings and texts entitled The Manhattan Transcripts. The contents of this series of works was a record of characteristic features of this New York district in such a way that not only objects were the subject of the record but also relations between objects, people and events. The record was about to take into consideration a conflict character of elements of this representation and at the same time to avoid applying to them the rule of mimetism. The record became a form of reflection over the very record by an increased control over the ways of representation. Architecture which was considered in the The Manhattan Transcripts was not directed to fulfill the needs of inhabitation or production, it was rather related with hitherto usually marginalised liminal situations: building ostentatiously big monuments, religious cult, war etc. Architecture operating in these relations focused also the attention on the included in it continuous tendency to overpass its own restrictions, the role of violence as its not recognised factor, or the meaning of excess and shock in its operation. Architecture moving from reason towards madness became even more visible in the design of Parisian Parc de la Villette, whose pavilions were defined as folies (in French it means both small park buildings and follies). The park was supposed to be on the one hand a reflection of traditional society disintegration while on the other it questioned basic rules of producing a work of architecture. The traditional rules of designing, based on ordering up, were replaced with the strategies of dysfunction and dissociation. In Tschumi’s opinion methods of this kind may be equivalent of what Derrida named différance. Instead of aiming at mergence, any diversity, plays or variations were strengthen. Tschumi’s texts, in which he explained his attitude, were completed by Derrida’s extent statement entitled Point de folie – Maintenant l’architecture. Derrida’s article is the most significant of all his statements on architecture as a form of thinking and activity. According to the philosopher, architecture should divide space (in French defined as espacement), what enables both thinking and action – it arranges the space of an event. Tschumi’s buildings, defined as folies, in an essential way destabilise any created order, and at the same time they refresh it. Derrida’s statement suggests that architecture may become both metaphor of an order merging a language or a society but also of inner forces which deconstruct and reconstruct it. Therefore architecture is at the same time a construction, a deconstruction and a reconstruction. Parc de la Villette stands out in this system with its attempt to step beyond the scheme of an easy repetition and its heading for chances of achieving more radical otherness. -/- Conclusion Destruction as construction. Paradoxes of deconstruction in architecture -/- Scepticism about persistence and common importance of fundamental values of human culture evinced in philosophers and writers’ works as early as in Greek antiquity, nevertheless it was not expressed so strongly as in the second half of the 20th century. Especially in Heidegger’s work Being and Time (although originated in 1927, still influential in all later philosophy) the following states were characterised: the state of losing the ground (Abgrund), of being out of sight (Unheimlichkeit) and of being out of dwelling (Un-zuhause-sein) – as the basis of self-confidence of conscious being there (Dasein). The entire criticism of philosophy of home and dwelling draws the inspiration from this early writing of the German philosopher, it combines crisis of basic terms of metaphysics with social conditions which are dictated by living in large metropolis. The crisis of both metaphysical foundation and home appears to be similar to the situation of weakening the relations between a man and his dwelling in extensively expanding cities. Whereas philosophy, as well as many disciplines of social sciences, have diagnosed for a long time the destabilisation of fundamental ideas of Western culture and crucial changes in the ways of dwelling, architecture itself occurred to be “the last fortress of metaphysics” (J. Derrida). Among contemporary architects, Peter Eisenman and Bernard Tschumi were the ones who engaged most decidedly in the issues of critical analysis of architecture foundation and its social role. Both the architects noticed new formulas of contemporary social and individual existence, tremendously different from the entire history, and at the same time they affirmed lack of adequacy of architecture concepts to new situations. Both Eisenman and Tschumi used to describe the existing architecture as a tool for consolidation of highly integrated and hierarchised societies, and also as a discipline extremely uncoincidental with the current character of social life based on ideas of freedom and diversity. The means to transform architecture and make a factor of further social changes out of it, was a concept that accentuated revealing the inner contradictions of this discipline, and considering them in designing strategies. Eisenman’s activity, in regard of what has just been noticed, was focused on questioning the basic rules of traditionally comprehended architecture, especially the rule of purpose. The American architect noticed that the concept of architecture as fulfilment the need of location, hides away the fact that the location has to be constantly reconsidered, and hence it is overtaken by change (dislocation). Therefore new concept of architecture propounded architectural activity to translocate the concept of location – more than before – but also to change its status perpetually. Such comprehended architecture should claim, as its main purpose, the constant revision of this purpose and create itself anew permanently. Even Eisenman’s earliest designs of houses nos. I-IV broke with such values as the sense of safety, closeness and familiarity, and just on the contrary they accentuated senses of strangeness, homelessness and loss of confidence. The contradictions within architecture noticed by Tschumi referred to combination of intellectual and sensual values in architecture, when their non-appropriation was defeated by an additional condition, namely the way of experience based on pleasure of excess, marked by insanity. The features of folly were especially visible in his designs of gardens, where the order of planning was mixed with sensual experience introduced by particular elements (both the ones created by nature, and the buildings defined as folies). Parc de la Villette designed by the French architect in Paris put in question not only the common understanding of purpose in architecture but also the ideas of order and integrity, as its plan was based on the combination of independent layers with records of grids of points, various lines and planes. The architecture that collides inadequate elements with each other was supposed to be a kind of an event with no beginning and no end. The architecture treated as an event became a form of a space weakened articulation that maintains its diversity and lack of accordance of the elements building it up. The analyses of Eisenman and Tschumi’s theoretical writings indicate how much the aims of architecture have actually changed; instead of supporting social persistence, the architecture is rather intensifying contradictions, and instead of providing people with the sense of safety, it sublimes danger. From simple acts of defamiliarisation, increasing the distance to itself and enhancing the role of theory, through discomfort, anxiety, not feeling someone at home, weirdness, excess, shock and violence, architecture reached the edge of stability and uncertainty, only to make an attempt at penetrating what is impossible and unutterable, and recording what cannot become the subject of any records. -/- . (shrink)

In medical ethics, business ethics, and some branches of political philosophy (multi-culturalism, issues of just allocation, and equitable distribution) the literature increasingly combines insights from ethics and the social sciences. Some authors in medical ethics even speak of a new phase in the history of ethics, hailing "empirical ethics" as a logical next step in the development of practical ethics after the turn to "applied ethics." The name empirical ethics is ill-chosen because of its associations with "descriptive ethics." Unlike descriptive (...) ethics, however, empirical ethics aims to be both descriptive and normative. The first question on which I focus is what kind of empirical research is used by empirical ethics and for which purposes. I argue that the ultimate aim of all empirical ethics is to improve the context-sensitivity of ethics. The second question is whether empirical ethics is essentially connected with specific positions in meta-ethics. I show that in some kinds of meta-ethical theories, which I categorize as broad contextualist theories, there is an intrinsic need for connecting normative ethics with empirical social research. But context-sensitivity is a goal that can be aimed for from any meta-ethical position. (shrink)

The present paper investigates the first step of rational belief acquisition. It, thus, focuses on justificatory relations between perceptual experiences and perceptual beliefs, and between their contents, respectively. In particular, the paper aims at outlining how it is possible to reason from the content of perceptual experiences to the content of perceptual beliefs. The paper thereby approaches this aim by combining a formal epistemology perspective with an eye towards recent advances in philosophy of cognition. Furthermore the paper restricts its (...) focus, it concentrates on the case of color perception and perceptual beliefs about color. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...) of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

The symbolism of nature as a book in which one reads is of ancient origin. This study focuses on the question of its mathematical and theological language in the biblical context and on the background of changes in natural philosophy, especially in the Renaissance period. The biblical context is associated with the paradigm shift in the Renaissance period, because all the researched authors addressed the questions of meaning and methods of research of nature in connection with the hermeneutics of biblical (...) texts. The change in attitude towards the method and results of nature research is connected with two concepts of the relationship of mathematics to the real world. As this world is considered to be created by God, the relationship of mathematics and matter is linked to the question of God's relationship to mathematics. In relation to nature, it was initially significantly limited to geometry, largely under the influence of Euclid and Pythagoras. In the Renaissance period, the preconditions for analytical geometry and infinitesimal calculus were already being created. Thanks to them, Newton was able to build a new physics that combined ancient and medieval approaches to astronomy and terrestrial nature, originally diametrically different, into one whole. (shrink)

Argumentation schemes can be described as abstract structures representing the most generic types of argument, constituting the building blocks of the ones used in everyday reasoning. This paper investigates the structure, classification, and uses of such schemes. Three goals are pursued: 1) to describe the schemes, showing how they evolved and how they have been classified in the traditional and the modern theories; 2) to propose a method for classifying them based on ancient and modern developments; and 3) to outline (...) and show how schemes can be used to describe and analyze or produce real arguments. To this purpose, we will build on the traditional distinctions for building a dichotomic classification of schemes, and we will advance a modular approach to argument analysis, in which different argumentation schemes are combined together in order to represent each step of reasoning on which a complex argument relies. Finally, we will show how schemes are applied to formal systems, focusing on their applications to Artificial Intelligence, AI & Law, argument mining, and formal ontologies. (shrink)

Historical processes exert an influence on the current state and evolution of situations of language contact, brought to bear from different domains, the economic and the political, the ideological and group identities, geo-demographics, and the habits of inter-group use. Clearly, this kind of phenomenon requires study from a complexical and holistic perspective in order to accommodate the variety of factors that belong to different levels and that interrelate with one another in the evolving dynamic of human languaging. Therefore, there is (...) a need for the restricted and general complexity approaches to come to a meeting of the minds, and take steps toward a mutual integration based on the acceptance of the shortcomings of each approach, achieving progress through a non-contradictory complementarity of perspectives. It must be conceded that the practical and methodological applications of basic complexical ideas need to be developed much farther in order to apply them to specific research. At the same time, the limits of complex adaptive systems as computational strategies must be accepted in the pursuit of a better understanding of the dynamic and evolutionary processes typical of human beings. New tools for the conception, apprehension and treatment of the data will need to be devised to complement existing ones and to enable us to make headway toward practices that better fit complexical perspectives. It seems obvious that human complexics must be seen as multi-methodological, insofar as necessary combining quantitative-computation methodologies and more qualitative methodologies aimed at understanding the historical mental and emotional world of people. (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to (...) class='Hi'>finite probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

We introduce a ranking of multidimensional alternatives, including uncertain prospects as a particular case, when these objects can be given a matrix form. This ranking is separable in terms of rows and columns, and continuous and monotonic in the basic quantities. Owing to the theory of additive separability developed here, we derive very precise numerical representations over a large class of domains (i.e., typically notof the Cartesian product form). We apply these representationsto (1)streams of commodity baskets through time, (2)uncertain social (...) prospects, (3)uncertain individual prospects. Concerning(1), we propose a finite horizon variant of Koopmans’s (1960) axiomatization of infinite discounted utility sums. The main results concern(2). We push the classic comparison between the exanteand expostsocial welfare criteria one step further by avoiding any expected utility assumptions, and as a consequence obtain what appears to be the strongest existing form of Harsanyi’s (1955) Aggregation Theorem. Concerning(3), we derive a subjective probability for Anscombe and Aumann’s (1963) finite case by merely assuming that there are two epistemically independent sources of uncertainty. (shrink)

Research into ancient physical structures, some having been known as the seven wonders of the ancient world, inspired new developments in the early history of mathematics. At the other end of this spectrum of inquiry the research is concerned with the minimum of observations from physical data as exemplified by Eddington's Principle. Current discussions of the interplay between physics and mathematics revive some of this early history of mathematics and offer insight into the fine-structure constant. Arthur Eddington's work leads to (...) a new calculation of the inverse fine-structure constant giving the same approximate value as ancient geometry combined with the golden ratio structure of the hydrogen atom. The hyperbolic function suggested by Alfred Landé leads to another result, involving the Laplace limit of Kepler's equation, with the same approximate value and related to the aforementioned results. The accuracy of these results are consistent with the standard reference. Relationships between the four fundamental coupling constants are also found. (shrink)

The paper discusses this year’s Nobel Prize in physics for experiments of entanglement “establishing the violation of Bell inequalities and pioneering quantum information science” in a much wider, including philosophical context legitimizing by the authority of the Nobel Prize a new scientific area out of “classical” quantum mechanics relevant to Pauli’s “particle” paradigm of energy conservation and thus to the Standard model obeying it. One justifies the eventual future theory of quantum gravitation as belonging to the newly established quantum information (...) science. Entanglement, involving non-Hermitian operators for its rigorous description, non-unitarity as well as nonlocal and superluminal physical signals “spookily” (by Einstein’s flowery epithet) synchronizing and transferring some nonzero action at a distance, can be considered to be quantum gravity so that its local counterpart to be Einstein’s gravitation according to general relativity therefore pioneering an alternative pathway to quantum gravitation different from the “secondary quantization” of the Standard model. So, the experiments of entanglement once they have been awarded by the Nobel Prize launch particularly the relevant theory of quantum gravitation grounded on “quantum information science” thus granted to be nonclassical quantum mechanics in the shared framework of the generalized quantum mechanics obeying rather quantum-information conservation than only energy conservation. The concept of “dark phase” of the universe naturally linked to the very well confirmed “dark matter” and “dark energy” and opposed to its “light phase” inherent to classical quantum mechanics and the Standard model obeys quantum-information conservation, after which reversible causality or the mutual transformation of energy and information are valid. The mythical Big Bang after which energy conservation holds universally is to be replaced by an omnipresent and omnitemporal medium of decoherence of the dark and nonlocal phase into the light and local phase. The former is only an integral image of the latter and borrowed in fact rather from religion than from science. Physical, methodological and proper philosophical conclusions follow from that paradigm shift heralded by this year’s Nobel Prize in physics. For example, the scientific theory of thinking should originate from the dark phase of the universe, as well: probably only approximately modeled by neural networks physically belonging to the light phase thoroughly. A few crucial philosophical sequences follow from the break of Pauli’s paradigm: (1) the establishment of the “dark” phase of the universe as opposed to its “light” phase, only to which the Cartesian dichotomy of “body” and “mind” is valid; (2) quantum information conservation as relevant to the dark phase, furthermore generalizing energy conservation as to its light phase, productively allowing for physical entities to appear “ex nihilo”, i.e., from the dark phase, in which energy and time are yet inseparable from each other; (3) reversible causality as inherent to the dark phase; (4) the interpretation of gravitation only mathematically: as an interpretation of the incompleteness of finiteness to infinity, for example, following the Gödel dichotomy (“either contradiction or incompleteness”) about the relation of arithmetic to set theory; (5) the restriction of the concept of hierarchy only to the light phase; (6) the commensurability of both physical extremes of a quantum and the universe as a whole in the dark phase obeying quantum information conservation and akin to Nicholas of Cusa’s philosophical and theological worldview. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, (...) by accepting the inconsistent conclusion. (shrink)

...If, in some places, backward science determines the remaining period by the lack of optimism only by the number 123456789, then our progressive science expands it to 987654321, which is eight times more advanced than theirs. However, due to the inherent caution of scientists, both sides do not specify the measuring unit of reference — year, day, hour or minute are meant. Leonid Leonov. Collected Op. in ten volumes. Volume ten. M.: IHL, 1984, p.583. -/- The modern men being as (...) a rule is proceeding in three relatively autonomous, but immanently coexisting, and each penetrating dialectically through other, and each contesting even cruelly with other, and each more or less dominating on other, differently in various societies, worlds: the first one of the barbarity, the second one the culture, the third one the civilization... Barbarity is the mode of coexistence of autonomous human societies based on the unlimited will to act so as subject wants to do without any limitations of his activities... Culture is the mode of coexistence of autonomous human societies based on the most ancient testaments, customs, traditions etc of the highestly sacrified appearence... Civilisation is the mode of coexistence of autonomous human societies based on the reasoned or legitimated by social contracts, by profits, by expediency and so more constitutions, institutions etc... -/- Andrei Melnikov-Pechersky in his epic "In the Woods" says that there was a movement among the Old Believers in Russia, or a current that proclaimed Kostroma the new and, it seems, the only true Jerusalem, in an apocalyptic sense, of course, which in its spiritual scale was probably not inferior to the Bogomils, shakers, Mormons, or else and the whole Reformation in potential. In Western Europe, every more or less convex nuance of the history of a state or region (even if it is a small San Marino) is overgrown with almost a dozen institutions, not always state ones, by the way, in which almost every sneeze and step of very ambivalent historical subjects in a broad sense is studied. Especially in the young, but very pretentious America of the United States, which embodies all world justice. In our country, for example, even many leading humanitarian specialists do not realize the spiritual value of the Ipatievsky MONASTERY. The Russian writer Boris Shiryaev, who died quite a long time ago and in a very far abroad, devoted a special part of his documentary and artistic epic of wanderings "The Inextinguishable Lampada" to an entertaining and instructive, tragic fate of a kind of village monarchy in some Villages of the Kostroma province (I could not identify the area, and, frankly, I did not really try) in the early years The Soviet government. At the same time, all Russians learn about the French emperor Napoleon almost with their mother's milk how many percent of cyanide potassium was found in his hair, they reflect on Lermontov's "Airship" (probably, just not to "memorize" the imposed "Borodino" by heart). The events, of course, are incomparable, but the fact is significant. The outstanding national artist (if not to say a thinker of the Chesnyakov level) Grigory Pavlovich Kusochkin was glorified wherever, in whatever catalogues he was not included. Paris, London, New York, St. Petersburg, Moscow... To look at some smear of luminaries like Picasso or Modigliani, international tourist routes are organized in the restaurant toilet using the finest marketing technologies, and we did not even know Grigory Pavlovich by sight until, thank God, a series of TV shows on all Russian channels was dedicated to him in one gulp. Why is this happening? Is it a consequence of poverty or the result of the conscious policy of the ruling elite of the country and the world? The regions of the Kostroma Region are Austria, Switzerland, Bavaria, Armenia, Moldova, and Georgia... Georgia! I served in the army there. In this small but very great country, judging even by the appearance of its President Shevardnadze, although it is smaller than the Kostroma region, there are so many different, but Georgian-speaking peoples! Kakhetians, Meskhetians, Imereti, Iveretians, Mingrelians, Khevsurs... Adjarians (mostly Georgian-speaking Muslims) even have their own autonomy. And some peoples are not Georgian—speaking at all — South Ossetians, Abkhazians, Kurds, Armenians, Greeks, even Assyrians. In the Kostroma Region, and in any Russian "province" — not much less: there are plenty of the same Georgians or Armenians everywhere, quite moderate, loyal, and so on. Having, as a rule, their own officially registered associations within the framework of cultural autonomy. Well done! And Israel! He is the only one with all his "illegal" (and I am for the fact that every nation knows better where its ancestral lands are) territories half the size of the Kostroma region. The total number of Jews worldwide, according to the "Soviet Encyclopedic Dictionary" in 1987, is about 14 million. Meanwhile, the fate of Israel is being preoccupied (it is very instructive how he achieved this!) all the united nations of the world. In the Kostroma Region and its diaspora, it seems to everyone, and especially to its semi-migrant, Varangian leadership. I don't care if they build a public atomic bomb here in the form of a nuclear power plant or not. Because they do not know the value of this land, the greatness of its spirit. Kostroma is a holy land. I will immediately make a reservation that by Kostroma I mean not only the modern region, but the entire area that has ever historically been associated with Kostroma. The USSR is also a part of the great historical Russia. In this sense, even the entire era of the Russian Romanov Empire is the Kostroma region. Or: many toponymic objects of our native land are called mysteriously beautiful: Sharya, Shunga, Shekshema, Sholezhka, - we need to find out what kind of peoples — and where are they now? — we left such euphonious archetypal combinations, because these are our Kostromsky peoples, these are our Kostroma people. Or, say, the classic of American and world sociology Pitirim Alexandrovich Sorokin writes in his autobiographical scientific novel "The Long Way" that he studied at the Khrenovskaya (what a strong word!) teachers' seminary of Kostroma province, but in an administrative row for propaganda activities, gendarmes were taken by sledge to the prison of the city of Kineshma - is this not a fact for Kostroma, and primarily for him, local history, although Kineshma has long been attributed to the Ivanovo region, and Pitirim Alexandrovich is buried on the other side of the planet?! I have not the slightest doubt that Kostroma provided spiritual food, gave birth to and nurtured a huge intellectual diaspora with extremely valuable material on a national, global scale. And this is both in direct and indirect order, in the form of a chain reaction. Apparently, it is easy for an intelligent person to grow up in Kostroma, but it is impossible to live, and somewhere on the contrary. Therefore, it is not surprising that the geneticist academician D. K. Belyaev, who was born in the village of Protasov near Nerekhta, very close to Kostroma, glorified Moscow and Siberia with his discoveries and practical results, which immeasurably enriched the Soviet state treasury with foreign exchange income from the sale of the most valuable fur grown according to the biotechnology developed by him in a much shorter time than it usually turns out in nature. And in Kostroma, most likely, few people know who he is and what he is famous for. I will focus in more detail on one of the aspects of his great life. This happened back in the so-called pre-Perestroika times. In a series of his speeches, Dmitry Konstantinovich, based on the results of his and colleagues' research, emphasized, in his opinion, the determining role of the biological factor in shaping the content of human essence, of course, only in a philosophical, conceptual aspect. For some reason, this was opposed by a geneticist, as they say, persecuted at one time by the "senile" in selectionism (including human nature) by the Michurino-Lysenkoists, academician N. P. Dubinin, which personally remains incomprehensible to me until now. With a grateful curtsey to Academician Dubinin and his point of view, the famous French humanist, member of the Politburo of the French Communist Party Lucien Sav appeared on the pages of the Communist magazine. The material was clearly titled: "Problems are not only scientific, but also political." He very indecently attributed the views of academician Belyaev to "a reactionary ideology that tries to put genetics at its service, and more broadly, biology, in order to present all kinds of social inequalities of all kinds as inherent in nature itself"(1). I would like to see any ideology that does not try to "put this or that at its service," much less something worthwhile... A little later, the editorial of the Communist hit the "biologizers", and soon Dmitry Konstantinovich was gone. In short, it is only on the example of our fellow countrymen that you can write interesting, world-class essays on science and its history, but instead our scientists should fit their global potencies into a page and a half (good yet. if not entirely at their own expense), and then for at least three years to guess whether they will be published or not. Now it no longer surprises me how at one time, when, after reading the listener card I filled out, the sweetest girl from the IPKPON office at USU congratulated me for something. It turned out that the dean of the Faculty of Philosophy of USU, doctor, professor, Honored Scientist, and now academician Konstantin Niko-laevich Lyubutin is a countryman, Kostromsky, or rather Manturovsky by origin, as I write below in the notes — we are Kostromendors. To him, my fellow citizen in the most subtle micropatriotic dimensions, I owe a lot in my professional and social development, even in survival. Because that's how it often turns out: you can be born here, sometimes you can live here... It's very hard. Maybe the Kostroma origin of an outstanding Russian historian of philosophy, organizer of science and education, educator and friend of a galaxy of people devoted to the Motherland and the cause is not a great milestone in the history of the region, but name me at least a dozen Russian cities on the scale of Kostroma, from where such intellectual ones would come out into the world and light luminaries like ours. No matter who you take from the world significance of the pillars of national (and world, and foreign, - even the great Rabbi of Lubavitcher spent three years in exile in a Campfire, — I learned from some foreign voices) history, literature, culture in general, technology, science and so on - you will always find someone, which is very directly related to Kostroma. Pushkin, Lermontov, Gorky. Alexander Nikolaevich Ostrovsky, Pisarev, Uspensky, Katenin, Florensky, Savrasov, Kustodiev, Dyagilev, Mikhalkov, Alexander Alexandrovich Zinoviev; writers, artists, entrepreneurs, revolutionaries, inventors, politicians... In some world-famous for its classic Russian provincialism, Kologriv has been storing, figuratively speaking, unique sketches, if not of Leo-Nardo da Vinci himself, then certainly of his school, almost since the seventeenth century. And not only that. Nevertheless, the well-known Chukhloma to the Fatherland, in addition to thinkers of the rank of Rozanov and Zinoviev (where should domestic philosophers mature and not be born, if not in Chukhloma, Manturov or Khrenknowswhere?), gave an actor of amazing, national, originality — Mikhail Pugovkin, who can not be confused with anyone, a role that no one will repeat. (shrink)

The closing chapters of Aristotle’s Nicomachean Ethics x are regularly described as “puzzling,” “extremely abrupt,” “awkward,” or “surprising” to readers. Whereas the previous nine books described—sometimes in lavish detail—the multifold ethical virtues of an embodied person situated within communities of family, friends, and fellow-citizens, NE x 6-8 extol the rarified, god-like and solitary existence of a sophos or sage (1179a32). The ethical virtues that take up approximately the first half of the Ethics describe moral exempla who experience fear fighting for (...) their communities, are sensitive to the esteem and recognition of others, and feel love for a desire to live together with a wide variety of kinds of friends. Such good people take pleasure in prudently expending sums to improve their communities—communities in which they exchange goods and participate in ruling and being ruled in a cooperative fashion. The exemplum of x 7-8, by contrast, is a person whose activity consists almost entirely in exercising his or her mind (nous)—a part of one’s soul that Aristotle explicitly notes is disconnected from human emotions and that can be exercised, insofar as one as wise, in a wholly solitary fashion (1178a15-16, a19-20; 1177a33-34). Although Aristotle’s claim that a “life in accord with the mind” is best and most pleasant (1178a6-7) may jar the intuitions of many people—he himself endorses Anaxagoras’ claim that the happy person will appear as “someone who is absurd” (atopos, 1179a15) to most people—it is false to claim that his conclusions in NE x 6-8 are unexpected or unanticipated, or that the text is in any way discontinuous with what precedes it. The Nicomachean Ethics exhibits aspects of ring-composition both within the work as a whole and within book 10. In NE i 5 Aristotle introduces his rendition of a trope that he inherits (most immediately) from Plato, viz. that the problem of the good can be considered like a contest between three different kinds of life—the life of enjoyment (apolaustikos), the life of politics (politikos), and the life of contemplation (theôrêtikos). NE x 6-8 returns to that contest, rendering a verdict about which life takes first, second, and third place. As the opening lines of NE x 6 note, that verdict presupposes central claims articulated between the first and last books of the Ethics, specifically about the nature of the virtues, the nature of friendship, and the nature of pleasure. NE i 5 and x 6-8 thus serve as “bookends” which encase arguments and proposition located between them. Book 10 exhibits a similar ring-composition. NE x opens with methodological reflection on the gap between the theoretical positions that thinkers articulate and the way they live their lives (especially in the case of scolds who simultaneously criticize pleasure on a scientific level but seek it on a practical level [1172a33-b8]). Chapter 8 concludes with an explicit reiteration of the methodological point, a reiteration that underscores how Aristotle’s treatment of the contest of lives incorporates central aspects of the discussion of pleasure in NE x 1-5. Aristotle’s reiteration of the problem of a gap between theory and practice also draws attention to the centrality of his treatment of pleasure in his adjudication of the three lives. Although the life of pleasure takes a distant third in the contest of lives, the contemplative life wins the contest in part because it itself is the most pleasant form of life. The central philosophical problem looming behind Aristotle’s treatment of the contest of lives concerns the relationship between the notion of activity (energeia) and the notion of a way of life (bios). In the last four decades, much of the scholarship on NE x 6-8 has sought to address the question of what activities a certain way of life includes or excludes. “Monistic” or “dominant” end interpretations of the best life have viewed it as including only contemplative activities whereas “inclusivist” end interpretations of the best life have viewed it as including non-contemplative activities. Although this chapter largely side-steps this debate—partially because there are ample recent first-rate introductory treatments of the debate, partially because I have addressed the question elsewhere in my own writing —I argue that focusing solely on the contest between the two best ways of life overshadows the way that Aristotle incorporates insights from the third way of life into the best way of life. Although the notion of a contest among different kinds of lives presupposes that the lives are mutually exclusive, Aristotle has no problem saying that the contemplative life trumps the life of pleasure because the contemplative life is more pleasant. I proceed in two parts. In the first part I examine what I will call the “outer” ring of the Ethics, namely the relationship between the contest of lives proposed in NE i 5 and its overall resolution in x 6-8. I show how i 5 and x 6 establish the framework for the contest, how x 7 adjudicates that contest in large part by relying upon premises articulated in the interim between books 1 and 10, and how x 6 and x 8 determine the second and third place positions in the contest. In the second part I focus on what I will call the “inner” ring of NE x. More than half of NE x struggles with the nature of pleasure, its role in a happy life, and the methodological problems of examining pleasure within a practical science. I show how x 1 and x 8 are “bookends” that underscore the methodological problem of examining pleasure and how the contest of lives draws upon the proximate conclusions concerning the nature of pleasure in NE x 1-5. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)