跳到主要內容

書籍推薦: 笛卡兒 拜拜

書籍推薦: 笛卡兒 拜拜

適合閱讀: 程式開發人員


這本《笛卡兒,拜拜!》裡,德福林花了開頭三分之一的篇幅綜觀了邏輯的發展歷史。這部分是一般邏輯教科書裡不會著墨的題材,而德福林把它表達得十分容易理解,尤其一些令人感覺困擾的邏輯基本概念,例如條件句與實質蘊涵的來歷,都有極具啟發性的交代。在學校裡上邏輯、理則學或任何思想方法課程的學生,都應看看本書提供的歷史背景,一定會讓你體會到那些看似枯燥無味的邏輯規律的深刻意義,以及它們存在的理由。

  本書中間的三分之一,德福林介紹了喬姆斯基的笛卡兒式語言學,也就是把數理邏輯手法搬到語言學的革命性成就。以及在這種氛圍與進路下,人工智能研究的一些成果與遭遇的障礙。本書對語言學的學生,會有增加瞭解喬姆斯基理論背景與來歷的功效。至於研究人工智能的學生,也會從這類檢討中發現有些構想無法完全落實的根源,恐怕不是純粹技術的問題,而是涉及深刻的方法論的立場。

  德福林在本書的最後三分之一,逐漸導入了脈絡對於理解人類心智活動的重要性,他介紹了與喬姆斯基語言學旨趣相異的社會語言學,強調了溝通所應扮演的角色。他也用了一些篇幅介紹「情境邏輯」的最基本觀點,普通這種程度的書籍裡幾乎不會包含這麼前沿的內容。

  在最後一章裡,作者總結檢討了笛卡兒理性方法的限制,而終於說出了「笛卡兒,拜拜!」。這種新的領悟是在一個高的、綜觀全局的層次,並不是說在每一個細節上,暫時脫離脈絡的作法都要揚棄。事實上在適當的範圍,在一定的侷限裡,傳統的邏輯仍然是可靠有效的工具,我們切莫在倒洗澡水時,把盆裡的嬰兒一起倒掉了


引言: 數學研究推動中心

留言

這個網誌中的熱門文章

Window CE BootLoader for x86 ( MS-DOS )

CEPC X86採用了幾種開機方式,其中一種運用MS-DOS當成Booting OS 利用 Windows CE Platform builder所提供的 Image disk 製作一片 1.44M的開機片,內有提供 LoadCepc.exe命令作為 CE Boot Loader 不過首先得先將磁片的開機檔案移植到嵌入式設備的CF / FLASH / DISK 上 以下提供傳統的MS-DOS開機系統製作方式供學員參考 : 使用MS-DOS開機片開機後, 透過 Fdisk.exe與 Format.com 工具製作 Windows CE Boot Loader 過程如下 圖一: MS-DOS開機 圖2: 開機後,載入 Fdisk執行 Partition切割工作 圖3: 選擇第一項,建立 Partition 圖4: 選擇第一項,建立 DOS Partition 圖5: 詢問是否全部切割成單一PARTITION,若CF過大可回答 N 自行切割大小 圖6: 輸入欲切割的Partition大小 圖7:切割後,按一下鍵盤的 esc鍵回到檢視畫面,就可看到所切割的Partition大小 圖8: esc回到主選單後,在選擇 [2] 設定啟動磁區 圖9: 選擇欲啟動作業系統的Partition 圖10: 選擇後應該會看到 Partition清單上的 Status欄位出現 A 字元 圖11: 切割後 重新啟動系統 圖12: 格式化所切割的新磁區 圖13: 格式化完成後 便可將 Platform Builder所製作的 Windows CE Bootloader磁片內容複製到C:內 重新開機後,進入c:> 輸入 C:>Loadcepc /L:800x600x16 nk.bin 便可載入nk.bin到記憶體 並且以800x600的解析度執行 windows ce 作業系統

WES 7 Image 維護與更新--基本概念介紹

在佈署完成的WES-7設備上,日常運作主要的工作就是維持設備的正常運作以及WES-7 Image的更新作業 更新WES-7 Image通常有兩種方式 : 1. Online Image Maintenance 2. Offline Image Maintenance 如下圖所示 圖片來源: Microsoft 對於更新維護作業來說,採用方法1當然是最輕鬆的作法,但是可能面臨到device 使否是在connected的狀態之下而有所關聯,在不具備connected的device狀態下就只能採用第二種作法 office maintenance了 因此也較為複雜 在採用office image maintenance的時候首先就必須要知道目前的 image包含了那些套件 因此會牽涉到 Image的掛載與Image內的Package list的議題,通常我們會使用ImageX工具與Package Scanner工具去獲取Image的package info. ImageX : 用於掛載與擷取WES-7 Device的Image pkgscn : 用於取得Image的套件資訊以及搜尋更新套件(含移除過舊元件功能) 當然另外一個重點就是我們如何取得微軟最新的 WES-7 Packages ? 現在已經可以透過微軟最新的 WEDU ( Windows Embedded Developer Update )來主動更新 Developer的Package資訊了,可參考另一篇 WEDU介紹

使用Hyper-V Client 安裝 Compact 2013 Image

Windows Compact 2013內針對 PC-Based 模擬開發環境需求的開發人員提供了CEPC BSP與 Hyper-v/Virtual PC Client 的 CE Loader ,image 開發人員 將建置完成的 Compact 2013 image 透過網路bootp直接下載到 Hyper-V client 啟動,大致方法如下: 0. 提供 Hyper-V 服務的主機事先於 Hyper-V Manager 建立 Virtual Network Switch ( External ) 1. 透過 Hyper-V / Virtual PC 建立新的 虛擬機器 2. 使用 Compact 2013 所提供的 Virtal Hard Disk ( Wince800\platform\cepc\vm\hd0_sample.vhd 3. 啟動後便可透過內建的 EBoot  Loader 使用 Bootp 尋找開發主機上的 Image Bootp server 下載開發完成的 image 啟動 啟動 Hyper-V Client 使用Bootp 連結至開發端機器下載 nk.bin VS 2012 Platform Builder attach device 偵測到遠端 HyperV Client Bootp message後自動發送 image(nk.bin)   下載完畢,nk.bin 啟動後出現compact 2013畫面