>>346
> 問題は技術的な話題の方の名称だよね。
> 数理論理学だと少し狭いイメージもある。

【集合論・ﾓﾃﾞﾙ論】数理論理学 No.11【証明論・再帰論】

だと狭いというかプロかセミプロ以外にはサッパリ分からんか。
ならば、

【ロジック】数理論理学 No.11【コンピュータ】

って思いっ切り素人にアピールするスレタイってのはどう？（カタカナ部分は半角にしても良い）　
ちょっと恥ずかしいことは恥ずかしいんだが。

ともかく「論理学」ってタイトルのスレが既に勝手に立てられてしまってるから、単純な「論理学」は使えない。
個人的には「記号論理学」でも許すが、モデル論とか集合論とか再帰論も含む事を考えると、
やっぱり「数理論理学」の方が「記号論理学」よりはずっと良いタイトルだと思うんだよね。