定义

解释词项的意义就是给出它的定义。

三种论争:

1.明显的实质争论,其中没有语词歧义,而且论争双方的确在态度上或信念上对立。

2.纯粹言辞之争,其中出现语词歧义,但根本没有实质歧见。

3.表面上是言辞的但实际上是实质的论争,其中既存在语词歧义, 也存在论争双方在态度上或在信念上的歧见。

定义总是符号的定义,并且引进了术语被定义项(被定义的符号)和定义项(用来解释被定义项意义的符号)。

还在五种定义及其基本用法中进行了区分:

1.规定定义,把一个意义指派给某个符号。规定定义不是报道,因而既不真也不假;它是运用被定义项来意指定义项指谓事物的建议、解决、请求或工具。

2.词典定义,它报道被定义项已经具有的意义,因而它可以或对或错。

3.精确定义,它超出了平常用法,用于消除与临界状况有关的麻烦的不确定性。其被定义项有一个现存的意义,但这个意义是模糊的;增添什么可以达至精确性,部分上是个规定问题。

4.理论定义,它寻求对它的适用对象精确表述一个理论上足够或科学上有用的描述。

5.说服定义,它运用表达性语言而不是信息性语言来寻求影响态度或激发情感。

在这五种定义中,前两种(规定定义和词典定义)主要用于消除歧义;第三种(精确定义)主要用于降低模糊性;第四种(理论定义)用于促进理论理解;而第五种(说服定义)用于影响行为。

普遍词项指谓其可以正确适用的多个对象。这些对象的汇集构成该词项的外延。说明了为词项外延中的所有对象并且仅为那些对象所共有的属性集就是该词项的内涵。词项的内涵决定其外延,但外延却不能决定内涵;因此,几个词项可以具有不同内涵而外延却相同;但外延不同的词项却不可能具有相同内涵。

怎样利用普遍词项的外延来构造外延定义;外延定义有几种类型,其局限性也被揭示出来:

1.列举定义,即在定义中列出或给出词项指谓对象的范例。

2.实指定义,在定义时,我们用手指出或以姿势标明被定义项的外延。

3.准实指定义,在定义中,姿势或手指的指示伴有一些其意义被认为是已为人所知的描述短语。

怎样利用普遍词项的内涵来构建内涵定义;内涵定义也有几种类型,其局限性也被揭示出来:

1.同义定义,在定义中提供另一个其意义已为人所知的词,这个词与被定义的词具有相同意义

2.操作定义,它表明词项正确运用于一个给定场合,当且仅当,在该场合下特有的操作行为产生特有结果。

3.属加种差定义,首先要找出一个属,被定义项所指代的种是该属的一个子类;然后找出属性(或种差),即把该种的分子与属的所有其他种的分子区分开来的那种属性。

内涵定义的方法可以用于构建五种定义的任何一种: 规定定义、词典定义、精确定义、理论定义和说服定义。

传统的属加种差定义的五条规则:

1.定义应当揭示种的本质属性。

2.定义不能循环。

3.定义既不能过宽又不能过窄。

4.定义不能用岐义的、晦涩的或比喻的语言来表述.定义在可以用肯定的地方就不应当用否定定义。

直言命题

本章介绍并讨论的是古典逻辑即亚里士多德型逻辑的基本构件,也是演绎逻辑的基本构件。

传统逻辑正是以类为基础建立起来的。我们闻明了四种基本的标准式直言命题

A命题:全称肯定命题

E命题:全称否定命题

Ⅰ命题:特称肯定命题

O命题:特称否定命题

探讨了命题的质,即肯定和否定,以及命题的量,即全称和特称。说明了周延的项与不周延的项

这几种直言命题之间的对当关系的种类:

命题之间的矛盾关系、反对关系、下反对关系以及上位式与下位式之间的差等关系。

并用个对当方阵图示了这几种关系,进而说明了一些基于传统方阵的直接推理。

其他三种直接推论:换位法、换质法和換质位法。

探讨存在含义问题。要保留传统对当方阵,只有做出一种假定,即全盘假定命题主项所指称的类总是有元素的一一这是现代逻辑极不赞同的。然后,我们又对本书通篇采用的布尔解释作了说明。布尔解释能保留传统逻辑对当方阵中的大部分内容,同时又避免了非空类的假定。在布尔解释中,特称命题,即称为I和O的命题之中有存在含义,但全称命题,即A和E则没有存在含义。我们也很细致地说明了采用这种解释的结果。

直言命题符号化与图示化的方法,包括使用文恩图,用交叉的圆加以恰当的标记或阴影来刻画类与类之间的关系。

有了这些必要的工具,我们就可以考察一一在接下来的两章中一建基于标准式直言命题之上的三段论,以及传统演绎逻辑在日常语言中的其他主要用途。

逻辑学基本概念

逻辑学定义为研究用于区分正确推理与不正确推理的方法和原理的学问。

命题是可以被肯定或否定,并且或真或假的东西。

论证概念, 一串命题,其中之一是结论,另一个(或一些)是用以支持结论的前提。

说明并且例示分析论证的方法种是解析法,按照逻辑的顺序完整地列出论证中所有的命题;另一种是图示法,所有命题都用数字标示,这些数字以一定的方式相互连接以展现命题之间的逻辑关系。

讨论辨识论证的几个方面的问题,包括结论指示词前提指示词语境在辨识前提和结论中的作用、有可能充当前提的非陈述形式以及包含未明确陈述出来的命题的论证等。

论证说明之间的区别,解释为什么做出这种区分常常是困难的,这种区分依赖于语段的语境和作者的表达意图。

演绎和有效性,将演绎论证定义为断言其结论从前提必然9地得出的论证,一个有效的演绎论证就是一个假如其前提为真则结论必然为真的论证。

归纳和或然性,将归纳论证定义为其结论具有某种或然性程度,但并非(从前提)必然地得出的论证,说明归纳论证可以被判定好与坏,但不能刻画为有效与无效。

日常语言中的论证

若非标准式三段论论证中的命题不是标准式直言命題,则需要把它们翻译为标准式,以便用文恩图或者三段论规则加以检验。还给出了九种不同类型的非标准式命题及其相应的翻译方法:

1.单称命题。

2.谓词为形容词或形容词短语,而非名词或类词项的直言命题。

3.主要动词不是标准的联项“是”或“不是”的直言命题。

4.标准形式的各成分都出现,却没有按标准顺序排列的陈述句。

5.量词不是“所有”、“没有”或“有”这些标准语词的直言命题。

6.用“只”、“只有”表述的排斥命题。

7.不含量词的直言命题。

8.完全不像标准式直言命题但可以有标准式翻版的命题。

9.用“除了”等表述的除外命题。

另外的两种三段论:析取三段论和假言三段论,因其中包含选言命题或假言命题而得名。

本节说明并例示了三种驳斥二难推论的修辞方法:

“绕过(或避开)死角法”、

“直击(擒拿)一角法”、

“构造反二难法”。

我使用的vim plugin set

vim plugins

这些插件很棒。

more vimawesome plugins

我的2020规划图

2020-plan-and-goals

我使用Homebrew记录

homebrew 官方地址:https://brew.sh/index_zh-cn.

安装homebrew:

/usr/bin/ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)"

使用 Homebrew 安装 Apple(或您的 Linux 系统)没有预装但 你需要的东西。

$ brew install wget

Homebrew 会将软件包安装到独立目录,并将其文件软链接至 /usr/local 。

$ cd /usr/local
$ find Cellar
Cellar/wget/1.16.1
Cellar/wget/1.16.1/bin/wget
Cellar/wget/1.16.1/share/man/man1/wget.1

$ ls -l bin
bin/wget -> ../Cellar/wget/1.16.1/bin/wget

完全基于 Git 和 Ruby,所以自由修改的同时你仍可以轻松撤销你的变更或与上游更新合并。

$ brew edit wget # 使用 $EDITOR 编辑!

Homebrew 的配方都是简单的 Ruby 脚本:

class Wget < Formula
  homepage "https://www.gnu.org/software/wget/"
  url "https://ftp.gnu.org/gnu/wget/wget-1.15.tar.gz"
  sha256 "52126be8cf1bddd7536886e74c053ad7d0ed2aa89b4b630f76785bac21695fcd"

  def install
    system "./configure", "--prefix=#{prefix}"
    system "make", "install"
  end
end

我的安装列表

$ brew list -1
ack
gdbm
gettext
git
icu4c
libevent
libidn2
libunistring
libyaml
ncurses
node
openssl@1.1
pcre2
pkg-config
python
readline
ruby
sqlite
thrift@0.9
tmux
tmuxinator
tree
wget
xz
zplug

遇到过的问题:

  • thrift 安装低版本.

    修改Homebrew的Ruby 脚本。 git clone https://github.com/Homebrew/homebrew-core 下载到本地,找到thrift 低版本的formula, 然后, brew install <formula>

  • 磁盘空间不足:

    每天运行一次

     #!/bin/bash
     brew update && brew upgrade && brew cleanup
    
  • brew install php@7.1 安装失败.

    
    a) git clone https://github.com/Homebrew/homebrew-core
    
    b) git log --grep=php@7.1
    
      commit d541efc88be7f81e99deaeb1ad4dba7f718754b4
      Author: Andreas Braun <git@alcaeus.org>
      Date:   Thu Nov 28 15:02:50 2019 +0100
    
          Remove php@7.1
    
          Closes #47385.
    
          Signed-off-by: Sean Molenaar <smillerdev@me.com>
    
      commit 5afd75d0216cdf66bdcadd1b101757260f4a3cef (php@7.1)
      Author: BrewTestBot <homebrew-test-bot@lists.sfconservancy.org>
      Date:   Fri Oct 25 10:00:42 2019 +0000
    
          php@7.1: update 7.1.33 bottle.
      ....
    
    c) git checkout -b php@7.1 5afd75d0216cdf66bdcadd1b101757260f4a3cef
    
    d) brew install Formula/php@7.1.rb
    
    e) 完毕
    
    
    

樊登读书思维导图

/assets/media/dushu/WechatIMG128.jpeg /assets/media/dushu/WechatIMG129.jpeg /assets/media/dushu/WechatIMG130.jpeg /assets/media/dushu/WechatIMG131.jpeg /assets/media/dushu/WechatIMG132.jpeg /assets/media/dushu/WechatIMG135.jpeg /assets/media/dushu/WechatIMG136.jpeg /assets/media/dushu/WechatIMG137.jpeg /assets/media/dushu/WechatIMG138.jpeg /assets/media/dushu/WechatIMG142.jpeg /assets/media/dushu/WechatIMG143.jpeg /assets/media/dushu/WechatIMG145.jpeg /assets/media/dushu/WechatIMG146.jpeg /assets/media/dushu/WechatIMG147.jpeg /assets/media/dushu/WechatIMG148.jpeg /assets/media/dushu/WechatIMG149.jpeg /assets/media/dushu/WechatIMG150.jpeg /assets/media/dushu/WechatIMG151.jpeg /assets/media/dushu/WechatIMG152.jpeg /assets/media/dushu/WechatIMG153.jpeg /assets/media/dushu/WechatIMG154.jpeg /assets/media/dushu/WechatIMG155.jpeg /assets/media/dushu/WechatIMG157.jpeg /assets/media/dushu/WechatIMG158.jpeg

使用Google检索好问题

为了解决百度检索技术问题质量不高,优秀的工程师都会改用Google。

我用的是shadowsocks, 为什么选择它,原因有三:

  • 稳定,用了三年,每年也就一两周不可以使用;
  • 价格不贵,入门版每年$19.95;
  • 分享推荐还可以赚佣金。

使用Google搜索提高了我解决问题的效率,让我远离因效率低下而导致的加班。

我的唯一推荐链: https://portal.shadowsocks.nl/aff.php?aff=9451