安裝中文字典英文字典辭典工具!
安裝中文字典英文字典辭典工具!
|
- Welcome To Carnap!
Carnap is a free and open software framework written in Haskell for teaching and studying formal logic Carnap powers logic courses at dozens of colleges and universities around the world
- Rudolf Carnap - Wikipedia
Paul Rudolf Carnap ( ˈkɑːrnæp ; [20] German: [ˈkaʁnaːp]; 18 May 1891 – 14 September 1970) was a German philosopher who was active in Europe before 1935 and in the United States thereafter He was a major member of the Vienna Circle and an advocate of logical positivism
- Rudolf Carnap - Stanford Encyclopedia of Philosophy
Rudolf Carnap (1891–1970) was one of the best-known philosophers of the twentieth century
- Carnap, Rudolf | Internet Encyclopedia of Philosophy
Since ordinary language is ambiguous, Carnap asserted the necessity of studying philosophical issues in artificial languages, which are governed by the rules of logic and mathematics
- Carnap project | Center for Biology and Society
By the end of Carnap’s life, few philosophers knew firsthand of his importance or of his early work, and many of his works went out of print But by 1980 a group of philosophers using historical methods began to rediscover and reevaluate Carnap’s philosophy
- Rudolf Carnap | Logical Positivist, German-American Philosopher . . .
Rudolf Carnap was a German-born American philosopher of logical positivism He made important contributions to logic, the analysis of language, the theory of probability, and the philosophy of science
- GitHub - Carnap Carnap: A formal logic framework that runs in the . . .
Carnap is a free and open-source Haskell framework for creating and exploring formal languages, logics, and semantics It lets you quickly and straightforwardly define languages, construct logics for those languages, and stipulate their semantics
- Rudolf Carnap
A page of information about Rudolf Carnap (1891 - 1970), German philosopher of language and science
|
|
|