In der Einführung des Artikels wird darauf aufmerksam gemaeht, daß von einem engeren und einem weiteren Verstehen der formalen Logik gesprochen werden kann. Im weiteren Teil des Artikels ist die Rede u.a. davon, daß z.R. die Mathematik wegen ihres Gegenstandes die formale Logik zuläßt, wo der Begriff der logischen Form sehr weit verstanden wird. Im Verlauf der ganzen Arbeit wird hauptsächlich nach einer Antwort auf die Frage gesucht, warum bestimmte Typen der formalen Logik in den einen Wissensgebieten mit Erfolg angewendet werden können, während ihre An wen dung in anderen eine Reihe von Vorbehalten weckt. Untersucht wurden die Zusammenhänge der formalen Logik mit der Mathematik, Physik und Wissenschaftsphilosophie sowie der klassischen Philosophic. Im Artikel wurde auf einige Kriterien der Adäquatheit logischer Systeme hinsichtlich der Vorstellung verschiedener Probleme aufmerksam gemacht. Des weiteren wurden Prinzipien gesucht, die über die Güte solcher Kriterien entscheiden sollen.

Im Einführungsteil des Artikels wurden kurze historische Bemerkungen über den Zusammenhang der Logik mit anderen Wissensarten gemacht.Der erste Teil des Artikels behandelt bestimmte Programme, die die Perspektiven der Anwendung der Logik in der Philosophie aufzeigen. Die Programme folgender Logiker und Methodologen wurden genauer skizziert: Z. Zawirski, J. Łukasiewicz, K. Ajdukiewicz, J. F. Drewnowski, J. Salamucha, J. M. Bocheński, S. Kamiński und L. Borkowski.Der letzte Teil des Artikels macht auf einige Kriterien aufmerksam, die die nichtklassischen Logiken, gesehen in der Perspektive ihres Zusammenhangs mit der Philosophie, respektieren müssen.

Die Arbeit stellt den Versuch dar, ein Fragment der Ontologie Ingardens formal zu analysieren. Unter Ver wen dung der Mittel der zeitgenössischen formalen Semantik werden die reinen Qualitäten analysiert (so wie sie in Ingardens Ontologie verstanden werden). Das Verhältnis zwischen den reinen Qualitäten wird vorgestellt und eine Definition der einfachen Qualität im allgemeinen sowie der einfachen Qualitäten einzelner Arten gegeben und auf dieser Grundlage die einfache Idee im allgemeinen, die einfachen Idee der einzelnen Arten sowie die konstitutlve Natur der einfachen Idee entsprechend formal bestimmt. Bei der Gelegenheit wird das Problem der Anwendbarkeit der vorgefundenen logischen Mittel auf die Ontologie diskutiert, wobei auf die Unzulänglichkeit der Instru- mente der zeitgenössischen formalen Semantik bezuglich der Anwendung in der Philosophie hingewiesen wird.

In letzter Zeit bemerkt man den Intensivitätswuchs von Forschungen auf dem Gebiet der Heuristik. Es wurde viel zum Thema der Analogiefunktionierung in der Hypothesestellung in empirischen Wissenschaften geschrieben. Dagegen beschäftigte man sich minder zu dieser Zeit mit der Rolle der Analogie in der Mathematik. Und vorläufig scheint sich die mathematische Schöpfung ausnahmsweise oft auf allerlei Ähnlichkeiten zu stutzen. Besonders zugelangen zu den neuen Problemen kann man aus der Ähnlichkeit Nutzen ziehen. Dieser Artikel knüpft unmittelbar zu dieser Problematik an.Man untersucht darin näher die Funktionierung der Analogie im schöpferisch-mathematischen Denken dazwischen, was endlich und unendlich ist. Die Überlegungen wurden auf Grund der zwei Oppositionsstellungen unternommen, die eine Weise des Verständnisses von Unendlichkeit in der Mathematik: potentieller Unendlichkeit von Aristoteles und aktueller Unendlichkeit von Bolzano betraf. Es wurde festgestellt, daß in moderner Mathematik nach den vorgeschlagenen Lösungen von Bolzano gehend, unterscheidet man unendliche Menge ais Erfolg der mathematischen Operationen von bloßer unendlicher Operation. Es erwies sich das hilfreichend für die Charakterisierung des erwägten Typs der Analogie. Es wurde auch unterstriechen, daß in dem Vergleich zu den amderen Typen der Analogie, die in dem mathematischen Denken ais (umständlich — allgemein, vereinfacht — kompliziert) hervortreten, gibt es für sie mehr wesentliche Unterschiede und qualitative Sprünge. Jedoch so für die mathematische Schöpfung, die Extrapolation hätte sich unvolle gezeigt, wenn die Analogie zwischen der Endlichkeit und der Unendlichkeit nicht ausreicht. Man suchte Begründung in dekenden Kennzeichen solcher Strukturen des menschlichen Gemütes wie: Spontanität, Dynamik und Streben nach den immer kühnen Verallgemeinerungen, in denen man von den bemerkbaren oder vermutlichen Analogien benutzen.Die Analyse der entsprechend angepaßten Exemplifikationen erlaubten Extrapolation zu der Unendlichkeit der verschiedenen Operationen von Wirkungen, Begriffen und Methoden unterscheiden. Abgesondert wurde die in allerlei Grenzprobleme hervorgetretene Analogie untersucht. Auf diesem Hintergrund wurde auch die ganze Reihe von konkreten Fragen formuliert, die sich fast in der natürlichen Weise auf Grund der bemerkbaren Oder vermutenen Analogie zwischen aer Endlichkeit und Unendlichkeit aufdrängen.Es erwies sich darin eine Inventions-, Extrapolations-, Informative- und Unifizierte Funktion der bedächtigten Analogie. Es wurde auch wirkliche funktionelle Ähnlichkeit mit anderen Analogiearten hervorgehoben, die sich in dem mathematischen Inventionsdenken entstehen. Man hat doch besondere Aufmerksamkeit auf die Schwierigkeiten gemacht, die bei der mechanischen Anwendung der vermutenen Analogie ohne Beschrankung entstanden, sowie diese, die sich immer dort erschienen, wo wir die Grenze des Intuitionsbereichs und der Schöpfungsinspiration gelangen, die sich von der diskursiven Erfassung entwiechen sind.

Bien que le nom de Jaworski apparaisse dans plusieures publications biographiques et bibliographiques, ses conceptions philosophiques n’ont été jusqu’à maintenant l'objet d’aucune étude quelque peu détaillée. Dans cet article, l'auteur se propose de combler cette lacune, entre autres grâce a un recueil de theses de toute la philosophie. Jaworski en est Pauteur, mais ce fait n’était pas auparavant connu.Jaworski exprime ses vues philosophiques dans ce recueil, sous le titre Peripatetica philosophia (Varsovie 1751), dans le discours Pro vera eloquentia oratio (Lublin 1751) qui contient des éléments philosophiques et dans celui de Praefatio oratorio-philosophica (prononcé en 1748, imprimé a Varsovie en 1767 dans son livre Specimina literaria) où il suppose à la philoisophie de Descartes et défend celle d’Aristote.La philosophic d’Aristote constitue la base de la philosophie professée par Jaworski. II la modifie cependant sous l'influence des commentateurs médiévaux et modernes, surtout de Thomas d’Aquin, de Duns Scot et de Suárez. II affirme p. ex. l’existence des formes substantielles partielles et de la forme de corporéité et il soutient la these que la notion de l'être n’est pas analogue, mais univoque. II admet aussi la theorie de l’impetus. Cette combinaison des éléments empruntés aux différents courants semble etre un trait caractéristique de la philosophie des Jésuites en Pologne aux XVIIe et XVIIIe siècles.Quant à Descartes, il lui reproche que son principe cogito ergo sum n’est pas suffisamment fondé, que le doute methodique cartésien implique la contradiction (il cherche la vérité et en meme temps il en nie la source: Dieu) et, en fin de compte, conduit à l'athéisme et que l'idée claire et distincte n’est pas un critère universel de vérité. Jaworski critique aussi comme incohérents sa conception d'„animaux-automates", son argumentation pour l’existence de Dieu, son explication de la nature du corps et de l'âme etc.L’opposition de Jaworski et d’autres Jésuites en Pologne contre le cartésianisme semble s’expliquer, au moins partiellement, par la crainte d’introduire des elements etrangers a leur propre systeme a caractere assez monotithe. Même une légère concession aurait pu provoquer de graves conséquences et l'abolition des rśsultats d’un labeur intellectuel séculaire.