The general concept of information does not belong in the category of universal and inexorable physical laws but in the category of initial conditions and boundary conditions. Boundary conditions formed by local structures are often called constraints. Informational structures such as symbol vehicles are a special type of constraint. It should be clear that the concepts of initial conditions and constraints in physics make no sense outside the context of the law-based physical dynamics to which they apply. This is also (...) the case for the concept of information. -/- . (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

In this dialogue, we discuss the contrast between inexorable physical laws and the semiotic freedom of life. We agree that material and symbolic structures require complementary descriptions, as do the many hierarchical levels of their organizations. We try to clarify our concepts of laws, constraints, rules, symbols, memory, interpreters, and semiotic control. We briefly describe our different personal backgrounds that led us to a biosemiotic approach, and we speculate on the future directions of biosemiotics.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

All sciences have epistemic assumptions, a language for expressing their theories or models, and symbols that reference observables that can be measured. In most sciences the language in which their models are expressed are not the focus of their attention, although the choice of language is often crucial for the model. On the contrary, biosemiotics, by definition, cannot escape focusing on the symbol–matter relationship. Symbol systems first controlled material construction at the origin of life. At this molecular level it is (...) only in the context of open-ended evolvability that symbol–matter systems and their functions can be objectively defined. Symbols are energy-degenerate structures not determined by laws that act locally as special boundary conditions or constraints on law-based energy-dependent matter in living systems. While this partial description holds for all symbol systems, cultural languages are much too complex to be adequately described only at the molecular level. Genetic language and cultural languages have common basic requirements, but there are many significant differences in their structures and functions. (shrink)

Normal 0 false false false EN-US X-NONE X-NONE MicrosoftInternetExplorer4 The human brain appears to be the most complex structure for its size in the known universe. Consequently, studies of the brain have required many models and theories at many levels that involve disciplines from basic physics, to neurosciences, psychology and philosophy. For over 2000 years the two most controversial and unresolved models of brain phenomena involve what we call _free will_ and _consciousness_. I argue that adequate models at all levels (...) require epistemic _complementarity_ – distinct necessary models that are not derivable or reducible to each other. The primitive irreducible complementarity at all levels is the _subject-object_ distinction required by an _epistemic cut_. This complementarity first arises with self-replication where a _self_, the _subject_, must be distinguished from the _non-self_, the _object_. (shrink)

The necessary but not sufficient conditions for biological informational concepts like signs, symbols, memories, instructions, and messages are (1) an object or referent that the information is about, (2) a physical embodiment or vehicle that stands for what the information is about (the object), and (3) an interpreter or agent that separates the referent information from the vehicle’s material structure, and that establishes the stands-for relation. This separation is named the epistemic cut, and explaining clearly how the stands-for relation is (...) realized is named the symbol-matter problem. (4) A necessary physical condition is that all informational vehicles are material boundary conditions or constraints acting on the lawful dynamics of local systems. It is useful to define a dependency hierarchy of information types: (1) syntactic information (i.e., communication theory), (2) heritable information acquired by variation and natural selection, (3) non-heritable learned or creative information, and (4) measured physical information in the context of natural laws. High information storage capacity is most reliably implemented by discrete linear sequences of non-dynamic vehicles, while the execution of information for control and construction is a non-holonomic dynamic process. The first epistemic cut occurs in self-replication. The first interpretation of base sequence information is by protein folding; the last interpretation of base sequence information is by natural selection. Evolution has evolved senses and nervous systems that acquire non-heritable information, and only very recently after billions of years, the competence for human language. Genetic and human languages are the only known complete general purpose languages. They have fundamental properties in common, but are entirely different in their acquisition, storage and interpretation. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

Deacon speculates on the origin of interpretation of signs using autocatalytic origin of life models and Peircean terminology. I explain why interpretation evolved only later as a triadic intervention between symbols and actions. In all organisms the passive one-dimensional genetic informational symbol sequences are converted to active functional proteins or nucleic acids by three-dimensional folding. This symbol grounding is a direct symbol-to-action conversion. It is universal throughout all evolution. Folding is entirely a lawful physical process, leaving neither freedom nor necessity (...) for interpretation. Similarly, the initial converse action-to-symbol conversion of sensory inputs also leaves no freedom for interpretation until after the action-to-symbol conversion. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

In this dialogue, we discuss the contrast between inexorable physical laws and the semiotic freedom of life. We agree that material and symbolic structures require complementary descriptions, as do the many hierarchical levels of their organizations. We try to clarify our concepts of laws, constraints, rules, symbols, memory, interpreters, and semiotic control. We briefly describe our different personal backgrounds that led us to a biosemiotic approach, and we speculate on the future directions of biosemiotics.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may contain imperfections such as marks, notations, marginalia and flawed pages. Because we believe this work is culturally important, we have made it available as part of our commitment for protecting, preserving, and promoting the world's literature in affordable, high quality, modern editions that are true to the original work.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Umerez’s analysis made me aware of the fundamental differences in the culture of physics and molecular biology and the culture of semiotics from which the new field of biosemiotics arose. These cultures also view histories differently. Considering the evolutionary span and the many hierarchical levels of organization that their models must cover, models at different levels will require different observables and different meanings for common words, like symbol, interpretation, and language. These models as well as their histories should be viewed (...) as complementary rather than competitive. The relation of genetic language and human language is the central issue. They are separated by 4 billion years and require entirely different models. Nevertheless, these languages have in common a unique unlimited expressive power that allows open-ended evolution and creative thought. Understanding the nature of this expressive power and how it arises remains a basic unsolved problem of biosemiotics. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The standard adaptationist explanation of the presence of a sensory mechanism in an organism—that it detects properties useful to the organism—cannot be given for color vision. This is because colors do not exist. After arguing for this latter claim, I consider, but reject, nonadaptationist explanations. I conclude by proposing an explanation of how color vision could have adaptive value even though it does not detect properties in the environment.

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...

Should particularists about ethics claim that moral principles are never true? Or should they rather claim that any finite set of principles will not be sufficient to capture ethics? This paper explores and defends the possibility of embracing the second of these claims whilst rejecting the first, a position termed 'principled particularism'. The main argument that particularists present for their position-the argument that holds that any moral conclusion can be superseded by further considerations-is quite compatible with principled particularism; indeed, it (...) is compatible with the idea that every true moral conclusion can be shown to follow deductively from a finite set of premises. Whilst it is true that these premises must contain implicit ceteris paribus clauses, this does not render the arguments trivial. On the contrary, they can do important work in justifying moral conclusions. Finally the approach is briefly applied to the related field of jurisprudence. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.