Last debt to a dead friend

Scroll for English

Gerade eben korrigierte ich Hansens Beitrag in UNILOG 2013 in Rio de Janeiro fertig. Die Kongressakten mit dem wenig bescheidenen aber akkuraten Titel: The Aftermath of the Logical Paradise, hg. von Béziau et al., werden bald erwartet.

Hans wollte noch vor der Publikation des logischen Paradieses lieber schnell das himmlische Paradies erleben.

Enough with scrolling

I just finished the proof-reading of Hans’s contribution in UNILOG 2013 in Rio de Janeiro. The Aftermath of the Logical Paradise, ed. by Béziau et al., is expected to be shortly published and to give a picture of the event.

Hans, unfortunately if you ask me, preferred to see the heavenly paradise before the logical one.

Advertisements

TeX and rust

Scroll for English

Nach Jahren der Pause arbeite ich wieder mit TeX. Ich kämme Hans Burkhardts Text aus Jean-Yves Béziaus Universallogik-Kongress in Rio de Janeiro. Ein letzter Dienst an den toten Freund.

Nun, es ist unglaublich, wie schnell ich verrostete. Ich gucke die ganze Zeit nach! „Hmmm, wie war jetzt noch mal die TeX-Syntax dazu?“


Enough with scrolling

Years after, I’m working with TeX again. Just proofreading Hans Burkhardt’s paper from Jean-Yves Béziau’s Universal-Logic congress in Rio de Janeiro. A last service to the friend who passed away.

And it’s ridiculous how fast I got rusty. I have to check for the syntax of TeX features I had been using constantly.

New Dimensions (UPDATED)

It’s hot.

And fresh like the first day of spring.

And it’s in.

And finally out…

The contributions:

Jean-Yves Béziau / Stamatios Gerogiorgakis, „The Many Dimensions of the Square of Opposition. Introduction“

Paul J.E. Dekker, „Heraclitean Oppositions“

Juliette Lemaire, „Is Aristotle the Father of the Square of Opposition?“

Stamatios Gerogiorgakis, „A Vindication of a secundum-quid-et-simpliciter Solution of the Paradox of Epimenides by Way of Mereological Hexagons“

Enrique Alvarez and Manuel Correia, „Conversion and Opposition: Traditional and Theoretical Formulations“

Régis Angot-Pellissier, „Taoist Logical Hexagon. The Philosophical Meaning of 3-opposition and Weak 2-opposition in Cosmology“

Ka-fat Chow, „Opposition Inferences and Generalized Quantifiers“

Claudio Pizzi, „Contingency Logics and Modal Squares of Opposition“

Christan de Ronde, Hector Freytes and Graciela Domenech, „Quantum Mechanics and the Interpretation of the Orthomodular Square of Opposition“

Luca Tranchini and Michael Arndt, „A Constructive View of the Square of Oppositions“

Aytollah Zadeh Shirazi, „2n-polygon of Opposition and 2n-tuples Satisfying It“

François Nicolas, „The Hexagon of Opposition in Music“

Jean-Yves Béziau, „Opposition and Order“

Jonas R. Becker Arenhart and Décio Krause, „Oppositions and Quantum Mechanics: Superposition and Identity“

Katarzyna Gan-Krzywoszyńska and Piotr Leśniewski, „An Erotetic Hexagon: Oppositions as a Basis for the Logic of Questions“

Fabio Tfouni, „Interdiction and Silence: A Traditional Reading of the Square of Opposition“

Dubrovnik calling

When I see that Srećko, Kordula and Jean-Yves are in the same time at the same place, I automatically look where my name is mentioned.

Alas, I know that I won’t be able to join them this time AT THIS AWESOME CONFERENCE, FOR THIS AWESOME PROJECT, IN THIS AWESOME CONTEXT:

CALL FOR PAPERS 

Conference FORMAL METHODS AND SCIENCE IN PHILOSOPHY 2, May 4-6, 2017

Inter-University Center (IUC) Dubrovnik, Don Frana Bulića 4, Dubrovnik, Croatia

Keynote speakers  

Jean-Yves Béziau, Federal University of Rio de Janeiro

Wolfgang Künne, University of Hamburg

Conference Committee

Gianfranco Basti, Pontifical Lateran University, Vatican City

Grzegorz Bugajak, Cardinal Stefan Wyszyński University, Warsaw

Johannes Czermak, University of Salzburg

Filip Grgić, Institute of Philosophy, Zagreb

Srećko Kovač, Institute of Philosophy, Zagreb

Edward Nieznański, Łazarski University, Warsaw

Kordula Świętorzecka, Cardinal Stefan Wyszyński University, Warsaw

Berislav Žarnić, University of Split

https://www.iuc.hr/conference-details.php?id=270

The general subject of the conference are problems of philosophical ontology, epistemology, philosophy of science, and philosophy of mind that are formulated or solved using formal methods (as defined in logic, mathematics, formal linguistics, theoretical computer science, information science, AI) and/or with references to the results of natural and social sciences.

The following special topics will be addressed:

– use of formal methods in philosophy,

– philosophical analysis of scientific notions (natural law, matter, change, cause, chance, time, space, uncertainty, quantum phenomena, probability, social interaction),

– philosophical analysis of scientific methods (formalisms, rationality, values and norms, etc.),

– the role and use of scientific notions and methods in philosophy (formal systems in philosophy, critical analysis, systematic philosophy, etc.).

A special session will be organized under the title „Logic, concepts and communication“. The session will address the following topics: the intensional foundations of logic and its primitive concepts, logical foundations of ontology, role of concepts in knowledge, logic and logical concepts in the context of inter-agent communication (in connection with the research project IP-2014-09-9378 funded by the Croatian Science Foundation, http://logiccom.projekti.ifzg.hr/doku.php).

The following panel discussion will be held: „Proposal of a BD/MD/PhD in philosophy on: Philosophy & Computer Science. A perspective for applied formal philosophy“.

Moderator: Gianfranco Basti, Pontifical Lateran University, Vatican City.

There will be also a PhD session with 20 minutes talks followed by 10 minutes discussion.

Language: English; conference fee: 80 EUR.

There are limited possibilities for accommodation at the venue of the conference. Please, see https://www.iuc.hr/accomodation.php or contact us at fmsph@ifzg for the information. Unfortunately, we are not able to cover the costs of the accommodation.

Abstracts

Please, submit a 600 characters abstract for a 30 minutes talk (+ 10 minutes discussion).

Deadline for abstract submission: March 31, 2017.

Please, indicate if the abstract is meant for a PhD session.

Abstracts should be sent to skovac@ifzg.hr or k.swietorzecka@uksw.edu.pl.

Notification of acceptance will be sent within one week after receiving the abstract.

Organizing institutions

Institute of Philosophy, Zagreb

Institute of Philosophy of the Cardinal Stefan Wyszyński University, Warsaw

Inter-University Center, Dubrovnik.

A peer reviewer’s algorithm

Scroll for English

Wer meint, etwas Neues sagen zu können, bejammert die Situation. Der Rest versucht nach Krämerseelenart kleine Karrierebausteine in Form von nichtssagenden und innerhalb von Wochen in Vergessenheit zu geratenden Aufsätzen aufeinander zu legen. Denn das ist das Einzige, was man bei diesem degenerierten Peer-Review-System machen kann. Jaakko Hintikka hat die meines Erachtens schönste Beschreibung der hässlichen Realität vor fast genau fünf Jahren in einer Email an den guten Freund und wichtigen Logiker Jean-Yves Beziau geliefert.

Meine Bücher lagern in Kisten, die Nächte vor einem Umzug sind öde. Denn wo notiere ich was mit dem Bleistift auf dem e-book? Auf dem Bildschirm etwa?

Da nun unsere Bleistifte bekanntlich klüger sind als wir, habe ich einen genommen und den Algorithmus des durchschnittlichen Zeitschriftengutachters formuliert. Gleich nach dem englischen Text ist er zu finden. Viel Spaß bei der Entdeckung eines Stücks einflussreicher Wissenschaftspolitik…

————–

It’s much deplored by at least those scholars who have something new to say: the peer-review system is degenerate. The soberest description of the sad situation was given to my mind almost exactly 5 years ago by Jaakko Hintikka as quoted by Jean-Yves Beziau – an important logician and a good friend – here following a personal communication between them.

Since my books are all in boxes and, until we arrive at our new home, I have only e-books to read (not really an option since I can’t use my pencil on the screen…) I spent my time last evening with formulating what apparently is the algorithm of a peer reviewer. Enjoy!

Peer reviewer's algorithm

Aristottgenstein

Scroll for English

Eine wichtige Tendenz in der Didaktik des Faches philosophische Logik seit den 50ern lautet, dass die Syllogistik unnötig zur Einführung in die Logik ist. Das war unter dem Einfluss von Carnap und später Quine in der damaligen Bundesrepublik der Fall. Selbst Konstruktivisten hatten diesem Verständnis der aristotelischen Logik nichts entgegenzusetzen. Paul Lorenzen meinte 1958, in seinem bahnbrechenden Aufsatz „Logik und Agon“, ausgerechnet Aristoteles hätte aus der Logik als Zweikampf ein Solospiel gemacht. Ich frage mich, wie Lorenzen die Sophistischen Widerlegungen 11 verstand. Aber dazu später.

Nicht anders war der Trend im Osten. Horst Wessel und Johannes Dölling begrüßten ihn 1980 in der Deutschen Zeitschrift für Philosophie 12, S. 1522, in ihrem Artikel „Erfahrungen mit dem Lehrprogramm für das Lehrgebiet Logik“:

Seit dem Herbstsemester 1973 wird der Logikunterricht für Studenten der Grundstudienrichtung Marxistisch-leninistische Philosophie an den Universitäten der DDR … nach einem vom Minister für Hoch- und Fachschulwesen bestätigten verbindlichen Lehrprogramm durchgeführt. Dieses Programm wurde von Lehrkräften der Universitäten Berlin, Leipzig und Halle ausgearbeitet, die über langjährige Erfahrungen in der Logiklehre für Philosophiestudenten verfügen. Schon bei seiner Konzipierung kam es zu einem fruchtbaren Erfahrungsaustausch zwischen den Lehrenden … So waren sich alle Lehrkräfte darin einig, daß die Logik auch für Philosophiestudenten in ihrer modernen Gestalt gelehrt werden muß. Es wurde deshalb bewußt darauf verzichtet, einen Vorkurs über traditionelle Logik zu lehren.

Im Rückblick finde ich es ungerecht, dass die traditionelle Logik lange vernachlässigt blieb, da die moderne Logik die einzig wahre Form der Logik darstellen soll, aber ersterer gleichzeitig vorgeworfen wird, sie sei schuld an der Vorstellung, es gebe eine einzig wahre Logik a priori.

Gerade zu einer Zeit des Logikpluralismus muss, finde ich, immer wieder darauf hingewiesen werden, dass die mittelalterlichen obligationes und selbst Aristoteles‘ Bemerkungen in den Sophistischen Widerlegungen 11 dahingehend, dass die Syllogistikregeln in der Dialektik analog zu den Regeln eines sportlichen Wettkampfs zu verstehen sind, zeigen, dass die philosophische Grammatik im Sinn von Sprachspielen anstatt sub specie aeternitatis ihren Anfang in der traditionellen Logik hat. Dazu nur noch kurz eine Bemerkung: Warum verstehen wir das Bindeglied „Spiel“ in Wittgensteins „Sprachspiel“ als Sprachkontext und nicht etwa als Wettkampf, wie Aristoteles‘ „agon“ in den Sophistischen Widerlegungen 11? Gerade wenn ich an Wittgensteins Bezugnahmen auf das Schachspiel in den Philosophischen Bemerkungen denke, erscheint mir diese Deutung sehr plausibel.

Ich darf an dieser Stelle auf den 5. Kongress zum logischen Viereck hinweisen, der im November auf der Osterinsel und wie immer vom Freund Jean-Yves Beziau und dem Kreis um die Zeitschrift Logica Universalis veranstaltet wird: Logikern, die zu den wenigen gehören, die von der traditionellen Logik immer noch neue Einsichten gewinnen und das zu sagen wagen.

Aristogenstein

Enough with scrolling

Since the 50s, in Germany it has been an important tendency in the didactics of the subject „Logic for philosophers“ to disregard syllogistics. This was the case in the Federal Republic under Carnap’s and later Quine’s influence. Even constructivists failed to support Aristotle in this respect. Paul Lorenzen, in his pioneering 1958-paper „Logic and Agon“, claims that of all people Aristotle had made a dull game of solitaire out of logic as an exciting duel. I can’t explain how Lorenzen understood Sophistical Refutations 11. I’ll return to this immediately.

In East Germany things haven’t been otherwise. Horst Wessel and Johannes Dölling hailed the trend in 1980 in an article titled „Lessons to Learn from the Syllabus for the Subject Logic“ published in the Deutsche Zeitschrift für Philosophie 12. There, on page 1522, they say:

Ever since the winter of 1973, students majoring in Marxist-Leninist Philosophy at the universities of the GDR have been learning logic … according to a syllabus accredited by the minstery to be used at institutes of higher and technical education. This syllabus was elaborated by the teaching staff of the universities of Berlin, Leipzig and Halle, scholars with long-time experience in teaching logic for philosophy students. The knowledge transfer between the teaching staff member was fruitful already in the preperation of the syllabus… They all agreed to teach also philosophy students only modern logic. A preparatory course in traditional logic was explicitly discarded.

Looking back, I find it unjust for traditional logic to be ignored because modern logic is allegedly the only true form of logic, whereas it’s traditional logic which is found guilty of the idea that there is a unique, a priori true logic.

At a time of logical pluralism, I think that one cannot understate the importance of the medieval obligationes. Neither can the importance of Sophistical Refutations 11 be understated, where Aristotle maintains that the rules of syllogistic are analogous to the rules of a sports discipline. These two examples show that a philosophical grammar with a plethora of language games instead of one-and-only reason sub specie aeternitatis has been founded by Aristotle and the medieval logicians. One more brief note in this context: in Wittgenstein’s „language games“, is there a special reason to understand „games“ in terms of linguistic contexts instead of a competition, like Aristotle’s „agon“ has to be understood in Sophistical Refutations 11? When I think how extensively Wittgenstein dwells on chess in the Philosophical Remarks, I cannot help myself wondering about this.

But now, let me recommend you the reason that made me make these thoughts: the 5th Congress on the Square of Opposition in Easter Island to take place next November. As always, it’s being organised by Jean-Yves Beziau, a good friend, together with the circle around the journal Logica Universalis. These are logicians who are not afraid to get their inspiration from traditional logic – and to admit so.