|
Aaron Sloman
Aaron Sloman is a philosopher and researcher on artificial intelligence and cognitive science. He held the Chair in Artificial Intelligence and Cognitive Science at the School of Computer Science at the University of Birmingham, and before that a chair with the same title at the University of Sussex. Since retiring he is Honorary Professor of Artificial Intelligence and Cognitive Science at Birmingham. He has published widely on philosophy of mathematics, epistemology, cognitive science, and artificial intelligence; he also collaborated widely, e.g. with biologist Jackie Chappell on the evolution of intelligence. Early life and education Sloman was born in 1936, in the town of Que Que (now called Kwe Kwe), in what was then Southern Rhodesia (now Zimbabwe). His parents were Lithuanian Jews who emigrated to Southern Rhodesia around the turn of the century. Sloman describes himself as an atheist. He went to school in Cape Town between 1948 and 1953, then earned a degree in Mathema ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
IJCAI
The International Joint Conference on Artificial Intelligence (IJCAI) is the leading conference in the field of Artificial Intelligence. The conference series has been organized by the nonprofit IJCAI Organization since 1969, making it the oldest premier AI conference series in the world.Jointly sponsored by the IJCAI Organization and the hosting national AI societies. It was held biennially in odd-numbered years from 1969 to 2015 and annually starting from 2016. More recently, IJCAI was held jointly every four years with ECAI since 2018 and PRICAI since 2020 to promote collaboration of AI researchers and practitioners. IJCAI covers a broad range of research areas in the field of AI. It is a large and highly selective conference, with only about 20% or less of the submitted papers to be accepted after peer review in 5 years leading to 2022. Lower acceptance rate usually means better quality papers and higher reputation conference. Awards Three research awards are given at each I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logicist
In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano. Overview Dedekind's path to logicism had a turning point when he was able to construct a model satisfying the axioms characterizing the real numbers using certain sets of rational numbers. This and related ideas convinced him that arithmetic, algebra and analysis were reducible to the natural numbers plus a "logic" of classes. Furthermore by 1872 he had concluded that the naturals themselves were reducible to sets and mappings. It is likely that other logicists, most importantly Frege, were also guided by the new theories of the real ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fregean
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932), Bertrand Russell (1872–1970), and, to some extent, Ludwig Wittgenstein (1889–1951) introduced his work to later generations of philosophers. Frege is widely considered to be the greatest logician since Aristotle, and one of the most profound philosophers of mathematics ever. His contributions include the History of logic#Rise of modern logic, development of modern logic in the ''Begriffsschrift'' and work in the foundations of mathematics. His book the ''Foundations of Arithmetic'' is the seminal text of the logicist project, and is cited by Michael Dummett as where to pinpoint ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Epistemology
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Epistemologists study the nature, origin, and scope of knowledge, epistemic justification, the rationality of belief, and various related issues. Debates in epistemology are generally clustered around four core areas: # The philosophical analysis of the nature of knowledge and the conditions required for a belief to constitute knowledge, such as truth and justification # Potential sources of knowledge and justified belief, such as perception, reason, memory, and testimony # The structure of a body of knowledge or justified belief, including whether all justified beliefs must be derived from justified foundational beliefs or whether justification requires only a coherent set of beliefs # Philosophical skepticism, which questions the possibili ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Meta-ethics
In metaphilosophy and ethics, meta-ethics is the study of the nature, scope, and meaning of moral judgment. It is one of the three branches of ethics generally studied by philosophers, the others being normative ethics (questions of how one ought to be and act) and applied ethics (practical questions of right behavior in given, usually contentious, situations). While normative ethics addresses such questions as "What should I do?", evaluating specific practices and principles of action, meta-ethics addresses questions such as "What ''is'' goodness?" and "How can we tell what is good from what is bad?", seeking to understand the assumptions underlying normative theories. Another distinction often made is that normative ethics involves first-order or substantive questions; meta-ethics involves second-order or formal questions. Some theorists argue that a metaphysical account of morality is necessary for the proper evaluation of actual moral theories and for making practical moral d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Science
Philosophy of science is a branch of philosophy concerned with the foundations, methods, and implications of science. The central questions of this study concern what qualifies as science, the reliability of scientific theories, and the ultimate purpose of science. This discipline overlaps with metaphysics, ontology, and epistemology, for example, when it explores the relationship between science and truth. Philosophy of science focuses on metaphysical, epistemic and semantic aspects of science. Ethical issues such as bioethics and scientific misconduct are often considered ethics or science studies rather than the philosophy of science. There is no consensus among philosophers about many of the central problems concerned with the philosophy of science, including whether science can reveal the truth about unobservable things and whether scientific reasoning can be justified at all. In addition to these general questions about science as a whole, philosophers of science consi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Philosophy Of Mind
Philosophy of mind is a branch of philosophy that studies the ontology and nature of the mind and its relationship with the body. The mind–body problem is a paradigmatic issue in philosophy of mind, although a number of other issues are addressed, such as the hard problem of consciousness and the nature of particular mental states.Siegel, S.: ''The Contents of Visual Experience''. New York: Oxford University Press. 2010.Macpherson, F. & Haddock, A., editors, ''Disjunctivism: Perception, Action, Knowledge'', Oxford: Oxford University Press, 2008. Aspects of the mind that are studied include mental events, mental functions, mental property, mental properties, consciousness and neural correlates of consciousness, its neural correlates, the ontology of the mind, the nature of cognition and of thought, and the relationship of the mind to the body. Dualism (philosophy of mind), Dualism and monism are the two central schools of thought on the mind–body problem, although nuanced vie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sussex University
, mottoeng = Be Still and Know , established = , type = Public research university , endowment = £14.4 million (2020) , budget = £319.6 million (2019–20) , chancellor = Sanjeev Bhaskar , vice_chancellor = Sasha Roseneil , head_label = Visitor , head = King Charles III , students = 19,413 (2019–20) , undergrad = 14,619https://www.sussex.ac.uk/webteam/gateway/file.php?name=19-20-digest---undergraduate-student-summary.pdf&site=381 , postgrad = 4,794https://www.sussex.ac.uk/webteam/gateway/file.php?name=19-20-digest---postgraduate-student-summary.pdf&site=381 , city = Falmer, Brighton , state = East Sussex , country = England , campus = Campus , colours = White and Flint , mascot = Badger , affiliations = Universities UK, BUCS, Sepnet, SeNSS, Association of Commonwealth Universities, NCUB , website = , logo = University of Sussex Logo.svg , footnotes = , academic_staff = 2,010 (2020) , administrative_staff = 1,100 The University of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Hull
The University of Hull is a public research university in Kingston upon Hull, a city in the East Riding of Yorkshire, England. It was founded in 1927 as University College Hull. The main university campus is located in Hull and is home to the Hull York Medical School, a joint initiative with the University of York. Students are served by Hull University Union. The first chancellor of the university was Michael Willoughby, 11th Baron Middleton, Lord Middleton (1954–1969), followed by Henry Cohen, 1st Baron Cohen of Birkenhead, Lord Cohen (1970–1977), Richard Wilberforce, Baron Wilberforce, Lord Wilberforce (1978–1994), and Robert Armstrong, Baron Armstrong of Ilminster, Lord Armstrong (1994–2006). Virginia Bottomley (Baroness Bottomley of Nettlestone) was installed as the current chancellor in April 2006. History University College The foundation stone of University College Hull, then an external college of the University of London, was laid in 1927 by Prince Albert, th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
A Priori And A Posteriori
("from the earlier") and ("from the later") are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. knowledge is independent from current experience (e.g., as part of a new study). Examples include mathematics,Some associationist philosophers have contended that mathematics comes from experience and is not a form of any a priori knowledge () tautologies, and deduction from pure reason.Galen Strawson has stated that an argument is one in which "you can see that it is true just lying on your couch. You don't have to get up off your couch and go outside and examine the way things are in the physical world. You don't have to do any science." () knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge. The terms originate from the analytic methods found in ''Organon'', a collection of works by Aristotle. Prior analytic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
