index of issues - metalogicon.org · metalogicon (2008) xxi, 1-2. index of issues 4 1991 year iv...

Metalogicon (2008) XXI, 1-2. Index of Issues

1

INDEX OF ISSUES

1988 YEAR I JANUARY-JUNE NUMBER 1

— LANGUAGE, FORMAL LOGIC AND INTENTIONALITY by MICHELE MALATESTA.. 1-2 — AN ALGEBRAIC LOGICAL ALGORITHM by CARLO D’AMELIO

1. Introduction. 2. The “logical ratio”. 3. About functors meaning. 4. Transcription examples. 5. Governing rules. 6. Conclusion…………………………………………..

3-17

— SEMIOTICS, SIGN AND MEANING IN THE LATEST PHILOSOPHIC SOVIET LITERATURE by LUCIANO PENNINO

Fedoseev. Sctoff. Stepanov. Vartazaian. Poliakov. Narskij……………………………. 18-29 — Rev.: EDWARD L. KEENAN – LEONARD M. FALTZ, Boolean Semantics for

Natural Language (Modestino Nuzzetti)………………………………………………

31-38

YEAR I JULY-DECEMBER NUMBER 2 — TEMPORAL, MODAL, PSYCHOANALYTICAL FUNCTORS IN THE BIVALENT LOGIC by ARTURO GRAZIANO GRAPPONE

Summary. 1. Introduction. 2. Modal functors. 3. Temporal functors. 4. Bilogical functors. 5. Conclusion………………………………………………………………….

41-57

— THE MEANING OF NATURAL KIND WORDS by BENGT-OLOF QVARNSTRÖM Saul Kripke. Jerrold Katz. Hilary Putnam……………………………………………… 58-70

— THE ACCENT IN THE LATIN LANGUAGE by DAVIDE NARDONI Epigraphic inscriptions. Papyraceous documents. The Lachmann’s Law. The

trisyllabism. The penultimate Syllable’s Law. The Barytonesis Law. The Enclisis Law. Exceptions. Words ending in “-as”, “-is”. Double Accentuation. Errors in the accent. Omography not omonomy. Convergence. Divergence. The suffix: “-ia” and “-e”. The proper nouns. The diphtongs: “-eys” and “-eios”. Greek nouns ending in “-on” (omega). Substantives with the penultimate syllable short. Proper nouns. Common nouns…………………………………………………………………………………….

71-91 — “DER RÖMERBRIEF” UND DIE “PHÄNOMENOLOGIE DER VERNUNFT”. EIN VERGLEICH ZWISCHEN DER THEOLOGIE DES JUNGEN BARTH UND DER PHILOSOPHIE DES CALEO by MICHELE MALATESTA

1. Der junge Barth und Caleo. 2. Die zwei Weisheiten. 3. Luthertum und die hegelianische Philosophie. 4. Glaube, Wahrheit, Vermittlung. 5. Die Christliche Philosophie: Augustinus, Anselm, Bonaventura, Thomas. …………………………….

91-124 — Rev.: JUAN JOSÉ SANGUINETI, Logica filosofica (Michele Malatesta)……………. 125-126


2

1989

YEAR II JANUARY-JUNE NUMBER 1 — AN EXTENSION OF GENTZEN’S NATURAL DEDUCTION by MICHELE MALATESTA

1. Gentzen’s natural deduction. 2. Mediaeval roots of Gentzen’s natural deduction. 3. Scholastic metalanguage towards n-adic connectives (n≥2). 4. Classical n-adic connectives (n≥2) of the Graeco-Roman age. 5. Classical foundation of natural deduction. 6. Beyond classical connectives. 7. New inference rules. 8. Conclusion…...

1-32 — PSYCHOANALYSIS AND GÖDEL PROOF: IS THE SELF-REPRESENTATION THE COMMON BASE OF THE FORMAL NUMBER THEORY UNDECIDABILITY AND OF MATTE-BLANCO UNCONSCIOUS LAWS? by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. Mendelson’s formal theory S. 3. A decision procedure for S. 4. Conclusion………………………………………………………………………………

33-59

— INTERPRETATIONS OF PLATONIC POLITICAL DOCTRINE IN SOVIET PHILOSOPHIC HISTORIOGRPHY by LUCIANO PENNINO…………………………….......

60-65

— Rev.: JOHN R. SEARLE and DANIEL VANDERVEKEN, Rev. JOHN R. SEARLE and DANIEL VANDERVEKEN, Foundation of illocutionary logic (Riccardo Notte)..

66-67

— Rev.: MARCELLO CALEO, Fenomenologia della ragione; ID. Metafore del pensiero filosofico (Mario Santoro)……………………………………………………..

67-71

YEAR II JULY-DECEMBER NUMBER 2 — ON D’AMELIO LOGICAL RATIO AND RULES: CONSEQUENCES IN PSYCHIATRY by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. d’Amelio’s logical ratio. 3. The logical power. 4. About functors meaning. 5. d’Amelio’s rules. 6. Functor interdefinability problems in d’Amelio’s language. 7. De Giacomo’s model on human relations. 8. The d’Amelio results in De Giacomo’s model………………………………………………………………………..

73-93 — CLASSICAL FUNDAMENTALS AND A MODERN FOUNDATION OF THE PROBABILIY by MICHELE MALATESTA

1. Galen Eásagog¬ dialecticø and Gellius’ Noctes Atticae. 2. Gellius and n-adic connectives (n≥2) of sentential calculus. 3. Galen and n-adic connectives (n≥2) of sentential calculus. 4. Stakelum’s matrices for Galenic n-adic connectives. 5. Mau’s definitions of Galenic n-adic connectives. 6. Beyond Stakelum. 7. Beyond Mau. 8. Toward the foundation of the calculus of probability. 9. The foundation of probability calculus. 10. Conclusion………………………………………………………………...

94-132 — PLATO’S PHILOSOPHY OF LANGUAGE. A NEW INTERPRETATION by MODESTINO NUZZETTI

1. Riverso’s edition of Cratylus. 2. Eristic dialogues. 3. Eristic’s overcoming: Cratylus. 4. . Eristic’s overcoming: Theaetetus and Sophist. 5. Platonic and modern viewpoints………………………………………………………………………………

133-37 — Rev.: GERARD O’ DALY, Augustine’s Philosophy of Mind (Giuseppe Balido)……... 138-40 — Rev.: JOSEPH M. BOCHENSKI, Autorität, Freiheit, Glaube (Michele

Malatesta)……………………………………………………………………………….

141-43


3

1990

YEAR III JANUARY-JUNE NUMBER 1

— BILOGIC NATURE OF THE NUMERIC CALCULUS by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. Informatic entropy. 3. Bi-logic. 4. Axiomatic formal theories. 5. Standard sentence logic (SSL) as formal theory. 6. SSL as interpreted Boole’s algebra. 7. Informatic entropy in standard sentence logic. 8. Informatic entropy and polyadic connectives. 9. Numeric calculation as bi-logical structure. …………………

1-24 — A REMARK TO THE ARTICLE “THE MEANING OF NAURAL KIND WORDS” BY B.-O. QVARNSTRÖM by PAVEL MATERNA. ………………………………………….

25

— THE PROBLEM OF METHOD IN DYNAMIC ORDER. VERIFICATION AND FALSIFICATION by ROCCO PEZZIMENTI…………………………………………………...

26-43

— DOES HERACITUS DEMONSTRATE? by LUIGI SENZASONO………………………… 44-53 — DOCUMENT by REGINA LUKASIEWICZ…………………………………………………. 54-55 — Rev.: LUDGER HÖLSCHER, The Reality of the Mind. Augustine’s Philosophical

Arguments for the Human Soul as a Spiritual Substance (Giuseppe Balido)…………..

56-59 — Rev.: MARCELLO CALEO, The Apostle and the Philosopher. Saint Paul “read” by

Karl Barth (Mario Santoro)…………………………………………………………….

59-60 — Rev.: MICHELE MALATESTA, The Primary Logic. Instruments for a dialogue

between the Two Cultures (Mario Santoro)……………………………………………

61-62

YEAR III JULY-DECEMBER NUMBER 2

— ON THE UNIQUE FORMULATION OF THE PRINCIPLES OF IDENTITY, NON-CONTRADICTIO AND EXCLUDED MIDDLE. INTRODUCTION. FIRST PART by MICHELE MALATESTA

Introduction. First Part. The Language

€

/ L = . 1.1 Syntax of Language L. 1.2 The syntax of the language

€

/ L = . 1.2.1 First group of theorems. 1.2.2 Second group of theorems. 1.2.3 Third group of theorems………………………………………………………….

65-82

— MODAL SENTENCE LOGIC FORMULAS AS ABBREVIATIONS OF STANDARD SENTENCE LOGIC FORMULAS by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. Axiomatic formal theories. 3. Standard sentence logic (SSL) as formal theory. 4. SSL as interpreted Boole’s algebra. 5. Carnap’s equivalence: consequences. 6. Reduction of the modal calculus to the standard tautology calculus. 7. Modal logics as particular cases of SSL. 8. Conclusion……………………………...

83-100 — LA TEMPORALITÉ DE LA LOGIQUE by LÉON BIRNBAUM

1. L’importance de la temporalité dans la logique. 2. Une méthode d’exprimer formellement la temporalité. 3. La temporalité des jugements categoriques…………..

101-06

— EXPRESSION AND SYMBOL IN WITTGENSTEIN’S TRACTATUS LOGICO-PHILOSOPHICUS by FRANCESCO FERRANTE ………………………………………………

107-16

— Rev.: JOSEPH RATZINGER, Look to Christ (Pietro Vitiello)………………………… 117- 21 — Rev.: DIRK HARTMANN, A constructive question logic: from elementary sentence

to logic of question and answer (Steffen Wagner)……………………………………..

121-26 — Rev.: V. A. BAZANOV, Nikolaj Aleksandrovic Vasil’ev (Luciano Pennino)…………. 126-28


4

1991

YEAR IV JANUARY-JUNE NUMBER 1

— ON THE UNIQUE FORMULATION OF THE PRINCIPLES OF IDENTITY, NON-CONTRADICTIO AND EXCLUDED MIDDLE. INTRODUCTION. SECOND PART by MICHELE MALATESTA

First Chapter. 2.1.1 Boolean algebra. 2.1.2 Axiomatic systems of Boolean algebras. 2.1.3 Sets of identities equivalent to identities (1a)-(10a,). 2.1.4 Sheffer’s algebra. 2.1.5 Boolean identities and Boolean rules. 2.1.6 Sheffer’s identities and Sheffer’s rules. Second Chapter. 2.2.1 a-, b-, c-, s- and ss-expressions. 2.2.2. Transformations of a-expressions into a-expressions. 2.2.3 Transformations of a-expressions into b-expressions. 2.2.4 Transformations of a-expressions into c-expressions. 2.2.5 Transformations of a-expressions into s-expressions. 2.2.6 Transformations of a-expressions into ss-expressions. 2.2.7 Transformations of b-expressions into a-, b-, c-, s- and ss-expressions. 2.2.8 Transformations of c-expressions into a-, b-, c-, s- and ss-expressions. 2.2.9 Transformations of s-expressions into a-, b-, c-, s- and ss-expressions. 2.2.10 Transformations of ss-expressions into a-, b-, c-, s- and ss-expressions. 2.2.11 Transformations of algebraic identities. 2.2.12 Transformations of members of algebraic identities. Third Chapter. 2.3.1 First set of transformations. 2.3.2 Second set of transformations. 2.3.3 Comparison between the two sets of transformations………………………………………………………………………….

1-42 — ON THE TIME LOGIC by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. A formal integer number theory. 3. The formal theory V. 4. A formal theory for the first order predicative calculus. 5. A time logic for K. 6. Los’ time logic. 7. Prior’s time logic. 8. Future and determinism. 9. Conclusion……………

43-68 — DENOTATION AND CORPOREITY IN LEVIATHAN by EMANUELE RIVERSO………. 69-81 — Rev.: ST. AUGUSTINE, Towards to the Truth. Collected correspondence between

Augustine and Nebridius by Remo Piccolomini (Michele Malatesta)………………….

82-84 — Rev.: UKRAINIAN SCIENCE ACADEMY- PHILOSOPHY INSTITUTE, Demon-

stration and comprehension (Luciano Pennino)………………………………..............

84-85 — Rev.: PETER CARRUTHERS, Tractarian semantics, finding sense in Wittgenstein’s

Tractatus (Francesco Ferrante)…………………………………………………………

85-88

YEAR IV JULY-DECEMBER NUMBER 2

— IDENTITY AND INDIVIDUAL DEFINITE DESCRIPTIONS: IS IDENTITY A RELATION? by MICHELE MALATESTA

1. Identity in Peano’s work. 2. Identity and definite individual descriptions in Principia Mathematica. 3. Identity in Wittgenstein’s Tractatus. 4. Williams’ viewpoint on identity. 5. Linguistic identity. 6. Extralinguistic identity. 7. Conclusion

89-100 — PROBLEMS OF OCKHAM’S SEMANTICS by RICCARDO NOTTE

1. Rules for the right construction of propositions in personal supposition. 2. Use of quantifiers. 3. Division of the personal supposition. 3.1 Discrete supposition. 3.2 Determinate supposition. 3.3 Common ‘tantum’ supposition. 3.4 Common and distributive supposition…………………………………………………………………

101-116 — THE OPEN SOCIETY AND ITS FRIENDS. ROMAN JURIDICAL EXPERIENCE AND THE REFLECTIONS OF CICERO by ROCCO PEZZIMENTI…………………………..

117-143

— AN IMPORTANT INTERNATIONAL SYMPOSIUM ON GÖDEL’S THEOREMS by MICHELE MALATESTA ………………………………………………………………………..

144-149


5

1992

YEAR V JANUARY-JUNE NUMBER 1

— INTENTIONAL MODALITIES by ANDRY VASYLCHENKO 1. Meta-intentions. 2. Intentional hierarchies and trans-intentions. 3. Logic of

intentional modalities. 4. Trans-possibilities versus modal Booleaness………………..

1-18 — ALGEBRA AND GRAMMAR. A PEANIAN ANALYSIS OF EVERYDAY ENGLISH by MICHELE MALATESTA

1. Peano’s Latino sine flexione. 2. English language trend to Chinese. 3. English without inflexion. 4. First axiomatic version. 4.1 Syntax. 4.2 Semantics. 5. Second axiomatic version. 5.1 Syntax 5.2 Semantics …………………………………………..

19-38 — IN ANDIBUS, AN ESSAY OF EXPERIMENTAL PHILOLOGY by DAVIDE NARDONI

1. Direct sources. 2. Indirect sources. 3. Experimental philological method and arguments. 4. Conclusion……………………………………………………………….

39-48

— RELIGION AND PHILOSOPHY by MARCELLO CALEO……………………………….. 49-50 — TWO IMPORTANT INTERNATIONAL CONFERENCES: UPPSALA (SWEDEN) AUGUST 7-14: BADEN-BADEN (GERMANY) AUGUST 12-18, 1991 by ARTURO GRAZIANO GRAPPONE………………………………………………………………………...

51-63 — Rev.: LUCIANO PENNINO, Symbolic Logic in the scientific production in Russian

Language (Michele Malatesta)………………………………………………………….

64-66 — Rev.: ERNEST NAGEL – JAMES R. NEWMAN / KURT GÖDEL / JEAN-YVES

GIRARD Gödel’s theorem (Arturo Graziano Grappone)………………………………

67-70 — Rev.: ROY HARRIS Language, Saussure and Wittgenstein. How to play games with

words (Francesco Ferrante)……………………………………………………………..

70-72

YEAR V JULY-DECEMBER NUMBER 2

— POLYADIC LOGIC IN THE SECOND CENTURY by MICHELE MALATESTA 1. Preliminaries. 2. Recursive definitions of logical product. 3. Recursive definitions

of logical sum. 4. Sources. 5. Gellius as source of the late Stoic logic. 6. Galen’s Eásagwg¬ dialektikø. 7. Incomplete and complete battle. 8. From dyadic to m-adic connectives (m ≥ 3). 9. Polyadic connectives: complete and incomplete battle. 10. Extension of Stoic logic. 11. New Galen’s inference schemata. 12. Conclusion………

73-102 — WHEN EPISTEMOLOGICAL PRINCIPLES BECOME ETHICAL PRINCIPLES by DARIO ANTISERI………………………………………………………………………………

103-108

— PICTURE AND REPRESENTATION IN WITTGENSTEIN’S TRACTATUS LOGICO-PHILOSOPHICUS by FRANCESCO FERRANTE

1. We make to ourselves pictures of facts. 2. Representation. 3. Form of representation and logical form. 4. Picture’s sense. 5. Agreement. 6. Logical picture. 7. Tautology. 8. Sinn und Bedeutung. …………………………………………………………………...

109-126 — Rev.: LADISLAV KOHOUT A perspective on intelligent systems (Arturo Graziano

Grappone)……………………………………………………………………………….

127-131 — Rev.: EDWARD N. ZALTA Intensional logic and the metaphysics of intentionality

(Francesco Ferrante)…………………………………………………………………….

131-142 — Rev.: AUGUSTO DEL NOCE The philosophical thought (Alfredo Omaggio)……….. 142-144


6

1993

The whole year on Spinoza’s thought

YEAR VI JANUARY-JUNE NUMBER 1

— A FORMALIZATION OF A SEGMENT OF PART I OF SPINOZA’S ETHICS by ALEX BLUM AND STANLEY MALINOVICH

1. Introduction. 2. Table of abbreviations. 3. Definitions. 4. Axioms and an axiom schema. 5. Postulates. 6. Propositions. …………………………………………………

1-14

— ON THE INCONSISTENCY OF SPINOZA’S METAPHYSICS. AN ESSAY OF ANALYTIC PHILOSOPHY ON BLUM’S AND MALINOVICH’S FORMALIZATION AND ON SPINOZA’S ETHICA ORDINE GEOMETRICO DEMONSTRATA by MICHELE MALATESTA

1. Blum’s and Malinovich’s work on Spinoza. 2. Blum’s and Malinovich’s formalization: preliminary questions. 3. Blum’s and Malinovich’s formalization: logical and metaphysical problems. 4. Blum’s and Malinovich’s formalization and standard interpretation of Spinoza’s thought. 5. Blum’s and Malinovich’s formalization and standard interpretation of Spinoza’s thought: a logical analysis of the fundamentals of Spinoza’s metaphysics (Eth., Part I. Deff. I-VI). 6. Conclusion: Ethics metaphysics inconsistency proof. ……………………………………………….

15-121 — A NOTE ON THE HISTORY OF ANTISPINOZISM. SPINOZA AND NAPLES IN THE XVIII CENTURY by FRANCESCO FERRANTE…………………………………………

122- 24

YEAR VI JULY-DECEMBER NUMBER 2

— LOGICAL-LINGUISTIC INTERPRETATION OF SPINOZA’S ETHICA BY GEORGE BOOLE by MODESTINO NUZZETTI ……………………………………………….

125-29

— CONSIDERAZIONI SUI CONCETTI DI ETERNITÀ, CAUSA E TEMPO IN SPINOZA by LUIGI SENZASONO

1. Eternità. 2. Causa. 3. Tempo. 4. Conclusione……………………………………….. 130-51 — SPINOZA’S POLITICAL THOUGHT by ROCCO PEZZIMENTI…………………………. 152-56 — ON THE INTERPRETATIONS OF SPINOZA’S PHILOSOPHY IN RUSSIAN CULTURAL AREA (1919-1980) by LUCIANO PENNINO

Galich, Gavril, Kovner, Volynski, Kirolovich, Vvdenski, Solovyov, Lopatin, Kovalenski, Franck, Polovtsova, Shilkarski, Plekhanov, Sciaptulin, Kostantinov …….

157-59

— Rev.: ANDREA DALLEDONNE The risk of the freedom: Aquinas-Spinoza (Giovanni Turco)…………………………………………………………………………………...

160-66

— Rev.: PIERO DI VONA Aspects of Hobbes in Spinoza’s thought (Giuseppe Balido)… 166-68


7

1994

YEAR VII JANUARY-JUNE NUMBER 1

— ON POLYADIC CONNECTIVES: A NEW LANGUAGE by ARTURO GRAZIANO GRAPPONE

1. Summary. 2. An opportune standard sentence logic language L. 3. Polyadic connectives in L. ………………………………………………………………………

1-14

— A SOURCE ON PAULUS VENETUS (+1429)………………………………………… 15-16 — ERRORI LOGICI E DEVIANZE PANTEISTICHE. SAGGIO SULL’ONTOLOGIA SEVERINIANO-SPINOZIANA DI LEONARDO MESSINESE by MICHELE MALATESTA

1. Elementi di logica classica. 2. Elementi di logica modale. 3. L’oltrepassamento del divenire e la nascita della metafisica nel pensiero di Leonardo Messinese. 4. Remedium pejus morbo. 5. Una nota sulla creazione. 6. Conclusione…………………

17-68 — KIERKEGAARD AND SCHOPENHAUER ON HEGELIANISM: «PRIMUM VIVERE, DEINDE PHILOSOPHARI» by GIUSEPPE TORTORA…………………………….

69-84

— TWO IMPORTANT SYMPOSIA: BADEN-BADEN (GERMANY), AUGUST 2-8, 1993; BOCCA DI MAGRA (ITALY), SEPTEMBER 14-18, 1993………………………...

85-101

— Rev.: HARRY J. GENSLER Symbolic logic, classical & advanced systems (Francesco Ferrante)………………………………………………………………………………...

102-04

YEAR VII JULY-DECEMBER NUMBER 2

— ON REDUCTIO AD UNUM OF DISJUNCTIVE SYLLOGISM AND MODUS PONENDO PONENS, TOLLENDO TOLLENS, PONENDO TOLLENS PRIMUS by MICHELE MALATESTA

1. Disjunctive syllogism. 2. Modus ponendo ponenes and tollendo ponens. 3. Modus ponendo tollens primus. 4. Analysis of the disjunctive syllogism. 5. Analysis of the modus ponendo ponens and tollendo tollens. 6. Analysis of the modus ponendo tollens primus. 7. Conclusion…………………………………………………………..

105-14 — LITERARY METAPHORS “SIX CHARACTERS IN SEARCH OF AN AUTHOR” by MICHELE MELARAGNO

1. Introduction. 2. Six characters in search of an author………………………………. 115-20 — THE VICHIAN CONCEPT OF INTERACTION AMONG NATIONS by EMANUELE RIVERSO

1. Nations in history. 2. Common traits and differences. 3. Trends and nations. 4. From insulation to contact. 5. Criticism of other interpretations of Vico’s thought……

121-32

— CURRICULUM VITAE OF JAN LUKASIEWICZ by JAN LUKASIEWICZ certified by his wife REGINA LUKASIEWICZ née BARWINSKA……………………………………………..

133-37

— Rev.: CARLOS A. DUFOUR Proprietates terminorum theory. Sense and denoting in Medieval logic (Francesco Ferrante)……………………………………………………

138-41

— Rev.: LUIGI BOGLIOLO Identity-diversity, a gold key for philosophy (Michele Malatesta)……………………………………………………………………………….

141-42

— Rev.: ROCCO PEZZIMENTI Lord Acton’s political thought (Arturo Graziano Grappone)……………………………………………………………………………….

143-44

— Rev.: MARCELLO CALEO City and Laws II, Medieval philosophers of the polis (Emanuele Riverso – Michele Malatesta)………………………………………………

145-47

— Rev.: PLUTRACH <Ugiein™ paraggûlmata (De tuenda sanitate praecepta) edited by Luigi Senzasono (Michele Malatesta)……………………………………………….

148-49

— Rev.: R. M. NUGAYEV Reconstruction of scientific theory change (Luciano Pennino) 149 — Rev.: MARCELLO CALEO Kant and his duplicity (Mario Santoro)…………………. 149-52


8

1995

YEAR VIII JANUARY-JUNE NUMBER 1

— SENTENCE CALCULUS AND FRACTALS by ARTURO GRAZIANO GRAPPONE 1. Introduction. 2. Standard sentence calculus. 3. From standard sentence calculus to

an equivalent numeric sentence calculus. 4. Recursive functions in general. 5. Sh (x, y, m, n) as recursive function. 6. Study of the function TD (x, y) and its recursive definition. 7. Sh (x, y, m, n) as primitive recursive function. 8. Fractal properties of Sh(x, y, m, n)…………………………………………………………………………….

1-10 — A PEANIAN ANALYSIS OF TIGRIGNA. PART ONE. TIGRIGNA WITHOUT INFLEXION by ROBERTO DI LELLO

1. Noun. 1.1 Gender. 1.2 Number. 1.3 Possessive suffix in the noun. 2. Verb conjugation. 2.1 Verb simplification. 2.2 Pronouns suffixed to the verb as direct object. 2.3 Pronouns suffixed to the verb as dative. 2.4 Personal pronouns. 3. Pronouns. 3.1 Possessive pronouns. 3.2 Personal complement pronouns. 3.3 Personal reflexive pronouns. 3.4 The pronoun “all”. 4. Observations. …………………………..

11-32 — “FOLGERICHTIGKEIT”. THE BASIC CONCEPTION OF LOGICAL THOUGHT IN ERNEST SCHRÖDER’S INTRODUCTION TO LESSONS ON ALGEBRA OF LOGIC (1890) by FRANCESCO FERRANTE

1. Out from gnoseology. 2. Folgerichtigkeit, Wiederspruchsfreiheit, Kalkul. 3. What is “folgerichtig”?. 4. Logic as a normative science………………………………………..

33-40

— THE 7TH INTERNATIONAL CONFERENCE ON SYSTEMS RESEARCH INFORMATICS AND CYBERNETICS AND THE 3RD SYMPOSIUM OF “L’ARCIPELAGO”………………………………………………………………………….

41-58 — Rev.: FRIEDRICH L. BAUER – MARTIN WIRSING Elementary sentential logic

(Michele Malatesta)…………………………………………………………………….

59-61 — Rev.: REMO PICCOLOMINI St. Augustine philosophy (Giuseppe Balido)………….. 61-63 — Rev.: MIA GOSSELIN Nominalism and contemporary nominalism (Michele

Malatesta)……………………………………………………………………………….

63-64

YEAR VIII JULY-DECEMBER NUMBER 2

— MANY-VALUED SENTENCE LOGICS: REPRESENTATION PROBLEMS IN STANDARD SENTENCE LOGIC by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. Disjunctive normal forms in many-valued logics. 3. Representation of many-valued logics in standard sentence logic by standard predicative calculus……

65-72

— A PEANIAN ANALYSIS OF TIGRIGNA. PART TWO. DERIVATION AND GRAMMAR ALGEBRA by ROBERTO DI LELLO

1. The concept of grammar algebra. 2. Tigrigna and grammar algebra. 3. Derivations. 3.1 Adjective from verb (A-V). 3.2 Verb from adjective (V-A). 3.3 Abstract noun from verb (S-V). 3.4 Abstract noun from adjective (S-A). 4. Passive………………….

73-90 — ST. AUGUSTINE’S DIALECTIC FROM THE MODERN LOGIC STANDPOINT. LOGICAL ANALYSIS OF CONTRA ACADEMICOS III, 10, 22 – 13, 29 by MICHELE MALATESTA

1. Modern and ancient logic. 2. Polyadic connectives in the 2nd century. 3. Dialectic in the St. Augustine age. 4. Structure of Contra Academicos. 5. Foundation of the Augustinian philosophy. 6. The Magna Charta of Western philosophy.7. The Stoics’ inheritance. 8. Augustine, the ancients and the moderns……………………………….

91-120 — EXPERIMENTAL PHILOLOGY: DAVIDE NARDONI by MICHELE MALATESTA …… 121-28


9

1996

YEAR IX JANUARY-JUNE NUMBER 1

— DEMONSTRATIVE PRONOUN LOGIC by MICHELE MALATESTA 1. Definitions. 2. Demonstrative pronoun logic formulae. 3. Fundamental relations

among demonstrative pronoun logic formulae. 4. Analysis of laws: table left side. 5. Analysis of laws: table right side. 6. Conclusion……………………………………….

1-8 — LIMITI DEL PLATONISMO DI GALENO by LUIGI SENZASONO

1. La posizione storica di Galeno. 2. Il problema epistemologico e metodologico: De const. art. med.; De plac. Hipp. et Plat.; P. H. P.; De vict. ac.; De fract.; De usu part.; Meth. med.; Opt. sec.; Loc. aff.; Tuenda san.; De comp. med. per gen.; De simpl. med.; Protr.; Quod opt. med.; Libr. prop. 3. Il problema psicologico: De plac. Hipp. et Plat.; P. H. P. 4. L’interpretazione del Timeo. 5. Il Timeo e il De usu partium. 6. Echi del Timeo nel De foet. form. 7. Il principio patologico del Timeo e quello di Galeno. 8. Conclusione……………………………………………………………………………..

9-90 — Rev.: DESMOND PAUL HENRY Medieval mereology (Francesco Ferrante)………... 91-92

YEAR IX JULY-DECEMBER NUMBER 2

— LEIBNIZ AND PEANO: LINGUISTIC PROSPECTS AND THEIR UTILIZATION IN MECHANIC INTERTRANSLATION OF NATURAL LANGUAGES by MICHELE MALATESTA

1. The dream of Leibniz and Peano. 2. Peano’s programme: De Latino sine flexione. 3. Peano’s results: Il latino quale lingua ausiliare internazionale; De derivatione; Interlingua; Algebra de grammatica. 4. Failure of Peano’s primary aim but possibility of using several of his intuitions in computer science. 5. Conclusion………………….

93-104 — URSPRUNG. THE ORIGINS OF THOUGHT IN ERNEST SCHRÖDER’S INTRODUCTION TO LESSONS ON ALGEBRA OF LOGIC (1890) by FRANCESCO FERRANTE

1. Dasein, Sein, Bewustsstsein. 2. Ver-ein-igung. 3. Gedankenwelt as Mikrokosmus. 4. Aussenwelt as Makrokosmus. 5. Wesen der Affekte. 6. Wollen und Willensakte. 7. Unfrei. 8. Kausalitätsprinzip. 9. Leib. 10. Existenz der Aussenwelt. 11. Erinnerung. 12. Zwecke und Notwendigkeit. 13. Unmittelbar. 14. Erkenntnisobjekte: knowledge as “Funktion”. 15. Schröderian philosophical no-man’s land. 16. Toward Husserl?......

105-37 — Rev.: ANTONIO MANZO Poetical-rhetorical Adynaton and its doctrinal implication

(Francesco Ferrante)…………………………………………………………………….

138-40


10

1997

YEAR X JANUARY-JUNE NUMBER 1

— ON A PARTICULAR MEANING OF THE PRINCIPLE OF DUALITY: LEIBNIZ, BOOLE, PEANO by MICHELE MALATESTA

1. Various meanings of the “principle of duality”. 2. The Leibnizian departure-point: Generales inquisitiones; Specimen calculi universalis. 3. Developments in Boole (The laws of thought in which are founded the mathematical theories of logic and probabilities) and Peano (Formulario mathematico). 4. Utility and limits of the Leibnizian angle of vision………………………………………………………………

1-12 — CYCLE AND SYMMETRY IN THE HERMENEUTICAL INTERPRETATION OF SCIENCE by ANTONINO DRAGO

1. Hermeneutical cycle and natural sciences. 2. Lazare Carnot’s improvement in the synthetic method. 3. The correlation between the cycle notion and the mathematical arguing by symmetry. 4. The philosophical origin of symmetry 5. An interpretation of the cyclical arguing. 6. Conclusions…………………………………………………….

13-25 — Rev.: KURT FLASCH Introduction to the medieval philosophy (Giuseppe Balido)….. 26-28 — Rev.: ANTOINE ARNAULD and PIERRE NICOLE Logic of the art of thinking.

Containing, besides common rules, several new observations appropriate for forming judgment (Michele Malatesta)………………………………………………………….

28-32

YEAR X JULY-DECEMBER NUMBER 2

— ONE INSTANCE OF MODUS TOLLENDO TOLLENS IN PLATO’S PARMENIDES 127e 1-7? by MICHELE MALATESTA

1. Tautologies, inferences, inference schemes and inference rules. 2. Stoic logic: Chrysippean undemonstrated. 3. An instance of modus tollendo tollens in Plato. 4. Conclusion………………………………………………………………………………

33-40 — THE INDIAN WIFE PUZZLE, RUSSELL ON UNIVERSALS by DARIO ETTARI My philosophical development; Peinciples of mathematics; On denoting……………… 41-45 — LA PROBLEMATICA LINGUISTICA DEL CONTRA ACADEMICOS ALLA LUCE DELLA FILOSOFIA DEL LINGUAGGIO CONTEMPORANEA by MICHELE MALATESTA

1. Il doppio uso della logica e l’analisi del Contra Academicos. 2. Primo plesso: C. Acad. III, 3, 5. 3. Secondo plesso: C. Acad. III, 4, 9. 4. Terzo plesso: C. Acad. III, 10, 23. 5. Quarto plesso: C. Acad. III, 11, 26. 6. Conclusione……………………………..

46-63 — Rev.: ALESSANDRO GHISALBERTI Theological Middle Age (Alfredo Omaggio)… 64-68


11

1998

YEAR XI JANUARY-JUNE NUMBER 1

— ON ONE INSTANCE OF THE CHRYSIPPEAN SYLLOGISM OF THE DOG IN PLATO’S SOPHISTA 252 e 1-8 by MICHELE MALATESTA

1. Logic use and logic science. Categorical and hypothetical syllogisms. The hypothetical syllogism of the dog. 2. Modern studies on complete and incomplete battle. 3. The Chrysippean syllogism of the dog. 4. Plato’s syllogism. 5. Analysis of Plato’s syllogism. 6. The logical triangle at the predicate logic level. 7. Plato’s syllogism from the modern logic standpoint……………………………………………

1-16 — THE FICTIONS OF DEDUCTION. PATTERNS, IDEALISATION AND CONCRETISATION. ON VAILATI’S AND PARETO’S EPISTEMOLOGY by GIUSEPPE SILVESTRI

1. Preliminaries. 2. Vailati and deduction as subtraction. 3. Pareto: the role of analysis and synthesis. 4. The philosophical origin of symmetry 5. An interpretation of the cyclical arguing. 6. Conclusions………………………………………………………...

17-48 — SEMIOTICS AS METHODOLOGY OF SIGN AND/OR NEW METAPHYSICS by ROCCO PITITTO……………………………………………………………………………….

49-58

— Rev.: GIANCARLO DURANTI Terzo numero binomiale di Euclide e terza civiltà di Ammon-Zeus (Luigi Senzasono – Pietro Alessandro Giustini)………………………...

59-64

— Rev.: GIANCARLO DURANTI Codici del Pentateuco e matematica egizio-platonica (Michele Malatesta)……………………………………………………………………..

64-66

— Rev.: GIANCARLO DURANTI Verso un Platone “terzo”. Intuizioni e decezioni della Scuola di Tübingen (Luigi Senzasono)……………………………………………

66-69

— Rev.: ENZO TIEZZI (a cura di) Ecologia… (Michele Malatesta)…………………….. 69-71

YEAR XI JULY-DECEMBER NUMBER 2

— VECTORIAL STANDARD SENTENCE LOGIC by ARTURO GRAZIANO GRAPPONE 1. Opposite transformations in standard sentence logic. 2. Standard sentence logic as

vectorial space. 3. Determinants of squared sentence matrices. 4. Conclusion………...

73-80 — INTENTIONALITY AND THE COMPUTATIONAL THEORY OF THE MIND by AUSONIO MARRAS

1. Intentional realism 2. Naturalizing the mind. 3. CTM’ account of the intentionality and causal efficacy of thoughts 4. Challenges to CTM. 5. Uniqueness of intentional content and the multiple mapping problem. 6. Concluding remarks…………………...

81-102 — INTUIZIONE, PERFEZIONE E FONDAMENTO IN LEIBNIZ by GIUSEPPE GIANNETTO

1. L’intuizione del semplice e l’analisi del composto. 2. Il concetto di perfezione. 3. Il contrasto con Spinoza sull’ente perfettissimo. 4. I due livelli del concetto di perfezione……………………………………………………………………………….

103-26 — ACQUISIZIONE DELLA LOGICA DEL LINGUAGGIO NATURALE DA PARTE DEL BAMBINO by MICHELE MALATESTA

1. Logica ed algebra della logica. 2. Il bambino e la logica nell’analisi piagetiana. 3. Piaget e la logica. 4. Il raginamento spontaneo del bambino: due esempi. 5. Conclusione……………………………………………………………………………..

127-44 — Rev.: GIUSEPPE BALIDO Logic-formal structures and linguistic analysis of

Augustinian texts (Piero Di Vona)………………………………………………………

145-46 — Rev.: GERARDO CIOFFARI – MICHELE MIELE History of the Black Friars in the

Southern Italy (Michele Malatesta)……………………………………………………..

146-51


12

1999

YEAR XII JANUARY-JUNE NUMBER 1

— ON THE REDUCIBLENESS OF THE FUZZY LOGIC TO THE CLASSICAL LOGIC by GIOVANNI FUSCHINO

1. Fuzzy logic. 1.1 Introduction. 1.2 Fuzzy deductive apparatus. 1.3 The concept of threshold. 1.4 Fuzzy rules of inference. 2. Reducibleness to the classical logic. 2.1 The principle of excluded middle. 2.2 The concept of threshold. 2.3. Rules of inference. 2.4 The paradox of the heap of grain. 2.5 Conclusion………………………………….

1-32 — ANSELM’S ONTOLOGICAL PROOF: CONSEQUENCES IN SYSTEM THEORY by ARTURO GRAZIANO GRAPPONE

1. Introduction. 2. Proof of God’s existence by Anselm of Canterbury. 3. Use of Anselm’s proof in modern system theory………………………………………………

33-40

— THE LOGIC IN MARTIANUS CAPELLA’S DE NUPTIIS PHILOLOGIAE ET MERCURII by FRANCESO LA VECCHIA

1. Introduction. 1.2. To speak. 1.3. To expound. 1.4. To manifest. 2. The whole of the propositions. 2.1. Aristotle’s inheritance. 2.2. Stoics’ inheritance……………………...

41-70

— Rev.: VIRGILIO PACIONI O.S.A. Theoretical unity of St. Augustine De ordine (Michele Malatesta)……………………………………………………………………..

71-72

YEAR XII JULY-DECEMBER NUMBER 2

— POLYADIC PREDICATES IN TERMS OF MONADIC PREDICATES by ARTURO GRAZIANO GRAPPONE

1. Polyadic connectives. 2. Standard monadic pure predicative calculus of first order.

3. Polyadic predicates in terms of monadic predicates. 4.

€

Ki =1

n

pi and

€

Ai =1

n

pi in terms of

€

Csi =1

n

( pi ) pk ……………………………………………………………………………….

73-80

— L’IMMAGINAIRE MÉTAPHYSIQUE by EMANUELE RIVERSO……………………….. 81-88 — ESPRESSIVITÀ, SAGGEZZA DIVINA E MONDI POSSIBILI IN LEIBNIZ. PARTE PRIMA by GIUSEPPE GIANNETTO

1. La perfezione come espressione tra processo continuo e relazione originaria. 2. Fondamento e saggezza divina. 3. Mondi possibili e saggezza divina. ………………..

89-108

— LACK OF INFORMATION AND VALUE JUDGEMENTS: ON A REVIEW BY JAMES GASSER IN MATHEMATICAL REVIEWS, MAY 1999, N° 1 by MICHELE MALATESTA…………………………………………………………………………………..

109-10 — BIBLIOGRAFIA ERACLITEA E CARENZE BIBLIOGRAFICHE. A PROPOSITO DI UN VOLUME DI R. DILCHER SU ERACLITO by LUIGI SENZASONO………………...

111-24

— Rev.: SABINO PALUMBIERI Anthropology and sexuality: presuppositions for permanent education (Michele Malatesta) ……………………………………………..

125-26

— Rev.: SABINO PALUMBIERI I love therefore I am: anthropological presuppositions for the civilization of love (Michele Malatesta) ………………………………………...

126-27


13

2000

YEAR XIII JANUARY-JUNE NUMBER 1

— STANDARD SENTENCE LOGIC AS GRAPHS by ARTURO GRAZIANO GRAPPONE 1. Definitions. 2. From graphs to standard sentence logic……………………………... 1-8

— MATHEMATICAL LOGOC AND THE IDEAL OF APODICTIC SCIENCE by ANTONINO DRAGO

1. Aristotle’s ideal for a scientific theory. 2. The long search for an alternative to Aristotle’s ideal. 3. A further historical analysis: some proposals for non-apodictic logical theories. 4. Instance of non-apodictic logical theories: from Boole to intuitionism. 5. Instances of non-apodictic logical theories: after the birth of intuitionistic logic. 6. A characterization of the alternative organization. 7. A program for refunding mathematical logic. ……………………………………………………...

9-28 — PEANIAN ANALYSIS OF AMHARIC. PART ONE. AMHARIC WITHOUT INFLEXION by ROBERTO DI LELLO

1. Article. 2. Noun. 2.1. Gender. 2.2. Number. 3. Pronoun. 4. Verb conjugation. 4.1. Verb simplification. 4.2. Pronouns suffixed to verb. 4.3. Passive. 4.4. Other verbal inflexions. ………………………………………………………………………………

29-48 — SPINOZA AND MARTINEZ DE RIPALDA: NATURE AND MIRACLE by PIERO DI VONA…………………………………………………………………………………………

49-80

— Rev.: LUIGI IAMMARRONE John Duns Scotus as metaphysician and theologian. Fundamental themes of his philosophy and theology (Michele Malatesta) ……………

81-88

YEAR XIII JULY-DECEMBER NUMBER 2

— AN ALGORITHM FOR DERIVING TAUTOLOGIES OF LOGIC OF CLASSES AND RELATIONS FROM THOSE OF SENTENTIAL CALCULUS by MICHELE MALATESTA

1. Lukasiewicz’s sentence logical language. 2. Extension of Polish sentence logic language to class logic. 3. Extension of Polish sentence logic language to relation logic. 4. An algorithm for deriving w.ff.ff. of class logic from those of sentence logic. 5. An algorithm for deriving w.ff.ff. of relation logic from those of sentence logic. 6. From rigorous selected Polish sentence logic language to class logic K.j language. 7. Reductio ad unum and generalization of the above algorithms. Algorithm J. …………

89-120 — PEANIAN ANALYSIS OF AMHARIC. PART TWO. DERIVATION AND GRAMMAR ALGEBRA by ROBERTO DI LELLO

1. Simplification. 2. Grammar algebra. 3. Language without inflexion, grammatical categories and linguistic universals. 4. Derivations. 4.1. Adjective from verb (A-V). 4.2. Verb from adjective (V-A). 4.3. Abstract noun from verb (S-V). 4.4. Abstract noun from adjective (S-A). 5. Conclusion………………………………………………

121-38 — GRACE AND HISTORICITY IN THE PLAN OF DE CIVITATE DEI: A JOURNEY THROUGH REASON by GIUSEPPE FIDELIBUS

1. Happiness, the city and true religion. 2. Historical basis of grace. 3. The two cities. 4. Ecclesiastical fulfilment of truth of mediation in De civitate Dei – a reasoned step...

139-68

— ESPRESSIVITÀ, SAGGEZZA DIVINA E MONDI POSSIBILI IN LEIBNIZ. PARTE SECONDA by GIUSEPPE GIANNETTO

1. Visione statica e visione dinamica dei mondi possibili. 2. Intelletto volontà e mondi possibili. 3. Possibili essenze e verità eterne……………………………………………

169-89

— Rev.: GIOVANNI STELLI Labyrinth and horizon. Postmodernism philosophical structures (Michele Malatesta) …………………………………………………………

190-91


14

2001

YEAR XIV JANUARY-JUNE NUMBER 1

— POLYADIC INCLUSIVE DISJUNCTIVE SYLLOGISMS IN GALEN’S INSTITUTIO LOGICA by MICHELE MALATESTA…………………………………………………………..

1-8

— THE FIDEISM OF THE WITTGENSTEINIANS by ANGELO BOTTONE 1. Religious beliefs as language games. 2. Autonomy and incommensurability. 3.

Nielsen’s critique. 4. Huang’s proposal. 5. Final considerations……………………….

9-22 — AN ESSAY ON THE GENESIS OF ECONOMIC DEVELOPMENT: AN INTRODUCTION by ROCCO PEZZIMENTI…………………………………………………..

23-48

— THE LANGUAGE OF EVIDENCE IN ENGLISH LAW by EMANUELE RIVERSO 1. The word ‘evidence’. 2. Evidence in the standard of proof. 3. Hearsay and new

meanings of ‘evidence’. 4. Problems with hearsay rule. 5. Common Law exceptions to hearsay rule. 6. Concluding remarks. …………………………………………………..

49-60 — ON THE IMPORTANCE OF PHILOSOPHY IN INTERPRETING HISTORY. HYPOTHESIS OF INTERPRETATION OF THE HISTORY OF THE 20TH CENTURY by PIETRO VITIELLO…………………………………………………………………………..

61-72 — DENUNTIATION TO THE ITALIAN HEAD OF STATE CONCERNING THE ILLEGITIMATE NATURE OF THE PROCEDURE OF THE COMMISSION APPOINTED TO ASSIGN CONTRIBUTIONS TO JOURNALS OF HIGH CULTURAL VALUE………………………………………………………………………………………

73-138 — REPLY OF THE SECRETARY-GENERAL OF THE PRESIDENCY OF THE ITALIAN REPUBLIC ………………………………………………………………………

139

YEAR XIV JULY-DECEMBER NUMBER 2

— CLASSICAL LOGIC AND CHINESE LANGUAGE STRUCTURE by DAVIDE GALANTE

1. Connectives in the Chinese language. 1.1. Negative. 1.2. Logical product. 1.3. Material implication. 1.4. Double negation. 1.5. Three meanings of “or”. 2. Logic of predicate. 2.1. Constants and variables. 2.2. Quantifiers. 2.3. First-order predicate logic. 2.4. Second order predicate logic. 2.5. Syllogism. 2.6. Sorites. 3. Logic of classes. 3.1. Classes. 3.2. Class concept in Chinese thinking. 3.3. White horse paradox. 3.4. The dialogue. 3.5. Considerations. 4. Conclusion ……………………….

141-66 — WITTGENSTEIN: A RELIGIOUS THINKER? by ROCCO PITITTO

1. Wittgenstein and religion. 2. The foundation of faith. 3. Faith as passion…………... 167-180 —MONDI POSSIBILI E CALCOLO DIVINO IN LEIBNIZ by GIUSEPPE GIANNETTO

1. Dall’idea di un supermondo all’identità metafisica. 2. Adamo in generale e i mondi possibili. 3. Le nozioni generali e la visione parte-tutto. 4. Le nozioni generali come modelli essenziali. 5. Calcolo metafisico ed espressività divina. 6. Piano divino e calcolo…………………………………………………………………………………...

181-222 — Rev.: GIUSEPPE BALIDO Logical-formal structure and language analysis of

Augustinian works (Antonio Pieretti) ………………………………………………….

223-24 — Rev.: DANILO CASTELLANO Rationality of politics (Giovanni Turco)……………. 224-26


15

2002

YEAR XV JANUARY-JUNE NUMBER 1

— LOGICAL CUBE AND STEREOLOGIC by SERGIO DI GIROLAMO 1. Introduction. 2. Combinatorial figures. 2.1. Disposition without repetition

[

€

Dn.k ].2.2. Disposition without repetition [

€

Cn .k ]. 3. Dictionary. 3.1. Note. 3.2. Object language. 4. Logical dyadic relations between the dyadic functions. ‘K’, ‘L’, ‘M’, ‘X’, ‘A’, ‘B’, ‘C’, ‘D’. 5. Construction of the logical cube. 6. Logical squares. 6.1. Aristotelian and Pseudo-Aristotelian logical squares. 6.2. The functions ‘E’, ‘F’, ‘G’, ‘H’, ‘I’, ‘J’, ‘V’, ‘O’. 7. Stereorules ……………………………………………………

1-26

— LA POLEMICA SUL POSSIBILE NEL IV SECOLO A.C. [ARISTOTELE, FILONE, DIODORO CRONO, CRISIPPO] IN UNA INTERPRETAZIONE MODERNA by DARIO ETTARI………………………………………………………………………………………..

27-32 — L’ENTROPIE TOPIQUE DES PROPOSITIONS by LÉON BIRNBAUM

1. L’entropie: les loquèmes. 2. Loquèmes composés. 3. L’entropie topique dans les diverses langues. 4. Rapport entre le nombre des loquèmes et le nombre des mots de la proposition. 5. Analyses particulars………………………………………………….

33-44 — THE BULLETIN OF SAINT-PETERBURG UNIVERSITY: AN INTERESTING SECTION by LUCIANO PENNINO

1. S. S. Gussev. 2. V. I. Kobzar. 3. E. Zabulenite……………………………………… 45-48 — Rev.: SALVATORE D’ELIA An enlightened monarchy. Learning in Antonini’s age

(Michele Malatesta)……………………………………………………………………..

49-51 — Rev.: SALVATORE D’ELIA Metamorphosis and end of the Ancient World (Michele

Malatesta)……………………………………………………………………………….

51-54 — Rev.: PIERRE JORAY The logical subordination. A study of complex noun in S.

Lesniewski’s ontology (Michele Malatesta)…………………………………………...

54-56

YEAR XV JULY-DECEMBER NUMBER 2

— ON EXISTENTIAL QUANTIFIER by CARLA LA GRECA 1. On «“There is”…». 2. Forbes on the actualist interpretation of existential quantifier.

3. Forbes on finctional objects. 4. Problems arising from the introduction of finctional objects. Their solution………………………………………………………………......

57-78 — ON LOGICAL CALCULI by ASSUNTA PISANI

1. On Lukasiewicz’s third truth value. 2. A. Albano on Prior’s time and truth. 3. On different logical calculi………………………………………………………………….

79-106

— CLASSICAL LOGIC AS A FORMAL TRANSCULTURAL SYSTEM. THE CASE OF THE BANTU LANGUAGES: SWAHILI by MICHELE MALATESTA

1. Characteristics of Swahili. 2. Classical logic in Swahili. 2.1. Negation. 2.2. Logical product. 2.3. Conditional. 3. Conclusion. ………………………………………………

107-16

— FONDAMENTO E STRUTTURA ONTOLOGICA DEL TEMPO IN LEIBNIZ by GIUSEPPE GIANNETTO

1. Il tema del fondamento e il diverso. 2. L’abissalità del fondamento e l’apparire del tempo. 3. Tempo e mondo. 4. Dal tempo come ordine dei modi al tempo come struttura ontologica……………………………………………………………………...

117-45 — Rev.: ROBERTO RADICE (ed.) Old Stoics. All the fragments collected by Hans von

Arnim (Michele Malatesta) …………………………………………………………….

146-47


16

2003

YEAR XVI JANUARY-JUNE NUMBER 1

— A SET OF SIXTEEN BOOLEAN ALGEBRAS. A COMPLETE CALCULUS FOR THE INTERPRETATION OF INTER-DEFINIBILITY FROM A LOGICO-PHILOSOPHICAL VIEWPOINT by MICHELE MALATESTA

1. The Boolean algebras

€

AK ,

€

AL ,

€

AM ,

€

AX ;

€

BK ,

€

BL ,

€

BM ,

€

BX ;

€

CK ,

€

CL ,

€

CM ,

€

CX ;

€

DK ,

€

DL ,

€

DM ,

€

DX . 2. The connectives ‘

€

¬’, ‘

€

∧’, ‘

€

∨’, ‘

€

→’, ‘

€

↔’ as interpretation respectively of the unary operation ‘'’, of the binary operations ‘+’ and ‘

€

⋅’, and of the binary relations ‘≤’ and ‘=’. 3. Different logical languages as models of subalgebras of the above sixteen algebras. 4. A conclusion relevant from a philosophical standpoint...

1-14 — CESARE BECCARIA LOGICIAN by MODESTINO NUZZETTI

1. Elements of public economy. 2. On crime and punishment. 3. Beccaria’s modus tollendo tollens rigorous syllogism……………………………………………………..

15-22

— RUSSELL’S LOGIC IN TRACTATUS LOGICO-PHILOSOPHICUS by EMANUELE RIVERSO

1. Wittgenstein in the wake of Russell’s fame. 2. Russell’s pure formal logic. 3. No logical constants. 4. Evolution of logical symbolism. 5. The principle of extensionality

23-38

— Rev.: VINCENZO VALERI Written languages. History and models (Michele Malatesta)……………………………………………………………………………….

39-41

— Rev.: PIERPAOLO RUFFINENGO Ontonòesis. Introduction to metaphysics (Michele Malatesta)…………………………………………………………………….

42-44

YEAR XVI JULY-DECEMBER NUMBER 2

— CONCEPTUAL REALISM AND THE NEXUS OF PREDICATION by NINO B. COCCHIARELLA

1. Introduction. 2. Methodology. 3. Nominalization and abstract nouns. 4. The nexus of predication. 5. Conceptualism. 6. Singular reference. 7. Nominalization, deactivation and abstract nouns. 8. Conceptual realism. 9. The intensional contents of referential concepts. 10. Concluding remarks………………………………………….

45-70 — THE RELEVANCE OF PARACONSISTENT LOGIC IN EXPERIMENTAL, THEORETICAL AND FOUNDATIONAL CONTEXTS by ANTONINO DRAGO

1. The occurrence of double negated statements inside scientific theories. 2. Experimental context and Vasiliev’s paraconsistent logic. 3. Formalization of Vasiliev paraconsistent logic. 4. Theoretical context and paraconsistent logic. 5. Foundational context and paraconsistent logic. 6. Paraconsistent logic in the proof of first Gödel’s theorem. 7. Conclusion …………………………………………………………………

71-86 — CONTRADDIZIONE E MONDI POSSIBILI IN LEIBNIZ by GIUSEPPE GIANNETTO

1. Contraddizione “forte” e contraddizione “debole”. 2. Contraddizione ed Essere supremo. 3. La contraddizione in una serie …………………………………………….

87-110

— PASQUALE PELLECCHIA: IL SACERDOTE, L’AMICO, LO STUDIOSO. Commemorazione tenuta da MICHELE MALATESTA nella Sala Consiliare del

Municipio di Aquino il 7 dicembre 2003 alla presensa di S. E. Mons. RINO FISICHELLA Rettore Magnifico della Pontificia Università Lateranense, S. E. Mons. LUCA BRANDOLINI Vescovo di Sora, Aquino e Pontecorvo e le Autorità Civili e Militari…………………………………………………………………………………..

111-26 — Rev.: ST. AUGUSTINE De beata vita, ed. by GIUSEPPE BALIDO (Michele Malatesta)... 127-28 — Rev.: JOHN R. SEARLE Mind, language and society (Michele Malatesta)………….. 128-31


17

2004

YEAR XVII JANUARY-JUNE NUMBER 1

— LOGIC AND MEDICINE - ON INSTITUTIO LOGICA BY GALEN by MICHELE MALATESTA

1. Institutio logica by Galen. 2. Stoic logic. 3. Galen’s logic: dyadic logical functions. 4. Galen’s logic: polyadic logical functions. 5. Extension of Stoic logic. Extension of the first two Chrysippus’ undemonstrateds. 6. Extension of the last three Chrysippus’ undemonstrateds. 7. Reductio ad unum of Galen’s extension of Chrysippus’ undemonstrsted syllogisms. 8. Conclusion…………………………………………….

1- 24 — GALEN’S LOGIC FOR MEDICAL DIAGNOSIS. A DEVELOPMENT by ARTURO GRAZIANO GRAPPONE

1. Summary. 2. A formal theory S for standard sentence logic. 3. Proofs of polyadic inferences in S…………………………………………………………………………..

25-32

— CAN A PSYCHIATRIST DIAGNOSE INSANITY? by MIODRAG STEVANIC 1. Introduction. 2. A method of conventional psychiatry. 3. A criticism of the

conventional psychiatry methods. 4. The proof of the unacceptability of the conventional psychiatric methods. 5. Psychological quantum theory and the diagnosing of insanity. 6. Conclusion…………………………………………………..

33-46 — Rev.: ROMANA MARTORELLI VICO Medicine and philosophy. Contribution to the

history of medieval embryology in the course of XIII and XIV centuries (Michele Malatesta)……………………………………………………………………………….

47- 48

YEAR XVII JULY-DECEMBER NUMBER 2

— HAUSA GRAMMATIC AND CLASSICAL LOGIC: TRANSCULTURALITY OF SENTENTIAL CALCULUS by NUNZIA D’ANIELLO

1. Hausa grammatical characteristics: completed aspect (perfect, past, perfective); uncompleted aspect (imperfective, present, progressive continuous); aorist (subjunctive). 2. Logical connectives: negation, logical product, logical sum, exclusive disjunctive, incompatibility, material implication, material equivalence. 3. Conclusion………………………………………………………………………………

49-64 — IS OCKHAM A NOMINALIST? by GIULIANO CAPOZZI 65-76 — L’INFLUSSO DELL’ANTITESI NOMOS – PHYSIS NELLA VITA PLUTARCHEA DI ALCIBIADE SULLO SFONDO DEL SOCRATISMO E DEL PLATONISMO DELL’AUTORE by LUIGI SENZASONO

1. La Vita plutarchea di Alcibiade. 2. I moralia: 2.1 Tranquillità d’animo; 2.2 Il filosofo deve dialogare specialmente con i governanti; 2.3 Al governante ineducato…

77-90

— Rev.: GIAMBATTISTA VICO The New Science (Rocco Pezzimenti) ……………….. 91-92 — Rev.: GIUSEPPE SCELLINI The Normans in Southern Italy (Rocco Pezzimenti) ….. 92-94


18

2005

YEAR XVIII JANUARY-JUNE NUMBER 1

— THE UNIFICATION OF SCIENCES IN SCIENTIA GENERALIS OF LEIBNIZ WHERE A SCIENCE IS THE METASCIENCE OF ITS IMMEDIATE SUCCESSOR IN AN ARBORESCENT STRUCTURE ASCENDING-CONVERGING, DESCENDING-DIVERGING RESPECTIVELY by ION I. MIRITA

1. General considerations. 1.1. On formalisation. 1.2. Definition, structure and dichotomic division. 1.3. The principle of sufficient reason, the theorem of sampling, scientia generalis. 1.4. Semantics steps, intension and extension of notion. 1.5. Immediate inferences, syllogisms, syllogistic figure and modes. 1.6. Arborescent graphs. Taxonimy. 2. The elaboration of the generalized three-matrix object-property model and the modelling of Aristotelian syllogistic-inferential processes. 3. The elaborationof the generalized syllogistic hypergraph. 3.1. Characteristica universalis. 3.2. The thing in itself. The Aristotelian concept of matter. 3.3. The generalized syllogistic “hypergraph”. 3.4. The diachronic space. 3.4.1. The universal parameters of diachronic space. 3.5. The universal knowledge base. 3.6. the structural-diacronic cell. 3.7. The triangle of the three logic principles. 3.8. The logical quadrilater (square). Immediate inferences. 3.9. Inferences. 3.10. The definition. 4. Conclusion….

1- 28 — SOME PRELIMINARY OBSERVATIONS ON EFFECTIVE COMPUTABILITY IN PARALLEL UNIVERSES by SALVATORE GUCCIONE

SECTION I. Definition 1. Definition 2. SECTION II: Definition 3. Definition 4. Definition 5. Definition 6. ……………………………………………………………

29-42

— SPEECH ACTS AND LANGUAGES FOR SPECIAL PURPOSES. A SPEECH ACT APPROACH TO ESP by LORENZO FIORITO

Introduction. 1. Describing LST. 2. From LSP to ESP. 3. Introducing speech acts. 4. Speech acts for special purposes. 5. Speech acts for business communication. 6. A note to And On………………………………………………………………………….

43-59 — Rev.: VIRGILIO PACIONI Augustine of Hippo. A philosophical perspective and

actuality of a philosophy (Salvatore Spera)……………………………………………..

60 — Rev.: JOSEPH MARIA BOCHENSKI Handbook of wisdom of the ordinary world

(Giuseppe Ortosecco)…………………………………………………………………...

60-62


19

2005

YEAR XVIII JULY-DECEMBER NUMBER 2

A Special Issue for the Centenary of Russell’s On Denoting (1905-2005)

— RUSSELL’S DESCRIPTION THEORY: UNSURMOUNTABLE DIFFICULTIES FROM A RIGOROUS LOGICAL-ANALYTICAL STANDPOINT by MICHELE MALATESTA

1. Russell’s definite description theory. 2. Description theory analysis by C. J. F. Williams. 3. Equivocal use of predicates and individual variables in William’s formulae. 4. A trend towards the symbolic rigour: Reichenbach and Blanché. 5. Problems with PM and devices to overcome them. 6. Williamsian analyses of formulae of type a = ( x) (

€

ϕx ) and ( x) (

€

ϕx ) = ( x) (

€

ψx ). 7. Difficulties which emerge from William’s revision of the formulae of type ( x) (

€

ϕx ) = ( x) (

€

ψx ). 8. Russell revisited. 9. Conclusion ………………………………………………………..

63-84 — ON DENOTING: 100 YEARS. RUSSELL’S THEORY OF DESCRIPTION by EMANUELE RIVERSO

1. The issue. 2. The article on denoting. 3. Consequences. 4. Ryle’s analysis of misleading expressions. 5. Strawson on referring………………………………………

85-96

— ON REFERRING VS. ON DENOTING by MODESTINO NUZZETTI 1. Strawson’s On Referring as a critical revision of Russell’s On Denoting. 2.

Analysis of On Denoting. 3. Analysis of On Referring. 4. Russellian reply to Strowsonian criticism. 5. Russell’s standpoint and Strawson’s criticism as two different irreconcilable paradigms. 6. Towards a solution of problems: the senses of “There exists” are different and consequently their logical uses too (G. Ryle)………...

97-112 — DALLA TEORIA DEGLI ATTI LINGUISTICI ALLA FILOSOFIA DELLA MENTE. JOHN ROGER SEARLE CRITICO DI RUSSELL by ROCCO PITITTO

1. Gli sviluppi della filosofia di Searle. 2. Filosofia linguistica e filosofia del linguaggio. 3. Le regole del fare linguistico. 4. Le regole dell’atto illocutivo. 5. Una filosofia della mente. 6. Searle e le descrizioni definite individuali: prerequisiti. 7. Searle e le descrizioni definite individuali: il superamento della concezione russelliana

113-30 — POSTILLE A ON DENOTING DI RUSSELL by GIUSEPPE ORTOSECCO

1. Introduzione. 2. Cos’è un individuo? 3. Esistenza. 4. L’antinomia delle classi……... 131-36 — Rev.: STEFANO DONATI Foundations of mathematics in Bertrand Russell’s

logicism (Giuseppe Ortosecco)………………………………………………………….

137-38


20

2006

YEAR XIX JANUARY-JUNE NUMBER 1

— TRANSCULTURAL PRAGMATIC LOGIC. PERSONAL PRONOUNS IN UPRIVER HALKOMELEM by MICHELE MALATESTA

1. Upriver Halkomelem. 2. Personal pronoun in Upriver Halkomelem. 3. From personal pronoun grammar to transcultural personal pronoun logic. 4. Transcultural pragmatic personal pronoun logic. 4.1. Minimal transcultural logic of 3rd person pronouns.4.2. Minimal transcultural logic of 2nd person pronouns. 4.3. Minimal transcultural logic of 1st person pronouns. 5. Conclusion……………………………...

1-14 — DOWNFALL OF DIALOG BETWEEN THEOLOGIANS AND SCIENTISTS? by EUGENE KINDLER

1. Introduction. 1.1. What a Catholic scientist said. 1.2. Some principles of science reasoning. 2. Real time and idea of God. 2.1. Time, movement and gravitation. 2.2. God, space, time and gravitation. 3. Infinity and idea of God. 3.1. Notion of infinity in logic and physics. 3.2. God and infinity. 3.3. The first conclusion. 4. God and uncertainty. 4.1. Heisenberg’s uncertainty Principle and its consequences. 4.2. Uncertainty Principle and immaterial beings. 5. Newton and dictatorial God. 6. Some observations on the discussion following the paper. 7. Conclusions …………………..

15-30 — MEMORY IN ST. AUGUSTINE’S PHILOSOPHY AS AN “ANTICIPATION” OF MEMORY IN DUBOIS’ COMPUTING ANTICIPATORY PERSPECTIVE by MICHELE MALATESTA

1. Introduction. 2. Role of memory in De quantitate animae. 3. Analysis of memory in the Confessiones. 3.1. Metaphysical context of enquiry into memory. 3.2. From physical to psychological memory. 3.3. Vastness and powers of memory. 3.4. Memory and reminiscence: an ancestor of the difference between RAM and sequential memory. 3.5. Visual, auditory, gustatory, olfactory and tactile memory. 3.6. Memory of past, present and future: self-consciousness, intentionality, self-referentiality. 3.7. From sense memory to memory without images. 3.8. Inclusive, recursive function of memory. 4. Analysis of memory in De Trinitate. 5. Conclusion..

31-42 — DURATION, INTELLECTUAL LANGUAGE AND INTUITION IN BERGSON’S THOUGHT by SARA TAGLIENTE

1. Language starting point in La politesse, in Essai sur les données immédiates de la conscience and Le rire. 2. Language and untranslatable change……………………….

43-67

— Rev.: VIRGILIO PACIONI Augustine of Hippo. A historical perspective and a topical philosophy – GIUSEPPE BALIDO Augustinian paths – Fragments of philosophical enquires (Carmela Covino)……………………………………………………………..

68-72 — Rev.: PIERRE GASSENDI Ad librum D. Edoardi Herberti Angli, De veritate, epistola

edit. FRANCESCO DE CAROLIS (Piero Di Vona)…………………………………………

72-73 — Rev.: PLUTARCH Natural phenomenon causes edit. LUIGI SENZASONO (Michele

Malatesta)……………………………………………………………………………….

73-74


21

2006

YEAR XIX JULY-DECEMBER NUMBER 2

— THE LOGICAL RESEARCH BY GIUSEPPE PEANO THROUGH THE ANALYSIS OF HIS WORKS (1888-1894) by GIUSEPPE SICURANZA

1. Calcolo geometrico secondo l’Ausdehnungslehere di H. Grassmann, preceduto dale operazioni della logica deduttiva (1888). 1.2. Arithmetices principia nova methodo exposita (1889). 1.3. I principi di geometria logicamente esposti (1889). 1.4. Démonstration de l’intégrabilité des équantions différentielles ordinaries (1890); Principii di logica matematica (1891). 1.5. Formole di logica matematica (1891). 1.6. Sul concetto di numero (1891)………………….………………………………………

75-100 — ON PERFORMATIVES IN LEGAL DISCOURSE by LORENZO FIORITO

1. Doing lawful things with words. 2. Features of legal discourse. 3. Performatives in legal discourse. 4. Written legal performatives. 5. Law abiding performatives. 6. Conclusion……………………………………………………………………………...

101-12 — TRANSCENDENCE AND LIMIT. CUSANUS AND PROCLUS’ INHERITANCE by GIOVANNI CONFORTI

De docta ignorantia. De conicturis. Commentarium in Parmenidem by Proclus Diadocus. De quaerendo Deum………………………………………………………………..

113-22

— SERIE E RAPPORTO NELLA CRITICA DELLA RAGION PURA DI KANT by GIUSEPPE GIANNETTO

1. Il concetto di serie nella terza antinomia e nella seconda analogia dell’esperienza della Critica della ragion pura. 2. Serie e posizione. 3. Incontro fra serie. 4. Serie e reversibilità……………………………………………………………………………..

123-46 — Rev.: ION I. MIRITA The metaformalization of human intelligence (Giuseppe Balido) 147-51


22

2007

YEAR XX JANUARY-JUNE NUMBER 1

— THE LOGIC IN THE DIFFERENT EDITIONS OF GIUSEPPE PEANO’S FORMULARIO MATHEMATICO (1894-1908) AND IN ITS WORKS OF INTEGRATION by GIUSEPPE SICURANZA

1.1. Notationes de logique mathématique (1894) as introduction to Formulaire de mathematiques, I (1895). 1.2. Formulaire de mathematiques, I (1895). Review to Grundgesetze der Arithmetik by Frege (1895). 1.3. Studii di logica matematica (1897). 1.4. Formulaire de mathematiques, II, 1 (1897). 1.5. Sulle formule di logica (1899). 1.6. From Formulaire de mathematiques, III (1901) to Formulario mathematico (1908). 1.7 Super theorema de Cantor-Bernstein et additione (1906)…...

1-26 — OCKHAM’S PHILOSOPHIA NATURALIS AND QUAESTIONES IN LIBROS PHYSICORUM IN THE LIGHT OF PRIOR’S TENSE LOGIC by GABRIELLA GALBIATI

The measurement of time. Perception. Time and soul. Continuous time, discrete time. Instant. A final comparison between Aristotle and Ockham. A collation: Ockham and Prior. Prior’s “Ockhamist solution” ……………………………………………………

27-38 — A SHORT NOTE ON MULTIPLE CONCLUSION LOGIC IN PHYSICAL SCIENCE by SALVATORE GUCCIONE

39-48

— LA POESIA METAFISICA DI GIORGIO CADONI E DI GIOVANNI CAMPUS. DUE GRANDI ANIME SARDE A CONFRONTO by MICHELE MALATESTA

1. Cadoni e Campus. 2. La poesia metafisica di Giorgio Cadoni. 3. La poesia metafisica di Giovanni Campus. 4. Conclusione………………………………………..

49-56

— Rev.: PIER PAOLO OTTONELLO On Heaven and Earth (Michele Malatesta)……… 57-58 — Rev.: MASSIMO GIULIANI Auschwitz in Jewish Thought (Mario Santoro) ………… 58-62 — Rev.: MASSIMO GIULIANI Christianity and Shoà (Mario Santoro) ………………... 62-65

YEAR XX JULY-DECEMBER NUMBER 2

— HYPERINCURSIVE PROOF THEORY by ARTURO GRAZIANO GRAPPONE 1. Summary. 2. Hyperincursive Proof Theory. 3. Useful statements on first order

predicative calculus. 4. Hyperincursive procedure to decide a K wff. 5. Practical examples of automatic decisions in K. 6. Automatic decisions of elementary arithmetic theorems. ……………………………………………………………………

67-82 — RICHET’S FEEBLE REDUCTIONISM by SALVATORE GUCCIONE and ANNA RUFFILLI.. 83-94 — I MODI TRASCENDENTALI NELLA CRITICA DELLA RAGION PURA DI KANT by PIERO DI VONA . ………………………………………………………………………….

95-110

— PETER FREDERICK STRAWSON IN MEMORIAM – STRAWSON ON GILBERT RYLE by GIUSEPPINA RANDAZZO

1. First part. 2. Second Part. …………………………………………………………… 111-115 — Rev.: JOHN ELLIS McTAGGART Time Unreality (Gabriella Galbiati)……………… 116-118 — Rev.: FIORENZA TOCCAFONDI Being and its meanings (Mario Santoro)…………. 118-138

index of issues - metalogicon.org · metalogicon (2008) xxi, 1-2. index of issues 4 1991 year iv...

Documents