References
Cf.I. M. Bocheński,Z. historii logiki zdań modalnych, Lwów 1938, p. 23.
Cf.J. Łukasiewicz,Aristotle's Syllogistic from the Standpoint of Modern Formal Logic, Oxford 1957, chapter VI § 36.
I give a wider treatment of Aristotle's modal syllogistic and of modal syllogistic based on Leśniewski's ontology in my separate paperSyllogistic of Systems of Modal Ontology.
Cf. for exampleJ. Łukasiewicz,Aristotle's Syllogistic… orStorrs McCall,Aristotle's Modal Syllogisms, Amsterdam 1963.
I base myself onJ. Słupecki's paperSt. Leśniewski's Calculus of Names, Studia Logica, v. III, Warszawa 1955.
Cf.Łukasiewicz,Aristotle's Syllogistic…, chapter VI, § 36.
Cf.Łukasiewicz,System logiki modalnej in his bookZ zagadnień logiki i filozofii, Warszawa, PWN, 1961
The rules for refuted expressions are: The rule of substitution for refuted expressions: if β is refuted and β is substituted for α then α is refuted. The rule of detachment of refuted expressions: if α→β is admitted and β is refuted then α is refuted.
Additional information
The paper was presented in Wrocław at the seminar of professorJ. Słupecki. I am very grateful to professor Słupecki for his valuable remarks and hints which proved so advantageous to me.
Rights and permissions
About this article
Cite this article
Lebiediewa, S. The systems of modal calculus of names. I. Stud Logica 24, 83–103 (1969). https://doi.org/10.1007/BF02134302
Issue Date:
DOI: https://doi.org/10.1007/BF02134302