Grzegorz Malinowski

Learn More
The aim el the article is to outline the historical background and the present state of the methodology of deductive systems invented by Alfred Tarski in the thirties. Key notions of Tax'ski's methodology are presented and discussed through the recent development of the original concepts ~nd ideas. w 1. Consequence operations Philosophical intuit ions which(More)
The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5].The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses(More)
In the paper a distinguished three-valued construction by Kleene [2] is analyzed. The main feature of the Kleene’s logic is that the “third” logical value of indefiniteness or neutrality is not independent since it may turn into either of two classical values, i.e. truth or falsity. The second property of K3 is that no formula is its tautology and,(More)
Dedicated to Professor Ryszard Wójcicki on his successive birthday Referential matrix semantics of R. Wójcicki [5] and [4] is extended to cover the class of all structural propositional calculi. L is used to denote a propositional language (an algebra of formulas with L being the set of its elements. C is a structural consequence operation and just in that(More)
In contemporary philosophy of language, mind and action, propositions are not only senses of sentences with truth conditions but also contents of conceptual thoughts like illocutionary acts and attitudes that human agents perform and express. It is quite clear that propositions with the same truth conditions are not the senses of the same sentences, just as(More)