- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Switch to: References
Citations of:
Artificial Languages Across Sciences and Civilizations
Journal of Indian Philosophy 34 (1-2):89-141 (2006)
Add citations
You must login to add citations.
|
|
|
Artificial intelligence is regarded in the context of the tasks that are delegated to it during the development of technical projects and the features of the implementation of tasks that must be performed in real time without the possibility of interruption. The relevance of the study is determined by the fact that artificial intelligence sees as its main task the formalisation of decision-making with little or no human involvement. The basis of the methodological search are biological and prognostic methods. The (...) |
|
|
Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge. |
|
|
|
|
|
Medieval Arabic algebra is a good example of an artificial language.Yet despite its abstract, formal structure, its utility was restricted to problem solving. Geometry was the branch of mathematics used for expressing theories. While algebra was an art concerned with finding specific unknown numbers, geometry dealtwith generalmagnitudes.Algebra did possess the generosity needed to raise it to a more theoretical level—in the ninth century Abū Kāmil reinterpreted the algebraic unknown “thing” to prove a general result. But mathematicians had no motive to (...) |
|
|
|
|
|
This paper explains how mathematical computation can be constructed from weaker recursive patterns typical of natural languages. A thought experiment is used to describe the formalization of computational rules, or arithmetical axioms, using only orally-based natural language capabilities, and motivated by two accomplishments of ancient Indian mathematics and linguistics. One accomplishment is the expression of positional value using versified Sanskrit number words in addition to orthodox inscribed numerals. The second is Pāṇini’s invention, around the fifth century BCE, of a formal (...) |
|
|
One of the ways in which the artificial languages of mathematics are “generous”, that is, in which they assists the advance of thought, is through its establishment of advanced operatory structures that permit an even further advance of intuition. However, this generosity may be delusive, suggest ideas which in the longer run turn out to be untenable. The paper analyses two cases of “honest generosity”, namely a “proof” of the sign rule “less times less makes plus” from the 1340s and (...) |
|
|
Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge. |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-w5f9g uwo