Remove ads
Found in articles
威拉德·范奥曼·蒯因（英語：Willard Van Orman Quine，/kwaɪn/；1908年6月25日—2000年12月25日；又译奎因），20世纪最有影响的美国哲学家、逻辑学家之一。出生於俄亥俄州阿克倫的富裕家庭，其父為一成功的實業家，其母則任職教師。1926年入欧柏林学院，1930年
自產生程式
自產生程式（英語：Quine），指的是輸出結果為程式自身源碼的程式。其英文名称以美國哲學家奎恩（Willard Van Orman Quine）命名， 能夠直接讀取自己源碼、讀入使用者輸入或空白的程式一般都不視為自產生程式。 这种编程思想在计算机刚刚兴起的时候就已出现。Paul Bratley发表的文章《Computer
全称实例化
着量词和与这些量词有关的一项陈述。但这个原理仅在惯例下成立，且词项必须实有所指。 普遍化，又称全称概括。 存在概括 存在列举 Willard Van Orman Quine; Roger F. Gibson. V.24. Reference and Modality. Quintessence. Cambridge
邏輯真理
恆真式：符號化的邏輯真理 定理 有效性 分析-综合区别 冯契，徐孝通主编,外国哲学大辞典,上海辞书出版社,2000.07,第778页 Quine, Willard Van Orman, Philosophy of logic 扎尔塔, 爱德华·N (编). Logical Truth. 《斯坦福哲学百科全书》
自然類
Inductive Inference and Its Natural Ground. MIT Press. 1993. Quine, Willard Van Orman. Natural Kinds. Nicholas Rescher (编). Essays in Honor of Carl G