|
Ajdukiewicz
Kazimierz Ajdukiewicz (12 December 1890 – 12 April 1963) was a Polish philosopher and logician, a prominent figure in the Lwów–Warsaw school of logic. He originated many novel ideas in semantics. Among these was categorial grammar, a highly flexible framework for the analysis of natural language syntax and (indirectly) semantics that remains a major influence on work in formal linguistics. Ajdukiewicz's fields of research were model theory and the philosophy of science. Biography Ajdukiewicz was born in 1890 in Tarnopol in Galicia, which at that time, due to Partitions of Poland, was annexed by Austria-Hungary (The Austrian Partition). His father was a senior civil servant. Ajdukiewicz studied at the University of Lwów, and lectured there, as well as in Warsaw and in Poznań. He received his PhD degree with the thesis on Kant's philosophy of space. He was Rector of the University of Poznań from 1948 to 1952. He was one of the founders of the journal ''Studia Logica'' in i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Categorial Grammar
Categorial grammar is a family of formalisms in natural language syntax that share the central assumption that syntactic constituents combine as functions and arguments. Categorial grammar posits a close relationship between the syntax and semantic composition, since it typically treats syntactic categories as corresponding to semantic types. Categorial grammars were developed in the 1930s by Kazimierz Ajdukiewicz and in the 1950s by Yehoshua Bar-Hillel and Joachim Lambek. It saw a surge of interest in the 1970s following the work of Richard Montague, whose Montague grammar assumed a similar view of syntax. It continues to be a major paradigm, particularly within formal semantics. Basics A categorial grammar consists of two parts: a lexicon, which assigns a set of types (also called categories) to each basic symbol, and some type inference rules, which determine how the type of a string of symbols follows from the types of the constituent symbols. It has the advantage that the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ternopil
Ternópil ( uk, Тернопіль, Ternopil' ; pl, Tarnopol; yi, טאַרנאָפּל, Tarnopl, or ; he, טארנופול (טַרְנוֹפּוֹל), Tarnopol; german: Tarnopol) is a city in the west of Ukraine. Administratively, Ternopil serves as the administrative centre of Ternopil Oblast and has the status of city of oblast significance. Located on the banks of the Seret (river), Seret. Until 1944, it was known mostly as Tarnopol. Ternopil is one of the major cities of Western Ukraine and the historical regions of Galicia (Central Europe), Galicia and Podolia. It is served by Ternopil Airport. The population of Ternópil was estimated at . Administrative status The city is the administrative center of Ternopil Oblast (Oblasts of Ukraine, region), as well as of surrounding Ternopil Raion (Raions of Ukraine, district) within the oblast. It hosts the administration of Ternopil urban hromada, one of the hromadas of Ukraine. Demography According to Ukrainian Census (200 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
University Of Lwów
The University of Lviv ( uk, Львівський університет, Lvivskyi universytet; pl, Uniwersytet Lwowski; german: Universität Lemberg, briefly known as the ''Theresianum'' in the early 19th century), presently the Ivan Franko National University of Lviv ( uk, Львівський національний університет імені Івана Франка, Lvivskyi natsionalnyi universitet imeni Ivana Franka), is the oldest institution of higher learning in present-day Ukraine dating from 1661 when John II Casimir, King of Poland, granted it its first royal charter. Over the centuries, it has undergone various transformations, suspensions, and name changes that have reflected the geopolitical complexities of this part of Europe. The present institution can be dated to 1940. It is located in the historic city of Lviv in Lviv Oblast of Western Ukraine. History Polish–Lithuanian Commonwealth The university was founded on January 20, 1661, when King John ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Studia Logica
''Studia Logica'' (full name: Studia Logica, An International Journal for Symbolic Logic), is a scienific journal publishing papers employing formal tools from Mathematics and Logic. The scope of papers published in Studia Logica covers all scientific disciplines; the key criterion for published papers is not their topic but their method: they are required to contain significant and original results concerning formal systems and their properties. The journal offers papers on topics in general logic and on applications of logic to methodology of science, linguistics, philosophy, and other branches of knowledge. The journal is published by the Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer publications. History The name Studia Logica appeared for the first time in 1934, but only one volume (edited by Jan Łukasiewicz) has been published that time. It had been published continuously since December 1953 in changing frequency by the Polish Acade ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semantics
Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ..., linguistics and computer science. History In English, the study of meaning in language has been known by many names that involve the Ancient Greek word (''sema'', "sign, mark, token"). In 1690, a Greek rendering of the term ''semiotics'', the interpretation of signs and symbols, finds an early allusion in John Locke's ''An Essay Concerning Human Understanding'': The third Branch may be called [''simeiotikí'', "semiotics"], or the Doctrine of Signs, the most usual whereof being words, it is aptly enough ter ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mojżesz Presburger
Mojżesz Presburger, or Prezburger, (December 27, 1904 – 1943) was a Polish Jewish mathematician, logician, and philosopher. He was a student of Alfred Tarski, Jan Łukasiewicz, Kazimierz Ajdukiewicz, and Kazimierz Kuratowski. He is known for, among other things, having invented Presburger arithmetic as a student in 1929 – a form of arithmetic in which one allows induction but removes multiplication, to obtain a decidable theory. He was born in Warsaw on December 27, 1904 to Abram Chaim Prezburger and Joehwet Prezburger (née Aszenmil). On May 28, 1923, he got his matura from the . On October 7, 1930, he was awarded master in mathematics from Warsaw University. He died in the Holocaust, probably 1943.; Here: p.48, footnote 128 In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named after him to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical comput ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logology (science Of Science)
Logology is the study of all things related to science and its practitioners—philosophical, biological, psychological, societal, historical, political, institutional, financial. The term "logology" is back-formed from the suffix "-logy", as in "geology", "anthropology", etc., in the sense of the "study of science"., , English-language summary: pp. 741–43 note 3 The word "logology" provides grammatical variants not available with the earlier terms "science of science" and "sociology of science", such as "logologist", "logologize", "logological", and "logologically". The emerging field of metascience is a subfield of logology. Origins The early 20th century brought calls, initially from sociologists, for the creation of a new, empirically based science that would study the scientific enterprise itself. The early proposals were put forward with some hesitancy and tentativeness. The new meta-science would be given a variety of names, including "science of knowledge", "science o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
History Of Philosophy In Poland
The history of philosophy in Poland parallels the evolution of philosophy in Europe in general. Overview Polish philosophy drew upon the broader currents of European philosophy, and in turn contributed to their growth. Some of the most momentous Polish contributions came, in the thirteenth century, from the Scholastic philosopher and scientist Vitello, and, in the sixteenth century, from the Renaissance polymath Nicolaus Copernicus. Subsequently, the Polish–Lithuanian Commonwealth partook in the intellectual ferment of the Enlightenment, which for the multi-ethnic Commonwealth ended not long after the 1772-1795 partitions and political annihilation that would last for the next 123 years, until the collapse of the three partitioning empires in World War I. The period of Messianism, between the November 1830 and January 1863 Uprisings, reflected European Romantic and Idealist trends, as well as a Polish yearning for political resurrection. It was a period of maximalis ... [...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 Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... 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 Country, 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 uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Austria-Hungary
Austria-Hungary, often referred to as the Austro-Hungarian Empire,, the Dual Monarchy, or Austria, was a constitutional monarchy and great power in Central Europe between 1867 and 1918. It was formed with the Austro-Hungarian Compromise of 1867 in the aftermath of the Austro-Prussian War and was dissolved shortly after its defeat in the First World War. Austria-Hungary was ruled by the House of Habsburg and constituted the last phase in the constitutional evolution of the Habsburg monarchy. It was a multinational state and one of Europe's major powers at the time. Austria-Hungary was geographically the second-largest country in Europe after the Russian Empire, at and the third-most populous (after Russia and the German Empire). The Empire built up the fourth-largest machine building industry in the world, after the United States, Germany and the United Kingdom. Austria-Hungary also became the world's third-largest manufacturer and exporter of electric home appliances, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dordrecht
Dordrecht (), historically known in English as Dordt (still colloquially used in Dutch, ) or Dort, is a city and municipality in the Western Netherlands, located in the province of South Holland. It is the province's fifth-largest city after Rotterdam, The Hague, Zoetermeer and Leiden, with a population of . The municipality covers the entire Dordrecht Island, also often called ''Het Eiland van Dordt'' ("the Island of Dordt"), bordered by the rivers Oude Maas, Beneden Merwede, Nieuwe Merwede, Hollands Diep, and Dordtsche Kil. Located about 17 km south east of Rotterdam, Dordrecht is the largest and most important city in the Drechtsteden and is also part of the Randstad, the main conurbation in the Netherlands. Dordrecht is the oldest city in Holland and has a rich history and culture. Etymology The name Dordrecht comes from ''Thuredriht'' (circa 1120), ''Thuredrecht'' (circa 1200). The name seems to mean 'thoroughfare'; a ship-canal or -river through which ships were pulle ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conventionalism
Conventionalism is the philosophical attitude that fundamental principles of a certain kind are grounded on (explicit or implicit) agreements in society, rather than on external reality. Unspoken rules play a key role in the philosophy's structure. Although this attitude is commonly held with respect to the rules of grammar, its application to the propositions of ethics, law, science, biology, mathematics, and logic is more controversial. Linguistics The debate on linguistic conventionalism goes back to Plato's ''Cratylus'' and the philosophy of Kumārila Bhaṭṭa. It has been the standard position of modern linguistics since Ferdinand de Saussure's ''l'arbitraire du signe'', but there have always been dissenting positions of phonosemantics, recently defended by Margaret Magnus and Vilayanur S. Ramachandran. Philosophy of mathematics The French mathematician Henri Poincaré was among the first to articulate a conventionalist view. Poincaré's use of non-Euclidean geometries ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
