Greg Restall (born 11 January 1969) is an Australian philosopher and Professor of
Philosophy at the
University of St Andrews
(Aien aristeuein)
, motto_lang = grc
, mottoeng = Ever to ExcelorEver to be the Best
, established =
, type = Public research university
Ancient university
, endowment ...
.
He is a fellow of the
Australian Academy of the Humanities
The Australian Academy of the Humanities was established by Royal Charter in 1969 to advance scholarship and public interest in the humanities in Australia. It operates as an independent not-for-profit organisation partly funded by the Australia ...
.
Restall is known for his research on
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...
and
theories of meaning.
After working at the University of Melbourne for years he was appointed the Shelby Cullom David Professor of Philosophy at the University of St Andrews.
Books
* ''An Introduction to Substructural Logics'', Routledge, 2000
* ''Logic'', Routledge, 2006
* ''Logical Pluralism'', with
Jc Beall
Jc Beall is an American philosopher, formerly the Board of Trustees Distinguished Professor of Philosophy at the University of Connecticut. As of late 2020 Beall holds the O’Neill Family Chair of Philosophy at the University of Notre Dame.
W ...
, Oxford University Press, 2006
See also
*
Substructural logic
In logic, a substructural logic is a logic lacking one of the usual structural rules (e.g. of classical and intuitionistic logic), such as weakening, contraction, exchange or associativity. Two of the more significant substructural logics are r ...
*
Validity (logic)
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to hav ...
*
Logical harmony Logical harmony, a name coined by Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.
Overview
The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given ...
*
Relevance logic Relevance logic, also called relevant logic, is a kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related. They may be viewed as a family of substructural or modal logics. It is generally, but ...
References
External links
Personal WebsiteGreg Restall at the University of Melbournehttps://www.st-andrews.ac.uk/philosophy/news/title-114634-en.php
Australian philosophers
Analytic philosophers
Christian philosophers
Philosophy academics
Living people
Academic staff of the University of Melbourne
University of Queensland alumni
1969 births
Philosophers of language
Australian logicians
Philosophers of logic
Academic staff of Macquarie University
Academic staff of the Australian National University
{{Australia-academic-bio-stub