This document discusses the history and relationship between structural linguistics, formal semantics, and the ideas of Ferdinand de Saussure. It summarizes that structural linguistics began with de Saussure's work but his followers developed it in ways that diverged from his original rigorous scientific approach. Chomsky introduced formal grammars that increased linguistic rigor and facilitated computer applications. Montague then formalized semantics based on formal logic and possible worlds, treating meanings as sets rather than just truth values. This formal approach resolved issues with previous semantic theories.
Hi Guys.. I think No one has done such a great work on text linguistics on the whole.. Me and My friend Asif has done almost 9 hour work to make it Excellent.. Guys read it and you will get all the Text Linguistics concepts in it. Insha Allah..
Hi Guys.. I think No one has done such a great work on text linguistics on the whole.. Me and My friend Asif has done almost 9 hour work to make it Excellent.. Guys read it and you will get all the Text Linguistics concepts in it. Insha Allah..
IOSR Journal of Humanities and Social Science is an International Journal edited by International Organization of Scientific Research (IOSR).The Journal provides a common forum where all aspects of humanities and social sciences are presented. IOSR-JHSS publishes original papers, review papers, conceptual framework, analytical and simulation models, case studies, empirical research, technical notes etc.
The Edge of Linguistics lecture series from Prof. Fredreck J. Newmeyer
During Oct 7 to Oct 17, Prof. Newmeyer offered a lecture series on a wide range of linguistic topics in Beijing Language and Culture University.
Lecture 1: The Chomskyan Revolution
Lecture 2: Constraining the Theory
Lecture 3: The Boundary between Syntax and Semantics
Lecture 4: The Boundary between Competence and Performance
Lecture 5: Can One Language Be ‘More Complex’ Than Another?
Background:
Fredreck J. Newmeyer is Professor Emeritus of Linguistics at the University of Washington and adjunct professor in the University Of British Columbia Department Of Linguistics and the Simon Fraser University Department of Linguistics. He has published widely in theoretical and English syntax.
Comparison between the Prague Circle and Copenhagen Circle of LinguisticsHani Khan
Prague School of Linguistics was established in Prague in the 1920s by Vilém Mathesius. In 1928 the Circle publicized its theses presented to the First International Congress of Linguists in The Hague, which was drafted by Roman Jacobson, in co-operation with Nikolai Trubetzkoy, Sergey Karchevskiy, and others. The Circle covered various areas of the sciences of language; Trubetzkoy dealt with phonetics and phonology, Vilém Mathesius dealt with syntax, Roman Jacobson was interested in poetics and Jan Mukarovky tackled poetic language.
The Copenhagen School, officially the "Linguistic Circle of Copenhagen”, was a group of scholars dedicated to the study of structural linguistics founded by Louis Hjelmslev and Viggo Brøndal. The Copenhagen Circle evolved with the developing theory of language, glossematics based on the model of Prague Circle.
zkStudyClub - Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex ProofsAlex Pruden
This paper presents Reef, a system for generating publicly verifiable succinct non-interactive zero-knowledge proofs that a committed document matches or does not match a regular expression. We describe applications such as proving the strength of passwords, the provenance of email despite redactions, the validity of oblivious DNS queries, and the existence of mutations in DNA. Reef supports the Perl Compatible Regular Expression syntax, including wildcards, alternation, ranges, capture groups, Kleene star, negations, and lookarounds. Reef introduces a new type of automata, Skipping Alternating Finite Automata (SAFA), that skips irrelevant parts of a document when producing proofs without undermining soundness, and instantiates SAFA with a lookup argument. Our experimental evaluation confirms that Reef can generate proofs for documents with 32M characters; the proofs are small and cheap to verify (under a second).
Paper: https://eprint.iacr.org/2023/1886
Maruthi Prithivirajan, Head of ASEAN & IN Solution Architecture, Neo4j
Get an inside look at the latest Neo4j innovations that enable relationship-driven intelligence at scale. Learn more about the newest cloud integrations and product enhancements that make Neo4j an essential choice for developers building apps with interconnected data and generative AI.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
UiPath Test Automation using UiPath Test Suite series, part 5DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 5. In this session, we will cover CI/CD with devops.
Topics covered:
CI/CD with in UiPath
End-to-end overview of CI/CD pipeline with Azure devops
Speaker:
Lyndsey Byblow, Test Suite Sales Engineer @ UiPath, Inc.
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfPaige Cruz
Monitoring and observability aren’t traditionally found in software curriculums and many of us cobble this knowledge together from whatever vendor or ecosystem we were first introduced to and whatever is a part of your current company’s observability stack.
While the dev and ops silo continues to crumble….many organizations still relegate monitoring & observability as the purview of ops, infra and SRE teams. This is a mistake - achieving a highly observable system requires collaboration up and down the stack.
I, a former op, would like to extend an invitation to all application developers to join the observability party will share these foundational concepts to build on:
GraphRAG is All You need? LLM & Knowledge GraphGuy Korland
Guy Korland, CEO and Co-founder of FalkorDB, will review two articles on the integration of language models with knowledge graphs.
1. Unifying Large Language Models and Knowledge Graphs: A Roadmap.
https://arxiv.org/abs/2306.08302
2. Microsoft Research's GraphRAG paper and a review paper on various uses of knowledge graphs:
https://www.microsoft.com/en-us/research/blog/graphrag-unlocking-llm-discovery-on-narrative-private-data/
Pushing the limits of ePRTC: 100ns holdover for 100 daysAdtran
At WSTS 2024, Alon Stern explored the topic of parametric holdover and explained how recent research findings can be implemented in real-world PNT networks to achieve 100 nanoseconds of accuracy for up to 100 days.
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
Generative AI Deep Dive: Advancing from Proof of Concept to ProductionAggregage
Join Maher Hanafi, VP of Engineering at Betterworks, in this new session where he'll share a practical framework to transform Gen AI prototypes into impactful products! He'll delve into the complexities of data collection and management, model selection and optimization, and ensuring security, scalability, and responsible use.
Enchancing adoption of Open Source Libraries. A case study on Albumentations.AIVladimir Iglovikov, Ph.D.
Presented by Vladimir Iglovikov:
- https://www.linkedin.com/in/iglovikov/
- https://x.com/viglovikov
- https://www.instagram.com/ternaus/
This presentation delves into the journey of Albumentations.ai, a highly successful open-source library for data augmentation.
Created out of a necessity for superior performance in Kaggle competitions, Albumentations has grown to become a widely used tool among data scientists and machine learning practitioners.
This case study covers various aspects, including:
People: The contributors and community that have supported Albumentations.
Metrics: The success indicators such as downloads, daily active users, GitHub stars, and financial contributions.
Challenges: The hurdles in monetizing open-source projects and measuring user engagement.
Development Practices: Best practices for creating, maintaining, and scaling open-source libraries, including code hygiene, CI/CD, and fast iteration.
Community Building: Strategies for making adoption easy, iterating quickly, and fostering a vibrant, engaged community.
Marketing: Both online and offline marketing tactics, focusing on real, impactful interactions and collaborations.
Mental Health: Maintaining balance and not feeling pressured by user demands.
Key insights include the importance of automation, making the adoption process seamless, and leveraging offline interactions for marketing. The presentation also emphasizes the need for continuous small improvements and building a friendly, inclusive community that contributes to the project's growth.
Vladimir Iglovikov brings his extensive experience as a Kaggle Grandmaster, ex-Staff ML Engineer at Lyft, sharing valuable lessons and practical advice for anyone looking to enhance the adoption of their open-source projects.
Explore more about Albumentations and join the community at:
GitHub: https://github.com/albumentations-team/albumentations
Website: https://albumentations.ai/
LinkedIn: https://www.linkedin.com/company/100504475
Twitter: https://x.com/albumentations
The Art of the Pitch: WordPress Relationships and SalesLaura Byrne
Clients don’t know what they don’t know. What web solutions are right for them? How does WordPress come into the picture? How do you make sure you understand scope and timeline? What do you do if sometime changes?
All these questions and more will be explored as we talk about matching clients’ needs with what your agency offers without pulling teeth or pulling your hair out. Practical tips, and strategies for successful relationship building that leads to closing the deal.
Epistemic Interaction - tuning interfaces to provide information for AI supportAlan Dix
Paper presented at SYNERGY workshop at AVI 2024, Genoa, Italy. 3rd June 2024
https://alandix.com/academic/papers/synergy2024-epistemic/
As machine learning integrates deeper into human-computer interactions, the concept of epistemic interaction emerges, aiming to refine these interactions to enhance system adaptability. This approach encourages minor, intentional adjustments in user behaviour to enrich the data available for system learning. This paper introduces epistemic interaction within the context of human-system communication, illustrating how deliberate interaction design can improve system understanding and adaptation. Through concrete examples, we demonstrate the potential of epistemic interaction to significantly advance human-computer interaction by leveraging intuitive human communication strategies to inform system design and functionality, offering a novel pathway for enriching user-system engagements.
Goodbye Windows 11: Make Way for Nitrux Linux 3.5.0!SOFTTECHHUB
As the digital landscape continually evolves, operating systems play a critical role in shaping user experiences and productivity. The launch of Nitrux Linux 3.5.0 marks a significant milestone, offering a robust alternative to traditional systems such as Windows 11. This article delves into the essence of Nitrux Linux 3.5.0, exploring its unique features, advantages, and how it stands as a compelling choice for both casual users and tech enthusiasts.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Communications Mining Series - Zero to Hero - Session 1DianaGray10
This session provides introduction to UiPath Communication Mining, importance and platform overview. You will acquire a good understand of the phases in Communication Mining as we go over the platform with you. Topics covered:
• Communication Mining Overview
• Why is it important?
• How can it help today’s business and the benefits
• Phases in Communication Mining
• Demo on Platform overview
• Q/A
Dr. Sean Tan, Head of Data Science, Changi Airport Group
Discover how Changi Airport Group (CAG) leverages graph technologies and generative AI to revolutionize their search capabilities. This session delves into the unique search needs of CAG’s diverse passengers and customers, showcasing how graph data structures enhance the accuracy and relevance of AI-generated search results, mitigating the risk of “hallucinations” and improving the overall customer journey.
1. Structural Linguistics And Formal Semantics
Jaroslav Peregrin
[Travaux du Cercle Linguistique de Prague I, Benjamins, Amsterdam, 1995;
original pagination]
Introduction
The beginning of this century hailed a new paradigm in linguistics, the paradigm
brought about by de Saussure's Cours de Linguistique Genérále and subsequently
elaborated by Jakobson, Hjelmslev and other linguists. It seemed that the
linguistics of this century was destined to be structuralistic. However, half of the
century later a brand new paradigm was introduced by Chomsky's Syntactic
Structures followed by Montague's formalization of semantics. This new turn has
brought linguistics surprisingly close to mathematics and logic, and has facilitated
a direct practical exploitation of linguistic theory by computer science.
One of the claims of this paper is that the post-Saussurian structuralism,
both in linguistics and in philosophy, is partly based on ideas quite alien to de
Saussure. The main aim then is to explain the ideas driving the formalistic turn of
linguistics and to investigate the problem of the extent to which they can be
accommodated within the framework of the Saussurian paradigm. The main
thesis advocated is that the point of using formalisms in linguistics is more
methodological than substantial and that it can be well accommodated within the
conceptual framework posited by de Saussure.
1 De Saussure vs. Structuralism
Before beginning to discuss structuralism, let us stress the distinction between the
genuine views of Ferdinand de Saussure and the teachings of his various avowed
followers, be they linguists or philosophers. In fact, de Saussure's theory, as
presented in his Course, is an austere and utterly rational scientific theory
articulated with a rigour commonly associated with linguistic theories of the
'post-Chomskian' period, though differing from them by the absence of
2. -$526/$9 3(5(*5,1
formalisms. Many of the de Saussure's followers tried to turn his approach into
something quite different: into a tool of questioning scientific rationalism
overemphasizing the literary aspect of language.
This is true particularly of French philosophers who used the structural
insight to fight the analytic approach of their Anglo-American colleagues. It is
beyond doubt that French structuralism constitutes one of the most significant
philosophical movements of this century; however, its affiliation to de Saussure is
an intricate matter. These philosophers have eagerly reassumed the view of
language as a self-contained phenomenon to be explained by an appeal to its
intrinsic properties; however, they have almost completely ignored other aspects
of de Saussure's approach to language, notably his calm scientific rigour.1
Linguists such as Jakobson and Hjelmslev, of course, remained far more
faithful to the teaching of their predecessor, but they failed to match his rigour.
Thus Hjelmslev's theory, although guided by the promising goal of finding the
system beyond the process and the constancy beyond the variability,2 is
overloaded with more or less mysterious concepts which he is not willing to make
sufficiently precise; and Jakobson, although on the one hand ready for such
exquisitely Saussurian claims as if topology is defined as the study of those
qualitative properties which are invariant under isomorphic transformations, this
is exactly what we did in structural linguistics3, on the other hand considers
theory of language to be akin to literary criticism and claims that only as a poetry
is language essential4.
2 De Saussure de-mythicized
In what sense then was de Saussure himself a structuralist? Structuralism, as
developed by de Saussure, consists in viewing abstract linguistic objects
(especially meanings, but everything that he calls linguistic reality) as values of
elements of the system of the expressions that make up language. Let us explain
this in detail5.
First, let us notice that to speak about a structure is possible only there
where it is possible to speak about parts and wholes. Indeed: structure is the way
of organizing parts into a whole. So to base one's theory of language on the
concept of structure presupposes viewing language as a part-whole system.
Let us stress that the notion of a part-whole structure of language may be
far from trivial. Expressions are indeed strings of words and as such they consist
of substrings (thus John loves Mary consists of John loves and Mary, or of John
and loves Mary, or of John and loves and Mary), but this trivial part-whole
structuring is not what linguistics is about. Besides it there is another, nontrivial
part-whole structure which can be imposed on the class of expressions of
3. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
language and which stems from centuries of investigations by grammarians.
According to this notion John loves Mary consists of John and to love Mary, or of
John, to love and Mary, where loves is considered to be only a kind of form (or
a manifestation) of to love.
Let us further notice that to speak about a structure is necessary only there
where two different wholes may consist of the same parts. Indeed, structure then
is what makes the difference. Otherwise there is no reason for not considering all
wholes as having the same structure. We saw that the sentences John loves Mary
and Mary loves John can be considered as consisting of the same parts. But these
two sentences are different, and hence there must be something which makes
them so; and it is this something that is addressed as their structure.
The part-whole view of language implies the perceiving of expressions as
building-blocks, as constituents of more complex expressions, the ultimate
wholes being sentences. (Sentences themselves can thus be viewed both as
complete wholes and as blocks used to build more complex wholes.) Any block is
suitable for some ways of building some wholes, and not suitable for other ways
and other wholes; and the situation may arise in which the usability of two blocks
coincides. This is the case when using one of the blocks instead of the other leads
always to the result which we consider equivalent to the original one. (If we build
houses and equate all houses of the same shape, i.e., differing only in colour, then
we thereby equate also all bricks differing only in colour.) This is to say that
considering some wholes equivalent engenders our also taking some blocks to
have equal values.
Hence every equivalence on the class of expressions of language induces
an assignment of values to expressions. The concept of equivalence, or, in de
Saussure's term, identity, is thus interdependent with the concept of value. This is
de Saussure's (1931, p.110) claim that the notion of identity blends with that of a
value and vice versa.
Now, roughly speaking, the main claim of de Saussure's is that all the
abstract entities associated with expressions can be considered as values and
hence as certain spin-offs (using the term as used by Quine) of certain
equivalences (or oppositions, which are complements of equivalences).
3 Chomsky, Montague and Formal Semantics
Chomsky's path-breaking theory occasioned the reconstruction of language as a
formal algebraic structure. Chomsky proposed to account for a language via a set
4. -$526/$9 3(5(*5,1
of formal generative rules, the recursive application of which to a given initial
symbol generates all and only syntactically well-formed sentences of the
language.
The notion of natural language as a bundle of rules is clearly nothing new.
In fact, the very idea of grammar is based on this view: to write a grammar of a
given language means to articulate rules accounting for well-formedness of that
language. Chomsky's novum was that he proposed organizing the rules into a
hierarchical system allowing for systematical generation, and basing all this upon
setting up of the grammar as a real mathematical structure6. Such a
mathematization entailed an exceptional increase of rigour and perspicuity and,
moreover, it led to the development of a metatheory, investigating into the formal
properties of grammars (e.g. their relative strengths).
Chomsky's approach proved to be extremely fruitful in the realm of
syntax, and linguists immediately tried to extend it to semantics. They attempted
to generate meanings in the same way as Chomsky's theory generated surface
structures. However, these attempts, be they presented as semantic markers of
Katz and Postal (1964), or as generative semantics due to Lakoff (1971), in
general failed to be satisfactory. The reason for this failure was diagnosed by
Lewis (1972): it was the failure to account for truth conditions, which is a conditio
sine qua non of semantics7. Montague, Lewis and others thefore offered a new
way to account formally for semantics based on the results of formal logic.
The basic idea was to treat meanings as set-theoretical objects on which
expressions are mapped. The first approximation, going back to Gottlob Frege,
was to reify the two truth values and to consider the meaning of a sentence to be
directly its truth value. However, this approach had the unpleasant consequence
that any and every pair of sentences that are either both true, or both false, are
synonymous; which proves such an approach to be essentially untenable. The
lesson to be learned seemed to be that the meaning of the sentence does not
amount to its truth value, but rather to its truth conditions.
This obstacle was resolved by introducing the concept of possible world
into semantics and this is where Montague enters the scene. (However, it is fair to
stress that possible-world semantics was not discovered by Montague; he was
neither the first one to use possible worlds as a tool of logical theory - the first to
use them systematically were Stig Kanger and Saul Kripke - nor the only one to
employ possible-worlds-based logic in an effort to formulate a systematic
semantics of natural language; concurrently other theoreticians presented similar
theories - at least Tichý's (1971) transparent intensional logic is surely worth
mentioning. But Montague is the one who has become the legend.)8 Possible
worlds were considered as the entities to which truth is relative; hence to say that
the meaning of sentence was its truth conditions became to say that it was a
certain function assigning truth values to possible worlds. This turned truth
5. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
conditions into entities accommodable within the framework of set theory.
The step from truth values to truth values relativized to possible worlds
(and in general from extensions to intensions) was a good one, but not good
enough. It soon became clear that even to consider every pair of sentences being
true in the same possible worlds as synonymous is inadequate. Every truth of
mathematics is true in every possible world; but it is surely inadequate to consider
all truths of mathematics as synonymous. The solution accepted by the majority of
semanticians was to consider meaning of sentence as something structured.
According to an old proposal of Carnap (1957), two expressions were taken as
really synonymous if they not only shared intensions, but were intensionally
isomorphic, i.e. if they consisted of the same number of constituents and if their
respective constituents shared intensions; and this idea, revived by Lewis, has
served to ground the hyperintensional semantics that became prevalent in the
eighties.
Lewis has proposed to consider meaning as a Chomskian tree whose
leaves are occupied by intensions. His proposal has been further elaborated
especially by Cresswell (1985). Other proposals to the effect of considering
meaning as a structure, were articulated within the framework of situation
semantics of Barwise and Perry (1983) and within that of discourse
representation theory due to Kamp (1981)9. Tichý (1988) has reached the
conclusion that the intension of a complex expression is constructed from the
intensions of its components and has proposed to consider not the result of the
construction, but rather the construction itself as meaning.
The shift from functions to structures hailed a rapproachement between
the theories of logically-minded semanticists operating within set theory and those
of the more traditionally-minded ones using formalisms more loosely. If we free
ourselves from the 'ideologies' of individual schools, we can see that the gap
between Kamp's discourse representation structure or Tichý's construction, on the
one side, and Chomsky's deep structure or the tectogrammatical representation of
Sgall et al. (1986), on the other, need not be crucial10.
4 Language as an Algebra
Now what we are claiming is that formal linguistics does not in general bring
insights essentially incompatible with the structuralist paradigm; rather, it carries
out the mathematization of language thereby creating a framework in which the
Saussurian point can appear quite intelligible.
6. -$526/$9 3(5(*5,1
We have stated that de Saussure's approach presupposes the view of
language as a part-whole structure, i.e. as a class of items (expressions) some of
them consisting of others. Thus we are viewing language as a class of expressions
plus a collection of operations which enable more complex expressions to be
made out of simpler ones. So, for example, the class of expressions contains the
expressions John, to love, Mary and John loves Mary; and among the operations
there is one that makes John loves Mary out of John, to love, Mary.
Now in order to state this in mathematical terms, let us present a tiny
fragment of algebra. We shall restrict ourselves to three definitions, and we are
not going to press for exactness; the aim of the whole enterprise is merely to
illustrate the role which mathematics can play within a theory of language.
Definition 1. An algebra is an ordered pair A=C,F, where C is a set,
called the carrier of A; and F=Fjj∈J is a family of functions, called the
operations of A, each of which maps the Cartesian power of C on C (i.e.
each of which is an n-ary function on C).
Definition 2. Let A=C,Fjj∈J and A'=C',Fj'j∈J be algebras with
the same number of operations. Let G be a function from the carrier of A
to that of A'. We shall say that G is a homomorphism from A to A' if
G(Fj(x1,...,xn)) = Fj'(G(x1),...,G(xn)) for every x1,...,xn from the domain of
Fj and for every j∈J.
Definition 3. Let A=C,Fjj∈J be an algebra and E an equivalence (i.e.
a transitive, symmetric and reflexive binary relation) on the carrier of C.
Let us call a subclass of C an E-subclass if each its two elements are
equivalent according to E. Let us call an E-subclass of C maximal if it is
not included in another E-subclass of C. Let C' be the class of all maximal
E-subclasses of C; and for every j∈J let Fj' be the function on C' such that
Fj'(y1,...,yn)=y if and only if there exist elements x1,...,xn,x of C such that
x1∈y1, ... ,xn∈yn, x∈y and Fj(x1,...,xn)=x. The algebra C',Fj'j∈J is
called the factor-algebra of A according to E and it is denoted by A/E.
Using Definition 1 we can restate our previous consideration more
mathematically. The consideration effectively views language as an algebra: the
carrier of the algebra contains the expressions John, to love, Mary and John loves
Mary; and among the operations of the algebra there is a ternary one, say Fk, such
that Fk(John, to love, Mary) = John loves Mary.
Chomsky's contribution was not to abolish this view, but rather to
7. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
explicate it and to articulate the rules of the algebra of syntax in the rigorous
mathematical way. The contribution of the semanticians can then be seen in
articulating the semantic aspect of language into another, semantic algebra
connected with the first one by the function of meaning assignment.
The point is that if Chomsky's theory can be seen as the reconstruction of
language as the class of lexical items plus the class of grammatical rules
constructing more complex expressions out of simpler ones, then Montague's
contribution can be seen in mapping lexical items on certain basic set-theoretical
objects and in paralleling the syntactic rules operating on expressions by rules
operating on their set-theoretical meanings. Every expression E is thus supposed
to be furnished with a set-theoretical meaning ÂEÂ; the simple expressions being
assigned their meanings directly, the complex ones via semantic rules. If we - for
the sake of simplicity - temporally shelve possible worlds, then we can say that
ÂJohn and ÂMary are supposed to be elements of a basic set understood as the
universe of discourse, Âto love is considered as a function assigning truth values
to pairs of elements of the universe (the sentence holds true for some pairs and is
false for other ones), and ÂJohn loves Mary as a truth value (true or false)11.
The meanings of simple expressions such as John, to love, and Mary are supposed
to be given in a direct way, whereas those of complex ones like John loves Mary
are considered to be computable out of meanings of its parts. Thus, the value
ÂJohn loves Mary is considered to be computable out of ÂJohnÂ, Âto love and
ÂMaryÂ; namely as Âto loveÂ(ÂJohnÂ,ÂMaryÂ). In general, the meaning of a
complex expression is a function of meanings of its parts. This approach thus
sanctions the so called principle of compositionality, which has been considered
basic for the theory of meaning since Frege.
The set-theoretical meanings of lexical items plus the rules to compute the
meanings of complex expressions out of their parts thus yield an algebra with the
same number of operations as the algebra of expressions. Meaning assignment
then comes out as a mapping M of the algebra of expressions on the algebra of
meanings such that to every operation F of the algebra of expressions there
corresponds an operation F' of the algebra of meanings such that for every e1,...,en
from the domain of F it holds that M(F(e1,...,en))=F'(M(e1),...,M(en))). Hence,
referring to the Definition 2, we can say that the meaning assignment is a
homomorphism from the algebra of expressions to the algebra of meanings.
8. -$526/$9 3(5(*5,1
5 Saussure Mathematized
With the help of this framework, we find that many points previously difficult to
articulate, become surprisingly simple. An example is the way we have just
expressed the principle of compositionality: this principle, which has been
constantly subject to misunderstandings, now becomes the simple and
unequivocal claim of the homomorphic character of meaning- assignment.
Everybody who is familiar with the basics of algebra easily understands; a
misunderstanding is hardly possible12.
We have stressed that de Saussure's claim is that the meaning of an
expression is its value resulting from oppositions present in the system of
language. We have stressed also that the value is a reification of the way the
expression functions as a building-block for building wholes suitable for various
purposes, notably true sentences. Translated into our algebraic framework, the
algebra of semantics owes its being to certain oppositions present within the
system of language, notably to the opposition between truth and falsity, or, which
is the same, the equivalence of sameness of truth value.
Algebraic theory allows us to clarify how an algebra plus an equivalence
between elements of its carrier yields a new algebra: our Definition 3 articulates
this in explicating the term factor algebra; it amounts to the coalescing of the
equivalent elements of the original algebra and to the corresponding adjustment of
its operations. This suggests the idea of considering the algebra of meanings as the
factor algebra of the algebra of expressions factored according to the equivalence
of sameness of truth value.
The obvious objection to embracing this conclusion is that it leads to
identifying meanings with classes of expressions, which seems to be highly
implausible. However, saying that the algebra of meanings can be considered as
an algebra of classes of expressions is not to say that meaning be a class of
expressions - the point of the structural view is that meaning is not this or that
kind of thing, that what there is to meaning is rather only the structure of the
algebra of meaning. This is to say, in algebraic terms, that the algebra of meanings
is definite only up to isomorphism; the factor algebra of the algebra of expressions
must be seen as a mere representative of the whole class of isomorphic algebras,
each of which can be considered to represent the algebra of meaning, and none of
which can be directly identified with it.
In fact, formal semantics can be seen as placing additional, pragmatic
requirements on the algebra which is to be considered as the algebra of meanings;
it endeavours to select that of the isomorphic algebras which would be the easiest
to work with. In particular, it is usual to require that the operations of the algebra
of semantics be as simple as possible. Frege proposed that the meaning of a
9. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
sentence should be considered as the result of application of the meaning of its
predicate to those of its terms. This idea was subsequently generalized to yield the
general requirement that the operators of the algebra of meaning should be
operators taking as one of its arguments a function and yielding what this function
yields when it is applied to the remaining arguments. This means that if F is an n-
ary operator of the algebra of expressions, then there exists an i such that for every
n-tuple e1,...,en of expressions from the domain of F it holds that
ÂF(e1,...,en)Â=ÂeiÂ(Âe1Â,...,Âei-1Â,Âei+1Â,...,ÂenÂ).
The relation of an algebra supplemented by an equivalence to the
corresponding factor algebra is thus the prototype of the relationship between the
system of language expressions and a system of values which the expressions
acquire with respect to some opposition or equivalence. Although the algebraic
model, if taken literally, might lead to an oversimplified view of language, it
evidently dramatically improves the intelligibility and comprehensibility of the
Saussurian point of the value-like character of meanings and other linguistic
abstracta. And, this is, in general, the true role of mathematics within a theory of
language: it is neither to improve language, nor to give its precise and exhaustive
description, but rather to facilitate comprehensibility and intelligibility of
language via confronting it with models13.
6 Structuralism Rejoined?
De Saussure's structuralistic insights invited generalization: the idea of
structuralism is far more sweeping than to restrict itself to linguistic reality. The
French structuralists took one direction of generalization: they snesed that natural
sciences were threatening to swallow up humanities and they have ended up with
philosophy as a kind of literary genre (viz Derrida). But there were other people
more fascinated by, than fearful of, the sciences and they instead merged their
own structuralist insight with the rigorous scientific thinking. Analytic
philosophers, from Russell, Carnap and Wittgenstein to Quine and Davidson,
were, of course, not influenced directly by de Saussure, but their teachings seem
to be in certain aspects more congenial to the spirit of Cours de linguistique
générale than the teaching of those who are usually considered as de Saussure's
direct followers. And it was analytic philosophy whose advancement is
inseparably interlocked with the advancement of formal semantics.
10. -$526/$9 3(5(*5,1
I do not want to claim that analytic philosophy and formal semantics are
necessarily intrinsically structuralist. The views of many analytic philosophers,
and of even more formal semanticians, amount to a kind of nomenclatural view of
language, which is the direct opposite of structuralism. Many analytic
philosophers did not manage to resist the temptation to embrace a form of naive
scientism and ended up with a kind of systematic metaphysics (now approached
via language and done with the help of mathematics and set theory) which the
structuralist insight vanquishes. But a significant number of these thinkers, people
such as Wittgenstein, Quine or Davidson, avoided such traps and their approach
can be truly called structuralistic.
Quine's (1992) recent conclusions about the concept of structure are even
more radical than those of his predecessors: instead of urging the reduction of
abstract objects to relations, he questions the very idea of an object: The very
notion of object, or of one and many, is indeed as parochially human as the parts
of speech; to ask what reality is really like, however, apart from human
categories, is self-stultifying. It is like asking how long the Nile really is, apart
from parochial matters of miles and meters. (p.9) Hence aphoristically: Save the
structure and you save all. (p.8)
The views close to Quine's and especially relevant for what we have been
pursuing here are due to Donald Davidson - it is him who has made it clear that
formal semantics need not be understood as a naively-metaphysical,
nomenclatural matter and who has shown the plausibility of the theory of meaning
as derivative to the theory of truth. And it is these views which we try to show to
be congenial to the basic insights of de Saussure14.
We have stated that the ways of analytic philosophy and structuralism
essentially parted. However, their recent offspring - post-analytic philosophy and
poststructuralism - are no longer antagonistic and indeed are sometimes
surprisingly close. I think that the inseparability of the question about the nature of
reality from the question about the nature of the language we use to cope with the
reality, as urged in the above quotation by Quine, is in fact the same problem as
that which irritates people like Foucault and Derrida. And I think, on the other
hand, that the careful mathematization of language which is urged by
Derrida (1972) is nothing else than the non-nomenclatural, non-metaphysically
founded usage of formal logic as pursued by Quine and Davidson15.
11. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
7 Conclusion
De Saussure's structuralistic view of language is quite compatible with the formal
trend of linguistics appearing during the recent decades. In fact formalization and
mathematization help to make the structuralist point intelligible.
Many theoreticians believe that formal semantics and analytic philosophy
is connected with a nomenclatural view of language and hence is incompatible
with the structural insight. But this is wrong - formal semantics is in itself neutral,
and it is capable of being explicated both in the naive nomenclatural way and in
the way congenial to de Saussure's structuralism; and among analytic philosophers
we can find outstanding representatives not only of the former, but also of the
latter view.
NOTES
1
There are philosophers who evaluate even more harshly the way in which French
structuralists handled the heritage of de Saussure. Thus Pavel (1989, p. vii) characterizes their
efforts as follows: They mistook the results of a specialized science for a collection of
speculative generalities. They believed that breathtaking metaphysical pronouncements could be
inferred from simple-minded descriptive statements.
2
Hjelmslev (1943, p.11).
3
Jakobson (1971, pp. 223-4).
4
See Holenstein (1987, p. 25).
5
For a more detailed expositions of the issues presented in this section see Peregrin (1994b).
6
Chomsky himself, of course, would consider his approach not a mere improvement of
methodology, but as an empirical discovery concerning human's innate inner workings; we leave
this conviction of his aside, because it is peculiar to his own line of thought and it is not
essential to the formalistic turn as such.
7
Lewis claimed that linguistic theories of meaning are mere translations of natural language
into another, formal language, namely 'markerese'. However, I think that this caveat, as it stands,
is misguided: every explicit semantic theory is clearly a translation of natural language into
another language, be it 'markerese', the language of set theory, or whatever. The only way to do
explicit semantics is to make statements 's' means m, where m is an expression of a language.
8
For general information about the concept of possible world see Partee (1989); for
12. -$526/$9 3(5(*5,1
conceptual analysis see Peregrin (1993a).
9
Kamp's framework aims, besides this, at capturing what can be called dynamics of language,
especially its anaphoric capacities; and it slowly becomes a paradigm of the semantic theory for
the nineties.
10
This point was made quite clear by Davidson (1984, p.30): Philosophers of a logical bent
have tended to start where the theory was and work out towards the complications of natural
language. Contemporary linguists, with an aim that cannot easily be seen to be different, start
with the ordinary and work toward a general theory. If either party is successful, there must be a
meeting.
11
Taking the intensional aspect of language at face value, we have to relativize all of this to
possible worlds: the denotations of ÂJohn and ÂMary (if we do not treat them as rigid, i.e.
possible-worlds-independent, designators) will be functions from possible worlds to the
universe, Âto love a function from possible worlds to pairs of elements of the universe, and
ÂJohn loves Mary will be a function from possible worlds to truth values: in some worlds
(situations, time-spans etc. the sentence holds true, in other worlds it does not.
12
The objection that such an explication is simple only due to the backlog of the complicated
theory of algebra, is not sound - algebra is nothing ad hoc, it is a well established theory whose
meaningfullness is independent of whether we do or do not use it within a theory of language.
13
See Peregrin (1993b).
14
For Davidson's way of understanding semantic theory see Davidson (1984); see also
Peregrin (1994a).
15
The recent philosophical development of Richard Rorty documents that these two
seemingly disparate approaches to philosophy could lead to a unified stance.
REFERENCES
Barwise, J. and Perry, J. (1983): Situations and Attitudes, MIT Press, Cambridge (Massachusetts).
Carnap, R. (1928): Der Logische Aufbau der Welt, Berlin.
Carnap, R. (1957): Meaning and Necessity, University of Chicago Press, Chicago.
Chomsky, N. (1957): Syntactic Structures, Mouton, The Hague.
Cresswell, M. (1985): Structured Meanings, MIT Press, Cambridge (Massachusetts).
Davidson, D. (1984): Inquiries into Truth and Interpretation, Clarendon Press, Oxford.
Derrida, J. (1972): Sémiologie and Grammatologie, Entretien Avec Julia Kristeva; in: Positions,
Minuit, Paris.
Hjelmslev, L. (1943): Omkring sprogteoriens grundlaeggelse, Coppenhagen.
Holenstein, E. (1987): Jakobson's Philosophical Background, in: Language, Poetry and Poetics (ed.
by K.Pomorska), de Gruyter, Berlin.
Jakobson, R. (1971): Selected Writings II, Mouton, The Hague.
Janssen, T.M.V. (1983): Foundations and Applications of Montague Grammar, dissertation,
Mathematisch Centrum, Amsterdam.
13. 6758785$/ /,1*8,67,6 $1' )250$/ 6(0$17,6
Kamp, H. (1981): A Theory of Truth and Semantic Representation, Truth, Interpretation and
Information (ed. by J.Groenendijk, M.Stokhof and T.M.V.Janssen), Foris, Dordrecht, pp.
1-41.
Katz, J. and Postal, P. (1964): An Integrated Theory of Linguistics Descriptions, MIT Press,
Cambridge (Masachusetts).
Kripke, S. (1963): Semantical Considerations on Modal Logic, Acta Philosophica Fennica 16, pp.
83-94.
Lakoff, G. (1971): On Generative Semantics, Semantics: An Interdisciplinary Reader in
Philosophy, Linguistics and Psychology (ed. by D.D.Steinberg and L.A.Jakobovits),
Cambridge.
Lewis, D. (1972): General Semantics, Semantics of Natural Language (ed. by D.Davidson and
G.Harman), Reidel, Dordrecht.
Montague, R. (1974): Formal Philosophy: selected papers of R.Montague (ed. by R.Thomason),
Yale University Press, Yale.
Partee, B. (1989): Possible Worlds in Humanities, Arts and Sciences, Proceedings of Nobel
Symposium 65 (ed. by S.Allen), de Gruyter, Berlin/New York, pp. 93-123.
Pavel, T.G. (1989): The Feud of Language, Blackwell, Cambridge (Massachusetts).
Peregrin, J. (1993a): Possible Worlds: A Critical Analysis, Prague Bulletin of Mathematical
Linguistics 59-60, 9-21.
Peregrin, J. (1993b): Language and Formalization, Linguistica Pragensia 2/1993, 74-80.
Peregrin, J. (1994a): Interpreting Formal Logic, Erkenntnis 40, 1994, 5-20.
Peregrin, J. (1994b): Structuralism: Slogan or Concept, Lingua e Stile (to appear).
Quine, W.V. (1992): Structure and Nature, The Journal of Philosophy 89, 5-9.
Russell, B. (1924): Logical Atomism, in: Contemporary British Philosophy: Personal Statements,
First Serise, London.
Saussure, F. de (1931): Cours de linguistique generale, Payot, Paris.
Sgall, P., Hajicová, E., Panevová, J. (1986): The Meaning of the Sentence in its Semantic and
Pragmatic Aspects, Academia, Praha.
Tichý, P. (1971): An Approach to Intensional Analysis, Nous 5, pp. 273-297.
Tichý, P. (1988): The Foundations of Frege's Logic, de Gruyter, Berlin/New York.