A Structuralist Theory of Logic by Arnold Koslow

By Arnold Koslow

Professor Koslow advances a brand new account of the fundamental options of common sense. A relevant characteristic of the speculation is that it doesn't require the weather of common sense to be in keeping with a proper language. fairly, it makes use of a common thought of implication as a manner of organizing the formal result of a number of platforms of common sense in an easy, yet insightful means. The learn has 4 components. within the first elements a number of the resources of the overall idea of an implication constitution and its types are illustrated and defined. half three defines many of the logical operations and systematically explores their homes. A generalized account of extensionality and twin implication is given, and the extensionality of every of the operators, in addition to the relation of negation and its twin are given gigantic therapy due to the novel effects they yield. half four considers modal operators and reports their interplay with logical operators. through acquiring the standard effects with no the standard assumptions this new process permits one to provide a very easy account of modal common sense minus the surplus luggage of attainable international semantics.

Show description

Read Online or Download A Structuralist Theory of Logic PDF

Best logic & language books

The Cambridge Companion to Wittgenstein

Ludwig Wittgenstein is among the most vital and influential philosophers of the 20th century, yet he's additionally one of many least available. This quantity offers a understandable advisor to his paintings through a variety of specialists who're actively engaged in new paintings on Wittgenstein. The essays, that are either expository and unique, handle significant subject matters in his philosophy of brain, language, good judgment, and arithmetic and make clear the connections one of the assorted phases within the improvement of his paintings.

Marxism and the Philosophy of Language

Volosinov's very important paintings, first released in Russian in 1929, needed to wait a new release for acceptance. this primary paperback variation of the English translation may be capital for literary theorists, philosophers, linguists, psychologists, etc. Volosinov is out to undo the outdated disciplinary barriers among linguistics, rhetoric, and poetics as a way to build a brand new type of box: semiotics or textual idea.

A Study of Kant's Psychology With Reference to the Critical Philosophy

So much stories of the serious philosophy continue traditionally, logically, or metaphysically. They hint the exterior affects upon it, and its improvement inK ants brain; or, they inquire into its consistencies and try its energy from its personal ideas; or, taking it as truth-expressing, they seek its metaphysical validity.

Diccionario de Logica y Filosofia de la Ciencia

Publication via Mosterin, Jesus, Torretti, Roberto

Extra info for A Structuralist Theory of Logic

Sample text

An —• B. The A's and B's are called elements*. , An causes the happening of B. , An also contains the element B. , An also has the property B. , An are true, then the proposition B is also true. Our considerations do not depend on any particular kind of informal interpretation of the "sentences", since we are concerned only with their formal structure. Do these observations of Hertz and Gentzen settle the question of whether they intended the single arrow to be a connective or a type of relation?

The notion of consequence can be taken semantically, though that does not matter in what follows. One can think of A's being a consequence of the set S as a relation ("I-T") between S and A. The concept of logical consequence can now be freed from the details of its semantic origin by axiomatizing a small but characteristic theory for the relation "h T " as follows: 1. {a} hT {a} for all a (Reflexivity), 2. if A hT B, then A, A' hT B (Dilution), and 3. if A, {c} hT B and A hT {c}, then A hT B (Cut), where a, b, c, .

There is one possible condition, independent of the rest, that seems a natural candidate for addition. It concerns the case in which an implication relation fails to hold. If we think of the special case of a consequence relation on the set of sentences of a first-order language that has conjunction, then we know that ifA1, . . , An =^> B, then there is an element of the structure that implies each of the A/s but does not imply B - namely, their conjunction. Thus, we might entertain a "star"-condition as an addition to our theory of implication relations: (*).

Download PDF sample

Rated 4.77 of 5 – based on 5 votes