Australian logicians

Australian logicians refer to a group of philosophers and mathematicians from Australia who have made significant contributions to the field of logic. This includes areas such as mathematical logic, formal semantics, proof theory, and philosophical logic. The term can also refer to the study and analysis of logical systems and principles within the context of Australian academia. Some notable Australian logicians include: - **Graham Priest**: Known for his work in paraconsistent logic and dialetheism, which involves reasoning with contradictions.