Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens / von Dr. Gottlob Frege,...Date de l'edition originale : 1879Ce livre est la reproduction fidele d'une oeuvre publiee avant 1920 et fait partie d'une collection de livres reimprimes a la demande editee par Hachette Livre, dans le cadre d'un partenariat avec la Bibliotheque nationale de France, offrant l'opportunite d'acceder a des ouvrages anciens et souvent rares issus des fonds patrimoniaux de la BnF.Les oeuvres faisant partie de cette collection ont ete numerisees (...) par la BnF et sont presentes sur Gallica, sa bibliotheque numerique.En entreprenant de redonner vie a ces ouvrages au travers d'une collection de livres reimprimes a la demande, nous leur donnons la possibilite de rencontrer un public elargi et participons a la transmission de connaissances et de savoirs parfois difficilement accessibles.Nous avons cherche a concilier la reproduction fidele d'un livre ancien a partir de sa version numerisee avec le souci d'un confort de lecture optimal. Nous esperons que les ouvrages de cette nouvelle collection vous apporteront entiere satisfaction.Pour plus d'informations, rendez-vous sur www.hachettebnf.frhttp://gallica.bnf.fr/ark:/12148/bpt6k65658c. (shrink)

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

We shall investigate the similarities and dissimilarities between old and new dialectic. For the ‘old dialectic’, we base our survey mainly on Aristotle’s Topics and Sophistical Refutations, whereas for the ‘new dialectic’, we turn to contemporary views on dialogical interaction, such as can, for the greater part, be found in Walton’s The New Dialectic. Three issues are taken up: types of dialogue, fallacies, and strategies. Though one should not belittle the differences in scope and outlook that obtain between the old (...) and the new dialectic, the paper will show that in many respects the old dialectic foreshadows the new dialectic. (shrink)

Another striking deviation with regard to philosophical tradition consists in the fact that contemporary schools in the philosophy of mathematics, with the exception again of Brouwer's intuitionism, hardly ever refer to mathematical thought.

Van Eemeren and Houtlosser concentrate on the tension inherent in argumentative discourse between the pursuit of success and the maintenance of reasonableness. They elaborate on their earlier claim that this tension leads to ‘strategic manoeuvring’ that can be explained by making use of insights from dialectic and rhetoric. As a new step in their treatment of strategic manoeuvring they take account of the fact that the manoeuvring always takes place in one of the various argumentative ‘activity types’ that can be (...) distinguished in argumentative practice. Unlike theoretical constructs such as a critical discussion and other ideal models, which are based on analytic considerations regarding the most pertinent presentation of the constitutive parts of a problem-valid procedure for carrying out a particular kind of discursive task, the activity types and their associated speech events are cultural artefacts that can be identified on the basis of careful empirical observation of argumentative practice. By concentrating on three conventionalised activity types that are more or less institutionalised, van Eemeren and Houtlosser show how strategic manoeuvring is affected by the opportunities and constraints of the activity type in which it takes place. (shrink)