大 部分 の プログラミング 言語 の 文法 は 文脈 自由 文法 によって 定義 さ れ て いる 。

型のある 言語 と は 、 型 システム によって 、 それぞれ の 値 の データ 型 に 応じ て 、 定義 さ れ て い ない 操作 が 実行 さ れ ない よう チェック さ れる 機構 を 持つ もの を 指す 。

言語 によって は 、 コンパイル 時 に 検出 し （ 静的 型 検査 ） コンパイル を 失敗 と する 。

言語 によって は 、 実行 時 に 検出 し （ 動的 型 検査 ） 、 例外 と する もの も あれ ば なんらかの コアーション （ 型 の 強制 ） を 行う もの も ある 。

言語 と その 標準 ライブラリ の 境界 は 、 言語 によって 様々 で ある 。

実際 、 言語 によって は 一部 の 構文 要素 が 標準 ライブラリ なし で は 使え ない こと も ある 。

20 世紀 初頭 に は 、 タビュレーティングマシン によって パンチ カード を 使っ た データ の 機械 処理 が 始まっ て いる 。

1990 年代 中頃 に は 、 インターネット の 急激 な 成長 によって 新た な 言語 が 生み出さ れる 機会 が 生じ た 。

また 、 利用 という 意味 も 文脈 によって 異なる 。

言語 によって は 2 つ の パラダイム の 性格 を 併せ持つ こと も ある し 、 マルチパラダイム の 場合 も ある 。

1980 年代 に 、 ニューラルネットワーク は バックプロパゲーションアルゴリズム によって 広く 使わ れる よう に なっ た 。

国防 高等 研究 計画 局 は 、 最初 の 湾岸 戦争 において ユニット を スケジューリング する のに AI を 使い 、 これ によって 省か れ た コスト が 1950 年代 以来 の AI 研究 へ の 政府 の 投資 全額 を 上回っ た こと を 明らか に し た 。

特筆 す べき 事例 として 、 ロジャー・ペンローズ の 著書 『 皇帝 の 新しい 心 』 と 、 ジョン ・ サール の 「 中国 語 の 部屋 」 という 思考 実験 は 、 真 の 意識 が 形式 論理 システム によって 実現 でき ない と 主張 する 。

また 、 「 何 が 実現 さ れれ ば 人工 知能 が 作ら れ た と いえる の か 」 という 基準 から 逆算 する こと によって 、 「 知能 と は そもそも 何 か 」 といった 問い も 立て られ て いる 。

更に 、 古来 「 肉体 」 と 「 精神 」 は 区別 し 得る もの という 考え方 が 根強かっ た が 、 その 考え方 に対する 反論 として 「 意識 は 肉体 によって 規定 さ れる の で は ない か 」 と いっ た もの が あっ た 。

オーストリア ・ ハンガリー 二 重 帝国 の 崩壊 によって 、 オーストリア の 国土 が 民族 ドイツ 人 居住 地域 に 限定 さ れる と 、 左右 を 問わ ず に ドイツ へ の 合併 を 求める 声 が 高まり 、 第 一 次 大戦 敗戦 直後 は 「 ドイツ ・ オーストリア 共和 国 」 という 国名 を 名乗っ て さえ い た 。

しかし 、 この 方法 に よれ ば 、 他人 が 著作 物 A を 改変 、 翻訳 する こと によって 創作 し た 二 次 的 著作 物 A ' の 著作 権 の 処分 は 当該 他人 の 自由 意思 に 委ね られる ため 、 著作 物 A ' の 自由 利用 は 保証 さ れ ず 、 いわゆる コピー レフト の 実現 が 不十分 と なる 。

また 、 B が その 文書 の 改変 版 を 作っ た うえ で 、 改変 後 の もの を A が 書い た か の よう に 見せ て 頒布 する と 、 改変 し た 内容 によって は 、 これ も また A の 名誉 を 損ね て しまう 結果 と なる こと が ある 。

これ は 誤訳 の 可能 性 が ある もの を 承認 する こと によって 生じる リスク を 回避 する ため で ある 。

代表 作 『 エチカ 』 は 、 副題 の 「 幾何 学 的 秩序 によって 論証 さ れ た 」 という 形容 が 表し て いる よう に 、 なに より その 中身 が 如実 に 示し て いる よう に 、 ユークリッド の 『 幾何 原論 』 を 髣髴 と さ せる 定義 ・ 公理 ・ 定理 ・ 証明 の 一大 体系 で ある 。