|
Valentin Goranko
Valentin Feodorov Goranko (born 22 September 1959 in Sofia, Bulgaria) is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University. Education and academic career Goranko studied mathematics (M.Sc. 1984) and obtained Ph.D. in Mathematical Logic at the Faculty of Mathematics and Informatics of the Sofia University "St. Kliment Ohridski" in 1988. Before joining Stockholm University in 2014, he has had several academic positions at universities in Bulgaria (until 1992), South Africa (1992-2009), Denmark (2009-2014) and Sweden (since 2014) and has taught a wide variety of courses in Mathematics, Computer Science, and Logic. Research fields Goranko has a broad range of research interests in the theory and applications of Logic to artificial intelligence, multi-agent systems, philosophy, computer science, and game theory, where he has published 4 books and over 140 research papers and chapters in handboo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sofia University
Sofia University, "St. Kliment Ohridski" at the University of Sofia, ( bg, Софийски университет „Св. Климент Охридски“, ''Sofijski universitet „Sv. Kliment Ohridski“'') is the oldest higher education institution in Bulgaria. Founded on 1 October 1888, the edifice of the university was constructed between 1924 and 1934 with the financial support of the brothers Evlogi Georgiev and Hristo Georgiev (whose sculptures are now featured on its façade) and has an area of 18,624 m2 and a total of 324 premises. The university has 16 faculties and three departments, where over 21,000 students receive their education. The current rector is Anastas Gerdzhikov. It has been consistently ranked as the top university in Bulgaria according to national and international rankings, being constantly among the best four percent of world universities according to ''QS World University Rankings''. History The university was founded on 1 October 1888 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
International Union Of History And Philosophy Of Science
The International Union of History and Philosophy of Science and Technology is one of the members of the International Science Council (ISC). It was founded in 1955 by merging the ''International Union of History of Science'' (IUHS) and the ''International Union of Philosophy of Science'' (IUPS), and consists of two divisions, the ''Division of History of Science and Technology'' (DHST) and the ''Division of Logic, Methodology and Philosophy of Science and Technology'' (DLMPST). Structure and governance The IUHPST does not have its own membership structure and governance, but is an umbrella organisation for its two Divisions, DHST and DLMPST. It is governed by the officers of the two Divisions in a rotational system where the Presidency of the Union rotates between the Presidents of the two Divisions. The current IUHPST President is Nancy Cartwright (President of DLMPST), the current IUHPST Vice President is Marcos Cueto (President of DHST), the current IUHPST Secretary General is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logicians
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 premises in a topic-neutral way. When used as a countable noun, the term "a logic" refers to a logical formal system that articulates a proof system. Formal logic contrasts with informal logic, which is associated with informal fallacies, critical thinking, and argumentation theory. While there is no general agreement on how formal and informal logic are to be distinguished, one prominent approach associates their difference with whether the studied arguments are expressed in formal or informal languages. Logic plays a central role in multiple fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises together with a conclusion. Premises and conclusions are usually und ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bulgarian Logicians
Bulgarian may refer to: * Something of, from, or related to the country of Bulgaria * Bulgarians, a South Slavic ethnic group * Bulgarian language, a Slavic language * Bulgarian alphabet * A citizen of Bulgaria, see Demographics of Bulgaria * Bulgarian culture * Bulgarian cuisine, a representative of the cuisine of Southeastern Europe See also * * List of Bulgarians, include * Bulgarian name, names of Bulgarians * Bulgarian umbrella, an umbrella with a hidden pneumatic mechanism * Bulgar (other) * Bulgarian-Serbian War (other) The term Bulgarian-Serbian War or Serbian-Bulgarian War may refer to: * Bulgarian-Serbian War (839-842) * Bulgarian-Serbian War (853) * Bulgarian-Serbian wars (917-924) * Bulgarian-Serbian War (1330) * Bulgarian-Serbian War (1885) * Bulgarian-Serbi ... {{disambiguation Language and nationality disambiguation pages ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
1959 Births
Events January * January 1 - Cuba: Fulgencio Batista flees Havana when the forces of Fidel Castro advance. * January 2 - Lunar probe Luna 1 was the first man-made object to attain escape velocity from Earth. It reached the vicinity of Earth's Moon, and was also the first spacecraft to be placed in heliocentric orbit. * January 3 ** The three southernmost atolls of the Maldive Islands, Maldive archipelago (Addu Atoll, Huvadhu Atoll and Fuvahmulah island) United Suvadive Republic, declare independence. ** Alaska is admitted as the 49th U.S. state. * January 4 ** In Cuba, rebel troops led by Che Guevara and Camilo Cienfuegos enter the city of Havana. ** Léopoldville riots: At least 49 people are killed during clashes between the police and participants of a meeting of the ABAKO Party in Kinshasa, Léopoldville in the Belgian Congo. * January 6 ** Fidel Castro arrives in Havana. ** The International Maritime Organization is inaugurated. * January 7 – The United States reco ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and university textbooks, and English language teaching and learning publications. It also publishes Bibles, runs a bookshop in Cambridge, sells through Amazon, and has a conference venues business in Cambridge at the Pitt Building and the Sir Geoffrey Cass Sports and Social Centre. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wiley (publisher)
John Wiley & Sons, Inc., commonly known as Wiley (), is an American multinational publishing company founded in 1807 that focuses on academic publishing and instructional materials. The company produces books, journals, and encyclopedias, in print and electronically, as well as online products and services, training materials, and educational materials for undergraduate, graduate, and continuing education students. History The company was established in 1807 when Charles Wiley opened a print shop in Manhattan. The company was the publisher of 19th century American literary figures like James Fenimore Cooper, Washington Irving, Herman Melville, and Edgar Allan Poe, as well as of legal, religious, and other non-fiction titles. The firm took its current name in 1865. Wiley later shifted its focus to scientific, technical, and engineering subject areas, abandoning its literary interests. Wiley's son John (born in Flatbush, New York, October 4, 1808; died in East Orange, N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
EACSL
The European Association for Computer Science Logic (EACSL), founded 14 July 1992, . Description of goals from EACSL official website. is an international professional non-profit organization representing the interests of its members and promoting logic in the areas of and education. It supports both basic and application oriented research to advance the connections between basic research and industrial applications. The current president is Prof. Thomas Schwentick ( |
Springer Publishing
Springer Publishing Company is an American publishing company of academic journals and books, focusing on the fields of nursing, gerontology, psychology, social work, counseling, public health, and rehabilitation (neuropsychology). It was established in 1951 by Bernhard Springer, a great-grandson of Julius Springer, and is based in Midtown Manhattan, New York City. History Springer Publishing Company was founded in 1950 by Bernhard Springer, the Berlin-born great-grandson of Julius Springer, who founded Springer-Verlag (now Springer Science+Business Media). Springer Publishing's first landmark publications included ''Livestock Health Encyclopedia'' by R. Seiden and the 1952 ''Handbook of Cardiology for Nurses''. The company's books soon branched into other fields, including medicine and psychology. Nursing publications grew rapidly in number, as Modell's ''Drugs in Current Use'', a small annual paperback, sold over 150,000 copies over several editions. Solomon Garb's ''Labo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Association For Logic, Language And Information
The Association for Logic, Language and Information (FoLLI) is an international, especially European, learned society. It was founded in 1991 "to advance the practicing of research and education on the interfaces between Logic, Linguistics, Computer Science and Cognitive Science and related disciplines." The academic journal Journal of Logic, Language and Information (JoLLI) is published under its auspices; it co-ordinates summer schools such as the European Summer School in Logic, Language and Information (ESSLLI), the ''North American Summer School in Logic, Language, and Information'' (NASSLLI), and the ''International Conference and Second East-Asian School on Logic, Language and Computation'' (EASLLC); and it awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Governance The current president of FoLLI is Larry Moss (since 2020). The current management board consists of Larry Moss (president), Sonja Smets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scandinavian Logic Society
The Scandinavian Logic Society, abbreviated as SLS, is a not-for-profit organization with objective to organize, promote, and support logic-related events and other activities of relevance for the development of logic-related research and education in the Nordic Region of Europe. The society is a member of the Division of Logic, Methodology and Philosophy of Science and Technology. History The SLS was founded on 20 August 2012, at the 8th Scandinavian Logic Symposium in Roskilde, Denmark. Today the society has its seat in Stockholm, Sweden. It unites academics from Denmark, Finland, Iceland, Norway and Sweden working primarily on theory and applications of logic to computer science, philosophy, mathematics and linguistics. Presidents The SLS is led by Executive Committee. The presidents of the SLS: * 2012-2017 Dag Normann * 2017–present Valentin Goranko Main activities Scandinavian Logic Symposium (SLSS) The Society organizes regular Scandinavian Logic Sympo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Game Theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has applications in all fields of social science, as well as in logic, systems science and computer science. Originally, it addressed two-person zero-sum games, in which each participant's gains or losses are exactly balanced by those of other participants. In the 21st century, game theory applies to a wide range of behavioral relations; it is now an umbrella term for the science of logical decision making in humans, animals, as well as computers. Modern game theory began with the idea of mixed-strategy equilibria in two-person zero-sum game and its proof by John von Neumann. Von Neumann's original proof used the Brouwer fixed-point theorem on continuous mappings into compact convex sets, which became a standard method in game theory and mathem ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> International Union Of History And Philosophy Of Science")
