The meanings of sentences can be understood in terms of Tarskian "truth condition." This theory of meanings is called "truth-conditional semantics." Truth-conditional semantics is grounded on the principle of compositionality developed by Frege. We ca...
The meanings of sentences can be understood in terms of Tarskian "truth condition." This theory of meanings is called "truth-conditional semantics." Truth-conditional semantics is grounded on the principle of compositionality developed by Frege. We can generate infinite sentences by connecting atomic sentences. There are several logical connectives such as negation, conjunction, disjunction, conditional, and so on. The uses of such connectives are investigated logically. And the theory of quantification are investigated too. First-order propositional logic and quantificational logic are systematized for truth-functional semantics.