
8Different Arguments, Same Problems. Modal ambiguity and tricky substitutionsEuropean Journal of Analytic Philosophy 13 (2): 522. 2017.I illustrate with three classical examples the mistakes arising from using a modal operator admitting multiple interpretations in the same argument; the flaws arise especially easily if no attention is paid to the range of propositional variables. Premisses taken separately might seem convincing and a substitution for a propositional variable in a modal context might seem legitimate. But there is no single interpretation of t…Read more

11Manyvalued logic of informal provability: A nondeterministic strategyReview of Symbolic Logic 11 (2): 207223. 2018.

26Narration in judiciary factfinding: a probabilistic explicationArtificial Intelligence and Law 26 (4): 345376. 2018.Legal probabilism is the view that juridical factfinding should be modeled using Bayesian methods. One of the alternatives to it is the narration view, according to which instead we should conceptualize the process in terms of competing narrations of what happened. The goal of this paper is to develop a reconciliatory account, on which the narration view is construed from the Bayesian perspective within the framework of formal Bayesian epistemology.

2Applications of Formal Philosophy. The Road Less Travelled (edited book)Springer International Publishing AG. 2017.

17Rafał Urbaniak. Leśniewski’s Systems of Logic and Foundations of MathematicsPhilosophia Mathematica. forthcoming.

12A Note on Identity and Higher Order QuantificationAustralasian Journal of Logic 7 4855. 2009.It is a commonplace remark that the identity relation, even though not expressible in a firstorder language without identity with classical settheoretic semantics, can be defined in a language without identity, as soon as we admit secondorder, settheoretically interpreted quantifiers binding predicate variables that range over all subsets of the domain. However, there are fairly simple and intuitive higherorder languages with settheoretic semantics in which the identity relation is not def…Read more

4On representing sentential connectives of Lesniewski's elementary PrototheticJournal of Logic and Computation 16 (4): 451460. 2006.After a brief presentation of Le[s]niewski's notation for 1 and 2place sentential connectives of protothetic, the article discusses a method of extending this method to n [≥] 3place sentential connectives. Such a method has been hinted at by Luschei, but in fact, no general effective method of defining such functors has been clearly and explicitly given. The purpose of this article is to provide such a method.

44Lesniewski's Systems of Logic and Foundations of MathematicsSpringer. 2013.With material on his early philosophical views, his contributions to set theory and his work on nominalism and higherorder quantification, this book offers a uniquely expansive critical commentary on one of analytical philosophy’s great ...

1Some nonstandard interpretations of the axiomatic basis of Leśniewski’s OntologyAustralasian Journal of Logic 4 (5): 1346. 2006.We propose an intuitive understanding of the statement: ‘an axiom determines the meaning of the only specific constant occurring in it.’ We introduce some basic semantics for functors of the category s/n,n of Lesniewski’s Ontology. Using these results we prove that the popular claim that the axioms of Ontology determine the meaning of the primitive constants is false.
PhilPapers Editorships
9 more