Fr, 22.11.2013, 12:30
Boole and Jevons on Logical Method
Logik-Seminar

Referent: Anna-Sophie Heinemann, Universität Paderborn
Raum: S2|15-201

Today's notion of formal logic is coined in the 19th Century. In one sense, this concerns the form of logic: which means its shape and operational techniques. But it also relates to the conception of logical form: the scope of meanings imputable to propositional forms. The same understanding of logical form allows for different methods which may arrive at the same results. However, the techniques differ in some important respects, the most obvious of which seems to lie in an appeal to the notions of functions and variables. In this talk, two approaches will be illustrated by example of George Boole's (quasi-)algebraic calculus of logic and what William Stanley Jevons terms a method of 'indirect deduction,' to be accomplished by mechanical devices such as his 'logical piano.

Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« Oktober 2017 »
Mo Di Mi Do Fr Sa So
39 1
40 2 3 4 5 6 7 8
41 9 10 11 12 13 14 15
42 16 17 18 19 20 21 22
43 23 24 25 26 27 28 29
44 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang