John Locke LecturesThe John Locke Lectures are a series of annual lectures in philosophy given at the University of Oxford. Named for British philosopher John Locke, the Locke Lectures are the world's most prestigious lectures in philosophy, and are among the world's most prestigious academic lectures. They were established in 1950 by the bequest of Henry Wilde. Another comparable lecture series is the Gifford Lectures, which are delivered annually at several universities in Scotland.
Temporal logicIn logic, a temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems.
University of OxfordThe University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world’s second-oldest university in continuous operation. It grew rapidly from 1167, when Henry II prohibited English students from attending the University of Paris.
Peter GeachPeter Thomas Geach (29 March 1916 – 21 December 2013) was a British philosopher who was Professor of Logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and the theory of identity. Early lifePeter Geach was born in Chelsea, London, on 29 March 1916. He was the only son of George Hender Geach and his wife Eleonora Frederyka Adolfina (née Sgonina).
Balliol College, OxfordBalliol College ( BAY-lee-əl) is a constituent college of the University of Oxford, England. Founded in 1263 by nobleman John I de Balliol, it has a claim to be the oldest college in Oxford and the English-speaking world. With a governing body of a master and around 80 fellows, the college's main buildings are located on Broad Street with additional buildings to the east in Jowett Walk and Holywell Manor.
LogicStudy of correct reasoningLogic studies valid forms of inference like modus ponens.Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory.J. J. C. SmartJohn Jamieson Carswell Smart (16 September 1920 – 6 October 2012) was a British-Australian philosopher who was appointed as an Emeritus Professor by the Australian National University. He worked in the fields of metaphysics, philosophy of science, philosophy of mind, philosophy of religion, and political philosophy. He wrote several entries for the Stanford Encyclopedia of Philosophy.
PhilosophyStudy of general and fundamental questionsThe statue The Thinker by Auguste Rodin is a symbol of philosophical thought.
Karl PopperSir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator.Intensional logicIntensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.J. N. FindlayJohn Niemeyer Findlay (; 25 November 1903 – 27 September 1987), usually cited as J. N. Findlay, was a South African philosopher.University of CanterburyThe University of Canterbury (Māori: Te Whare Wānanga o Waitaha) is a public research university based in Christchurch, New Zealand. It was founded in 1873 as Canterbury College, the first constituent college of the University of New Zealand. It is New Zealand's second-oldest university.
Temporal logicIn logic, a temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something"). Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems.University of OxfordThe University of Oxford is a collegiate research university in Oxford, England. There is evidence of teaching as early as 1096, making it the oldest university in the English-speaking world and the world’s second-oldest university in continuous operation. It grew rapidly from 1167, when Henry II prohibited English students from attending the University of Paris.Peter GeachPeter Thomas Geach (29 March 1916 – 21 December 2013) was a British philosopher who was Professor of Logic at the University of Leeds. His areas of interest were philosophical logic, ethics, history of philosophy, philosophy of religion and the theory of identity. Early lifePeter Geach was born in Chelsea, London, on 29 March 1916. He was the only son of George Hender Geach and his wife Eleonora Frederyka Adolfina (née Sgonina).Balliol College, OxfordBalliol College ( BAY-lee-əl) is a constituent college of the University of Oxford, England. Founded in 1263 by nobleman John I de Balliol, it has a claim to be the oldest college in Oxford and the English-speaking world. With a governing body of a master and around 80 fellows, the college's main buildings are located on Broad Street with additional buildings to the east in Jowett Walk and Holywell Manor.LogicStudy of correct reasoningLogic studies valid forms of inference like modus ponens.Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory.J. J. C. SmartJohn Jamieson Carswell Smart (16 September 1920 – 6 October 2012) was a British-Australian philosopher who was appointed as an Emeritus Professor by the Australian National University. He worked in the fields of metaphysics, philosophy of science, philosophy of mind, philosophy of religion, and political philosophy. He wrote several entries for the Stanford Encyclopedia of Philosophy.PhilosophyStudy of general and fundamental questionsThe statue The Thinker by Auguste Rodin is a symbol of philosophical thought.Karl PopperSir Karl Raimund Popper (28 July 1902 – 17 September 1994) was an Austrian–British philosopher, academic and social commentator.Intensional logicIntensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.J. N. FindlayJohn Niemeyer Findlay (; 25 November 1903 – 27 September 1987), usually cited as J. N. Findlay, was a South African philosopher.University of CanterburyThe University of Canterbury (Māori: Te Whare Wānanga o Waitaha) is a public research university based in Christchurch, New Zealand. It was founded in 1873 as Canterbury College, the first constituent college of the University of New Zealand. It is New Zealand's second-oldest university.*As an Amazon Associate I earn from qualifying purchases.