The Australasian Journal of Logic

0.0 (0 ratings)

Philosophy

38 views

Explore cutting-edge research and theoretical advancements in logic from Australasia and beyond. A leading journal for scholars and enthusiasts.

Articles in this Journal

Fitchean Ignorance and First-order Ignorance

In a seminal work Fine (2018), Fine classifies several forms of ignorance, among which are Fitchean ignorance, first-order ignorance, Rumsfeld ignorance, and second-order ignorance. It is shown that there are some relationships among some of them, in...

View Full Research

Formulas of one variable in KR

This note corrects an error in an earlier paper (Urquhart 2023)claiming that the algebra of three-variable formulas in the logic KR is finite.Here we show that the algebra of one-variable formulas in this logic is infinite.

View Full Research

On anticut rules: classical, FDE-based and intuitionistic logics

In this paper, we investigate certain intricacies and peculiarities of the proof theory of deduction-refutation systems (D-R systems, henceforth), namely systems integrating theorems and antitheorems of a given logic. Our primary focus is on establis...