[存档] Technology for Philosophers (TFP)

Note (09/14/2019): 知乎专栏的备份,暂无继续连载的计划。


连载 technology for philosophers (TFP) 系列教程的计划极大程度上归功于 @liuyimao5 的怂恿。若有裨益,请感谢 TA。

目录

  1. 安装 LaTeX;
  2. 第一份 LaTeX 文档;
  3. 用 LaTeX 写根岑式自然推演证明 (Gentzen-style natural deduction proofs);
  4. 用知乎编辑器写根岑式自然推演证明 (Gentzen-style natural deduction proofs);
  5. 用 LaTeX 写最基本的哲学论文。

计划

待写的选题如下,若有建议请不吝提出。

Writing(最主要内容)

  • \LaTeX typesetting
  • Git
  • Citation management with Zotero, BibLaTeX, JabRef
  • Markdown
  • Working with all these on iPads

Reading & note taking

  • Reading & annotating pdfs on iPads
  • Notation system for philosophical texts (position, premise, conclusion, objection, response)
  • Printing pdfs as booklets
  • Note taking & management with markdown, LaTeX, github/bitbucket (& with Working Copy on iPads); GoodNotes, Notability; Evernote, etc.
  • Second-hand book shopping with bookfinder, abebooks, ebay, etc.

Professional

  • Personal page (domain, DNS, hosting, software, email)
  • Sendgrid, mailgun, mailchimp
3赞

安装 LaTeX

一般的教程都会在开始正文之前先介绍要讲解的东西能做什么,但这当然不是一般的教程。既然你已经在阅读本文了,那么你多半或多或少知道 LaTeX(写作 \LaTeX )是做什么的——排版,以及为什么你想要学习它——对任何与符号打交道的方向而言都是刚需,对其它方向而言嘛……用 \LaTeX 排版的论文超漂亮超酷诶不是吗?(请说是喔!)

下载 TeX Live

(1) 为了避免日后节外生枝,Windows 用户请下载 TeX Live 的 \LaTeX 发行包:

http://mirror.ctan.org/systems/texlive/tlnet/install-tl-windows.exe(Windows 用户)

要是安装过程中不能联网、网速慢,或者出于其它任何原因不能下载上述文件,请跳到本教程第 3 节。

(2) Mac 用户请下载 MacTeX 的发行包,并直接安装即可。除非你非常清楚自己在做什么,否则什么设置都不要去改它。一路下一步直到安装完毕。可参考这里的教程

http://tug.org/cgi-bin/mactex-download/MacTeX.pkg(有 3GB)

(3) Linux 用户请参考 https://blog.seisman.info/texlive-install/。

通过在线安装程序安装 TeX Live

(1) 启动安装程序,选择 Simple install (big)。Big 的意思是需要很大的硬盘空间(大约 6GB),但除非你极其清楚自己在做什么,否则就 Simple install。不要为了一点硬盘空间让以后的自己吃无谓的苦

image

(2) 待安装程序解压后弹出这个窗口:

image

(3) 除非你非常清楚自己在做什么,否则什么设置都不要去改它,包括安装路径也不要去改它。一路下一步直到开始安装。

(4) 等着它安装,可能需要很久。别盯着它等,做点别的事

(5) 恭喜!你安装了 Tex Live!

要是出于任何原因没有安装成功,请跳到下一节。

通过离线镜像安装 TeX Live

要是在前 2 节中遇挫,或者不能联网、网速慢,或者十分清楚为什么想要通过离线镜像安装,请从这里下载完整版的镜像文件:http://mirror.ctan.org/systems/texlive/Images/texlive.iso(有3GB)。

国内的朋友要是出于众所周知的原因连不上的话,请直接访问清华大学的镜像站下载:https://mirrors.tuna.tsinghua.edu.cn/CTAN/systems/texlive/Images/texlive.iso(有3GB)。

(1) 下载完成后,使用 Windows 10(或以上?)的朋友——双击 texlive.iso,会自动把这个 iso 文件加载为一个虚拟的光驱。

使用 Windows 10 以下的朋友——是时候该升级到 Windows 10 了哈!(不想升级?去下个虚拟光驱的软件)

image

(2) Windows 用户请双击 install-tl-windows.bat。双击后会出现一个黑色的窗口,不用理它,不要被吓到,也不要关它。不清楚 Mac 会不会有类似的窗口。总之,等到弹出下面的窗口:

image

(3) 除非你非常清楚自己在做什么,否则什么设置都不要去改它,包括安装路径也不要去改它。一路下一步直到开始安装。

(4) 等着它安装,可能需要很久。别盯着它等,做点别的事

(5) 恭喜!你安装了 Tex Live!

第一份 LaTeX 文档

我们已经安装了 \LaTeX ,现在可以来写人生中第一份 \LaTeX 文档辣!

安装编辑器 TeXstudio

(1) 请从这里下载并安装 TeXstudio 这款 \LaTeX 编辑器(Mac 用户可往下滑到相当后面「Mac OS X」的部分下载):https://www.texstudio.org/

当然,这不是说 TeXstudio 就一定 objectively 是最好的 \LaTeX 编辑器,而仅仅是本教程会用它而已。(但它真的很好用!)

(2) 启动 TeXstudio,从顶部菜单栏选择「Options」—「Configure TeXstudio」。(界面语言可在「General」选项卡中修改,但本教程将继续使用英文界面。)

image

(3) 进入「Build」选项卡, 将「Default Compiler」设置为「LuaLaTeX」 。(假定了阅读本教程的读者至少有时候会想要编译含有中文字符的文档。不过大部分教程在此处会建议使用「XeLaTeX」。与「XeLaTeX」相比「LuaLaTeX」有长处也有短处,但这是一份相当实践向的教程,我们就先用着「LuaLaTeX」。)

image

(4) 在同一个窗口下, 将「Default Bibliography Tool」设置为「Biber」

image

(5) 进入「Editor」选项卡, 确认「Default Font Encoding」的设置为「UTF-8」

image

第一份 LaTeX 文档

(1) 关闭配置窗口,回到主界面创建一个新文档:

image

(2) 在新文档中写下:

\documentclass[12pt]{article}

表明这篇文档采用 article 的文档样式 (document class),12 号字。

image

(3) 接着设置文档标题:

\title{My First \LaTeX \ Document}

(其中 \LaTeX 可以写出漂亮的 \LaTeX ,而 \ 会强制在 \LaTeXDocument 之间空一格。)

(4) 设置作者:

\author{Ding}

(5) 设置日期:

\date{\today}

\today 会自动把日期设置为今天。)

(6) 表示要开始写正文:

\begin{document}

(7) 制作标题:

\maketitle

(8) 写正文:

All men are mortal. Socrates is a man. Therefore, Socrates is mortal.

(8) 空一行 再写点符号:

\[ \neg (P \vee Q) \vdash (\neg P \wedge \neg Q) \]

(9) 表明自己写完正文了:

\end{document}

(10) 这个时候你应该有如下的文档:

image

(11) 将文档保存在想要的地方。

(12) 按下 F5 或点击如下图所示的双绿色箭头,并 屏住呼吸 (非常重要)!

image

(13) 欢呼!第一个 \LaTeX 文档就这样编译好了!

image

1赞

用 LaTeX 写根岑式证明 (Gentzen-style proof)

自然演绎 (natural deduction) 有多种记号 (notation) 系统可供采用。本文介绍如何使用 \LaTeX 书写 Gentzen 式(树形)的自然演绎证明。

Bussproofs

我们需要使用 bussproofs.sty 这个额外的样式文件。我们之前安装的 TeX Live / MacTeX 自带了 bussproofs.sty ,无需另外下载。

(1) 同上次一样,我们在 TeXstudio 中新建一个文档。写下:

\documentclass[12pt]{article}

(2) 接着加载 bussproofs.sty

\usepackage{bussproofs}

(3) 设置标题/作者/日期:

\title{Gentzen-Style Proofs}
\author{Ding}
\date{\today}

(4) 表明开始写正文,并制作标题:

\begin{document}

\maketitle

(5) 要使用 bussproofs ,我们使用 prooftree 这个环境:

\begin{prooftree}

. . .

\end{prooftree} 

这里我们以 \frac{P}{P \vee Q} 为例。此例中 P 为唯一的 node/树叶/使用到的公式,要从这一个 node 推出 P \vee Q 这个要证明的公式。

我们将 P 写作 \AxiomC{$P$} ,将推出 P \vee Q 写作 \UnaryInfC{$P \vee Q$}

注意一定要把公式 用一对美元符号 $ ... $ 包裹起来 ,表明在使用数学模式。

\begin{prooftree}
	\AxiomC{$P$}
		\UnaryInfC{$P \vee Q$}
\end{prooftree}

(6) 表明文档结束。

\end{document}

(7) 按 F5 或点双绿色箭头编译。

image

从多个公式中推出

例:证明 \frac{P \wedge Q}{Q \wedge P}

\frac{ \displaystyle \frac{ P \wedge Q }{ Q } \qquad \frac{ P \wedge Q }{ P } }{ Q \wedge P }

i. 我们先仿照上例写左上角的 \frac{P \wedge Q}{Q} 和右上角的 \frac{P \wedge Q}{P}

\begin{prooftree}
	\AxiomC{$P \wedge Q$}
		\UnaryInfC{$Q$}
	\AxiomC{$P \wedge Q$}
		\UnaryInfC{$P$}
\end{prooftree}

ii. 先不要编译,我们继续写完这个证明。不同于上例,推出 Q \wedge P 需要用到两个公式( QP )。所以在本例中我们不用 \UnaryInfC{$...$} ,而用 \BinaryInfC{$...$}

\begin{prooftree}
	\AxiomC{$P \wedge Q$}
		\UnaryInfC{$Q$}
	\AxiomC{$P \wedge Q$}
		\UnaryInfC{$P$}
			\BinaryInfC{$Q \wedge P$}
\end{prooftree}

同样的道理,要是是从三个公式中推出,则使用 \TrinaryInfC{$...$} ;四个则使用 \QuaternaryInfC{$...$} ;五个则使用 \QuinaryInfC{$...$}

iii. 编译结果如下图所示:

image

Discharge

例: 证明 \frac{}{P \rightarrow \neg \neg P}

\frac{ \displaystyle \frac{ \displaystyle \frac{ \displaystyle (2) \frac{ }{ P } \qquad \frac{ }{ \neg P } (1) }{ \bot } }{ \neg \neg P } (1) }{ P \rightarrow \neg \neg P } (2)

i. 我们先忽略标签。我们将 \frac{}{P} 处理为从空的 \AxiomC{$...$} 推出 P 。对 \frac{}{\neg P} 做类似处理。

\begin{prooftree}
	\AxiomC{}
		\UnaryInfC{$P$}
	\AxiomC{}
		\UnaryInfC{$\neg P$}
\end{prooftree}

ii. 先不要编译,我们继续写完这个证明:

\begin{prooftree}
	\AxiomC{}
		\UnaryInfC{$P$}
	\AxiomC{}
		\UnaryInfC{$\neg P$}
			\BinaryInfC{$\bot$}
				\UnaryInfC{$\neg \neg P$}
					\UnaryInfC{$P \rightarrow \neg \neg P$}
\end{prooftree}

iii. 编译后可得:

image

iv. 我们通过 \LeftLabel{...}\RightLabel{...} 将左右的标签补全。注意由于标签不需要使用数学模式,因此不需要使用美元符号包裹。

\begin{prooftree}
	\AxiomC{}
		\LeftLabel{(2)}
		\UnaryInfC{$P$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$\neg P$}
			\BinaryInfC{$\bot$}
				\RightLabel{(1)}
				\UnaryInfC{$\neg \neg P$}
					\RightLabel{(2)}
					\UnaryInfC{$P \rightarrow \neg \neg P$}
\end{prooftree}

image

更多例子

(1) 证明 \frac{P \vee Q}{Q \vee P}

\begin{prooftree}
	\AxiomC{$P \vee Q$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$P$}
			\UnaryInfC{$Q \vee P$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$Q$}
			\UnaryInfC{$Q \vee P$}
				\RightLabel{(1)}
				\TrinaryInfC{$Q \vee P$}
\end{prooftree}

image

(2) 证明: \frac{\exists x \forall y Fxy}{\forall y \exists x Fxy}

\begin{prooftree}
	\AxiomC{$\exists x \forall y Fxy$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$\forall y Fay$}
			\UnaryInfC{$Fab$}
				\UnaryInfC{$\exists x Fxb$}
					\RightLabel{(1)}
					\BinaryInfC{$\exists x Fxb$}
						\UnaryInfC{$\forall y \exists x Fxy$}
\end{prooftree}

image

(3) 证明: \frac{(P \vee Q) \vee R}{P \vee (Q \vee R)}

\begin{prooftree}
	\AxiomC{$(P \vee Q) \vee R$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$P \vee Q$}
	\AxiomC{}
		\RightLabel{(2)}
		\UnaryInfC{$P$}
			\UnaryInfC{$P \vee (Q \vee R)$}
	\AxiomC{}
		\RightLabel{(2)}
		\UnaryInfC{$Q$}
			\UnaryInfC{$Q \vee R$}
				\UnaryInfC{$P \vee (Q \vee R)$}
					\RightLabel{(2)}
					\TrinaryInfC{$P \vee (Q \vee R)$}
	\AxiomC{}
		\RightLabel{(1)}
		\UnaryInfC{$R$}
			\UnaryInfC{$Q \vee R$}
				\UnaryInfC{$P \vee (Q \vee R)$}
					\RightLabel{(1)}
						\TrinaryInfC{$P \vee (Q \vee R)$}
\end{prooftree}

image

特殊记号

要实现如下的六个点点需要在 \usepackage{bussproofs} 后再加载 \usepackage{bpextra} ,再通过 \straightDeduce\DeduceC{$...$} 使用。 例子:

image

\documentclass[12pt]{article}

\usepackage{bussproofs}
\usepackage{bpextra}

\begin{document}
	
\begin{prooftree}
	\AxiomC{}
		\RightLabel{(i)}
		\UnaryInfC{$P$}
			\straightDeduce
			\DeduceC{$\bot$}
				\LeftLabel{($\neg$I)}
				\RightLabel{(i)}
				\UnaryInfC{$\neg P$}
\end{prooftree}
	
\end{document}

第二个例子:

image

\begin{prooftree}
	\AxiomC{$P \vee Q$}
	\AxiomC{}
		\RightLabel{(i)}
		\UnaryInfC{$P$}
			\straightDeduce
			\DeduceC{$\bot$}
				\LeftLabel{(EFQ)}
				\UnaryInfC{$R$}
	\AxiomC{}
		\RightLabel{(i)}
		\UnaryInfC{$Q$}
			\straightDeduce
			\DeduceC{$\bot$}
				\LeftLabel{(EFQ)}
				\UnaryInfC{$R$}
					\RightLabel{(i)}
					\LeftLabel{($\vee$E)}
					\TrinaryInfC{$R$}
\end{prooftree}
1赞

在 Aspasia 网站上写根岑式证明 (Gentzen-style proof)

我们已经会用 bussproofs 来写根岑式(树形)的自然演绎证明了。但是Aspasia、知乎等网站所使用的公式编辑器(基于 MathJax)并不支持使用 bussproofs 。我们可以简陋地用分数加以乔装,写出能在知乎回答和文章正文里直接显示的证明。

在 Aspasia 网站的文本编辑器里,公式有两种样式:

Inline 样式通过 $ inline $ 标记,需注意的是 $ 必须和周围的文字/标点间隔一个空格。如:

所以, \exists x P(x)
所以, $\exists x P(x)$ 。

留意第一个 $ 前的空格后第二个 $ 后的空格。

Display 样式则使用如下的标记:

$$
Display
$$

例子:

所以,\exists x P(x)。
$$
所以,\exists x P(x)。
$$

用分数乔装

分数的写法是:

\frac{a}{b}
\frac{a}{b}

ab 替换成相应公式就可以实现想要的效果辣。

\frac{P}{P \vee Q}
\frac{P}{P \vee Q}

分数可以嵌套,但美观起见,可在每次嵌套后使用 \displaystyle

\frac{\displaystyle \frac{P}{P \vee Q}}{P \vee Q \vee R}
\frac{\displaystyle \frac{P}{P \vee Q}}{P \vee Q \vee R}

当代码复杂起来以后可以考虑换行澄清结构:

\frac{ \displaystyle \frac{ P }{ P \vee Q } }{ P \vee Q \vee R }
\frac{
	\displaystyle
	\frac{
		P
		}{
		P \vee Q
	}
}{
	P \vee Q \vee R
}

也可以将 \displaystyle \frac{...} 缩写为 \dfrac{...}

\frac{\dfrac{P}{P \vee Q}}{P \vee Q \vee R}

Discharge

Discharge 可以通过没有分子的分数实现:(使用了 \quad\; 留出空白以增进美观程度, \\ 的作用是换行)

\frac{ \displaystyle \quad \frac{ }{ P } (1) \\ \quad \enspace \vdots \\ \quad \; \bot }{ \neg P } (1)
\frac{
	\displaystyle
	\quad
	\frac{
	}{
		P
	}
	(1) \\
	\quad \enspace \vdots \\
	\quad \; \bot
}{
	\neg P
}
(1)

更多例子

(1) \wedge 引入规则:

\frac{ P \qquad Q }{ P \wedge Q }
\frac{
	P
	\qquad
	Q
	
}{
	P \wedge Q
}

(2) 证明 \frac{}{P \rightarrow \neg \neg P}

\frac{ \displaystyle \frac{ \displaystyle \frac{ \displaystyle (2) \frac{ }{ P } \qquad \frac{ }{ \neg P } (1) }{ \bot } }{ \neg \neg P } (1) }{ P \rightarrow \neg \neg P } (2)
\frac{
	\displaystyle
	\frac{
		\displaystyle
		\frac{
			\displaystyle
			(2)
			\frac{
			}{
				P
			}
			\qquad
			\frac{
			}{
				\neg P
			}
			(1)
		}{
			\bot
		}
	}{
		\neg \neg P
	}
	(1)
}{
P \rightarrow \neg \neg P
}
(2)
  1. 证明 \frac{P \vee Q}{Q \vee P}
\frac{ \displaystyle P \vee Q \qquad \frac{ \displaystyle (1) \frac{ }{ P } \quad }{ Q \vee P } \qquad \frac{ \displaystyle \quad \frac{ }{ Q } (1) }{ Q \vee P } }{ Q \vee P } (1)

(注意这里第一个 P \vee Q 的位置很奇怪,似乎在使用分数的情况下没有办法解决。为了写出更好看的证明,请使用 bussproofs。)

\frac{
	\displaystyle
	P \vee Q
	\qquad
	\frac{
		\displaystyle
		(1)
		\frac{
		}{
			P
		}
		\quad
	}{
		Q \vee P
	}
	\qquad
	\frac{
		\displaystyle
		\quad
		\frac{
		}{
			Q
		}
		(1)
	}{
		Q \vee P
	}
}{
	Q \vee P
}
(1)

(4) 证明 \frac{P \wedge Q}{Q \wedge P}

\frac{ \displaystyle \frac{ P \wedge Q }{ Q } \qquad \frac{ P \wedge Q }{ P } }{ Q \wedge P }
\frac{
	\displaystyle
	\frac{
		P \wedge Q
	}{
		Q
	}
	\qquad
	\frac{
		P \wedge Q
	}{
		P
	}
}{
	Q \wedge P
}

(5) 证明 \frac{\exists x \forall y Fxy}{\forall y \exists x Fxy}

\frac{ \displaystyle \quad \frac{ \displaystyle \exists x \forall y Fxy \qquad \frac{ \displaystyle \frac{ \displaystyle \quad \frac{ }{ \forall y Fay } (1) }{ Fab } }{ \exists x Fxb } }{ \exists x Fxb } (1) }{ \forall y \exists x Fxy }
\frac{
	\displaystyle
	\quad
	\frac{
		\displaystyle
		\exists x \forall y Fxy
		\qquad
		\frac{
			\displaystyle
			\frac{
				\displaystyle
				\quad
				\frac{
				}{
					\forall y Fay
				}
				(1)
			}{
				Fab
			}
		}{
			\exists x Fxb
		}
	}{
	\exists x Fxb
	}
	(1)
}{
\forall y \exists x Fxy
}

复杂的例子

有的证明通过分数乔装写出来会相当复杂和繁琐,如证明 \frac{(P \vee Q) \vee R}{P \vee (Q \vee R)}

\frac{ \displaystyle (P \vee Q) \vee R \qquad \frac{ \displaystyle \frac{ }{ P \vee Q } (2) \qquad \frac{ \displaystyle \quad \frac{ }{ P } (1) }{ P \vee (Q \vee R) } \qquad \frac{ \displaystyle \quad \frac{ \displaystyle \quad \frac{ }{ Q } (1) }{ Q \vee R } \qquad }{ P \vee (Q \vee R) } }{ P \vee (Q \vee R) } (1) \qquad \frac{ \displaystyle \qquad \frac{ \displaystyle \quad \frac{ }{ R } (2) }{ Q \vee R } \qquad }{ P \vee (Q \vee R) } }{ P \vee (Q \vee R) } (2)
\frac{
	\displaystyle
	(P \vee Q) \vee R
	\qquad
	\frac{
		\displaystyle
		\frac{
		}{
			P \vee Q
		}
		(2)
		\qquad
		\frac{
			\displaystyle
			\quad
			\frac{
			}{
				P
			}
			(1)
		}{
			P \vee (Q \vee R)
		}
		\qquad
		\frac{
			\displaystyle
			\quad
			\frac{
				\displaystyle
				\quad
				\frac{
				}{
					Q
				}
				(1)
			}{
				Q \vee R
			}
			\qquad
		}{
			P \vee (Q \vee R)
		}
	}{
		P \vee (Q \vee R)
	}
	(1)
	\qquad
	\frac{
		\displaystyle
		\qquad
		\frac{
			\displaystyle
			\quad
			\frac{
			}{
				R
			}
			(2)
		}{
			Q \vee R
		}
		\qquad
	}{
		P \vee (Q \vee R)
	}
}{
	P \vee (Q \vee R)
}
(2)

用 LaTeX 写最基本的哲学论文

通过前几期教程,我们已经做出了第一份 \LaTeX 文档、会写根岑式证明了。是时候在 \LaTeX 上写我们的第一篇哲学论文辣~

引号

这可能是最需要去习惯的地方了。请将左双引号写成两个左撇号 ``(键盘左上角有波浪线的那个键),把右双引号写成两个单撇号 ‘’(英文输入法下的引号键)。单引号依此类推。

Ding says, ``It's so nice to meet you!''

image

虽然现在的 \TeX 编辑器大多能识别 Unicode 下带方向的 “ 和 ”,一定要写 “ 和 ” 也不见得会出错了,但至少至少不要写不带方向的 " ——出错几乎不可避免:

image

段落与换行

此外还需要特别注意的是空行的使用。我们已经习惯了 Word 等其它文字处理器中回车=新段落的规范:

I have something awesome to say here.
And something else as awesome!

但在 \LaTeX 中,这并不会生成新段落:

\text{I have something awesome to say here. And something else as awesome!}

我们所需要做的是,是回两次车,或者说真正地在中间空一行:

I have something awesome to say here.

And something else as awesome!

\begin{multline} \shoveleft \text{I have something awesome to say here.}\\ \shoveleft \text{And something else as awesome!} \end{multline}

这可能也是个需要习惯的地方,但熟悉 Markdown 语法的读者对此应该不会太陌生。事实上,若读者将来想要配合使用 git,那么最好的习惯是每句话写完后都回车一次,每段话写完后回车两次(即保留一个真正的空行):

All men are mortal.
Socrates is a man.
Therefore, Socrates is mortal.

Hey, it's valid and sound!

(注意这里句子与句子之间不需要再加空格——$\LaTeX$ 会处理好的。)

\begin{multline} \shoveleft \text{All men are mortal. Socrates is a man. Therefore, Socrates is mortal.}\\ \shoveleft \text{Hey, it's valid and sound!} \end{multline}

这种写作习惯会使 git 的使用变得非常便利:

image

强调、斜体和粗体

强调、斜体和粗体的语法分别是:

\emph{Emphasize your text}

\textit{Italicize your text}

\textbf{Bold your text}

image

在大部分时候,强调和斜体所生成的效果是一样的。但使用强调的好处主要在于它允许嵌套:

\emph{This is actually \emph{not} important.}

\textit{This is actually \textit{not} important.}

image

注意中间那个「not」的区别。

(很多编辑器都支持快捷键。例如在 TeXstudio中,强调是 Ctrl+Shift+E ,斜体是 Ctrl+I ,粗体是 Ctrl+B 。)

各种破折号

在英文中,我们区分三种长度不同的「破折号」:

  1. 连字符(hyphen) :用于连接单词,形式是 - ,如 Frankfurt-style counter-examples;
  2. 连接号(en dash) :用于连接时间/空间,形式是 ,如 1891–1970;
  3. 破折号(em dash) :类似于汉语里的破折号,形式是

这三种不同的「破折号」分别用不同数量的 - 来书写:

Hyphen -

En dash --

Em dash ---

image

例子:

Frankfurt-style cases---introduced by Harry Frankfurt (1929--) in his 1969 essay ``Alternate Possibilities and Moral Responsibility''---are counter-examples to the Principle of Alternate Possibilities (PAP).

image

前提—结论形式

在书写哲学论文时,我们时常会需要把论证表达成前提—结论的形式:

  1. 如果月球是巧克力做的,那么特朗普就不是美国总统。
  2. 特朗普是美国总统。
  3. 所以,月球不是巧克力做的。(否定后件)

最简单的方法是采用有序列表,语法是:

\begin{enumerate}

\item Your first item...
\item Your second item...
\item Your third item...

\end{enumerate}

例如:

Here is Ding's argument for why the moon is not made of chocolate, in a premises-conclusion form:

\begin{enumerate}

\item If the moon is made of chocolate, then Trump is not the President of the United States.
\item Trump is the President of the United States.
\item Therefore, the moon is not made of chocolate.

\end{enumerate}

image

由于本文的目标仅仅是写出最基本的哲学论文,我们将在今后介绍如何把「P」「Q」等记号加进编号中,以及如何在中途打断列表插入正文。

章节

我们可以使用下面的命令创建章节:

\section{Name of Your Section}
\subsection{Name of Your Subsection}
\subsubsection{Name of Your Subsubsection}

image

例子:

\section{Ding's Argument}

Here is Ding's argument for why the moon is not made of chocolate, in a premises-conclusion form:

\begin{enumerate}

\item If the moon is made of chocolate, then Trump is not the President of the United States.
\item Trump is the President of the United States.
\item Therefore, the moon is not made of chocolate.

\end{enumerate}

\section{My Objection}

I argue that (1) of Ding's argument is false. 
Obviously, (1) is false \emph{iff} the moon is made of chocolate and Trump is the President of the United States.
It is obviously true that the moon is made of chocolate, and that Trump is the President of the United States.
Thus, (1) is false.

image

脚注

脚注的语法如下:

\footnote{Here goes your footnote.}

例如:

Here is Ding's argument for why the moon is not made of chocolate, in a premises-conclusion form:
\footnote{This is my reconstruction of Ding's argument.}

image

引用

当然,最简单的方法是人肉写引用格式。(我们会在以后的教程中学习 BibLaTeX 等工具。)

Here is Ding's (2019, 121) argument for why the moon is not made of chocolate...

image

并人肉写结尾的参考文献目录(如果不想要 section 前面的编号,可以使用 \section*{} ):

\section*{References}

Ding. 2019. ``Trump, Moon and Chocolate.'' \emph{Zhihu Review of Philosophy} 9 (1): 117--123.

image

完整示例文档

\documentclass{article}

\title{My Objection to Ding's Argument}
\author{Dong}
\date{\today}

\begin{document}

\maketitle

In this paper, I will provide an objection to Ding's argument against a chocolate moon.

\section{Ding's Argument}

Here is Ding's (2019, 121) argument for why the moon is not made of chocolate, in a premises-conclusion form:
\footnote{This is my reconstruction of Ding's argument.}

\begin{enumerate}

\item If the moon is made of chocolate, then Trump is not the President of the United States.
\item Trump is the President of the United States.
\item Therefore, the moon is not made of chocolate.

\end{enumerate}

\section{My Objection}

I argue that (1) of Ding's argument is false. 
Obviously, (1) is false \emph{iff} the moon is made of chocolate and Trump is the President of the United States.
It is obviously true that the moon is made of chocolate, and that Trump is the President of the United States.
Thus, (1) is false.

\section*{References}

Ding. 2019. ``Trump, Moon and Chocolate.'' \emph{Zhihu Review of Philosophy} 9 (1): 117--123.

\end{document}

6赞