科学理論
複数の評論家が、モデルが記述的に限られる(そして限られた意味で予測的である)のに対し、理論は記述的であると同じくらい説明的であることが際立った特徴となっていることを指摘している。哲学者のスティーブン・ペッパーもまた理論とモデルを区別し、1948年に一般的にモデルと理論は、科学者がどのように現象を理論化・モデル化し実験可能な仮説にたどり着くかという点で、植物の根に比喩されると述べている。
工学分野では数理モデルと物理モデルは区別される。CADなどのコンピューターソフトウェアを使って最初に数理モデルを作っておくことで、物理モデルの製造コストを最小化できる。構成部品はそれぞれモデル化され、製造公差が指定されている。分解図は製造過程をレイアウトするために使われる。各アセンブリを表示するシミュレーションソフトにより、それぞれの部品を現実のように詳細に回転・サイズ変更させることができる。建設における部品表を作成するソフトウェアにより、下請け業者が各々のアセンブリの組み立てに特化することで、製造コストを複数の顧客に分散できる。
論理実証主義者たちは科学理論を形式言語における記述と考えていた。一階述語論理が形式言語の例である。論理実証主義者はこれと同様の科学的言語を想定していた。言語には、科学理論のほかにも観測文(太陽が東から昇った、など)や定義、数学的記述が含まれている。理論で説明される現象は、誰も五感でその存在を直接観測できない場合(たとえば原子や電波なども含む)、概念自体が理論的に扱われる。この視点においては、理論は公理として機能し、ユークリッド幾何学で導出された定理と同様に理論から観測結果を予測できる。ただし、予測に反する現実の結果がないかテストされ、その結果によってこの公理は修正される。
科学哲学において「受け取られた理論の視点」というフレーズはこのアプローチで使われてきた。一般的に関連する言葉として「言語学的」(理論は言語によって構成されるため)と「構文的」(言語は記号をつなぎ合わせる方法についての規則を持ち合わせているため)がある。この種の定義を厳密に定義する際の問題、たとえば顕微鏡を通してみた物体を観察上の物体ととるか理論上の物体ととるかなどは、1970年代に論理実証主義自体に対して終わりをもたらした。