• Uwagi w sprawie miejsca nauki polskiej w świecie
    Prakseologia 141 (141): 125-140. 2001.
  • Review (review)
    Theoria 76 (4): 375-379. 2010.
  •  34
    Editorial
    Polish Journal of Philosophy 1 (1): 5-6. 2007.
  •  2
    Scepticism and logic
    History of Philosophy & Logical Analysis 1. 1998.
    This paper offers a logical analysis of scepticism. It is shown that dogmatism, academism and scepticism as characterized by Sextus Empiricus in Outlines of Pyrronism form a variety of views which can be ordered by an interpretation of the classical logical square. In particular, scepticism appears as a conjunction of the negations of dogmatism and academism. The next problem concerns the logic proper for scepticism. Logic based on a dual of the consequence operation is proposed as satisfying in…Read more
  • Naturalizm i geneza logiki
    Filozofia Nauki 20 (4). 2012.
    This paper examines the problem of genesis of logic in the light of naturalism as a philosophical view about the nature of knowledge and reality. The main difficulty of naturalism as far as applied to logic consists in reconciling genetic empiricism (all cognition starts with experience) and abstract nature of logic. Anti-naturalism (Platonism, for example) maintains than empiricism is not able to explain how logical theorems as a priori assertions are accumulated. To defend naturalism one shoul…Read more
  • The theses of theonomic ethics
    Diametros 134-137. 2006.
  • Polska na III Kongresie GAP
    Przeglad Filozoficzny - Nowa Seria 24 (4): 175-177. 1997.
  •  39
    Kazimierz Twardowski is most commonly known as the teacher of great philosophers and the founder of the Lvov-Warsaw School. As a philosopher however, he is primarily remembered for his famous comparison of the contents and objects of various kinds of representations, a comparison that remains enshrined in European thought.In fact, he attained important results in many other branches of philosophy as well. For instance, in ontology, he laid the foundations for the modern theory of formal structur…Read more
  •  60
    Meaningfulness, Meaninglessness and Language-Hierarchies
    Polish Journal of Philosophy 4 (2): 35-47. 2010.
    Roman Ingarden offered a strong criticism of the verifiability principle in his talk delivered at the 8th International Congress in Prague in 1934. Ingarden argued that this principle either violates itself or smuggles a hidden sense. In this paper I show that Ingarden-like arguments about smuggled (but this pejorative qualification is skipped) meaning apply not only to the criteria of sense, but also to other semantic assertions within language-hierarchies in Tarski’s sense.
  • Books received (review)
    with Adam Morawiec and Martti Kuokkanen
    Studia Logica 52 (1): 169-179. 1993.
  • Tadeusz Kotarbinski-Reism and Science
    Poznan Studies in the Philosophy of the Sciences and the Humanities 74 47-52. 2001.
  • Powrót do teorii dwóch prawd
    Filozofia Nauki 1. 2006.
    The theory of double truth was proposed in the Middle Age by Latin Averroists as a solution of how the relation between faith (religion, theology) and reason (science) should be conceived. In general terms, according to this theory, there are two orders, one dictated by faith and second dictated by reason. Both are epistemologically different and cannot mutually remain in logical relations such as (in)consistency or entailment. This view was used in the Middle Ages for defending science against …Read more
  •  24
    In Defense of the Semantic Definition of Truth
    Synthese 126 (1-2): 67-90. 2001.
  •  31
    Metamathematics and philosophy
    Bulletin of the Section of Logic 12 (4): 221-225. 1983.
    The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wa…Read more
  •  25
    Against truth as coherence
    Logic and Logical Philosophy 4 (n/a): 41-51. 1996.
    Traces of the coherence theory are to be found in rationalistic epistemological systems of Leibniz, Spinoza, Kant, Hegel and Fichte. However, the first fully advanced coherence theory was proposed by Bradley in XIX century. He was followed by Joachim, McTaggart, and particularly Blanshard and Ewing. The coherence theory later became popular among philosophers of the Vienna Circle, notably in Neurath and Hempel.2 Recently, Rescher tried to combine various proposals of coherentists into one fully …Read more
  •  36
    The Cognitive Relation in a Formal Setting
    Studia Logica 86 (3): 479-497. 2007.
    This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism…Read more
  • O postmodernizmie (krytycznie)
    Przeglad Filozoficzny - Nowa Seria 25 (1): 141-160. 1998.
  •  32
    The book under review consists of two parts closely related to its title: I Introduction to Deontic Logic, II Logic and Legal Systems. Each part is divided into chapters. Part I brings the following units: 1. The Language of Logic and the Possibility of Deontic Logic; 2. Paradoxes and Shortcomings of Logic; 3. Norm-propositions, Conditional Norms, and Defeasibility, and Part II the following: 4. Legal Systems and Legal Validity; 5. Legal Indeterminacy: Normative Gaps and Conflicts of Norms; 6...
  • Wajsberg on the first-order predicate calculus for the finite models
    Bulletin of the Section of Logic 2 (2): 107-111. 1973.
  • Logique et heuristique
    Zagadnienia Naukoznawstwa 24 (95-96): 501-511. 1988.
  •  63
    An abstract approach to bivalence
    Logic and Logical Philosophy 23 (1): 3-14. 2014.
    This paper outlines an approach to the principle of bivalence based on very general, but still elementary, semantic considerations. The principle of bivalence states that “every sentence is either true or false”. Clearly, some logics are bivalent while others are not. A more general formulation of uses the concept of designated and non-designated logical values and is captured by “every sentence is either designated or non-designated”. Yet this formulation seems trivial, because the concept of n…Read more
  •  65
    Truth and Consistency
    Axiomathes 20 (2-3): 347-355. 2010.
    This paper investigates relations between truth and consistency. The basic intuition is that truth implies consistency, but the reverse dependence fails. However, this simple account leads to some troubles, due to some metalogical results, in particular the Gödel-Malcev completeness theorem. Thus, a more advanced analysis is required. This is done by employing the concept of ω-consistency and ω-inconsistency. Both concepts motivate that the concept of the standard truth should be introduced as w…Read more
  •  6
  • First-order logic:(philosophical) pro and contra
    In Vincent F. Hendricks (ed.), First-Order Logic Revisited, Logos. pp. 369--398. 2004.
  •  51
    What is formal in formal semantics?
    Dialectica 58 (3). 2004.
    Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpret…Read more
  • Realizm
    Przeglad Filozoficzny - Nowa Seria 34 (2): 17-26. 2000.