Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science.
Intentionality - therelationship between conscious states and their objects - is one of the mostdiscussed topics in contemporary debates in philosophy of mind, cognitiveneuroscience and the study of consciousness. Long a foundational concept inPhenomenology, it has also received considerable coverage in the writings ofanalytic philosophers. This book is the first study to offer an impartial,well-informed assessment of the two traditions' approaches through an in-depthinvestigation of the principal thinkers' ideas, so that their positions emergeside-by-side, converging and diverging on certain shared themes.
The third edition of Languages and Machines: An Introduction to the Theory of Computer Science provides readers with a mathematically sound presentation of the theory of computer science at a level suitable for junior and senior level computer science majors. The theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations. In this edition the presentation has been enhanced by increasing the number of examples, expanding the selection of topics particularly in the area of computational complexity, and providing a flexible format giving instructors the ability to design their courses that concentrate on specific areas such as automata theory, computability theory, or computational complexity.
A groundbreaking, unifying theory of computer science for low-cost, high-quality software<br> <br> <br> The Cognitive Dynamics of Computer Science represents the culmination of more than thirty years of the author's hands-on experience in software development, which has resulted in a remarkable and sensible philosophy and practice of software development. It provides a groundbreaking ontology of computer science, while describing the processes, methodologies, and constructs needed to build high-quality, large-scale computer software systems on schedule and on budget.<br> <br> Based on his own experience in developing successful, low-cost software projects, the author makes a persuasive argument for developers to understand the philosophical underpinnings of software. He asserts that software in reality is an abstraction of the human thought system. The author draws from the seminal works of the great German philosophers--Kant, Hegel, and Schopenhauer--and recasts their theories of human mind and thought to create a unifying theory of computer science, cognitive dynamics, that opens the door to the next generation of computer science and forms the basic architecture for total autonomy.<br> * Four detailed cases studies effectively demonstrate how philosophy and practice merge to meet the objective of high-quality, low-cost software.<br> * The Autonomous Cognitive System chapter sets forth a model for a completely autonomous computer system, using the human thought system as the model for functional architecture and the human thought process as the model for the functional data process.<br> * Although rooted in philosophy, this book is practical, addressing all the key areas that software professionals need to master in order to remain competitive and minimize costs, such as leadership, management, communication, and organization.<br> <br> This thought-provoking work will change the way students and professionals in computer science and software development conceptualize and perform their work. It provides them with both a philosophy and a set of practical tools to produce high-quality, low-cost software.
This volume deals with several types of contact languages: pidgins, creoles, mixed languages, and multi-ethnolects. It also approaches contact languages from two perspectives: an historical linguistic perspective, more specifically from a viewpoint of genealogical linguistics, language descent and linguistic family tree models; and a sociolinguistic perspective, identifying specific social contexts in which contact languages emerge.
Computer Macro Articles
Computer Macro Books