紙上遊戲言舊苑(紙證歷歷)

「形式科學」主要是以抽象型態的形式系統為研究對象的科學。與其它科學不同的地方在於其並不關心理論在現實世界觀察中的有效性，而是關心基於定義和規則上的形式性質。由於形式科學無經驗的性質，因此，形式科學是由許多公理和定義所構成，而它的陳述是由這些公理和定義推導出來的。「形式科學」包括數學、邏輯、統計及推理等，透過「形式科學」的研究，可用來建造及檢驗觀察真實世界的科學模型。

台灣桌遊中，以「形式科學」為主題的多為紙筆遊戲，包括「連連看」、「賓果」、「井字」、「劃圈」、「圍地盤」、「畫鬼腳」、「過五關」、「數獨」、「猜數字」、「打海戰」、「踩地雷」及「警察捉強盜」等。「連連看」遊戲中，玩家必須用筆從數字1開始，按照數字順序依序連點，重視數學的連續性。「賓果」遊戲則以先連成五條線（直的、橫的、斜的都可）的玩家為贏家，強調數學的加總性。

「井字」遊戲以最先連成一條線（直的、橫的、斜的都可）的玩家為贏家，「劃圈」遊戲為劃到最後一個者為輸家，「圍地盤」則是連線最多三角形數量的玩家為贏家，這些遊戲皆考驗玩家的邏輯思考能力。「畫鬼腳」遊戲中，玩家們須根據橫線數量多寡，才能判斷出可能到達的目標；「過五關」遊戲中，玩家須在多條路線中，選出一條生存路線，這些遊戲皆是測試玩家們的機率判斷能力。

「數獨」遊戲中，玩家須根據已提供的數字，利用邏輯及推理，在其它的空格中正確的填入1到9的數字。「猜數字」遊戲中，玩家們須在對方的提示下，利用邏輯推理，準確的猜出對方所寫的正確數字。「打海戰」遊戲中，玩家亦須把對手所移動軍艦的經緯度位置記錄起來，才經準確的派出適合的軍艦發動攻擊，將對方的軍艦有效擊沈。至於「踩地雷」遊戲中，玩家們須透過「數字密碼」推測地雷可能埋藏的數字方塊格，並避免踩到對方所埋藏的地雷。

「警察捉強盜」則屬於智慧類的邏輯推理遊戲。在一強盜案件發生後，兩位玩家根據各種線索判斷，透過巧妙的問案方式及聰明的推測能力進行辦案。最先說出強盜姓名的玩家，即為遊戲的勝利者。除了追拿單一嫌犯外，也可進行追拿共犯遊戲。玩法為：將兩位人像卡，插在自己遊戲版的最前面的兩個格板插孔上。兩位玩家輪流發問，須要抽絲剝繭，耐性的使用問話技巧，才能同時將兩個共犯齊揪出來。