pdf數理邏輯

❶ 《哲學研究》pdf下載在線閱讀全文，求百度網盤雲資源

《哲學研究》（[奧地利] 路德維希·維特根斯坦）電子書網盤下載免費在線閱讀

鏈接: https://pan..com/s/1F--MdW2NrpWAy537cCoLpw

書名：哲學研究

作者：[奧地利] 路德維希·維特根斯坦

譯者：李步樓

豆瓣評分：9.2

出版社：商務印書館

出版年份：1996-12-1

頁數：358

內容簡介：

路德維希·維特根斯坦（1889—1951），哲學家、數理邏輯學家，語言哲學的奠基人之一。《哲學研究》是體現維特根斯坦後期思想的著作，在其生前並未出版。全書有兩部分，以札記的形式構成。其論述大致是圍繞著語言活動而進行，認為不可能存在理想語言，強調語言的實際運用，將語言的意義看作是語言的使用，以「語言游戲」、「家族相似」、「生活形式」等新的概念顛覆了其前期有關語言、心靈和世界的思想。本書極大地影響了二十世紀西方主流哲學的日常語言學派。

❷ 《語言學與現代科學》pdf下載在線閱讀，求百度網盤雲資源

《語言學與現代科學》（陳明遠）電子書網盤下載免費在線閱讀

鏈接：https://pan..com/s/1u9dCDMh1BaV79_0EQZPw7A

書名：語言學與現代科學

作者：陳明遠

豆瓣評分：8.1

出版社：四川人民出版社

出版年份：1983

內容簡介：

目錄

第一章 從語文學到語言科學

第二章 語言學的歷史觀點和比較方法

第三章 語言分析和結構主義

第四章 語言、數理邏輯、信息科學

第五章 語言學的現代數學方法

第六章 語言的物理、生理、心理實驗

第七章 語言學和計算機

❸ 銆婄畻鏈鍩虹銆媝df涓嬭澆鍦ㄧ嚎闃呰伙紝奼傜櫨搴︾綉鐩樹簯璧勬簮

銆婄畻鏈鍩虹銆嬶紙G.寮楅浄鏍礆級鐢靛瓙涔︾綉鐩樹笅杞藉厤璐瑰湪綰塊槄璇

閾炬帴錛歨ttps://pan..com/s/1nmPaG3Zawh9nXdG36Q7v5w

涔﹀悕錛氱畻鏈鍩虹

浣滆咃細G.寮楅浄鏍

璇戣咃細鐜嬭礬

璞嗙摚璇勫垎錛8.6

鍑虹増紺撅細鍟嗗姟鍗頒功棣

鍑虹増騫翠喚錛1998-8

欏墊暟錛123

鍐呭圭畝浠嬶細

寮楅噷寰烽噷甯屄峰紬闆鋒牸錛1848鈥1925錛夛紝寰峰浗钁楀悕鐨勬暟瀛﹀躲侀昏緫瀛﹀跺拰鍝插﹀訛紝鏁扮悊閫昏緫鍜屽垎鏋愬摬瀛︾殑濂犲熀浜恆傚湪鏈涔︿腑錛屽紬闆鋒牸浠庨昏緫瀛︾殑瑙掑害錛岃︾粏鍦扮爺絀朵簡鈥滄暟鈥濊繖涓瀵規暟瀛︽潵璇磋嚦涓哄熀鏈鍜屾牴鏈鐨勬傚康錛屽挨鍏舵槸瀵逛簬浠涔堟槸0銆佷粈涔堟槸1絳夐棶棰橈紝浣滀簡閫忚緹鐨勯槓閲娿傚悓鏃訛紝浠栬繕瀵瑰瘑灝斻佸悍寰風瓑浜哄湪榪欎簺闂棰樹笂鐨勯敊璇璁鴻堪鍋氫簡鎵瑰垽鎬х殑鍒嗘瀽銆傘婄畻鏈鍩虹銆嬩腑鏈夎稿氭繁鍒葷殑鍝插︽帰璁錛屾瘮濡傝佹妸蹇冪悊瀛︾殑涓滆タ涓庨昏緫鐨勪笢瑗垮尯鍒寮錛屾妸涓昏傜殑涓滆タ涓庡㈣傜殑涓滆タ鍖哄埆寮錛涘繀欏誨湪鍙ュ瓙鑱旂郴涓璇㈤棶璇鍙ョ殑鎰忚皳錛涘繀欏繪敞鎰忔傚康鍜屽硅薄鐨勫尯鍒絳夛紝瀵瑰悗涓栧獎鍝嶅緢澶с

❹ 《從邏輯的觀點看》pdf下載在線閱讀，求百度網盤雲資源

《從邏輯的觀點看》（蒯因）電子書網盤下載免費在線閱讀

資源鏈接：

鏈接：https://pan..com/s/1_cSDTnMIBSrBp3ho5R11GA

書名：從邏輯的觀點看

作者：蒯因

譯者：江天驥

豆瓣評分：9.1

出版社：上海譯文出版社

出版年份：1987年9月

頁數：167頁

內容簡介：

本書是W.V.O．蒯因的第一部哲學論著，由九篇論文結集而成。文中提出了一系列具有獨創性和挑戰性的觀點，如關於何物存在的本體論許諾的學說，關於共相（抽象物）問題上唯名論和實在論之爭的折中解決方案（概念論），關於經驗論「兩個教條」（分析命題和綜合命題之分與還原論）的批評和整體主義的知識觀，關於意義和指稱的區別和對「意義」觀念的否定，關於數理邏輯的新基礎（NF）以及對內涵（模態）邏輯的批評等，都曾引起廣泛而熱烈的爭論，對當代西方哲學的發展產生了重大的影響。

作者簡介：

蒯因（1908—2000），20世紀下半葉最有影響的美國著名哲學家、數理邏輯學家、現代分析哲學的主要代表人物之一。1932年畢業於哈佛大學哲學系，獲博士學位。1932—1933年赴歐洲（維也納、布拉格、華沙等地）做訪問研究。1936年開始作為講師在哈佛大學任教，1941年升為副教授。第二次世界大戰期間曾在美國海軍服役，戰後返回哈佛大學任教，1948年升為教授。此後多次在其他大學講學，1978年退休。主要哲學著作有：《從邏輯的觀點看》（1953）、《語詞和對象》（1960）、《悖論方法及其他論文》（1966）、《本體論的相對性及其他論文》（1969）、《邏輯哲學》（1970）、《理論和事物》（1981）等。

❺ 《邏輯學導論》pdf下載在線閱讀，求百度網盤雲資源

《邏輯學導論》（熊明輝）電子書網盤下載免費在線閱讀

鏈接：https://pan..com/s/18ETuLICq4652peJoE8fnog

書名：邏輯學導論

作者：熊明輝

豆瓣評分：7.3

出版社：復旦大學出版社

出版年份：2011-9

頁數：271

內容簡介：

《邏輯學導論》講述了：亞里士多德說：「人是社會的動物」。作為社會動物，在社會生活中人必須經常進行論證。證成、反駁和說服是論證的三大目標，而說服是論證的最終目標。亞里土多德認為，說服有三種工具：理性（Iogos）、情感（pathos）和道德（ethos）。邏輯學家給出了評，價論證好壞的標准，認為只有建立在好論證之基礎上的主張或行動才是合乎理性的。自亞里士多德提出詞項邏輯以來，邏輯學家曾提出了眾多邏輯類型。萊布尼茲夢想導致了符號邏輯產生，追求普遍性和必然性曾一度成為邏輯學家的最高目標。哥德爾不完全性定理給數理邏輯學家一個沉重打擊，現實生活對數理邏輯家們的理想提出了挑戰，、非形式邏輯學家群體應運而生。將這一歷史脈絡體現在當代邏輯學導論教科書之中，把傳統邏輯與現代邏輯、形式邏輯與非形式羅輯：演繹邏輯與歸納邏輯有機整合在一起，正是《邏輯學導論》的基本宗旨。

《邏輯學導論》適合哲學專業、邏輯學專業及其他專業作為專業基礎課教材使用，也適合作為全校性通識課的「羅輯學概論」教材。

作者簡介：

熊明輝，1968年生於貴州省遵義市務川仡佬族苗族自治縣，邏輯學博士。現任教育部人文社會科學重點研究基地中山大學邏輯與認知研究所副所長，中山大學哲學系教授和邏輯學專業博士生導師，中山大學法學院理論法學專業博士生導師，中山大學法學理論與法律實踐研究中心研究員，荷蘭阿姆斯特丹大學言語交際、論辯理論與修辭學系客座研究員，加拿大溫莎大學推理、論辯與修辭研究中心訪問研究員，教育部「新世紀優秀人才支持計劃」入選者，廣東省高等學校「干百十工程」省級培養對象入選者，中國邏輯學會形式邏輯專業委員會副主任，中國邏輯學會法律邏輯專業委會副主任。主要研究領域非形式邏輯、法律邏輯、論辯理論等。代表性論文《論法律邏輯中的推論規則》（載《中國社會科學》2008年第4期；Soctal Sciences in China，Autumn，2009）和《自然語言論證評價的邏輯分析》（載《哲學研究》2006年第10期）。代表性專著：《訴訟論證：訴訟博奔的邏輯分析》（中國政法大學出版社，2010年）。

❻ 《邏輯與演繹科學方法論導論》pdf下載在線閱讀，求百度網盤雲資源

《邏輯與演繹科學方法論導論》（〔波蘭〕塔爾斯基(Tarski.A.)）電子書網盤下載免費在線閱讀

資源鏈接：

鏈接：https://pan..com/s/182sDc58hsC24orBafmT0RQ

書名：邏輯與演繹科學方法論導論

作者：〔波蘭〕塔爾斯基(Tarski.A.)

譯者：周禮全

豆瓣評分：8.1

出版社：商務印書館

出版年份：1963-4-1

頁數：258

內容簡介：

本書是波蘭著名哲學家、邏輯學家塔爾斯基（1902—1983）的一部數理邏輯入門著作。全書分為兩部分。第一部分用非嚴格的形式化方法論述了語句演算、類和關系及演繹方法的基本理論。第二部分論述了邏輯和方法論在構造教學理論中的應用，構造了一個以邏輯為基礎的實算術公理系統。本書通過介紹數理邏輯的一些最重要的概念，討論了數理邏輯的進展和意義，試圖在兼顧嚴格性的同時，為普通讀者提供了一個清晰的可理解的現代邏輯思潮觀念。