Grazer Philosophische Studien

We distinguish scanning switches, which only enumerate states, from function switches which transform input states into output states. For the latter we introduce a logical network symbolism. Our history of early computer switching begins with the suggestions of Ramon Lull and Gottfried Leibniz, surveys the evolution of mechanical scanning switches and the first mechanical function switches, and then describes the first electromechanical function switches. The main themes of the present paper are that William S. Jevons built the first substantial function switch (his logical piano), and that his work led to the design by Allan Marquand of the first substantial electromechanical function switch, as well as to Charles S. Peirce's idea for an electrical general-purpose programmable computer. These events all occurred fifty years before the first general-purpose programmable computers were constructed (in the 1940's), but they had no influence.

This paper sketches out Peirce's "theory of indeterminacy" as part of a larger "triadic" theory within the context of the semiotic. It then examines the theory of the object in his later work, emphasizing the difference between immediate and dynamical object. The role of collateral experience is discussed. Connections are drawn between Peircean indeterminacy and Kant. The relationship of the indeterminate to contradiction and excluded middle is discussed. 'Determination', 'vagueness', and 'generality' are discussed in detail in the context established in this paper.

In empirical science, hypostatic abstraction posits an entity defined by its assumed physical relation to a known phenomenon. If the assumed relation is real, the posited entity is physically real and is not an ens rationis. The posited entity, being identified indirectly, by its relation to something else, may be the agreed-upon subject of mutually incommensurable theories, and this is a key to understanding the history of science. Natural kinds may be introduced by hypostatic abstraction, and this explains why, contrary to received doctrine, concepts of natural kinds can never be vague in the sense of being fuzzy, though they can be vague in the sense of lacking specificity. Terms defined by hypostatic abstraction are rigid designators in Kripke's sense, but show how rigid designation is consistent with the Fregean theory of reference.

Traditional moral theories appear to be unable to give a credible account of the relationship between deontic and axiological concepts, i.e. duty and value. Of the two traditional solutions to this problem, one emphasises the independence of the two realms, whereas Mill argues that duty is definable in terms of goodness. In this paper I present Meinong's Law of Omission which offers, in my opinion, a promising alternative to these two traditional views.

Im Hinblick auf den Herbrand'schen Satz für die Prädikatenlogik der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe — die sogenannte Methodenreinheit — ist im allgemeinen unerreichbar.

Das onto-logische Sechseck ist eine Erweiterung des (aristotelischen) onto-logischen Vierecks um singuläre und universelle Sachverhalte. Beide Vielecke inkorporieren ontische, logische und ontisch-logische Relationen. Dies ist der Grund für die Bindestrichschreibung "ontologisch". Das onto-logische Sechseck liefert die Grundlage für eine neue Definition der Wahrheit eines Satzes.

Eine semantische Analyse indexikalischer Audrücke muß klären, wie der Sinn dieser Ausdrücke aufzufassen ist und nach welchem Kriterium mit verschiedenen indexikalischen Sätzen dieselbe Proposition ausgedrückt werden kann. Der Sinn eines Indikators fällt nicht mit dem Sinn einer Kennzeichnung zusammen, Indikatoren sind aber auf Kennzeichnungen angewiesen. Zwei geäußerte indexikalische Sätze sind sinngleich, wenn mit ihnen dasselbe Potential von Umständen verbunden ist, unter denen ihre Behauptung berechtigt wäre, und sie in dieser Weise kognitiv gleichwertig sind. Die Festlegung des Referenzobjekts durch indexikalische Ausdrucksmittel, die sich aus der linguistischen Bedeutung des Ausdrucks und seinem Äußerungskontext zusammensetzen, setzt die Fähigkeit von Sprecher und Hörer voraus, sich in einem objektiven Raum-Zeit-System zu orientieren.