An Analysis of Logical Reasoning and its Impact on Computer Science

This report delves into the critical role of logical reasoning within the field of computer science. It begins by highlighting the importance of logical reasoning, emphasizing its application in programming, artificial intelligence, and problem-solving. The report then traces the historical development of logical reasoning within computer science, from its early foundations to its modern applications. Furthermore, it discusses the author's personal learning experiences, including the knowledge, understanding, and skills gained through the study of logical reasoning, and how these contribute to a deeper understanding of computer science concepts such as recursion theory, modal logic, and category theory. The report concludes by reinforcing the significance of logical reasoning as a fundamental tool for computer scientists, enabling them to develop efficient and effective solutions in their field of work. The provided references include a list of books and journals that support the report's findings.

Computer science: Logical
reasoning

TABLE OF CONTENTS
INTRODUCTION...........................................................................................................................1
1) Importance to computer science of logical reasoning........................................................1
2) Development of logical reasoning in history of computer science....................................2
3) My learning in logical reasoning in terms of knowledge, understanding and skills..........2
CONCLUSION................................................................................................................................3
REFERENCES................................................................................................................................4

INTRODUCTION
Logical reasoning is the process of using a rational and systematic series of steps based
on sound mathematical procedures. It includes certain statements for making an appropriate
conclusion. This entire report is based on importance of computer science to logical reasoning.
Along with this, this report will emphasise on the evolution of computer science that resulted in
the logical reasoning. Further, the knowledge, understanding and skills gained from the logical
reasoning will be discussed.
1) Importance to computer science of logical reasoning
Logical reasoning keeps a significant place in context to computer science. As computer
science is the study or theory of computing, programming and computation in correspondence
with computer system. All these operations are somewhere concerned with the forms of
reasoning Computer science deals with the examination and methods of processing information
in digital system, the method of computer hardware and software and the systems of computers
(Li Ritter, and Jurafsky, 2014). It is the branch of science and technology that is run by computer
system with their software, hardware and networking. Logical reasoning is very important tool
for computer science because through this, lot of issue can be solved of computer system. When
users cannot get the appropriate solution, then they use logical reasoning tools for getting the
proper solution. First importance of this topic is symbolic logic, all the computer programs are
written in different languages such as Java, C++, C, etc. In order to read these languages,
systems are required to have an ability to perform logical operations. It is because of the fact that
these languages are having features of logical symbolism. Logic is concerned with forms of
reasoning. It is the large range of pursuits and relevant to computer science. It is very valuable
for computer science. Through this reasoning computer systems can access the validity of the
operations.. (Falmagne, 2015). Logic is the effective method for solving symbolic programs with
high complexity. The modern logic is much concerned with the proofs of results along with their
interpretation. In addition to this, knowledge of logical reasoning is essential in the development
of new computer programmes. A major role of logical reasoning is rendered in the artificial
intelligence based on the computer systems. this reasoning is later interpreted in the required
machine accepted language. This knowledge is regarded as much important as calculus used in
the mathematics. The logic and set theories covers the most basics of the computer courses. It is
1

also proven that logical reasoning is a spectacularly effective method in database. In the
computer, lots of data can be saved and it will help in future. Most of logic course include the
analysis of the characteristics of deductive inference (Chen and Augusto, 2014). So, computer
science is the system from which people can learn lot of fundamental, mathematical things
through logical reasoning. Computer programs are written in special symbolic languages, so
people can easily understand the logic of computer system. It help people in the easy work and
accomplishing their work in time at their workplace. The most important factor of logical
reasoning is that this is the system which run in professional and easy way.
2) Development of logical reasoning in history of computer science
In the history of computer science, logical development has been increased tremendously.
The history of logic deals with the study of the development of the science of valid interface or
logic. A brief history of logic first point is Trivia. In this method, the word trivia has an
interesting etymology. Some attempts by the class to define logic were: the ability to determine
correct answers through a standardized process, formal interface's study, the sequence of verified
statements, reasoning as opposed to intuition and the deduction of statements from a set of
statements. In the history, a lot of part was described about logical reasoning in the computer
science. There is some different logic which was part of the history and that is Algebraic logic, it
is the 2nd age of logic. The 3rd age of logic is mathematical logic (Moshman and Tarricone
2016). Logic in computer science is the 4th age of the logical reasoning. The design of hardware
built out of gates that implement Boolean logic primitives. These operations are developed to
make the devices perform in the language acceptable to them. This entire logic belong to history
of computer science and this is the very valuable logical reasoning in the computer science and it
is helping in the present to people (Smith and Goel 2014).
3) My learning in logical reasoning in terms of knowledge, understanding and skills
There are different types of logical reasoning operations in the computer science and lot
of things can be learned from this. Through it, I got so much knowledge, understanding and
skills associated with the very basic operations. This knowledge will assist me in performing the
exact reasoning to perform operations of computer systems. This will further boost my
knowledge in field of recursion theory, modal logic and category theory (Ren and Zemel 2015).
However, it should be recognised that the logical reasoning understanding is highly required for
2

the development of different computer programs. Any computer programme that is written in
any of the language either C, C++, Java, etc. entails a sense of knowledge with context to the
logic so that effective formulation can be done. The learning thus, helped me in developing
computer programmes in an effective manner. Further, the knowledge possessed by me with the
logical reasoning will assist in strengthening of foundations of computer science such as
software analysis of different algorithms, discrete logics, etc. (Logical reasoning, 2015) This
knowledge further rendered me with an opportunity to solve various problems while
programming. It helps in developing a search space of solving any challenge. In this way, the
understanding, knowledge and skills I earned with the help of logical reasoning will boost my
performance in computer science operations. CONCLUSION
In this report, it has been recognised about logical reasoning and computer science and
their importance. Through this entire report, it is concluded that logical reasoning is part of
computer science's history. Along with this, it has concluded about my learning in term of
knowledge, information, skills and understanding level.
3

REFERENCES
Books and Journals:
Chen, S. and Augusto J. C. 2014. A linguistic multi-criteria decision making approach based on
logical reasoning. Information Sciences. 258. pp.266-276.
Falmagne R. J. 2015. Reasoning: Representation and Process: in Children and Adults.
Psychology Press.
Li J. Ritter and Jurafsky D. 2014. Inferring user preferences by probabilistic logical reasoning
over social networks. arXiv preprint arXiv:1411.2679.
Moshman D. and Tarricone P. 2016. Logical and causal reasoning. Handbook of epistemic
cognition. pp.54-67.
Ren M. and Zemel R., 2015. Exploring models and data for image question answering. In
Advances in neural information processing systems (pp. 2953-2961).
Smith K. W. and Goel V. 2014. Dissociable neural systems underwrite logical reasoning in the
context of induced emotions with positive and negative valence. Frontiers in human
neuroscience. 8.
Online:
Logical reasoning. 2015. book/publisher, [Online]. <http://www.avatto.com/aptitude/logical-
reasoning/questions-answers>