Der Band präsentiert bisher noch nie im Detail kommentierte Vortragstexte des Redners und Philosophen Dion von Prusa (um 40 - nach 111 n. Chr.), die ein Bild des Philosophen nicht als eines abstrakten Denkers, sondern als eines praktischen Ethikers zeichnen, der durch sein Auftreten die Menschen zum Überdenken und Korrigieren ihres Lebens anregt.

A teoria da implicatura constitui o principal legado de Paul Grice aos modernos estudos da pragmática linguística. Embora associado à filosofia da linguagem ordinária, seu pensamento não se apresenta marcado pela aversão à sistematização teórica que, segundo se diz, caracterizou essa corrente filosófica. Pelo contrário, a obra do filósofo inglês, apesar de dispersa em artigos só postumamente reunidos em livro, constitui um esforço coerente e rigoroso de analisar os princípios que explicam o comportamento racional do homem. Este ensaio oferece uma (...) tentativa de interpretação da análise que ele propôs para o fenômeno da implicatura, buscando integrar tal análise, progressivamente, ao quadro mais geral de sua filosofia da linguagem e de sua psicologia filosófica. De passagem, é sugerida uma aproximação, quanto aos propósitos, entre o programa filosófico de Grice e certa ensaística crítica do poeta argentino Jorge Luis Borges, sugestão talvez surpreendente, mas que pode se mostrar instrutiva. (shrink)

The paper studies a simply typed term system Mω providing a primitive recursive concept of parallelism in the sense of Plotkin. The system aims at defining and computing partial continuous functionals. Some connections between denotational and operational semantics → for Mω are investigated. It is shown that → is correct with respect to the denotational semantics. Conversely, → is complete in the sense that if a program denotes some number k, then it is reducible to the numeral nk. Restricting to (...) the primitive recursive kernel Rω of Mω, it is shown that → is strongly normalising with uniquely determined normal forms. The twist is the design of fixed point style conversion rules for constants accounting for parallelly bounded parallel search such that correctness and strong normalisation hold. Thereupon, minor alternations to → bring about that every reduction sequence for a program of Rω terminates either in a numeral nk if the program denotes k, or in the term 0 if the program denotes the “undefined” object. Thus, Rω can be considered a primitive recursive version of Plotkin's PA+·. (shrink)

It is easy to prove in ZF− that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well-founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF− anymore . More precisely, we will prove that this statement is equivalent in ZF− to (...) the countable axiom of choice ACω. Moreover, applying this result we will prove that the axiom of dependent choices, restricted to partial orders as used in Algebra, already implies the general form for arbitrary relations as formulated first by Teichmüller and, independently, some time later by Bernays and Tarski. (shrink)

Keine ausführliche Beschreibung für "Mythos und Logos" verfügbar.

The Deutsche Hegel-Gesellschaft, which preceded the Internationale Hegel-Gesellschaft, was founded at Nürnberg in 1953. The decision to work on an international scale and to express this also in the name of the society was made at the second congress in Frankfurt am Main in 1958. Wilhelm Raimund Beyer was the founder and chairman of the Hegel-Gesellschaft from the very beginning until 1982, when he was elected chairman of honor. The general line of the Internationale Hegel-Gesellschaft has all the time been (...) to be open to all serious scientific work upon Hegel. The discussions of the meetings have not only always been broad and open but also controversial and to the point. Hegel has been studied historically and as a philosopher who is relevant to actual problems. That his relevancy is mediated with regard to essential points by Karl Marx has been a common opinion from the beginning. (shrink)