This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first-order fuzzy logic (...) is developed. Except for the basic connectives and quantifiers, its language may contain also additional n-ary connectives and quantifiers. Many propositions analogous to those in the classical logic are proved. The notion of the fuzzy theory in the first-order fuzzy logic is introduced and its canonical model is constructed. Finally, the extensions of Gödel's completeness theorems are proved which confirm that the first-order fuzzy logic is also semantically complete. (shrink)

Under one of the last remaining single-party communist regimes, Vietnam’s in-progress transition is a hybrid between post-Soviet reforms and Chinese authoritarian compromise. This chapter provides a brief account of the historical events and cultural attributes that have shaped the current political and economic configuration of the country, a coverage of globalization and entrepreneurial endeavours in relation to trade liberalization, an analysis of growing consumerist tendencies and the solidification of a circle of economic elites, an overview of Vietnamese foreign trade, with (...) a focus on the Association of Southeast Asian Nations (ASEAN) and China as significant partners, and a macroeconomic assessment of the country. (shrink)

Immanuel Kant was one of the most significant philosophers of the modern age. Historical Dictionary of Kant and Kantianism, Second Edition contains a chronology, an introduction, appendixes, and an extensive bibliography. The dictionary section has over 500 cross-referenced entries on key terms of Kant's philosophy.

This paper is a contribution to the development of fuzzy logic in narrow sense with evaluated syntax and connectives interpreted in Łukasiewicz algebra. The main results concern model theory of fuzzy logic and generalization of the Craig-Robinson's theorem on joint consistency of fuzzy theories as well as Craig's interpolation theorem.

The paper deals with fuzzy Horn logic which is a fragment of predicate fuzzy logic with evaluated syntax. Formulas of FHL are of the form of simple implications between identities. We show that one can have Pavelka-style completeness of FHL w.r.t. semantics over the unit interval [0, 1] with left-continuous t-norm and a residuated implication, provided that only certain fuzzy sets of formulas are considered. The model classes of fuzzy structures of FHL are characterized by closure properties. We also give (...) comments on related topics proposed by N. Weaver. (shrink)

The article begins with Aristotle’s discussion of phronēsis for ethical life, only to discover the absence of a universal dimension. This issue of parochialism as opposed to a kind of universalism is a structural element of this paper. Secondly, Heidegger’s ontological interpretation of phronēsis creatively transforms phronēsis to highlight a tension between ethics and fundamental ontology—a tension overcome in the paper’s third section devoted to Ricoeur. Thus, Ricoeur’s post-critical phronēsis is shown to possess a universal dimension while disclosing ontologically. Phronēsis (...) responds to the need for universalization to overcome the parochial limitation but also incorporates an ontological disclosive power. Ricoeur’s post-critical phronēsis is a plural, collective, and public argumentation. Phronēsis is inventive and productive in resolving conflicts between legitimate universal claims or demands and is ontological.blabla. (shrink)

Práce svým zaměřením a významem překračuje pole otázek ze sféry zájmu estetiky tělesné kultury. Probírá estetickou normu v odborné literatuře, základy normologické problematiky v tělesné kultuře a klasifikaci základních druhů.

INTRODUCTION There are only real men. With the emergence of philosophical questioning there concurrently emerges a subject who gives orientation to the ...

The article begins with Aristotle’s discussion of phronēsis for ethical life, only to discover the absence of a universal dimension. This issue of parochialism as opposed to a kind of universalism is a structural element of this paper. Secondly, Heidegger’s ontological interpretation of phronēsis creatively transforms phronēsis to highlight a tension between ethics and fundamental ontology—a tension overcome in the paper’s third section devoted to Ricoeur. Thus, Ricoeur’s post-critical phronēsis is shown to possess a universal dimension while disclosing ontologically. Phronēsis (...) responds to the need for universalization to overcome the parochial limitation but also incorporates an ontological disclosive power. Ricoeur’s post-critical phronēsis is a plural, collective, and public argumentation. Phronēsis is inventive and productive in resolving conflicts between legitimate universal claims or demands and is ontological.blabla. (shrink)

Variables are among the most ubiquitous of technical expressions in scientific discourse. But what exactly do they express, and of what relevance are they to ontology? Since variables are analogous to pronouns and descriptive phrases in certain nonreferential occurrences, an answer to these questions can be sought in the semantics of these expressions. I offer an intentional account wherein variables and their natural language counterparts are understood wholly in terms of the sortal content they express.

In der Reihe werden herausragende monographische Untersuchungen und Sammelbände zu allen Aspekten der Philosophie Kants veröffentlicht, ebenso zum systematischen Verhältnis seiner Philosophie zu anderen philosophischen Ansätzen in Geschichte und Gegenwart. Veröffentlicht werden Studien, die einen innovativen Charakter haben und ausdrückliche Desiderate der Forschung erfüllen. Die Publikationen repräsentieren damit den aktuellsten Stand der Forschung.

Media philosopher Vilém Flusser proposed a revolutionary new way of thinking about photography.

Ten years after his death, Vilém Flusser’s reputation as one of Europe’s most original modern philosophers continues to grow. Increasingly influential in Europe and Latin America, the Prague-born intellectual’s thought has until now remained largely unknown in the English-speaking world. His innovative writings theorize—and ultimately embrace—the epochal shift that humanity is undergoing from what he termed "linear thinking" toward a new form of multidimensional, visual thinking embodied by digital culture. For Flusser, these new modes and technologies of communication make (...) possible a society in which dialogue between people becomes the supreme value.The first English-language anthology of Flusser’s work, this volume displays the extraordinary range and subtlety of his intellect. A number of the essays collected here introduce and elaborate his theory of communication, influenced by thinkers as diverse as Martin Buber, Edmund Husserl, and Thomas Kuhn. While taking dystopian, posthuman visions of communication technologies into account, Flusser celebrates their liberatory and humanizing aspects. For Flusser, existence was akin to being thrown into an abyss of absurd experience or "bottomlessness"; becoming human required creating meaning out of this painful event by consciously connecting with others, in part through such technologies. Other essays present Flusser’s thoughts on the future of writing, the revolutionary nature of photography, the relationship between exile and creativity, and his unconventional concept of posthistory. Taken together, these essays confirm Flusser’s importance and prescience within contemporary philosophy.Vilém Flusser was born in Prague and taught philosophy in Brazil. Andreas Ströhl is director of the film department at the Goethe-Institut Inter Nationes in Munich. Erik Eisel works for a software technology company in Southern California. (shrink)

Gestures is a collection of essays that proposes a daring and ambitious new conception of human behavior. Defining gesture as “a movement of the body or of a tool attached to the body for which there is no satisfactory causal explanation,” Flusser moves around the topic from different points of view, angles and distances: sometimes he zooms in on a modest, ordinary movement like taking a photograph, shaving, or smoking a pipe. Sometimes he pulls back to look at something as (...) vast and varied as human “making,” embracing everything from the fashioning of simple tools to mass manufacturing. Holding firmly to basic phenomenological principles – that consciousness is always consciousness of something, that we know others by reference to ourselves, he claims that we constantly “read” states of mind, i.e. thoughts, intentions, emotions, from gestures; still we lack a theory about how this happens. Gestures takes a first step. It offers alternatives to theories by now so veiled by habit and myth that we are hardly conscious of them, and so hardly realize that they are failing. These include the assumption that we can “know” something without being affected by it, the belief that science is value-free, and the common conviction that science and art are fundamentally different activities. (shrink)

In Post-History, Vilém Flusser asks the essential question: Is there any room left for freedom in a programmed world? Written as a series of lectures to be delivered at universities in Brazil, Israel, and France, this first English translation of Post-History brings to an anglophone readership Flusser's first critique of apparatus as the aesthetic, ethical, and epistemological model of present times.

Vilém Flusser was born in Prague. He emigrated to Brazil, where he taught philosophy and wrote a daily newspaper column in Sao Paulo, then later moved to France. He wrote several books in Portuguese and German. Writings, Into the Universe of Technical Images, and Does Writing Have a Future? have been published by the University of Minnesota Press, and the Shape of Things, Towards a Philosophy of Photography, and The Freedom of the Migrant have also been translated into English.

We present a logic for reasoning about attribute dependencies in data involving degrees such as a degree to which an object is red or a degree to which two objects are similar. The dependencies are of the form A ⇒ B and can be interpreted in two ways: first, in data tables with entries representing degrees to which objects have attributes ; second, in database tables where each domain is equipped with a similarity relation. We assume that the degrees form (...) a scale equipped with operations representing many-valued logical connectives. If 0 and 1 are the only degrees, the algebra of degrees becomes the two-element Boolean algebra and the two interpretations become well-known dependencies in Boolean data and functional dependencies of relational databases. In a setting with general scales, we obtain a new kind of dependencies with naturally arising degrees of validity, degrees of entailment, and related logical concepts. The deduction rules of the proposed logic are inspired by Armstrong rules and make it possible to infer dependencies to degrees—the degrees of provability. We provide a soundness and completeness theorem for such a setting asserting that degrees of entailment coincide with degrees of provability, prove the independence of deduction rules, and present further observations. (shrink)

The paper presents generalizations of results on so-called Horn logic, well-known in universal algebra, to the setting of fuzzy logic. The theories we consider consist of formulas which are implications between identities (equations) with premises weighted by truth degrees. We adopt Pavelka style: theories are fuzzy sets of formulas and we consider degrees of provability of formulas from theories. Our basic structure of truth degrees is a complete residuated lattice. We derive a Pavelka-style completeness theorem (degree of provability equals degree (...) of truth) from which we get some particular cases by imposing restrictions on the formulas under consideration. As a particular case, we obtain completeness of fuzzy equational logic. (shrink)

The paper studies closure properties of classes of fuzzy structures defined by fuzzy implicational theories, i.e. theories whose formulas are implications between fuzzy identities. We present generalizations of results from the bivalent case. Namely, we characterize model classes of general implicational theories, finitary implicational theories, and Horn theories by means of closedness under suitable algebraic constructions.

Vilém Flusser was one of the most fascinating and original European thinkers of the late twentieth century. In this collection of his essays on emigration, nationalism, and information theory, he raises questions about the viability of ideas of national identity in a world whose borders are becoming increasingly arbitrary and permeable. Flusser argues that modern societies are in flux, with traditional linear and textual epistemologies being challenged by global circulatory networks and a growth in visual stimulation. Beyond globalization, Flusser's (...) ideas about communication and identity are rooted in the Judeo-Christian concept of self-determination and self-realization through recognition of the other. (shrink)