What is subject matter of Logic?
One eminent philosopher has given a direct response to this question. Namely, Ludwig Wittgenstein contended that Logic is about the boundaries of reality.
Although it's not necessary, perhaps we should say a little about Wittgenstein's professor and the eminent philosopher Bertrand Russell. According to Russell, logic is the fundamental structure of all language. That all sentences have an underlying structure that followed the rules of logic, such that logic is, perhaps, about the structure of language.
Taking this idea in a much different direction (the early) Wittgenstein argues that logic structures the limits of our thinking. For Wittgenstein our thinking is shaped by our language. That is, when we think of the Cartesian doubting whether anyone else has ever thought, whether he or she is the only one who is really thinking, Wittgenstein denies this altogether. Specifically, the only reason the Cartesian can think is because they have been immersed in a language (This, with the development of psychology, linguistics, etcetera, has proved dubious). So, in essence, language shapes our thinking, but it also shapes the way we understand reality.
According to Wittgenstein language describes situations or states of affairs. That is, it gives us pictures of reality. If I say, "Tomorrow it will rain," on the early Wittgenstein's view, this is "painting" a picture of reality. What is more, language describes reality, such that it is reality. What we know about reality and how we describe reality is only expressed through language. Thus, when we want to understand reality, we want to know not just what it is at the moment, but how it might be. Here comes the punch line.
Logic tells us the limits on how the world might be or can be. For instance, it's an incontrovertible fact of logic that one thing cannot be in two places at the same time. It is true in all possible worlds that P and not-P is false. Thus, we can use this as a limit on how the world might be. For instance, I cannot be both in Tokyo and not in Tokyo (say in Los Angeles) simultaneously; it cannot be both raining and not raining in the same place at the same time (strictly speaking); and so on. In this sense, logic, according the Wittgenstein tells us what the structure and limits of reality are. Specifically, they form the boundaries of our thinking and language
Although it's not necessary, perhaps we should say a little about Wittgenstein's professor and the eminent philosopher Bertrand Russell. According to Russell, logic is the fundamental structure of all language. That all sentences have an underlying structure that followed the rules of logic, such that logic is, perhaps, about the structure of language.
Taking this idea in a much different direction (the early) Wittgenstein argues that logic structures the limits of our thinking. For Wittgenstein our thinking is shaped by our language. That is, when we think of the Cartesian doubting whether anyone else has ever thought, whether he or she is the only one who is really thinking, Wittgenstein denies this altogether. Specifically, the only reason the Cartesian can think is because they have been immersed in a language (This, with the development of psychology, linguistics, etcetera, has proved dubious). So, in essence, language shapes our thinking, but it also shapes the way we understand reality.
According to Wittgenstein language describes situations or states of affairs. That is, it gives us pictures of reality. If I say, "Tomorrow it will rain," on the early Wittgenstein's view, this is "painting" a picture of reality. What is more, language describes reality, such that it is reality. What we know about reality and how we describe reality is only expressed through language. Thus, when we want to understand reality, we want to know not just what it is at the moment, but how it might be. Here comes the punch line.
Logic tells us the limits on how the world might be or can be. For instance, it's an incontrovertible fact of logic that one thing cannot be in two places at the same time. It is true in all possible worlds that P and not-P is false. Thus, we can use this as a limit on how the world might be. For instance, I cannot be both in Tokyo and not in Tokyo (say in Los Angeles) simultaneously; it cannot be both raining and not raining in the same place at the same time (strictly speaking); and so on. In this sense, logic, according the Wittgenstein tells us what the structure and limits of reality are. Specifically, they form the boundaries of our thinking and language