Purchase Solution

Symbolic Logic Problem : Sentence to Expression

Not what you're looking for?

Ask Custom Question

Transcribe the English argument below into an appropriate logical language adequate to determine it to be valid. Also, please provide a derivation of the conclusion from the premises within the same logical system (by which you transcribed it). *this seems to be predicate logic and probably requires universal and existential quantifier. For universal use (X). Existential, use (E).

Every mental state is identical with some brain state or other. All mental states are introspectable. There is at least one mental state. Hence, some brain state is introspectable.

Purchase this Solution

Solution Summary

An argument is transcribed into a symbolic logic expression. The introspectable mental state is analyzed.

Solution Preview

Well, the first part is "Every mental state is identical with some brain state or other". We can write it as:

(X)(MX--->(EY)(BY & X=Y))
where X and Y are universal and M shows the mental state and B shows the brain state and X=Y means those two are identical.

Then we have: "All mental states are introspectable." which means:
where I means introspectable.

Finally we ...

Purchase this Solution

Free BrainMass Quizzes
Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.